نظام تابع ارزشی حاج حسینی

مرتضی حاج حسینی به تازگی ویراست دوم کتاب خویش طرحی نو از اصول و مبانی منطق را منتشر و مانند ویراست نخست، چهار منطق ناکلاسیک (تابع ارزشی، غیرتابع ارزشی و ترکیب هایی از آن دو) را معرفی کرده است. در این مقاله، صرفا به نظام تابع ارزشی او و نقدهای صوری-ریاضی وارد به آن می پردازم و مباحث مربوط به نظام غیرتابع ارزشی و نیز نقدهای فلسفی و غیرصوری وارد به هر دو نظام و نیز مطالب تاریخی مرتبط را به مقاله های دیگری خواهم سپرد. نقدهای صوری مهم عبارت اند از ۱. دور در برخی تعریف ها؛ ۲. از دست رفتن قاعده جانشینی؛ ۳. بیان نادرست قاعده های برهان خلف؛ ۴. مربوط نبودن مقدمات و نتایج استنتاج ها؛ ۵. هم ارزی یک فرمول با چند فرمول ناهم ارز؛ ۶. عدم تطابق شرطی با استنتاج. انتقادهای کم اهمیت تری هم هست که عبارت اند از ۷. عدم بیان قاعده فرض؛ ۸. عدم بیان دلیل هارمونی نداشتن قاعده حذف فاصل در منطق کلاسیک و هارمونی داشتن قیاس انفصالی در نظام تابع ارزشی؛ ۹. بیان قاعده های برهانک ها و عدم استفاده از آنها.

کلیدواژه ها:

منطق کلاسیک ، نظام تابع ارزشی ، دور ، نرمال ، تعدی ، استنتاج