ثابت منطقي

في المنطق ، الثابت المنطقي أو الرمز الثابت للغة${\displaystyle {\mathcal {L}}}$هو رمز له نفس القيمة الدلالية في جميع تفسيرات${\displaystyle {\mathcal {L}}}$من أهم أنواع الثوابت المنطقية الروابط المنطقية والمحددات الكمية . كما تُعامل دالة المساواة (التي تُكتب عادةً '=') كثابت منطقي في العديد من الأنظمة المنطقية .

أحد الأسئلة الأساسية في فلسفة المنطق هو "ما هو الثابت المنطقي؟"؛ ^{[ 1 ]} أي ما هي السمة الخاصة لبعض الثوابت التي تجعلها منطقية بطبيعتها؟ ^{[ 2 ]}

بعض الرموز التي تُعامل عادةً كثوابت منطقية هي:

رمز	المعنى باللغة الإنجليزية
تي	"حقيقي"
F, ⊥	" خطأ شنيع "
¬	" لا "
∧	" و "
∨	" أو "
→	" يتضمن "، "إذا...ثم"
∀	" للجميع "
∃	" يوجد "، "بالنسبة للبعض"
=	يساوي​​
${\displaystyle \Box }$	"بالضرورة"
${\displaystyle \Diamond }$	"ربما"

يتم أحيانًا الإشارة إلى العديد من هذه الثوابت المنطقية برموز بديلة (على سبيل المثال، استخدام الرمز "&" بدلاً من "∧" للدلالة على " و" المنطقية ).

يُعدّ تعريف الثوابت المنطقية جزءًا رئيسيًا من أعمال غوتلوب فريجه وبرتراند راسل . وقد عاد راسل إلى موضوع الثوابت المنطقية في مقدمة الطبعة الثانية (1937) من كتاب "مبادئ الرياضيات" ، مشيرًا إلى أن المنطق يصبح لغويًا: "إذا أردنا أن نقول أي شيء محدد عنها، فيجب التعامل معها كجزء من اللغة، لا كجزء مما تتحدث عنه اللغة". ^{[ 3 ]} يستخدم نص هذا الكتاب العلاقات R ، وعكسها ، ومكملاتها كمفاهيم أولية ، تُعتبر أيضًا ثوابت منطقية في الصورة aRb .

• الرابط المنطقي
• القيمة المنطقية
• رمز غير منطقي

• مدخل موسوعة ستانفورد للفلسفة حول الثوابت المنطقية