°®°®Ð¡ËµÍø > ÆäËûµç×ÓÊé > prior analytics >

µÚ20ÕÂ

prior analytics-µÚ20ÕÂ

С˵£º prior analytics ×ÖÊý£º ÿҳ3500×Ö

°´¼üÅÌÉÏ·½Ïò¼ü ¡û »ò ¡ú ¿É¿ìËÙÉÏÏ·­Ò³£¬°´¼üÅÌÉ쵀 Enter ¼ü¿É»Øµ½±¾ÊéĿ¼ҳ£¬°´¼üÅÌÉÏ·½Ïò¼ü ¡ü ¿É»Øµ½±¾Ò³¶¥²¿£¡
¡ª¡ª¡ª¡ªÎ´ÔĶÁÍꣿ¼ÓÈëÊéÇ©ÒѱãÏ´μÌÐøÔĶÁ£¡






the¡¡universal¡¡premiss¡¡is¡¡negative£»¡¡the¡¡premiss¡¡AC¡¡will¡¡not¡¡be



demonstrated¡¡by¡¡the¡¡conversion¡¡of¡¡AB£º¡¡for¡¡it¡¡turns¡¡out¡¡that¡¡either



both¡¡or¡¡one¡¡of¡¡the¡¡premisses¡¡is¡¡negative£»¡¡consequently¡¡a¡¡syllogism



will¡¡not¡¡be¡¡possible¡£¡¡But¡¡the¡¡proof¡¡will¡¡proceed¡¡as¡¡in¡¡the¡¡universal



syllogisms£»¡¡if¡¡it¡¡is¡¡assumed¡¡that¡¡A¡¡belongs¡¡to¡¡some¡¡of¡¡that¡¡to¡¡some¡¡of



which¡¡B¡¡does¡¡not¡¡belong¡£







¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡7







¡¡¡¡In¡¡the¡¡third¡¡figure£»¡¡when¡¡both¡¡premisses¡¡are¡¡taken¡¡universally£»¡¡it



is¡¡not¡¡possible¡¡to¡¡prove¡¡them¡¡reciprocally£º¡¡for¡¡that¡¡which¡¡is



universal¡¡is¡¡proved¡¡through¡¡statements¡¡which¡¡are¡¡universal£»¡¡but¡¡the



conclusion¡¡in¡¡this¡¡figure¡¡is¡¡always¡¡particular£»¡¡so¡¡that¡¡it¡¡is¡¡clear



that¡¡it¡¡is¡¡not¡¡possible¡¡at¡¡all¡¡to¡¡prove¡¡through¡¡this¡¡figure¡¡the



universal¡¡premiss¡£¡¡But¡¡if¡¡one¡¡premiss¡¡is¡¡universal£»¡¡the¡¡other



particular£»¡¡proof¡¡of¡¡the¡¡latter¡¡will¡¡sometimes¡¡be¡¡possible£»



sometimes¡¡not¡£¡¡When¡¡both¡¡the¡¡premisses¡¡assumed¡¡are¡¡affirmative£»¡¡and



the¡¡universal¡¡concerns¡¡the¡¡minor¡¡extreme£»¡¡proof¡¡will¡¡be¡¡possible£»



but¡¡when¡¡it¡¡concerns¡¡the¡¡other¡¡extreme£»¡¡impossible¡£¡¡Let¡¡A¡¡belong¡¡to



all¡¡C¡¡and¡¡B¡¡to¡¡some¡¡C£º¡¡the¡¡conclusion¡¡is¡¡the¡¡statement¡¡AB¡£¡¡If¡¡then



it¡¡is¡¡assumed¡¡that¡¡C¡¡belongs¡¡to¡¡all¡¡A£»¡¡it¡¡has¡¡been¡¡proved¡¡that¡¡C



belongs¡¡to¡¡some¡¡B£»¡¡but¡¡that¡¡B¡¡belongs¡¡to¡¡some¡¡C¡¡has¡¡not¡¡been¡¡proved¡£



