तार्किक स्थिरांक: Difference between revisions
(Created page with "तर्कशास्त्र में, औपचारिक भाषा का एक तार्किक स्थिरांक या स्थिर प...") |
No edit summary |
||
| Line 1: | Line 1: | ||
तर्क के दर्शन में मूलभूत प्रश्नों में से एक यह है कि तार्किक स्थिरांक क्या है? ;<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> | |||
कुछ प्रतीक जिन्हें | तर्क में, किसी भाषा का एक तार्किक स्थिरांक या स्थिर प्रतीक <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" | {| class="wikitable" | ||
|- | |- | ||
! | !प्रतीक | ||
! | !अंग्रेजी में अर्थ | ||
|- | |- | ||
| T | | T | ||
| Line 41: | Line 44: | ||
| "possibly" | | "possibly" | ||
|} | |} | ||
इनमें से कई तार्किक स्थिरांकों को कभी-कभी वैकल्पिक प्रतीकों द्वारा दर्शाया जाता है (उदाहरण के लिए, [[तार्किक और]] को दर्शाने के लिए ∧ के | इनमें से कई तार्किक स्थिरांकों को कभी-कभी वैकल्पिक प्रतीकों द्वारा दर्शाया जाता है (उदाहरण के लिए, [[तार्किक और]] को दर्शाने के लिए ∧ के अतिरिक्त & प्रतीक का उपयोग)। | ||
तार्किक स्थिरांक को परिभाषित करना [[भगवान का शुक्र है फ्रीज]] और [[बर्ट्रेंड रसेल]] के काम का एक प्रमुख | तार्किक स्थिरांक को परिभाषित करना [[भगवान का शुक्र है फ्रीज|गोटलोब फ्रीज]] और [[बर्ट्रेंड रसेल]] के काम का एक प्रमुख भाग है। रसेल [[गणित के सिद्धांत]] के दूसरे संस्करण (1937) की प्रस्तावना में तार्किक स्थिरांक के विषय पर लौटे और कहा कि तर्क भाषाई बन जाता है: यदि हमें उनके बारे में कुछ भी निश्चित कहना है, तो [उन्हें] भाषा के भाग के रूप में माना जाना चाहिए , भाषा जिस बारे में बात करती है उसके भाग के रूप में नहीं है।<ref>[[Bertrand Russell]] (1937) Preface to ''The Principles of Mathematics'', pages ix to xi</ref> इस पुस्तक का पाठ [[संबंध (गणित)]] एस आर, उनके [[विपरीत संबंध]] और पूरक (सेट सिद्धांत) या पूरक संबंधों को [[आदिम धारणा|प्राचीन धारणा]]ओं के रूप में उपयोग करता है, जिन्हें एआरबी के रूप में तार्किक स्थिरांक के रूप में भी लिया जाता है। | ||
==यह भी देखें== | ==यह भी देखें== | ||
Revision as of 09:31, 25 July 2023
तर्क में, किसी भाषा का एक तार्किक स्थिरांक या स्थिर प्रतीक एक ऐसा प्रतीक है जिसका की प्रत्येक व्याख्या के तहत समान अर्थपूर्ण मूल्य होता है। दो महत्वपूर्ण प्रकार के तार्किक स्थिरांक तार्किक संयोजक और परिमाणक हैं। समानता विधेय (समान्यत:'=' लिखा जाता है) को तर्क की कई प्रणालियों में तार्किक स्थिरांक के रूप में भी माना जाता है।
तर्क के दर्शन में मूलभूत प्रश्नों में से एक यह है कि तार्किक स्थिरांक क्या है?;[1] अर्थात्, कुछ स्थिरांकों की कौन सी विशेष विशेषता उन्हें प्रकृति में तार्किक बनाती है?[2]
कुछ प्रतीक जिन्हें समान्यत:तार्किक स्थिरांक के रूप में माना जाता है वे हैं:
| प्रतीक | अंग्रेजी में अर्थ |
|---|---|
| T | "true" |
| F, ⊥ | "false" |
| ¬ | "not" |
| ∧ | "and" |
| ∨ | "or" |
| → | "implies", "if...then" |
| ∀ | "for all" |
| ∃ | "there exists", "for some" |
| = | "equals" |
| "necessarily" | |
| "possibly" |
इनमें से कई तार्किक स्थिरांकों को कभी-कभी वैकल्पिक प्रतीकों द्वारा दर्शाया जाता है (उदाहरण के लिए, तार्किक और को दर्शाने के लिए ∧ के अतिरिक्त & प्रतीक का उपयोग)।
तार्किक स्थिरांक को परिभाषित करना गोटलोब फ्रीज और बर्ट्रेंड रसेल के काम का एक प्रमुख भाग है। रसेल गणित के सिद्धांत के दूसरे संस्करण (1937) की प्रस्तावना में तार्किक स्थिरांक के विषय पर लौटे और कहा कि तर्क भाषाई बन जाता है: यदि हमें उनके बारे में कुछ भी निश्चित कहना है, तो [उन्हें] भाषा के भाग के रूप में माना जाना चाहिए , भाषा जिस बारे में बात करती है उसके भाग के रूप में नहीं है।[3] इस पुस्तक का पाठ संबंध (गणित) एस आर, उनके विपरीत संबंध और पूरक (सेट सिद्धांत) या पूरक संबंधों को प्राचीन धारणाओं के रूप में उपयोग करता है, जिन्हें एआरबी के रूप में तार्किक स्थिरांक के रूप में भी लिया जाता है।
यह भी देखें
- तार्किक संयोजक
- तार्किक मूल्य
- अतार्किक प्रतीक
संदर्भ
- ↑ Peacocke, Christopher (May 6, 1976). "What is a Logical Constant?". The Journal of Philosophy. 73 (9): 221–240. doi:10.2307/2025420. Retrieved Jan 12, 2022.
- ↑ Carnap, Rudolf (1958). Introduction to symbolic logic and its applications. New York: Dover.
- ↑ Bertrand Russell (1937) Preface to The Principles of Mathematics, pages ix to xi
बाहरी संबंध
 | This logic-related article is a stub. You can help Wikipedia by expanding it. |
