काल्पनिक न्यायवाक्य: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 2: Line 2:
{{Infobox mathematical statement
{{Infobox mathematical statement
| name = Hypothetical syllogism
| name = Hypothetical syllogism
| type = [[Syllogism]]
| type = [[न्यायवाक्य]]
| field = {{Plainlist|
| field = {{सादा सूची|
* [[Propositional calculus]]
* [[प्रस्तावात्मक कलन]]
* [[Classical logic]]
* [[शास्त्रीय तर्क]]
* [[Intuitionistic logic]]
* [[अंतर्ज्ञानवादी तर्क]]
* Most systems of [[relevance logic]]
* [[प्रासंगिकता तर्क]] की अधिकांश प्रणालियाँ
}}
}}
| statement = Whenever instances of <math>P \to Q</math>, and <math>Q \to R</math> appear on lines of a [[formal proof|proof]], <math>P \to R</math> can be placed on a subsequent line.
| statement = जब भी के उदाहरण<math>P \to Q</math>, and <math>Q \to R</math> की तर्ज पर दिखाई देते हैं [[formal proof|proof]], <math>P \to R</math> अगली पंक्ति में रखा जा सकता है.
| symbolic statement = <math>\frac{P \to Q, Q \to R}{\therefore P \to R}</math>
| symbolic statement = <math>\frac{P \to Q, Q \to R}{\therefore P \to R}</math>
}}
}}
Line 19: Line 19:
:इसलिए, यदि मैं नहीं जागा, तो मुझे भुगतान नहीं मिलेगा।
:इसलिए, यदि मैं नहीं जागा, तो मुझे भुगतान नहीं मिलेगा।


