Избранное

То же касается и логики. Ибо цель логики — составление аргументов, которые движут практический разум к вере, к любви к добродетели и блаженству будущей жизни, как было показано ранее, и об этих аргументах толкуется в книгах Аристотеля, им посвященных, как разъяснено. Но, как учат указанные книги, эти аргументы должны быть совершенными с точки зрения красоты, дабы они могли тотчас же и без предварительного рассмотрения увлекать дух человека к спасительным истинам. И аль-Фараби утверждает это прежде всего в отношении поэтического [аргумента], слова которого должны быть возвышенными и изящными, а потому украшены достоинствами прозы, размера и ритма, сообразно тому, что он должен соответствовать месту, времени, лицам и предмету, о котором идет речь в убеждающем аргументе. […] И поэтому цель логики зависит от музыки. Но цель — благороднейшее в вещи, и она предполагает необходимость того, что упорядочено по отношению к цели, как говорит Аристотель во II книге Физики, и то, что по природе упорядочено к цели, обладает полезностью только в соотнесении с целью, как ясно из отдельных примеров. И так как вся польза логики — в соотнесении всех ее составляющих с таковыми аргументами, то, поскольку последние зависят от музыки, необходимо, чтобы и логика находилась в зависимости от могущества музыки. […]

Sed non solum dependet cognitio logicae a mathematica propter suum finem, sed propter medium et cor eius, quod est liber Posteriorum, nam ille liber docet artem demonstrandi. Sed nec principia demonstrationis, nec conclusiones, nec ipsa tota potest cognosci, nec manifestari nisi in mathematicis rebus, quia ibi solum est demonstratio vera et potens, ut omnes sciunt et exponetur post. Quapropter necesse est logicam a mathematicis dependere.

Но знание логики зависит от математики не только в отношении своей цели, но и в отношении своей сути и сердцевины, каковыми является книга Второй аналитики, ибо эта книга учит искусству доказательства. Но ни начала доказательства, ни заключения, ни само доказательство в целом не может быть ни познано, ни разъяснено иначе как с помощью математики, поскольку, как известно всем, только здесь имеется истинное и действенное доказательство (это будет показано позже). А потому логика необходимо зависит от математики.

Item propter suum principium, non solum propter medium et finem. Nam liber Praedicamentorum est primus liber logicae secundum Aristotelem. Sed constat praedicamentum quantitatis cognosci non posse sine mathematica. Nam sola mathematica constituitur de quantitate cognoscenda. Quantitati vero annexa sunt praedicamenta de quando et ubi. Nam quando attinet tempori, et ubi oritur ex loco. Praedicamentum habitus non potest cognosci sine praedicamento ubi, ut docet Averroes in quinto Metaphysicae. Maior vero pars praedicamenti qualitatis continet passiones et proprietates quantitatum, quia omnia quae sunt in quarto genere qualitatis vocantur qualitates in quantitatibus. Et omnes passiones earum quae absolute debentur eis sunt qualitates, de quibus magna pars geometriae et arithmeticae constituuntur, sicut sunt rectum et curvum, et caetera quae lineae debentur, et triangulatio et omnis reliqua figuratio, quae superficiei et corpori assignantur; et primum incompositum in numeris, ut docet Aristoteles quinto Metaphysicae et caeterae passiones numerorum absolutae. Quicquid autem dignum est consideratione in praedicamento relationis est proprietas quantitatis, ut sunt proportiones et proportionalitates, et medietates geometricae, et arithmeticae, et musicae, et species maioris inaequalitatis et minoris. Substantiae vero spirituales non cognoscuntur per philosophiam nisi per corporales, et maxime supercoelestes, secundum quod Aristoteles docet undecimo Metaphysicae. Nec inferiora cognoscuntur nisi per superiora, quia coelestia sunt causae inferiorum. Sed coelestia non cognoscuntur nisi per quantitatem, sicut patet ex astronomia. Et ideo omnia praedicamenta dependent ex cognitione quantitatis, de qua est mathematics, et ideo virtus tota logicae dependet ex mathematica.