And¡¡yet¡¡it¡¡is¡¡necessary£»¡¡if¡¡C¡¡belongs¡¡to¡¡some¡¡B£»¡¡that¡¡B¡¡should



belong¡¡to¡¡some¡¡C¡£¡¡But¡¡it¡¡is¡¡not¡¡the¡¡same¡¡that¡¡this¡¡should¡¡belong¡¡to



that£»¡¡and¡¡that¡¡to¡¡this£º¡¡but¡¡we¡¡must¡¡assume¡¡besides¡¡that¡¡if¡¡this



belongs¡¡to¡¡some¡¡of¡¡that£»¡¡that¡¡belongs¡¡to¡¡some¡¡of¡¡this¡£¡¡But¡¡if¡¡this



is¡¡assumed¡¡the¡¡syllogism¡¡no¡¡longer¡¡results¡¡from¡¡the¡¡conclusion¡¡and¡¡the



other¡¡premiss¡£¡¡But¡¡if¡¡B¡¡belongs¡¡to¡¡all¡¡C£»¡¡and¡¡A¡¡to¡¡some¡¡C£»¡¡it¡¡will



be¡¡possible¡¡to¡¡prove¡¡the¡¡proposition¡¡AC£»¡¡when¡¡it¡¡is¡¡assumed¡¡that¡¡C



belongs¡¡to¡¡all¡¡B£»¡¡and¡¡A¡¡to¡¡some¡¡B¡£¡¡For¡¡if¡¡C¡¡belongs¡¡to¡¡all¡¡B¡¡and¡¡A



to¡¡some¡¡B£»¡¡it¡¡is¡¡necessary¡¡that¡¡A¡¡should¡¡belong¡¡to¡¡some¡¡C£»¡¡B¡¡being



middle¡£¡¡And¡¡whenever¡¡one¡¡premiss¡¡is¡¡affirmative¡¡the¡¡other¡¡negative£»



and¡¡the¡¡affirmative¡¡is¡¡universal£»¡¡the¡¡other¡¡premiss¡¡can¡¡be¡¡proved¡£¡¡Let



B¡¡belong¡¡to¡¡all¡¡C£»¡¡and¡¡A¡¡not¡¡to¡¡some¡¡C£º¡¡the¡¡conclusion¡¡is¡¡that¡¡A



does¡¡not¡¡belong¡¡to¡¡some¡¡B¡£¡¡If¡¡then¡¡it¡¡is¡¡assumed¡¡further¡¡that¡¡C



belongs¡¡to¡¡all¡¡B£»¡¡it¡¡is¡¡necessary¡¡that¡¡A¡¡should¡¡not¡¡belong¡¡to¡¡some



C£»¡¡B¡¡being¡¡middle¡£¡¡But¡¡when¡¡the¡¡negative¡¡premiss¡¡is¡¡universal£»¡¡the



other¡¡premiss¡¡is¡¡not¡¡except¡¡as¡¡before£»¡¡viz¡£¡¡if¡¡it¡¡is¡¡assumed¡¡that¡¡that



belongs¡¡to¡¡some¡¡of¡¡that£»¡¡to¡¡some¡¡of¡¡which¡¡this¡¡does¡¡not¡¡belong£»¡¡e¡£g¡£



if¡¡A¡¡belongs¡¡to¡¡no¡¡C£»¡¡and¡¡B¡¡to¡¡some¡¡C£º¡¡the¡¡conclusion¡¡is¡¡that¡¡A¡¡does



not¡¡belong¡¡to¡¡some¡¡B¡£¡¡If¡¡then¡¡it¡¡is¡¡assumed¡¡that¡¡C¡¡belongs¡¡to¡¡some



of¡¡that¡¡to¡¡some¡¡of¡¡which¡¡does¡¡not¡¡belong£»¡¡it¡¡is¡¡necessary¡¡that¡¡C



should¡¡belong¡¡to¡¡some¡¡of¡¡the¡¡Bs¡£¡¡In¡¡no¡¡other¡¡way¡¡is¡¡it¡¡possible¡¡by



converting¡¡the¡¡universal¡¡premiss¡¡to¡¡prove¡¡the¡¡other£º¡¡for¡¡in¡¡no¡¡other



