نوع مقاله : مقاله علمی- پژوهشی

نویسنده

• داود حیدری

چکیده

منطق ارسطو در دوران جدید با مخالفت­های بسیاری مواجه بوده است و برخی نیز بر آن بودند که با وجود نظریة مجموعه‌ها و منطق محمولات، دیگر نیازی به منطق ارسطو نیست. اما گسترة تحقیقاتی که منطقدانان غربی در چند دهة اخیر در زمینة منطق ارسطو به عمل آورده­‌اند، نشان می­دهد که این منطق هنوز هم زنده و قابل اعتنا است. در میان مطالعات انجام گرفته دربارة منطق ارسطو، دو رویکرد را می­توان از یکدیگر متمایز ساخت. در یک رویکرد، قیاس ارسطویی به عنوان یک دستگاه استنتاج طبیعی (Natural deduction system) صورتبندی می­شود. کُرکُران (John Corcoran) و اسمیلی (Timothy Smiley) از این رویکرد دفاع می­کنند. در رویکرد دوم، نظریة قیاس ارسطو با نگرش اصل موضوعی (Axiomatic system) سامان می­یابد. چهرة برجستة این رویکرد منطق­دان مشهور لهستانی، ­لوکاسیه­ویچ (Jan Lukasiewicz) است. در این مقاله به معرفی دستگاه اصل موضوعی منطق ارسطو از نگاه لوکاسیه­ویچ پرداخته شده است.

کلیدواژه‌ها

• قیاس
• استلزام
• قاعدة استنتاجی
• اصل موضوع
• برنهاد
• منطق گزاره¬ها
• عکس
• افتراض
• برهان خلف
• اثبات (برهان)
• نفی

عنوان مقاله [English]

Lukasiewicz’s Symbolic System for Aristotle’s Logic

نویسنده [English]

• Davud Heidari

چکیده [English]

This article deals with Lukasiewicz’s view of Aristotle's syllogistic. His fundamental work on the syllogism is Aristotle's Syllogistic from the Standpoint of Modern Formal Logic. The Lukasiewiczian view takes Aristotle’s logic to be an axiomatized system presupposing the propositional calculus. Lukasiewicz noted that Aristotle generally presents syllogisms in conditional form. For example, Barbara is stated as: “if A is said of every B and B of every C, then it is necessary for A to be predicated of every C.” This suggests that syllogisms aren’t inferences but implications. The strong claim constituting Lukasiewicz’s view is that Aristotle’s theory of syllogism is a system of true propositions. He calls all true propositions (whether axioms or theorems) “theses”. From this point of view, imperfect syllogisms are not axioms and need to be proved, i.e. established as theorems. To do that, Aristotle uses a few methods of proof, namely proofs by conversion, proofs by ecthesis and proofs by reductio ad impossibile.

کلیدواژه‌ها [English]

• syllogism
• implication
• Axiom
• Propositional Calculus
• Theorem
• Theses
• Conversion
• Ecthesis
• Reductio ad Impossible
• Rejection