الثوابت المنطقية والمنطقية
يُقال عادةً إن المنطق شكلي ومحايد للموضوع، لكن هذا يفترض وجود خط مبدئي بين المفردات المنطقية مثل 'و'، 'كل'، و'لا' وبقية اللغة.
Definition
الثوابت المنطقية هي التعبيرات (مثل الروابط والمحددات الكمية) التي يُحتفظ بمعناها ثابتًا عبر جميع التفسيرات، وبفضلها تعتمد صحة الحجة على شكلها بدلاً من موضوعها.
Scope
يتعلق هذا الموضوع بمشكلة الترسيم للمنطق: ما هي التعبيرات التي تُعد ثوابت منطقية وما هي الخاصية التي تجعلها كذلك. ويغطي المعايير الرائدة — الثبات تحت تباديل المجال (أطروحة تارسكي-شير)، والمعايير النظرية للبرهان القائمة على قواعد الإدخال والإزالة المتناغمة، والحسابات النحوية أو الاستدلالية — وتأثير هذا السؤال على ما يُعد شكلاً منطقيًا وبالتالي على النتيجة المنطقية.
Core questions
- ما هي التعبيرات التي تُعد ثوابت منطقية، وهل القائمة مفتوحة أم مغلقة؟
- هل تتميز المنطقية بالثبات تحت تباديل المجال؟
- هل يمكن وصف الثوابت المنطقية بشكل بحت من خلال قواعد الاستدلال الخاصة بها، وما الذي يقيد القواعد المقبولة؟
- هل يحدد اختيار الثوابت المنطقية علاقة التبعية، أم أنه يعكسها فحسب؟
Key concepts
- حيادية الموضوع
- ثبات التباديل
- قواعد الإدخال والإزالة
- التناغم النظري للبرهان
- الحفاظية
- الشكل المنطقي
Key theories
- معيار ثبات التباديل (تارسكي-شير)
- المفهوم منطقي إذا وفقط إذا كان ثابتًا تحت تباديل عشوائية لمجال الأفراد؛ وهذا يلتقط حيادية الموضوع من خلال مطالبة المفاهيم المنطقية بأن تكون غير حساسة لأي كائنات معينة موجودة.
- التناغم النظري للبرهان
- الرابط منطقي حقًا فقط إذا كانت قواعد الإدخال والإزالة الخاصة به متناغمة، بحيث لا يتم إنشاء نظريات جديدة حول بقية اللغة؛ يوضح رد بيلناب على 'تونك' بريور أن قواعد الاستدلال التعسفية لا يمكنها تعريف ثابت.
History
اقترحت قواعد الاستنتاج الطبيعي لجنتزن في ثلاثينيات القرن الماضي أن الروابط قد تُعرّف من خلال دورها الاستدلالي، وهي فكرة صقلها رابط 'تونك' (tonk) لبروير عام 1960 ورد بيلناب عام 1962 الذي يتطلب الحفاظية والتناغم. قدمت محاضرة تارسكي المنشورة بعد وفاته عام 1966 معيار الثبات تحت التباديل، والذي تطور لاحقًا إلى أطروحة تارسكي-شير كالإجابة النموذجية المهيمنة.
Debates
- الترسيم الدلالي مقابل الترسيم النظري للبرهان
- ما إذا كانت المنطقية تُحدد بشكل أفضل من خلال شرط ثبات نظري نموذجي أو من خلال قيود على قواعد الاستدلال مثل التناغم والحفاظية، وما إذا كان النهجان يتفقان على أي التعبيرات منطقية.
Key figures
- Alfred Tarski
- Gila Sher
- Nuel Belnap
- Arthur Prior
- Gerhard Gentzen
Related topics
Seminal works
- tarski1986what
- belnap1962
Frequently asked questions
- ما هي مشكلة 'تونك' (tonk)؟
- اقترح آرثر بريور رابطًا يُدعى 'تونك' (tonk) تسمح قاعدة الإدخال الخاصة به بالاستدلال على 'أ تونك ب' من أ، وتسمح قاعدة الإزالة الخاصة به بالاستدلال على ب من 'أ تونك ب'، بحيث يتبع أي شيء من أي شيء. جادل بيلناب بأن هذا يوضح أن قواعد الاستدلال يمكنها تعريف رابط حقيقي فقط إذا استوفت قيودًا إضافية مثل الحفاظية، مما يمنع 'التعريفات' المرضية.