way¡¡can¡¡a¡¡syllogism¡¡be¡¡formed¡£



¡¡¡¡It¡¡is¡¡clear¡¡then¡¡that¡¡in¡¡the¡¡first¡¡figure¡¡reciprocal¡¡proof¡¡is¡¡made



both¡¡through¡¡the¡¡third¡¡and¡¡through¡¡the¡¡first¡¡figure¡­if¡¡the



conclusion¡¡is¡¡affirmative¡¡through¡¡the¡¡first£»¡¡if¡¡the¡¡conclusion¡¡is



negative¡¡through¡¡the¡¡last¡£¡¡For¡¡it¡¡is¡¡assumed¡¡that¡¡that¡¡belongs¡¡to



all¡¡of¡¡that¡¡to¡¡none¡¡of¡¡which¡¡this¡¡belongs¡£¡¡In¡¡the¡¡middle¡¡figure£»



when¡¡the¡¡syllogism¡¡is¡¡universal£»¡¡proof¡¡is¡¡possible¡¡through¡¡the



second¡¡figure¡¡and¡¡through¡¡the¡¡first£»¡¡but¡¡when¡¡particular¡¡through¡¡the



second¡¡and¡¡the¡¡last¡£¡¡In¡¡the¡¡third¡¡figure¡¡all¡¡proofs¡¡are¡¡made¡¡through



itself¡£¡¡It¡¡is¡¡clear¡¡also¡¡that¡¡in¡¡the¡¡third¡¡figure¡¡and¡¡in¡¡the¡¡middle



figure¡¡those¡¡syllogisms¡¡which¡¡are¡¡not¡¡made¡¡through¡¡those¡¡figures



themselves¡¡either¡¡are¡¡not¡¡of¡¡the¡¡nature¡¡of¡¡circular¡¡proof¡¡or¡¡are



imperfect¡£







¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡8







¡¡¡¡To¡¡convert¡¡a¡¡syllogism¡¡means¡¡to¡¡alter¡¡the¡¡conclusion¡¡and¡¡make



another¡¡syllogism¡¡to¡¡prove¡¡that¡¡either¡¡the¡¡extreme¡¡cannot¡¡belong¡¡to



the¡¡middle¡¡or¡¡the¡¡middle¡¡to¡¡the¡¡last¡¡term¡£¡¡For¡¡it¡¡is¡¡necessary£»¡¡if¡¡the



conclusion¡¡has¡¡been¡¡changed¡¡into¡¡its¡¡opposite¡¡and¡¡one¡¡of¡¡the¡¡premisses



stands£»¡¡that¡¡the¡¡other¡¡premiss¡¡should¡¡be¡¡destroyed¡£¡¡For¡¡if¡¡it¡¡should



stand£»¡¡the¡¡conclusion¡¡also¡¡must¡¡stand¡£¡¡It¡¡makes¡¡a¡¡difference¡¡whether



the¡¡conclusion¡¡is¡¡converted¡¡into¡¡its¡¡contradictory¡¡or¡¡into¡¡its



contrary¡£¡¡For¡¡the¡¡same¡¡syllogism¡¡does¡¡not¡¡result¡¡whichever¡¡form¡¡the



conversion¡¡takes¡£¡¡This¡¡will¡¡be¡¡made¡¡clear¡¡by¡¡the¡¡sequel¡£¡¡By



contradictory¡¡opposition¡¡I¡¡mean¡¡the¡¡opposition¡¡of¡¡'to¡¡all'¡¡to¡¡'not



to¡¡all'£»¡¡and¡¡of¡¡'to¡¡some'¡¡to¡¡'to¡¡none'£»¡¡by¡¡contrary¡¡opposition¡¡I



mean¡¡the¡¡opposition¡¡of¡¡'to¡¡all'¡¡to¡¡'to¡¡none'£»¡¡and¡¡of¡¡'to¡¡some'¡¡to¡¡'not



