आधुनिक औपचारिक तर्कशास्त्र के दृष्टिकोण से अरस्तू का न्याय-अनुमान

परिचय

Łukasiewicz wrote the book in Dublin and published it with Oxford University Press in 1951; the second edition of 1957 added chapters on Aristotle’s modal syllogistic. It argues that Aristotle’s syllogisms are not inference rules but conditional sentences (“if A belongs to all B and B belongs to all C, then A belongs to all C”), and that the syllogistic is an axiomatic theory resting on a propositional logic that Aristotle used without stating it. Łukasiewicz formalised the system in his notation, used results of his student Jerzy Słupecki to show that it is decidable. The book renewed the study of ancient logic. From the 1970s John Corcoran and Timothy Smiley proposed a reading of the syllogistic as a system of natural deduction, which many scholars now prefer.

संबंध

जिस पर आधारित

• ऑर्गेनॉनलगभग 350 ईसा पूर्व · अरस्तू

यान उकाशेविच की और कृतियाँ

• 1920त्रि-मूल्यीय तर्कशास्त्र पर