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

`तर्क में, किसी भाषा का एक तार्किक स्थिरांक या स्थिर प्रतीक ${\mathcal {L}}$ एक ऐसा प्रतीक है जिसका ${\mathcal {L}}$ की प्रत्येक व्याख्या के तहत समान अर्थपूर्ण मूल्य होता है। दो महत्वपूर्ण प्रकार के तार्किक स्थिरांक तार्किक संयोजक और परिमाणक हैं। समानता विधेय (समान्यत:'=' लिखा जाता है) को तर्क की कई प्रणालियों में तार्किक स्थिरांक के रूप में भी माना जाता है।

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

कुछ प्रतीक जिन्हें समान्यत:तार्किक स्थिरांक के रूप में माना जाता है वे हैं:

प्रतीक	अंग्रेजी में अर्थ
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