to¡¡some'¡£¡¡Suppose¡¡that¡¡A¡¡been¡¡proved¡¡of¡¡C£»¡¡through¡¡B¡¡as¡¡middle¡¡term¡£



If¡¡then¡¡it¡¡should¡¡be¡¡assumed¡¡that¡¡A¡¡belongs¡¡to¡¡no¡¡C£»¡¡but¡¡to¡¡all¡¡B£»¡¡B



will¡¡belong¡¡to¡¡no¡¡C¡£¡¡And¡¡if¡¡A¡¡belongs¡¡to¡¡no¡¡C£»¡¡and¡¡B¡¡to¡¡all¡¡C£»¡¡A



will¡¡belong£»¡¡not¡¡to¡¡no¡¡B¡¡at¡¡all£»¡¡but¡¡not¡¡to¡¡all¡¡B¡£¡¡For¡¡£¨as¡¡we¡¡saw£©¡¡the



universal¡¡is¡¡not¡¡proved¡¡through¡¡the¡¡last¡¡figure¡£¡¡In¡¡a¡¡word¡¡it¡¡is¡¡not



possible¡¡to¡¡refute¡¡universally¡¡by¡¡conversion¡¡the¡¡premiss¡¡which



concerns¡¡the¡¡major¡¡extreme£º¡¡for¡¡the¡¡refutation¡¡always¡¡proceeds¡¡through



the¡¡third¡¡since¡¡it¡¡is¡¡necessary¡¡to¡¡take¡¡both¡¡premisses¡¡in¡¡reference¡¡to



the¡¡minor¡¡extreme¡£¡¡Similarly¡¡if¡¡the¡¡syllogism¡¡is¡¡negative¡£¡¡Suppose



it¡¡has¡¡been¡¡proved¡¡that¡¡A¡¡belongs¡¡to¡¡no¡¡C¡¡through¡¡B¡£¡¡Then¡¡if¡¡it¡¡is



assumed¡¡that¡¡A¡¡belongs¡¡to¡¡all¡¡C£»¡¡and¡¡to¡¡no¡¡B£»¡¡B¡¡will¡¡belong¡¡to¡¡none¡¡of



the¡¡Cs¡£¡¡And¡¡if¡¡A¡¡and¡¡B¡¡belong¡¡to¡¡all¡¡C£»¡¡A¡¡will¡¡belong¡¡to¡¡some¡¡B£º¡¡but



in¡¡the¡¡original¡¡premiss¡¡it¡¡belonged¡¡to¡¡no¡¡B¡£



¡¡¡¡If¡¡the¡¡conclusion¡¡is¡¡converted¡¡into¡¡its¡¡contradictory£»¡¡the



syllogisms¡¡will¡¡be¡¡contradictory¡¡and¡¡not¡¡universal¡£¡¡For¡¡one¡¡premiss¡¡is



particular£»¡¡so¡¡that¡¡the¡¡conclusion¡¡also¡¡will¡¡be¡¡particular¡£¡¡Let¡¡the



syllogism¡¡be¡¡affirmative£»¡¡and¡¡let¡¡it¡¡be¡¡converted¡¡as¡¡stated¡£¡¡Then¡¡if¡¡A



belongs¡¡not¡¡to¡¡all¡¡C£»¡¡but¡¡to¡¡all¡¡B£»¡¡B¡¡will¡¡belong¡¡not¡¡to¡¡all¡¡C¡£¡¡And¡¡if



A¡¡belongs¡¡not¡¡to¡¡all¡¡C£»¡¡but¡¡B¡¡belongs¡¡to¡¡all¡¡C£»¡¡A¡¡will¡¡belong¡¡not¡¡to



all¡¡B¡£¡¡Similarly¡¡if¡¡the¡¡syllogism¡¡is¡¡negative¡£¡¡For¡¡if¡¡A¡¡belongs¡¡to



some¡¡C£»¡¡and¡¡to¡¡no¡¡B£»¡¡B¡¡will¡¡belong£»¡¡not¡¡to¡¡no¡¡C¡¡at¡¡all£»¡¡but¡­not¡¡to



