چکیده:
Aristotle in the Organon and Aristotelian Logicians in exposition of categorical logic have illusdrated
the mechanism that provide proof of the figures Valid moods (figures 2,3,4) based on the four valid
moods of the first figure syllogism, i.e Barbara, Celarent, Darii and Ferio. Aristotle subsequently simpli-
fied the categorical syllogism by showing that the moods Barbara and Celarent implied all the other
moods.
In this article, the auther having taken recourse to one of the moods, i. e.
Ferio (the weakest valid mood of the first figure) has assumed as axiomatic the system of categorical
logic and proved all valid categorical argument forms based on Ferio.
خلاصه ماشینی:
"Ferio" (EI-O) the Most Fundamental Mood in Aristotelian Categorical Logic Lotfollah Nabavi1 Abstract Aristotle in the Organon and Aristotelian Logicians in exposition of categorical logic have illusdrated the mechanism that provide proof of the figures Valid moods (figures 2,3,4) based on the four valid moods of the first figure syllogism, i.
The letters B, C, D and F in the beginning of valid mood names respectively refer to Barbara, Ce/arent, Darii and Ferio and means that in logically proving a mood we must use these first figure valid moods.
C. L" in his article Ancient Logic in the Encyclopedia of Philosophy Says: Aristotle subsequently simplified the axiomatic foundations of his syllogistic method by showing that the syllogisms Barbara and Celarent implied all the other syllogisms (Lejewski, 1972, p.
In the following, according to Aristotle's opinion we prove moods Darii and Ferio based on Celarent.
(View the image of this page) O= SoP =dfsome Sis not P (particular negative) Aristotle also found that we may take valid moods of whatever figure as axiomatic and prove another based on it (Bochenski, 1968.
Organon and the nature of a negative proposition One of the most important problems in Aristotelian categorical logic is the interpretation of negation in quantified propositions.
If we accept Aristotle's opinion and we refer the negation in ordinary (natural) language to copula or the relation of inclusion, we arrive at a meaning V.
"Ferio" and proving valid moods As we noted, Aristotle finally established the categorical logic system based on two valid moods of the first figure i.