View source for तार्किक स्थिरांक

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

तर्क के दर्शन में मूलभूत प्रश्नों में से एक यह है कि तार्किक स्थिरांक क्या है?;<ref>{{cite journal |last1=Peacocke |first1=Christopher |date=May 6, 1976 |title=What is a Logical Constant?  |url=https://www.jstor.org/stable/2025420 |journal=The Journal of Philosophy |volume=73 |issue=9 |pages=221-240 |doi=10.2307/2025420 |access-date=Jan 12, 2022}}</ref> अर्थात्, कुछ स्थिरांकों की कौन सी विशेष विशेषता उन्हें प्रकृति में तार्किक बनाती है?<ref>Carnap, Rudolf (1958). ''Introduction to symbolic logic and its applications''. New York: Dover. </ref>                                                                                                                                                                                                                                                                                                                             

कुछ प्रतीक जिन्हें समान्यत:तार्किक स्थिरांक के रूप में माना जाता है वे हैं:
{| class="wikitable"
|-
!प्रतीक
!अंग्रेजी में अर्थ 
|-
| T
| "true"
|-
| F, ⊥
| "[[false (logic)|false]]"
|-
| ¬
| "[[logical negation|not]]"
|-
| ∧
| "[[logical conjunction|and]]"
|-
| ∨
| "[[logical disjunction|or]]"
|-
| →
| "[[Material conditional|implies]]", "if...then"
|-
| ∀
| "[[for all]]"
|-
| ∃
| "[[there exists]]", "for some"
|-
| =
| "[[Equality (mathematics)|equals]]"
|-
| <math>\Box</math>
| "necessarily"
|-
| <math>\Diamond</math>
| "possibly"
|}
इनमें से कई तार्किक स्थिरांकों को कभी-कभी वैकल्पिक प्रतीकों द्वारा दर्शाया जाता है (उदाहरण के लिए, [[तार्किक और]] को दर्शाने के लिए ∧ के अतिरिक्त & प्रतीक का उपयोग)।

तार्किक स्थिरांक को परिभाषित करना [[भगवान का शुक्र है फ्रीज|गोटलोब फ्रीज]] और [[बर्ट्रेंड रसेल]] के काम का एक प्रमुख भाग है। रसेल [[गणित के सिद्धांत]] के दूसरे संस्करण (1937) की प्रस्तावना में तार्किक स्थिरांक के विषय पर लौटे और कहा कि तर्क भाषाई बन जाता है: यदि हमें उनके बारे में कुछ भी निश्चित कहना है, तो [उन्हें] भाषा के भाग के रूप में माना जाना चाहिए , भाषा जिस बारे में बात करती है उसके भाग के रूप में नहीं है।<ref>[[Bertrand Russell]] (1937) Preface to ''The Principles of Mathematics'', pages ix to xi</ref> इस पुस्तक का पाठ [[संबंध (गणित)]] एस आर, उनके [[विपरीत संबंध]] और पूरक (सेट सिद्धांत) या पूरक संबंधों को [[आदिम धारणा|प्राचीन धारणा]]ओं के रूप में उपयोग करता है, जिन्हें एआरबी के रूप में तार्किक स्थिरांक के रूप में भी लिया जाता है।

==यह भी देखें==

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

==संदर्भ==

{{reflist}}


==बाहरी संबंध==

* [http://plato.stanford.edu/entries/logical-constants/ Stanford Encyclopedia of Philosophy entry on logical constants]
     

{{Mathematical logic}}

{{logic-stub}}

[[Category:All stub articles]]
[[Category:Collapse templates]]
[[Category:Created On 08/07/2023]]
[[Category:Logic stubs]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Philosophy and thinking navigational boxes]]
[[Category:Portal-inline template with redlinked portals]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates generating microformats]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia metatemplates]]
[[Category:तर्क प्रतीक]]
[[Category:तर्क में अवधारणाएँ]]
[[Category:तार्किक सत्य]]
[[Category:दार्शनिक तर्क]]
[[Category:सिंटेक्स (तर्क)]]