posterior analytics-第4章

按键盘上方向键 ← 或 → 可快速上下翻页，按键盘上的 Enter 键可回到本书目录页，按键盘上方向键 ↑ 可回到本页顶部！
————未阅读完？加入书签已便下次继续阅读！





that　is　to　be　taken　to　mean　that　it　is　true　of　a　given　subject



primarily　and　as　such。　Case　（3）　may　be　thus　exemplified。　If　a　proof



were　given　that　perpendiculars　to　the　same　line　are　parallel；　it　might



be　supposed　that　lines　thus　perpendicular　were　the　proper　subject　of



the　demonstration　because　being　parallel　is　true　of　every　instance



of　them。　But　it　is　not　so；　for　the　parallelism　depends　not　on　these



angles　being　equal　to　one　another　because　each　is　a　right　angle；　but



simply　on　their　being　equal　to　one　another。　An　example　of　（1）　would　be



as　follows：　if　isosceles　were　the　only　triangle；　it　would　be　thought



to　have　its　angles　equal　to　two　right　angles　qua　isosceles。　An



instance　of　（2）　would　be　the　law　that　proportionals　alternate。



Alternation　used　to　be　demonstrated　separately　of　numbers；　lines；



solids；　and　durations；　though　it　could　have　been　proved　of　them　all　by



a　single　demonstration。　Because　there　was　no　single　name　to　denote



that　in　which　numbers；　lengths；　durations；　and　solids　are　identical；



and　because　they　differed　specifically　from　one　another；　this　property



was　proved　of　each　of　them　separately。　To…day；　however；　the　proof　is



commensurately　universal；　for　they　do　not　possess　this　attribute　qua



lines　or　qua　numbers；　but　qua　manifesting　this　generic　character　which



they　are　postulated　as　possessing　universally。　Hence；　even　if　one



prove　of　each　kind　of　triangle　that　its　angles　are　equal　to　two



right　angles；　whether　by　means　of　the　same　or　different　proofs；　still；



as　long　as　one　treats　separately　equilateral；　scalene；　and



isosceles；　one　does　not　yet　know；　except　sophistically；　that



triangle　has　its　angles　equal　to　two　right　angles；　nor　does　one　yet



know　that　triangle　has　this　property　commensurately　and　universally；



even　if　there　is　no　other　species　of　triangle　but　these。　For　one



does　not　know　that　triangle　as　such　has　this　property；　nor　even　that



'all'　triangles　have　it…unless　'all'　means　'each　taken　singly'：　if



'all'　means　'as　a　whole　class'；　then；　though　there　be　none　in　which



one　does　not　recognize　this　property；　one　does　not　know　it　of　'all



triangles'。



　　When；　then；　does　our　knowledge　fail　of　commensurate　universality；



and　when　it　is　unqualified　knowledge？　If　triangle　be　identical　in



essence　with　equilateral；　i。e。　with　each　or　all　equilaterals；　then



clearly　we　have　unqualified　knowledge：　if　on　the　other　hand　it　be　not；



and　the　attribute　belongs　to　equilateral　qua　triangle；　then　our



knowledge　fails　of　commensurate　universality。　'But'；　it　will　be　asked；



'does　this　attribute　belong　to　the　subject　of　which　it　has　been



demonstrated　qua　triangle　or　qua　isosceles？　What　is　the　point　at　which



the　subject。　to　which　it　belongs　is　primary？　（i。e。　to　what　subject　can



it　be　demonstrated　as　belonging　commensurately　and　universally？）'



Clearly　this　point　is　the　first　term　in　which　it　is　found　to　inhere　as



the　elimination　of　inferior　differentiae　proceeds。　Thus　the　angles



of　a　brazen　isosceles　triangle　are　equal　to　two　right　angles：　but



eliminate　brazen　and　isosceles　and　the　attribute　remains。　'But'…you



may　say…'eliminate　figure　or　limit；　and　the　attribute　vanishes。'　True；



but　figure　and　limit　are　not　the　first　differentiae　whose



elimination　destroys　the　attribute。　'Then　what　is　the　first？'　If　it　is



triangle；　it　will　be　in　virtue　of　triangle　that　the　attribute



belongs　to　all　the　other　subjects　of　which　it　is　predicable；　and



triangle　is　the　subject　to　which　it　can　be　demonstrated　as　belonging



commensurately　and　universally。







　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　6







　　Demonstrative　knowledge　must　rest　on　necessary　basic　truths；　for　the



object　of　scientific　knowledge　cannot　be　other　than　it　is。　Now