इस शब्द की उत्पत्ति [[ ठेओफ्रस्तुस ]] से हुई।<ref>[http://www.britannica.com/EBchecked/topic/346217/history-of-logic/65923/Theophrastus-of-Eresus "History of Logic: Theophrastus of Eresus"] in [[Encyclopædia Britannica Online]].</ref>
इस शब्द की उत्पत्ति [[ ठेओफ्रस्तुस |ठेओफ्रस्तुस]] से हुई।<ref>[http://www.britannica.com/EBchecked/topic/346217/history-of-logic/65923/Theophrastus-of-Eresus "History of Logic: Theophrastus of Eresus"] in [[Encyclopædia Britannica Online]].</ref>


शुद्ध काल्पनिक न्यायवाक्य वह न्यायवाक्य है जिसमें परिसर और निष्कर्ष दोनों नियमानुसार होते हैं। नियमानुसार वैध होने के लिए एक आधार का पूर्ववृत्त दूसरे के परिणाम से मेल खाना चाहिए। परिणाम स्वरुप नियमानुसार पूर्ववर्ती के रूप में पूर्ववर्ती बने रहे और परिणामी के रूप में परिणामी बने रहे।
शुद्ध काल्पनिक न्यायवाक्य वह न्यायवाक्य है जिसमें परिसर और निष्कर्ष दोनों नियमानुसार होते हैं। नियमानुसार वैध होने के लिए एक आधार का पूर्ववृत्त दूसरे के परिणाम से मेल खाना चाहिए। परिणाम स्वरुप नियमानुसार पूर्ववर्ती के रूप में पूर्ववर्ती बने रहे और परिणामी के रूप में परिणामी बने रहे।
Line 106: Line 106:
:(7) <math>(q \to r)\to((p \to q) \to(p \to r))</math> ((5) और (6) से मोडस पोनेन्स द्वारा)
:(7) <math>(q \to r)\to((p \to q) \to(p \to r))</math> ((5) और (6) से मोडस पोनेन्स द्वारा)
:(HS2) का प्रमाण यहां दिया गया है।
:(HS2) का प्रमाण यहां दिया गया है।
'''(HS2) का प्रमाण हिल्बर्ट_सिस्टम#कुछ_उपयोगी_प्रमेय_और_उनके_प्रमाण दिए गए हैं।'''


===एक मेटाथ्योरम के रूप में===
===एक मेटाथ्योरम के रूप में===

Revision as of 21:18, 5 July 2023

Hypothetical syllogism
Typeन्यायवाक्य
FieldTemplate:सादा सूची
Statementजब भी के उदाहरण, and की तर्ज पर दिखाई देते हैं proof, अगली पंक्ति में रखा जा सकता है.
Symbolic statement

मौलिक तर्क में, एक काल्पनिक न्यायवाक्य एक वैध तर्क रूप है, एक या दोनों परिसरों के लिए एक नियमानुसार कथन के साथ एक न्यायवाक्य बनाता है।

काल्पनिक न्यायवाक्य के चार संभावित रूप हैं, जिनमें से दो वैध हैं, जबकि दो अमान्य हैं। एक बहुत ही सरल उदाहरण पर विचार करने से आपको यह समझने में मदद मिल सकती है कि ये फॉर्म वैध या अमान्य क्यों हैं। यदि p दर्शाता है कि कैंडिरू एक मछली है और q दर्शाता है कि कैंडिरू में गलफड़े हैं, तो उपरोक्त तालिका में इन कथनों को p और q से प्रतिस्थापित करके स्वयं को समझाने का प्रयास करें।[1]

अंग्रेजी भाषा में एक उदाहरण:

यदि मैं नहीं जागा, तो मैं काम पर नहीं जा पाऊंगा.
यदि मैं काम पर नहीं जा सकता तो मुझे वेतन नहीं मिलेगा।
इसलिए, यदि मैं नहीं जागा, तो मुझे भुगतान नहीं मिलेगा।

इस शब्द की उत्पत्ति ठेओफ्रस्तुस से हुई।[2]

शुद्ध काल्पनिक न्यायवाक्य वह न्यायवाक्य है जिसमें परिसर और निष्कर्ष दोनों नियमानुसार होते हैं। नियमानुसार वैध होने के लिए एक आधार का पूर्ववृत्त दूसरे के परिणाम से मेल खाना चाहिए। परिणाम स्वरुप नियमानुसार पूर्ववर्ती के रूप में पूर्ववर्ती बने रहे और परिणामी के रूप में परिणामी बने रहे।

यदि p, तो q.
यदि q, तो r.
∴ यदि p, तो r.

एक मिश्रित काल्पनिक न्यायवाक्य में एक नियमानुसार कथन और एक कथन सम्मिलित होता है जो उस नियमानुसार के पूर्ववृत्त या परिणाम के साथ या तो पुष्टि या खंडन व्यक्त करता है। इसलिए ऐसे मिश्रित काल्पनिक न्यायवाक्य के चार संभावित रूप हैं जिनमें से दो वैध हैं, जबकि अन्य दो अमान्य हैं (तालिका देखें) वैध निष्कर्ष प्राप्त करने का पहला विधि पूर्ववृत्त की पुष्टि करना है। एक वैध काल्पनिक न्यायवाक्य या तो परिणामी (मोडस टोलेंस) को नकारता है या पूर्ववर्ती (मोडस पोनेंस) की पुष्टि करता है।[1]

प्रस्तावित तर्क

प्रस्तावात्मक तर्क में, काल्पनिक न्यायवाक्य अनुमान के एक वैध नियम का नाम है (अधिकांशतः संक्षिप्त एचएस और कभी-कभी श्रृंखला तर्क, श्रृंखला नियम, या निहितार्थ की परिवर्तनशीलता का सिद्धांत भी कहा जाता है)। नियम कहा जा सकता है:

जहां नियम यह है कि जब भी "", और "" के उदाहरण किसी प्रमाण की पंक्तियों पर दिखाई देते हैं, तो "" को अगली पंक्ति में रखा जा सकता है।

हाइपोथेटिकल सिलोगिज्म निकटता से संबंधित है और विच्छेदात्मक न्यायवाक्य के समान है, इसमें यह एक प्रकार का सिलोगिज्म भी है, और अनुमान के नियम का नाम भी है।

प्रयोज्यता

काल्पनिक न्यायशास्त्र का नियम मौलिक तर्क, अंतर्ज्ञानवादी तर्क, प्रासंगिक तर्क की अधिकांश प्रणालियों और तर्क की कई अन्य प्रणालियों में प्रय्युक्त होता है। चूँकि, यह सभी तर्कों पर प्रय्युक्त नहीं होता है, उदाहरण के लिए, गैर-मोनोटोनिक तर्क, संभाव्य तर्क और डिफ़ॉल्ट तर्क इसका कारण यह है कि ये तर्क अक्षम्य तर्क का वर्णन करते हैं, और वास्तविक दुनिया के संदर्भों में दिखाई देने वाली नियमानुसार सामान्यतः अपवादों, डिफ़ॉल्ट मान्यताओं, अन्य सभी समान स्थितियों या बस साधारण अनिश्चितता की अनुमति देती हैं।

अर्नेस्ट डब्ल्यू एडम्स से लिया गया एक उदाहरण, [3]

  1. यदि जोन्स चुनाव जीतता है, तो स्मिथ चुनाव के बाद सेवानिवृत्त हो जाएगा।
  2. यदि चुनाव से पहले स्मिथ की मृत्यु हो जाती है, तो जोन्स चुनाव जीत जाएगा।
  3. यदि चुनाव से पहले स्मिथ की मृत्यु हो जाती है, तो चुनाव के बाद स्मिथ सेवानिवृत्त हो जायेंगे.

स्पष्टतः (3) (1) और (2) से अनुसरण नहीं करता है। (1) डिफ़ॉल्ट रूप से सत्य है, किन्तु स्मिथ की मृत्यु की असाधारण परिस्थितियों में इसे प्रय्युक्त करने में विफल रहता है। वास्तव में, वास्तविक दुनिया की नियमो में सदैव डिफ़ॉल्ट धारणाएं या संदर्भ सम्मिलित होते हैं और उन सभी असाधारण परिस्थितियों को निर्दिष्ट करना असंभव या यहां तक ​​​​कि असंभव हो सकता है जिनमें वे सत्य होने में विफल हो सकते हैं। समान कारणों से, काल्पनिक न्यायवाक्य का नियम प्रतितथ्यात्मक नियमो पर प्रय्युक्त नहीं होता है।

औपचारिक संकेतन

काल्पनिक न्यायवाक्य अनुमान नियम को अनुक्रमिक संकेतन में लिखा जा सकता है, जो कट नियम की विशेषज्ञता के समान है:

जहां एक धातु संबंधी प्रतीक है और का अर्थ है कि कुछ तार्किक प्रणाली में का वाक्यात्मक परिणाम है;

और एक सत्य-कार्यात्मक टॉटोलॉजी (तर्क) या प्रस्तावात्मक कलन के प्रमेय के रूप में व्यक्त किया गया:

जहाँ , , और कुछ औपचारिक प्रणाली में व्यक्त किए गए प्रस्ताव हैं।

प्रमाण

चरण प्रस्ताव व्युत्पत्ति
1 दिया गया
2 दिया गया
3 नियमित प्रमाण धारणा
4 सेटिंग मोड (1,3)
5 सेटिंग मोड (2,4)
6 नियमित प्रमाण (3-5)


वैकल्पिक रूप

काल्पनिक न्यायवाक्य का एक वैकल्पिक रूप, निहितार्थ और निषेध के साथ मौलिक प्रस्तावात्मक कलन प्रणालियों के लिए अधिक उपयोगी (अर्थात संयोजन चिह्न के बिना) निम्नलिखित है:

(HS1)

फिर भी एक और रूप है:

(HS2)


प्रमाण

ऐसी प्रणालियों में इन प्रमेयों के प्रमाण का एक उदाहरण नीचे दिया गया है। हम जान लुकासिविक्ज़ द्वारा वर्णित लोकप्रिय प्रणालियों में से एक में उपयोग किए गए तीन सिद्धांतों में से दो का उपयोग करते हैं। प्रमाण इस प्रणाली के तीन सिद्धांतों में से दो पर निर्भर करते हैं:

(ए1)
(आआ)

(HS1) का प्रमाण इस प्रकार है:

(1) ((A1) का उदाहरण)
(2) ((A2 का उदाहरण))
(3) (सेटिंग विधि द्वारा (1) और (2) से)
(4) ((A2 का उदाहरण))
(5) (सेटिंग विधि द्वारा (3) और (4) से)
(6) ((A1) का उदाहरण)
(7) ((5) और (6) से मोडस पोनेन्स द्वारा)
(HS2) का प्रमाण यहां दिया गया है।

एक मेटाथ्योरम के रूप में

जब भी हमारे पास और के रूप में दो प्रमेय हों, तो हम साबित कर सकते हैं निम्नलिखित चरणों द्वारा:

(1) (ऊपर सिद्ध प्रमेय का उदाहरण)
(2) ((T1 का उदाहरण))
(3) (सेटिंग विधि द्वारा (1) और (2) से)
(4) ((T2 का उदाहरण))
(5) (सेटिंग विधि द्वारा (3) और (4) से)

यह भी देखें

  • मोडस पोनेन्स
  • मोडस टोलेंस
  • परिणाम की पुष्टि
  • पूर्ववृत्त को नकारना
  • संक्रमणीय संबंध

संदर्भ

  1. 1.0 1.1 Kashef, Arman. (2023), In Quest of Univeral Logic: A brief overview of formal logic's evolution, doi:10.13140/RG.2.2.24043.82724/1
  2. "History of Logic: Theophrastus of Eresus" in Encyclopædia Britannica Online.
  3. Adams, Ernest W. (1975). शर्तों का तर्क. Dordrecht: Reidel. p. 22.


बाहरी संबंध