پیوندهای مفید
اخبار و اعلانات
آمار
| تعداد نشریات | 162 |
| تعداد شماره‌ها | 6,694 |
| تعداد مقالات | 72,265 |
| تعداد مشاهده مقاله | 129,309,102 |
| تعداد دریافت فایل اصل مقاله | 102,167,990 |
سمانتیک غیر تابع ارزشی حاج حسینی | ||
| فلسفه | ||
| دوره 21، شماره 2 - شماره پیاپی 41، اسفند 1402، صفحه 149-166 اصل مقاله (551.17 K) | ||
| نوع مقاله: مقاله پژوهشی | ||
| شناسه دیجیتال (DOI): 10.22059/jop.2023.357961.1006777 | ||
| نویسنده | ||
| اسدالله فلاحی* | ||
| گروه منطق، مؤسسة پژوهشی حکمت و فلسفة ایران، تهران، ایران. | ||
| چکیده | ||
| مرتضی حاج حسینی در ویراست دوم کتاب خویش «طرحی نو از اصول و مبانی منطق» دو نظام تابع ارزشی و غیر تابع ارزشی معرفی کرده است که دستگاه استنتاج طبیعی آن دو و سمانتیک نظام تابع ارزشی را در مقاله‌های دیگری بررسی کرده‌ام. در این مقاله به سمانتیک نظام غیر تابع ارزشی خواهم پرداخت و فرا قضایای صحت و تمامیت را که او اثبات کرده است مورد واکاوی قرار خواهم داد. نشان می‌دهم که 1. این سمانتیک مبتنی بر یک نظریة مجموعه‌های جدید است که تاکنون تدوین نشده است. 2. تعریف مدل در این کتاب مربوط است به «مدل کامل» در حالی که مدل‌های معرفی‌شده همگی «مدل ناقص» هستند. 3. شرایط صدق فرمول‌های غیر تابع ارزشی یادآور شرایط صدق فرمول‌های مشابه در منطق استلزام اکید سی. آی. لوئیس اما در سمانتیک موجهاتی لایب‌نیتزی است. 4. این سمانتیک با نظریة برهان کتاب هماهنگ نیست. 5. از این رو، قضایای صحت و تمامیت در واقع نادرست هستند و مثال‌های نقض دارند. 6. ادات ناقض در این سمانتیک تابع ارزشی شمرده شده است در حالی که باید غیر تابع ارزشی باشد. 7. تعداد روابط در این سمانتیک متناهی (دقیقاً پنج) معرفی شده است در حالی که این تعداد بی‌نهایت (ناشمارا) است. 8. به همین دلیل منطق غیرتابع‌ارزشی باید تصمیم ناپذیر باشد، در حالی که در نظام تابع‌غیر‌ارزشی تصمیم پذیر اعلام شده است | ||
| کلیدواژه‌ها | ||
| منطق کلاسیک؛ نظام غیرتابع‌ارزشی؛ روابط مفهومی؛ تصمیم پذیری | ||
| عنوان مقاله [English] | ||
| Hajhosseini's Non-Truth-Functional Semantics | ||
| نویسندگان [English] | ||
| Asadollah Falahi | ||
| Department of Logic, Iranian Institute of Philosophy, Tehran,, Iran. | ||
| چکیده [English] | ||
| Mortaza Hajhosseini introduced two truth-functional and non-truth-functional systems in the second edition of his book Two Non-Classical Logic Systems, A New Outlook on Elements of Logic. In other articles, I have reviewed the natural deduction and the semantics of the truth-functional system. In this paper, I will address the semantics of the non-truth-functional system and the meta-theorems of soundness and completeness that he claimed to have proven. I demonstrate that: 1. This semantics is based on a new set theory that has not yet been formulated. 2. The definition of ‘model’ in this book defines ‘complete models,’ while all introduced models are ‘incomplete models’. 3. The truth conditions of non-truth-functional formulas are reminiscent of similar formula truth conditions in logic, as emphasized by C.I. Lewis, but are valid in Libnizian semantics. 4. This semantics is not consistent with the proof theory of the book. 5. Therefore, the validity and completeness consequences are actually incorrect and have counterexamples. 6. Negation operators in this non-truth-functional system have been considered truth-functional, while they should be non-truth-functional. 7. A finite number of relationships (exactly five) have been introduced in this semantics, while this number is infinite. 8. Therefore, non-truth-functional logic must be undecidable, while the non-truth-functional system has been declared decidable | ||
| کلیدواژه‌ها [English] | ||
| Classical logic, non-truth-functional system, conceptual relations, decidability | ||
| مراجع | ||
|
حاج حسینی، مرتضی، (1396)، طرحی نو از اصول و مبانی منطق و دو نظام منطقی پایة غیر کلاسیک، جلد اول: منطق پایة گزاره‌ها، اصفهان، انتشارات دانشگاه اصفهان.
ــــــــــــــــــــ (1401)، طرحی نو از اصول و مبانی منطق با معرفی دو نظام منطقی پایة غیر کلاسیک، جلد اول: منطق پایه گزاره‌ها، اصفهان، انتشارات دانشگاه اصفهان.
رید، استیون، (1385)، فلسفه منطق ربط، ترجمه اسدالله فلاحی، قم، دانشگاه مفید.
فلاحی، اسدالله، (1402 الف)، «نظام تابع ارزشی حاج حسینی»، آینة معرفت 23، ش. 1، صص 21-43.
ـــــــــــــــ (1402 ب)، «نظام غیرتابع‌ارزشی حاج حسینی»، منطق‌پژوهی 14، ش. 1، صص 103-126.
ـــــــــــــــ (1402 ج)، «سمانتیک تابع ارزشی حاج حسینی»، فلسفه و کلام اسلامی 56، ش. 1، صص 115-129.
ـــــــــــــــ (1402 د)، «منطق و معرفت‌بخشی در نظام‌های حاج حسینی»، هستی و شناخت 16، ش. 1،؟؟.
ـــــــــــــــ (1402 هـ)، «مبانی فلسفی نظام‌های حاج حسینی»، حکمت معاصر 14، ش. 1، صص 31-57.
ـــــــــــــــ (1402 و)، «ملاحظات تاریخی دربارة نظام‌های منطقی حاج حسینی»، شناخت 88، ش. 1، 151-170.
Quine, W. O., (1970), Philosophy of logic, Englewood Cliffs, NJ: Prentice Hall. Haj Hosseini, Morteza, (2016), A new outline of the principles and foundations of logic and two non-classical basic logical systems, Volume 1: Basic Propositional Logic, Isfahan, Isfahan University Press.[In Persian]. ---------------------,(1401), a new design of the principles and foundations of logic with the introduction of two basic non-classical logical systems, first volume: basic logic of propositions, Isfahan, Isfahan University Press. .[In Persian]. Reid, Steven, (2015), Philosophy of Logical Context, translated by Asadullah Fallahi, Qom, Mofid University .[In Persian]. Falahi, Asadullah, (1402 A), "Haj Hosseini's Subordinate Value System", Ayna Marafat 23, no. 1, pp. 21-43. [In Persian]. -------------------, (1402b), "Haj Hosseini's non-subjective value system", Logical Studies 14, vol. 1, pp. 103-126. [In Persian]. ---------------------(1402), "Haj Hosseini's value-based semantics", Islamic Philosophy and Theology 56, no. 1, pp. 115-129. [In Persian]. ------------------- (1402 AD), "Logic and Knowledge Sharing in Haj Hosseini's Systems", Hasti and Cognition 16, no. 1,??. [In Persian]. -----------------, (1402 AH), "The Philosophical Foundations of Haj Hosseini's Systems", Contemporary Wisdom 14, no. 1, pp. 31-57. [In Persian]. -------------, (1402f), "Historical observations about Haj Hosseini's logical systems", Noght 88, vol. 1, 151-170. [In Persian]. | ||
|
آمار تعداد مشاهده مقاله: 349 تعداد دریافت فایل اصل مقاله: 241 |
||
سامانه مدیریت نشریات علمی. قدرت گرفته از سیناوب