TEHZEEB ¥L MAnTIK, I2l 



PART II. Of Demonstration. 



Sect. I. Of Peopositioks. 



Let it be remembered, that the object of consi- 

 dering truths, is to obtain a knowledge of /niz/f known 

 in such a manner as to lead us to the knowledge of 

 trulh unknown ; and this they call syllogism and rea- 

 soning : and since a syllogism is composed of propo- 

 sitions, a previous knowledge of these is required of 

 course. 



A proposition is a sentence containing either a 

 truth or an untruth ; that is to say, in the language of 

 logicians, it is a compound or affirmation contaiii-ng 

 what is true or false ; such as Zeid is standi):^, in 

 contradistinction to an expression, such as Azrch, 

 which does not convey any assertion. In short, tlie 

 thing predicated is called a proposition, and ii that 

 proposition affirm something of another thyig, ai, in 

 the preceding exa^iiple, or deny any thing of another 

 thing, as in the example Z ei d A'rf.vi. 7/ Naist, Zeid is 

 not standing," then these are absolute propositions, 

 and the Jirsi is called an absolute affirmative, and 

 the sr'co7:d a.n absolute negative, and the suhjcci ot 

 which the affirmation is made, corresponding to 

 muhtida in grammar is called Mo'zoocy \ as Zeid in 

 the sentence Zeid Kaidm : and tlie thing spoken 

 or proposed respecting the Mo-zooey is called Muh- 

 mool : such is Kauim lie is standing, in the sen- 



