منطق آزاد و پیشفرض
منطق کلاسیک فرض میکند که هر اصطلاح مفرد به چیزی دلالت دارد؛ منطق آزاد این فرض را برای رسیدگی به نامهای تهی مانند «پگاسوس» و توصیفات معین که ارجاع نمیدهند، تعدیل میکند.
Definition
منطق آزاد سیستمی از سورها است که در آن اصطلاحات مفرد لزوماً به اشیاء موجود دلالت ندارند، به طوری که استنتاجهایی مانند حرکت از «الف، ب است» به «چیزی ب است» تنها با فرض اضافی وجود الف معتبر است.
Scope
این موضوع به منطق آزاد — منطقی که از مفروضات وجودی برای اصطلاحات مفرد خود رهاست — و پدیده مرتبط با آن، یعنی شکست پیشفرض، میپردازد. این مبحث چگونگی اصلاح قوانین کلاسیک استنتاج کلی و تعمیم وجودی برای اصطلاحات غیردلالتکننده، انواع مثبت، منفی و خنثی (فراارزشی) منطق آزاد، و پیشزمینه فلسفی در مناقشه راسل-استراوسون بر سر چگونگی تعیین ارزش صدق جملات حاوی توصیفات غیرارجاعی را بررسی میکند.
Core questions
- منطق چگونه باید با جملات حاوی نامهای تهی یا توصیفات ناموفق برخورد کند؟
- آیا چنین جملاتی فاقد ارزش صدق هستند (شکست پیشفرض) یا کاذب محسوب میشوند؟
- کدام قوانین استنتاج کلاسیک باید محدود شوند وقتی اصطلاحات ممکن است دلالت نکنند؟
- آیا وجود یک محمول است، و سورها چگونه باید با وجود مرتبط باشند؟
Key concepts
- اصطلاحات مفرد غیردلالتکننده
- استنتاج کلی و تعمیم وجودی
- منطق آزاد مثبت، منفی و خنثی
- شکست پیشفرض
- شکافهای ارزش صدق
- وجود به عنوان یک محمول
Key theories
- منطق آزاد
- لمبرت منطقهایی را سیستماتیک میکند که در آنها اصطلاحات مفرد ممکن است تهی باشند؛ استنتاج کلی و تعمیم وجودی با یک فرض وجودی مشروط میشوند، و انواع مختلف بر سر ارزشهای صدق جملات اتمی با اصطلاحات غیردلالتکننده متفاوتند.
- پیشفرض و شکافهای ارزش صدق
- استراوسون استدلال میکند که جملهای که از یک توصیف غیرارجاعی استفاده میکند (مانند «پادشاه کنونی فرانسه» راسل) وجود را پیشفرض میگیرد نه اینکه آن را ادعا کند، و بنابراین نه صادق است و نه کاذب؛ ون فراسن این را با فراارزشها مدلسازی میکند.
History
نظریه توصیفات راسل در سال ۱۹۰۵ با تحلیل، به جای بازنگری منطقی، به اصطلاحات تهی پرداخت؛ پاسخ استراوسون در سال ۱۹۵۰ مفهوم پیشفرض و شکافهای ارزش صدق را معرفی کرد. از دهه ۱۹۶۰، لمبرت منطق آزاد را به عنوان یک جایگزین سیستماتیک ابداع و توسعه داد، و ون فراسن معناشناسی فراارزشی را برای شکافهای حاصل ارائه کرد.
Debates
- کاذب یا فاقد ارزش صدق؟
- اینکه آیا جملات با اصطلاحات غیرارجاعی صرفاً کاذب هستند، همانطور که نظریه توصیفات راسل دلالت دارد، یا دچار شکست پیشفرض میشوند و فاقد ارزش صدق هستند، همانطور که استراوسون و منطقدانان آزاد فراارزشی معتقدند.
Key figures
- Karel Lambert
- P. F. Strawson
- Bas van Fraassen
- Bertrand Russell
- Hugues Leblanc
Related topics
Seminal works
- strawson1950
- lambert2003
Frequently asked questions
- چرا منطق کلاسیک نمیتواند نامهای تهی را مدیریت کند؟
- منطق کلاسیک استنتاج «چیزی ب است» از «الف، ب است» را برای هر اصطلاح الف مجاز میداند، که اگر الف به چیزی دلالت نکند، با شکست مواجه میشود — برای مثال استنتاج اینکه چیزی یک اسب بالدار است از «پگاسوس یک اسب بالدار است». منطق آزاد چنین استنتاجهایی را محدود میکند به طوری که به فرض اضافی وجود شیء نامبرده نیاز دارند.