some¡¡C¡£¡¡And¡¡if¡¡A¡¡belongs¡¡to¡¡some¡¡C£»¡¡and¡¡B¡¡to¡¡all¡¡C£»¡¡as¡¡was



originally¡¡assumed£»¡¡A¡¡will¡¡belong¡¡to¡¡some¡¡B¡£



¡¡¡¡In¡¡particular¡¡syllogisms¡¡when¡¡the¡¡conclusion¡¡is¡¡converted¡¡into¡¡its



contradictory£»¡¡both¡¡premisses¡¡may¡¡be¡¡refuted£»¡¡but¡¡when¡¡it¡¡is¡¡converted



into¡¡its¡¡contrary£»¡¡neither¡£¡¡For¡¡the¡¡result¡¡is¡¡no¡¡longer£»¡¡as¡¡in¡¡the



universal¡¡syllogisms£»¡¡refutation¡¡in¡¡which¡¡the¡¡conclusion¡¡reached¡¡by¡¡O£»



conversion¡¡lacks¡¡universality£»¡¡but¡¡no¡¡refutation¡¡at¡¡all¡£¡¡Suppose



that¡¡A¡¡has¡¡been¡¡proved¡¡of¡¡some¡¡C¡£¡¡If¡¡then¡¡it¡¡is¡¡assumed¡¡that¡¡A¡¡belongs



to¡¡no¡¡C£»¡¡and¡¡B¡¡to¡¡some¡¡C£»¡¡A¡¡will¡¡not¡¡belong¡¡to¡¡some¡¡B£º¡¡and¡¡if¡¡A



belongs¡¡to¡¡no¡¡C£»¡¡but¡¡to¡¡all¡¡B£»¡¡B¡¡will¡¡belong¡¡to¡¡no¡¡C¡£¡¡Thus¡¡both



premisses¡¡are¡¡refuted¡£¡¡But¡¡neither¡¡can¡¡be¡¡refuted¡¡if¡¡the¡¡conclusion¡¡is



converted¡¡into¡¡its¡¡contrary¡£¡¡For¡¡if¡¡A¡¡does¡¡not¡¡belong¡¡to¡¡some¡¡C£»¡¡but



to¡¡all¡¡B£»¡¡then¡¡B¡¡will¡¡not¡¡belong¡¡to¡¡some¡¡C¡£¡¡But¡¡the¡¡original¡¡premiss



is¡¡not¡¡yet¡¡refuted£º¡¡for¡¡it¡¡is¡¡possible¡¡that¡¡B¡¡should¡¡belong¡¡to¡¡some¡¡C£»



and¡¡should¡¡not¡¡belong¡¡to¡¡some¡¡C¡£¡¡The¡¡universal¡¡premiss¡¡AB¡¡cannot¡¡be



affected¡¡by¡¡a¡¡syllogism¡¡at¡¡all£º¡¡for¡¡if¡¡A¡¡does¡¡not¡¡belong¡¡to¡¡some¡¡of



the¡¡Cs£»¡¡but¡¡B¡¡belongs¡¡to¡¡some¡¡of¡¡the¡¡Cs£»¡¡neither¡¡of¡¡the¡¡premisses¡¡is



universal¡£¡¡Similarly¡¡if¡¡the¡¡syllogism¡¡is¡¡negative£º¡¡for¡¡if¡¡it¡¡should¡¡be



assumed¡¡that¡¡A¡¡belongs¡¡to¡¡all¡¡C£»¡¡both¡¡premisses¡¡are¡¡refuted£º¡¡but¡¡if



the¡¡assumption¡¡is¡¡that¡¡A¡¡belongs¡¡to¡¡some¡¡C£»¡¡neither¡¡premiss¡¡is



refuted¡£¡¡The¡¡proof¡¡is¡¡the¡¡same¡¡as¡¡before¡£







¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡9







¡¡¡¡In¡¡the¡¡second¡¡figure¡¡it¡¡is¡¡not¡¡possible¡¡to¡¡refute¡¡the¡¡premiss



which¡¡concerns¡¡the¡¡major¡¡extreme¡¡by¡¡establishing¡¡something¡¡contrary¡¡to



