तार्किक स्थिरांक

तर्कशास्त्र में, औपचारिक भाषा का एक तार्किक स्थिरांक या स्थिर प्रतीक ${\mathcal {L}}$ एक प्रतीक (औपचारिक) है जिसकी प्रत्येक व्याख्या (तर्क) के तहत समान औपचारिक शब्दार्थ (तर्क) है ${\mathcal {L}}$. दो महत्वपूर्ण प्रकार के तार्किक स्थिरांक तार्किक संयोजक और परिमाणक (तर्क)तर्क) हैं। समानता (गणित) विधेय (आमतौर पर '=' लिखा जाता है) को कई औपचारिक प्रणालियों में तार्किक स्थिरांक के रूप में भी माना जाता है।

तर्क के दर्शन में मूलभूत प्रश्नों में से एक यह है कि तार्किक स्थिरांक क्या है? ; अर्थात्, कुछ स्थिरांकों की कौन सी विशेष विशेषता उन्हें प्रकृति में तार्किक बनाती है? कुछ प्रतीक जिन्हें आमतौर पर तार्किक स्थिरांक के रूप में माना जाता है वे हैं:

Symbol	Meaning in English
T	"true"
F, ⊥	"false"
¬	"not"
∧	"and"
∨	"or"
→	"implies", "if...then"
∀	"for all"
∃	"there exists", "for some"
=	"equals"
$\Box$	"necessarily"
$\Diamond$	"possibly"

इनमें से कई तार्किक स्थिरांकों को कभी-कभी वैकल्पिक प्रतीकों द्वारा दर्शाया जाता है (उदाहरण के लिए, तार्किक और को दर्शाने के लिए ∧ के बजाय & प्रतीक का उपयोग)।

तार्किक स्थिरांक को परिभाषित करना भगवान का शुक्र है फ्रीज और बर्ट्रेंड रसेल के काम का एक प्रमुख हिस्सा है। रसेल गणित के सिद्धांतों के दूसरे संस्करण (1937) की प्रस्तावना में तार्किक स्थिरांक के विषय पर लौटे और कहा कि तर्क भाषाई बन जाता है: यदि हमें उनके बारे में कुछ भी निश्चित कहना है, तो [उन्हें] भाषा के हिस्से के रूप में माना जाना चाहिए , भाषा जिस बारे में बात करती है उसके भाग के रूप में नहीं। इस पुस्तक का पाठ संबंध (गणित) एस आर, उनके विपरीत संबंध और पूरक (सेट सिद्धांत) # पूरक संबंधों को आदिम धारणाओं के रूप में उपयोग करता है, जिन्हें एआरबी के रूप में तार्किक स्थिरांक के रूप में भी लिया जाता है।

यह भी देखें

• तार्किक संयोजक
• तार्किक मूल्य
• अतार्किक प्रतीक

बाहरी संबंध

• Stanford Encyclopedia of Philosophy entry on logical constants