ثابت منطقي

على سبيل التعريف، في المنطق ، ثابت منطقي أو رمز ثابت للغة (صيغة رياضية) هو رمز له نفس القيمة الدلالية تحت كل تفسير . هناك نوعان مهمان من الثوابت المنطقية هما الروابط المنطقية ومكمم. يتم كذلك التعامل مع مسند المساواة (المكتوب عادةً '=') على أنه ثابت منطقي في الكثير من أنظمة المنطق.

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

أنظر كذلك

وفي هذا السياق، من الأسئلة الأساسية في فلسفة المنطق "ما هو الثابت المنطقي؟". أي ما هي السمة الخاصة لبعض الثوابت التي تجعلها منطقية في طبيعتها؟

بعض الرموز التي يتم التعامل معها على أنها ثوابت منطقية.

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