it£»¡¡whichever¡¡form¡¡the¡¡conversion¡¡of¡¡the¡¡conclusion¡¡may¡¡take¡£¡¡For



the¡¡conclusion¡¡of¡¡the¡¡refutation¡¡will¡¡always¡¡be¡¡in¡¡the¡¡third¡¡figure£»



and¡¡in¡¡this¡¡figure¡¡£¨as¡¡we¡¡saw£©¡¡there¡¡is¡¡no¡¡universal¡¡syllogism¡£¡¡The



other¡¡premiss¡¡can¡¡be¡¡refuted¡¡in¡¡a¡¡manner¡¡similar¡¡to¡¡the¡¡conversion£º



I¡¡mean£»¡¡if¡¡the¡¡conclusion¡¡of¡¡the¡¡first¡¡syllogism¡¡is¡¡converted¡¡into¡¡its



contrary£»¡¡the¡¡conclusion¡¡of¡¡the¡¡refutation¡¡will¡¡be¡¡the¡¡contrary¡¡of¡¡the



minor¡¡premiss¡¡of¡¡the¡¡first£»¡¡if¡¡into¡¡its¡¡contradictory£»¡¡the



contradictory¡£¡¡Let¡¡A¡¡belong¡¡to¡¡all¡¡B¡¡and¡¡to¡¡no¡¡C£º¡¡conclusion¡¡BC¡£¡¡If



then¡¡it¡¡is¡¡assumed¡¡that¡¡B¡¡belongs¡¡to¡¡all¡¡C£»¡¡and¡¡the¡¡proposition¡¡AB



stands£»¡¡A¡¡will¡¡belong¡¡to¡¡all¡¡C£»¡¡since¡¡the¡¡first¡¡figure¡¡is¡¡produced¡£¡¡If



B¡¡belongs¡¡to¡¡all¡¡C£»¡¡and¡¡A¡¡to¡¡no¡¡C£»¡¡then¡¡A¡¡belongs¡¡not¡¡to¡¡all¡¡B£º¡¡the



figure¡¡is¡¡the¡¡last¡£¡¡But¡¡if¡¡the¡¡conclusion¡¡BC¡¡is¡¡converted¡¡into¡¡its



contradictory£»¡¡the¡¡premiss¡¡AB¡¡will¡¡be¡¡refuted¡¡as¡¡before£»¡¡the



premiss£»¡¡AC¡¡by¡¡its¡¡contradictory¡£¡¡For¡¡if¡¡B¡¡belongs¡¡to¡¡some¡¡C£»¡¡and¡¡A¡¡to



no¡¡C£»¡¡then¡¡A¡¡will¡¡not¡¡belong¡¡to¡¡some¡¡B¡£¡¡Again¡¡if¡¡B¡¡belongs¡¡to¡¡some



C£»¡¡and¡¡A¡¡to¡¡all¡¡B£»¡¡A¡¡will¡¡belong¡¡to¡¡some¡¡C£»¡¡so¡¡that¡¡the¡¡syllogism



results¡¡in¡¡the¡¡contradictory¡¡of¡¡the¡¡minor¡¡premiss¡£¡¡A¡¡similar¡¡proof¡¡can



be¡¡given¡¡if¡¡the¡¡premisses¡¡are¡¡transposed¡¡in¡¡respect¡¡of¡¡their¡¡quality¡£



¡¡¡¡If¡¡the¡¡syllogism¡¡is¡¡particular£»¡¡when¡¡the¡¡conclusion¡¡is¡¡converted



into¡¡its¡¡contrary¡¡neither¡¡premiss¡¡can¡¡be¡¡refuted£»¡¡as¡¡also¡¡happened



in¡¡the¡¡first¡¡figure£»'¡¡if¡¡the¡¡conclusion¡¡is¡¡converted¡¡into¡¡its



contradictory£»¡¡both¡¡premisses¡¡can¡¡be¡¡refuted¡£¡¡Suppose¡¡that¡¡A¡¡belongs



