نویسندگان: اسدالله فلاحی

کلید واژه ها: منطق کلاسیک منطق ربط منطق FDE منطق نیو تَننت

حوزه های تخصصی:
شماره صفحات: ۱۵۱ - ۱۷۰
دریافت مقاله   تعداد دانلود  :  ۱۳۶

آرشیو

آرشیو شماره ها:
۲۹

چکیده

 مرتضی حاج حسینی در ویراست دوم کتابش، طرحی نو از اصول و مبانی منطق، ادعاهایی درموردِ منطق های پیشین مطرح کرده است که به نظر می رسد برخی از آنها صحت ندارد. این مدعیات از این قرارند: (1) منطق کلاسیک میان استلزام مادی و استنتاج خلط کرده و آنها را یکی گرفته است. (2) منطق کلاسیک نظام های تابع ارزشی و غیرتابع ارزشی را تفکیک نمی کند و تفکیک نظام های تابع ارزشی از غیرتابع ارزشی از ابداعات نویسنده کتاب است و در آثار منطق دانان سابقه نداشته است. (3) فراقضیه استنتاج نادرست است، به دلیلِ اینکه رابطه مقدمات عطف مصداقی است. نشان می دهم که همه این مدعیات نادرست اند. همچنین برخی از نظام های غیر کلاسیکِ کم وبیش مشابه را با نظام های طرح شده در این کتاب مقایسه می کنم.

On Historical Aspects of Hajhosseini’s Logical Systems

In the second edition of his book Two Non-Classical Logic Systems, A New Outlook on Elements of Logic, Mortaza Hajhosseini has made some claims about previous logics, which seem to be inaccurate. These claims are as follows: 1. Classical logic confuses inference and material implication and considers them as one. 2. Classical logic does not distinguish between truth-functional and non-truth-functional logical systems. This distinction between these two systems is his invention and has no historical background in the works of previous logicians. 3. The Deduction Theorem is incorrect because the relation of premises is the extentional conjunction. We show that all of these claims are incorrect. Furthermore, we attempt to compare some of the systems proposed in this book to some non-classical systems.

تبلیغات