attributes　attaching　essentially　to　their　subjects　attach



necessarily　to　them：　for　essential　attributes　are　either　elements　in



the　essential　nature　of　their　subjects；　or　contain　their　subjects　as



elements　in　their　own　essential　nature。　（The　pairs　of　opposites



which　the　latter　class　includes　are　necessary　because　one　member　or



the　other　necessarily　inheres。）　It　follows　from　this　that　premisses　of



the　demonstrative　syllogism　must　be　connexions　essential　in　the



sense　explained：　for　all　attributes　must　inhere　essentially　or　else　be



accidental；　and　accidental　attributes　are　not　necessary　to　their



subjects。



　　We　must　either　state　the　case　thus；　or　else　premise　that　the



conclusion　of　demonstration　is　necessary　and　that　a　demonstrated



conclusion　cannot　be　other　than　it　is；　and　then　infer　that　the



conclusion　must　be　developed　from　necessary　premisses。　For　though



you　may　reason　from　true　premisses　without　demonstrating；　yet　if



your　premisses　are　necessary　you　will　assuredly　demonstrate…in　such



necessity　you　have　at　once　a　distinctive　character　of　demonstration。



That　demonstration　proceeds　from　necessary　premisses　is　also　indicated



by　the　fact　that　the　objection　we　raise　against　a　professed



demonstration　is　that　a　premiss　of　it　is　not　a　necessary　truth…whether



we　think　it　altogether　devoid　of　necessity；　or　at　any　rate　so　far　as



our　opponent's　previous　argument　goes。　This　shows　how　naive　it　is　to



suppose　one's　basic　truths　rightly　chosen　if　one　starts　with　a



proposition　which　is　（1）　popularly　accepted　and　（2）　true；　such　as



the　sophists'　assumption　that　to　know　is　the　same　as　to　possess



knowledge。　For　（1）　popular　acceptance　or　rejection　is　no　criterion



of　a　basic　truth；　which　can　only　be　the　primary　law　of　the　genus



constituting　the　subject　matter　of　the　demonstration；　and　（2）　not



all　truth　is　'appropriate'。



　　A　further　proof　that　the　conclusion　must　be　the　development　of



necessary　premisses　is　as　follows。　Where　demonstration　is　possible；



one　who　can　give　no　account　which　includes　the　cause　has　no　scientific



knowledge。　If；　then；　we　suppose　a　syllogism　in　which；　though　A



necessarily　inheres　in　C；　yet　B；　the　middle　term　of　the　demonstration；



is　not　necessarily　connected　with　A　and　C；　then　the　man　who　argues



thus　has　no　reasoned　knowledge　of　the　conclusion；　since　this



conclusion　does　not　owe　its　necessity　to　the　middle　term；　for　though



the　conclusion　is　necessary；　the　mediating　link　is　a　contingent



fact。　Or　again；　if　a　man　is　without　knowledge　now；　though　he　still



retains　the　steps　of　the　argument；　though　there　is　no　change　in



himself　or　in　the　fact　and　no　lapse　of　memory　on　his　part；　then



neither　had　he　knowledge　previously。　But　the　mediating　link；　not　being



necessary；　may　have　perished　in　the　interval；　and　if　so；　though



there　be　no　change　in　him　nor　in　the　fact；　and　though　he　will　still



retain　the　steps　of　the　argument；　yet　he　has　not　knowledge；　and



therefore　had　not　knowledge　before。　Even　if　the　link　has　not



actually　perished　but　is　liable　to　perish；　this　situation　is



possible　and　might　occur。　But　such　a　condition　cannot　be　knowledge。



　　When　the　conclusion　is　necessary；　the　middle　through　which　it　was



proved　may　yet　quite　easily　be　non…necessary。　You　can　in　fact　infer



the　necessary　even　from　a　non…necessary　premiss；　just　as　you　can　infer



the　true　from　the　not　true。　On　the　other　hand；　when　the　middle　is



necessary　the　conclusion　must　be　necessary；　just　as　true　premisses



always　give　a　true　conclusion。　Thus；　if　A　is　necessarily　predicated　of



B　and　B　of　C；　then　A　is　necessarily　predicated　of　C。　But　when　the



conclusion　is　nonnecessary　the　middle　cannot　be　necessary　either。



Thus：　let　A　be　predicated　non…necessarily　of　C　but　necessarily　of　B；



and　let　B　be　a　necessary　predicate　of　C；　then　A　too　will　be　a



necessary　predicate　of　C；　which　by　hypothesis　it　is　not。



　　To　sum