ملاحظات تاریخی درباره نظام‌های منطقی معرفی شده توسط حاج‌حسینی

مرتضی حاج‌حسینی در ویراست دوم کتابش، طرحی نو از اصول و مبانی منطق، ادعاهایی درموردِ منطق‌های پیشین مطرح کرده است که به نظر می‌رسد برخی از آنها صحت ندارد. این مدعیات از این قرارند: (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.