to¡¡no¡¡B£»¡¡and¡¡to¡¡some¡¡C£º¡¡the¡¡conclusion¡¡is¡¡BC¡£¡¡If¡¡then¡¡it¡¡is¡¡assumed



that¡¡B¡¡belongs¡¡to¡¡some¡¡C£»¡¡and¡¡the¡¡statement¡¡AB¡¡stands£»¡¡the



conclusion¡¡will¡¡be¡¡that¡¡A¡¡does¡¡not¡¡belong¡¡to¡¡some¡¡C¡£¡¡But¡¡the



original¡¡statement¡¡has¡¡not¡¡been¡¡refuted£º¡¡for¡¡it¡¡is¡¡possible¡¡that¡¡A



should¡¡belong¡¡to¡¡some¡¡C¡¡and¡¡also¡¡not¡¡to¡¡some¡¡C¡£¡¡Again¡¡if¡¡B¡¡belongs



to¡¡some¡¡C¡¡and¡¡A¡¡to¡¡some¡¡C£»¡¡no¡¡syllogism¡¡will¡¡be¡¡possible£º¡¡for



neither¡¡of¡¡the¡¡premisses¡¡taken¡¡is¡¡universal¡£¡¡Consequently¡¡the



proposition¡¡AB¡¡is¡¡not¡¡refuted¡£¡¡But¡¡if¡¡the¡¡conclusion¡¡is¡¡converted¡¡into



its¡¡contradictory£»¡¡both¡¡premisses¡¡can¡¡be¡¡refuted¡£¡¡For¡¡if¡¡B¡¡belongs



to¡¡all¡¡C£»¡¡and¡¡A¡¡to¡¡no¡¡B£»¡¡A¡¡will¡¡belong¡¡to¡¡no¡¡C£º¡¡but¡¡it¡¡was¡¡assumed



to¡¡belong¡¡to¡¡some¡¡C¡£¡¡Again¡¡if¡¡B¡¡belongs¡¡to¡¡all¡¡C¡¡and¡¡A¡¡to¡¡some¡¡C£»¡¡A



will¡¡belong¡¡to¡¡some¡¡B¡£¡¡The¡¡same¡¡proof¡¡can¡¡be¡¡given¡¡if¡¡the¡¡universal



statement¡¡is¡¡affirmative¡£







¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡¡10







¡¡¡¡In¡¡the¡¡third¡¡figure¡¡when¡¡the¡¡conclusion¡¡is¡¡converted¡¡into¡¡its



contrary£»¡¡neither¡¡of¡¡the¡¡premisses¡¡can¡¡be¡¡refuted¡¡in¡¡any¡¡of¡¡the



syllogisms£»¡¡but¡¡when¡¡the¡¡conclusion¡¡is¡¡converted¡¡into¡¡its



contradictory£»¡¡both¡¡premisses¡¡may¡¡be¡¡refuted¡¡and¡¡in¡¡all¡¡the¡¡moods¡£



Suppose¡¡it¡¡has¡¡been¡¡proved¡¡that¡¡A¡¡belongs¡¡to¡¡some¡¡B£»¡¡C¡¡being¡¡taken



as¡¡middle£»¡¡and¡¡the¡¡premisses¡¡being¡¡universal¡£¡¡If¡¡then¡¡it¡¡is¡¡assumed



that¡¡A¡¡does¡¡not¡¡belong¡¡to¡¡some¡¡B£»¡¡but¡¡B¡¡belongs¡¡to¡¡all¡¡C£»¡¡no¡¡syllogism



is¡¡formed¡¡about¡¡A¡¡and¡¡C¡£¡¡Nor¡¡if¡¡A¡¡does¡¡not¡¡belong¡¡to¡¡some¡¡B£»¡¡but



belongs¡¡to¡¡all¡¡C£»¡¡will¡¡a¡¡syllogism¡¡be¡¡possi

·µ»ØĿ¼ ÉÏÒ»Ò³ ÏÂÒ»Ò³ »Øµ½¶¥²¿ ÔÞ£¨1£© ²È£¨2£©

Äã¿ÉÄÜϲ»¶µÄ