این سایت در حال حاضر پشتیبانی نمی شود و امکان دارد داده های نشریات بروز نباشند
آینه معرفت، جلد ۲۳، شماره ۱، صفحات ۲۱-۴۶
عنوان فارسی نظام تابع‌‌ارزشی حاج‌حسینی
چکیده فارسی مقاله مرتضی حاج‌حسینی به تازگی ویراست دوم کتاب خویش طرحی نو از اصول و مبانی منطق را منتشر و مانند ویراست نخست، چهار منطق ناکلاسیک (تابع‌‌ارزشی، غیرتابع‌‌ارزشی و ترکیب‌هایی از آن دو) را معرفی کرده است. در این مقاله، صرفاً به نظام تابع‌‌ارزشی او و نقدهای صوری-ریاضی وارد به آن می‌پردازم و مباحث مربوط به نظام غیرتابع‌‌ارزشی و نیز نقدهای فلسفی و غیرصوری وارد به هر دو نظام و نیز مطالب تاریخی مرتبط را به مقاله‌های دیگری خواهم سپرد. نقدهای صوری مهم عبارت‌اند از 1. دور در برخی تعریف‌ها؛ 2. از دست رفتن قاعده جانشینی؛ 3. بیان نادرست قاعده‌های برهان خلف؛ 4. مربوط نبودن مقدمات و نتایج استنتاج‌ها؛ 5. هم‌ارزی یک فرمول با چند فرمول ناهم‌ارز؛ 6. عدم تطابق شرطی با استنتاج. انتقادهای کم‌اهمیت‌تری هم هست که عبارت‌اند از 7. عدم بیان قاعده فرض؛ 8. عدم بیان دلیل هارمونی نداشتن قاعده حذف فاصل در منطق کلاسیک و هارمونی داشتن قیاس انفصالی در نظام تابع‌‌ارزشی؛ 9. بیان قاعده‌های برهانک‌ها و عدم استفاده از آنها.
کلیدواژه‌های فارسی مقاله منطق کلاسیک، نظام تابع‌‌ارزشی، دور، نرمال، تعدی، استنتاج،
عنوان انگلیسی Hajhosseini's Truth-Functional Logic
چکیده انگلیسی مقاله Mortaza Hajhosseini has recently published the second edition of his book Two Non-Classical Logic Systems, A new Outlook on Elements of Logic. Similar to the first edition, he has introduced four non-classical logics (truth-functional, non-truth-functional and a combination of the two). In this article, I will only deal with his truth-functional system and the formal-mathematical criticisms levelled against it. I will leave the discussions related to the non-truth-functional system, as well as the philosophical and non-formal criticisms of both systems, and the related historical materials to a future article. The major formal criticisms are as follows: 1. the cyclic nature of some definitions; 2. Losing the rule of substitution; 3. The incorrect expression of the rules of reduction ad absurdum; 4. The lack of relationship between premises and conclusions of inferences; 5. Equivalence of formulas to several inequivalent ones; 6. Lack of correspondence between a condition with an inference. There are some less important criticisms: 7. Failure to express the rule of assumption; 8. Failure to state the reason for the lack of harmony in the rule of disjunction elimination in classical logic and the harmony of the disjunctive syllogism in the truth-functional system; 9. Expressing the rules of sub-proofs without using them.
کلیدواژه‌های انگلیسی مقاله منطق کلاسیک, نظام تابع‌‌ارزشی, دور, نرمال, تعدی, استنتاج
نویسندگان مقاله اسدالله فلاحی |
استاد گروه منطق، مؤسسه پژوهشی حکمت و فلسفه ایران، تهران، ایران (نویسندة مسؤول)

نشانی اینترنتی https://jipt.sbu.ac.ir/article_103576_6b22bb701ad8f6126617cd505e2be455.pdf
فایل مقاله فایلی برای مقاله ذخیره نشده است
کد مقاله (doi)
زبان مقاله منتشر شده fa
موضوعات مقاله منتشر شده
نوع مقاله منتشر شده
برگشت به: صفحه اول پایگاه   |   نسخه مرتبط   |   نشریه مرتبط   |   فهرست نشریات