چکیده :
دو جمله «اگر خورشید طلوع کند، هوا روشن میشود» و «اگر باران ببارد، زمین خیس میشود» اگر در منطق کلاسیک صورتبندی شوند این نتیجه از آنها به دست میآید که «اگر خورشید طلوع کند، زمین خیس میشود یا اگر باران ببارد، هوا روشن میشود».
دریافت شهودی ما بهوضوح اعتبار این استدلال را رد میکند.
در کتاب طرحی نو از اصول و مبانی منطق، نویسنده بر پایه تقسیم اداتهای پایه به دو نوع تابعارزشی و تابعارزشی، به شناسایی رفتار نحوی و معنایی اداتهای پایه تابعارزشی پرداخته و با معرفی قاعدههای استنتاج و دلالت این اداتها به تأسیس نظام تابعارزشی منطق گزارهها پرداخته و با اختصاص نظام تابعارزشی منطق پایه گزارهها به حوزه روابط علّی، معنایی و صوری و صورتبندی استدلال فوق در این نظام، نادرستی و عدم اعتبار استدلال فوق را نشان داده است.
اسدالله فلاحی در مقاله «سمانتیک نظام تابعارزشی حاجحسینی» که در شمارة ۲ دوره ۲۱ نشریۀ فلسفه (۱۴۰۲) منتشر شده است، سمانتیک این نظام را با انتقادهای پراکنده مورد نقد قرار داده است.
در این مقاله این نقدها را در پنج گروه «رفتار ادات نقیض»، «مدل و اجزای آن»، «سمانتیک نظام تابعارزشی و منطق موجهات»، «مفهوم اعتبار»، «فراقضایای تمامیت و تصمیمپذیری» بررسی میکنیم و نشان میدهیم به جز یک مورد خطای سهوی که در نقد ایشان بزرگنمایی شده است، سایر نقدها ناشی از رها نکردن پیشفرض، عدول از برخی الزامات نقد، خطا در فهم و تفسیر برخی فرمولها، خطا در تفسیر و ارزیابی برخی استدلالها، کاربرد شیوههای مغالطی، غفلت از برخی مطالب کتاب و توسل به دلایل نامربوط در نقد مطالب است.
the two propositions "if the sun rises, the sky is bright" and "if it rains, the ground is wet" can be formulated in classical logic to yield the following conclusion "if the sun rises, then the ground is wet or if it rains, then the sky is bright."; intuitively, however, this argument does not seem to hold.
in the book a new outlook on the elements of logic, the author classified primitive connectives into two types, truth-functional and non-truth-functional, and showed the syntactic and semantic behaviour of non-truth-functional primitive connectives.
in addition, the author introduced rules for the inference and reference of connectives to establish a non-truth-functional propositional logic system.
by assigning the non-truth-functional system of propositional logic to the domain of causal, conceptual, and logical relations and formalizing the above argument in this system, the author shows its invalidity.
asadollah fallahi, in his article hajhosseini's non-truth-functional semantics, falsafeh (available online on june 11, 2023), criticizes the semantics of this system with scattered criticisms.
in this article, we will examine these criticisms in five groups: the behavior of the negation operator, the model and its components, the semantics of the non-truth-functional system and modal logic, the concept of validity, and the meta-theorems of completeness and decidability.
we will also show that apart from one case of a trivial error, which is overstated in his critique, the other criticisms are due to the following: failure to abandon presuppositions, deviation from some requirements of the critique, error in the understanding and interpretation of some formulas, errors in the interpretation and evaluation of some arguments, use of fallacious methods, neglect of some contents of the book, and resort to irrelevant grounds in the critique of the contents.
نویسنده :
مرتضی حاجیحسینی ، محمدحسین اسفندیاری
منبع اصلی :
https://jop.ut.ac.ir/article_99206_24ce914c712fd83060aea625d71f542e.pdf
پایگاه :
پایگاه مجلات 5
(فلسفه (دانشگاه تهران)- سال 1403- دوره 22- شماره 1- از صفحه 189 تا 222)
یادداشت :
نظام تابعارزشی ادات نقیض روابط مفهومی مدل تمامیت تصمیمپذیری
Non-truth-functional System Negation operators Intensional relations Model Completeness Decidability