तार्किक निगमन: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Relationship between statements that hold true when one logically follows from another}} {{Redirect|Entailment||Entail (disambiguation)}} {{Redirect|Theref...")
 
No edit summary
 
(9 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Relationship between statements that hold true when one logically follows from another}}
{{Short description|Relationship between statements that hold true when one logically follows from another}}
{{Redirect|Entailment||Entail (disambiguation)}}
'''तार्किक निगमन''' [[तर्क]] में मौलिक [[अवधारणा]] है जो [[कथन (तर्क)]] के बीच के संबंध का वर्णन करता है जो तब सही होता है जब कथन तार्किक रूप से एक या एक से अधिक कथनों का अनुसरण करता है। [[वैधता (तर्क)]] तार्किक तर्क वह है जिसमें परिसर द्वारा निगमनी प्रवेश किया जाता है, क्योंकि निष्कर्ष परिसर का निगमन है। तार्किक निगमन के [[दार्शनिक विश्लेषण]] में प्रश्न सम्मिलित हैं: किस अर्थ में निष्कर्ष अपने परिसर से निकलता है? और निष्कर्ष के लिए [[आधार]]वाक्य का निगमन होने का क्या अर्थ है?<ref name="sep" >Beall, JC and Restall, Greg, ''[http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ Logical Consequence]'' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).</ref> सभी [[दार्शनिक तर्क]] तार्किक निगमन की प्रकृति और [[तार्किक सत्य]] की प्रकृति का विवरण प्रदान करने के लिए हैं।<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philosophy of Logic''.</ref>  
{{Redirect|Therefore|the therefore symbol  ∴|Therefore sign}}
{{Redirect|Logical implication|the binary connective|Material conditional}}
{{Redirect|⊧|the symbol|Double turnstile}}
तार्किक परिणाम (यह भी प्रवेश) [[[[तर्क]]]] में एक मौलिक [[अवधारणा]] है जो [[कथन (तर्क)]] के बीच के संबंध का वर्णन करता है जो तब सही होता है जब एक कथन तार्किक रूप से एक या एक से अधिक कथनों का अनुसरण करता है। एक [[वैधता (तर्क)]] तार्किक तर्क वह है जिसमें परिसर द्वारा परिणामी प्रवेश किया जाता है, क्योंकि निष्कर्ष परिसर का परिणाम है। तार्किक परिणाम के [[दार्शनिक विश्लेषण]] में प्रश्न शामिल हैं: किस अर्थ में निष्कर्ष अपने परिसर से निकलता है? और निष्कर्ष के लिए [[आधार]]वाक्य का परिणाम होने का क्या अर्थ है?<ref name="sep" >Beall, JC and Restall, Greg, ''[http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/ Logical Consequence]'' The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).</ref> सभी [[दार्शनिक तर्क]] तार्किक परिणाम की प्रकृति और [[तार्किक सत्य]] की प्रकृति का विवरण प्रदान करने के लिए हैं।<ref>[[Willard Van Orman Quine|Quine, Willard Van Orman]], ''Philosophy of Logic''.</ref>
तार्किक परिणाम तार्किक सत्य और [[औपचारिकता (गणित का दर्शन)]] है, उदाहरणों के माध्यम से जो [[औपचारिक प्रमाण]] और [[व्याख्या (तर्क)]] के साथ समझाते हैं।<ref name="sep" />एक वाक्य को वाक्यों के एक सेट का एक तार्किक परिणाम कहा जाता है, दी गई [[औपचारिक भाषा]] के लिए, यदि और केवल अगर, केवल तर्क का उपयोग करते हुए (अर्थात, वाक्यों की किसी भी व्यक्तिगत व्याख्या के संबंध में) वाक्य सत्य होना चाहिए यदि प्रत्येक वाक्य सेट में सच है।<ref name="iep">[[Matthew W. McKeon|McKeon, Matthew]], ''[http://www.iep.utm.edu/logcon/ Logical Consequence]'' Internet Encyclopedia of Philosophy.</ref>
तर्कशास्त्री दी गई औपचारिक भाषा के संबंध में तार्किक परिणाम का सटीक लेखा-जोखा बनाते हैं <math>\mathcal{L}</math>, या तो के लिए एक [[कटौती प्रणाली]] का निर्माण करके <math>\mathcal{L}</math> या भाषा के लिए औपचारिक अभिप्रेत व्याख्या द्वारा <math>\mathcal{L}</math>. पोलिश तर्कशास्त्री [[अल्फ्रेड टार्स्की]] ने प्रवेश के पर्याप्त लक्षण वर्णन की तीन विशेषताओं की पहचान की: (1) तार्किक परिणाम संबंध वाक्यों के [[तार्किक रूप]] पर निर्भर करता है: (2) संबंध एक प्राथमिकता और एक पश्चगामी है, अर्थात, इसे निर्धारित किया जा सकता है या [[अनुभवजन्य साक्ष्य]] (भावना अनुभव) के संबंध में; और (3) तार्किक परिणाम संबंध में एक [[मॉडल तर्क]] घटक है।<ref name="iep" />


तार्किक निगमन तार्किक सत्य और [[औपचारिकता (गणित का दर्शन)|विधिवतता (गणित का दर्शन)]] है, उदाहरणों के माध्यम से जो [[औपचारिक प्रमाण|विधिवत प्रमाण]] और [[व्याख्या (तर्क)]] के साथ समझाते हैं।<ref name="sep" /> वाक्य को वाक्यों के एक समुच्चय का तार्किक निगमन कहा जाता है, दी गई [[औपचारिक भाषा|विधिवत भाषा]] के लिए, यदि और केवल यदि, केवल तर्क का उपयोग करते हुए (अर्थात, वाक्यों की किसी भी व्यक्तिगत व्याख्या के संबंध में) वाक्य सत्य होना चाहिए यदि प्रत्येक वाक्य समुच्चय में सच है।<ref name="iep">[[Matthew W. McKeon|McKeon, Matthew]], ''[http://www.iep.utm.edu/logcon/ Logical Consequence]'' Internet Encyclopedia of Philosophy.</ref>


== औपचारिक खाते ==
तर्कशास्त्री दी गई विधिवत भाषा के संबंध में तार्किक निगमन का स्पष्ट लेखा-जोखा बनाते हैं <math>\mathcal{L}</math>, या तो के लिए [[कटौती प्रणाली]] का निर्माण करके <math>\mathcal{L}</math> या भाषा के लिए विधिवत अभिप्रेत व्याख्या द्वारा <math>\mathcal{L}</math>. पोलिश तर्कशास्त्री [[अल्फ्रेड टार्स्की]] ने प्रवेश के पर्याप्त लक्षण वर्णन की तीन विशेषताओं की पहचान की: (1) तार्किक निगमन संबंध वाक्यों के [[तार्किक रूप]] पर निर्भर करता है: (2) संबंध प्राथमिकता और पश्चगामी है, अर्थात, इसे निर्धारित किया जा सकता है या [[अनुभवजन्य साक्ष्य]] (भावना अनुभव) के संबंध में; और (3) तार्किक निगमन संबंध में एक  [[मॉडल तर्क|प्रायिकता तर्क]] घटक है।<ref name="iep" />
औपचारिकता के लिए अपील करना तार्किक परिणाम के लिए सबसे अच्छा कैसे है, इस पर सबसे व्यापक रूप से प्रचलित दृष्टिकोण है। कहने का तात्पर्य यह है कि कथन एक दूसरे से तार्किक रूप से अनुसरण करते हैं या नहीं यह उस रूप की सामग्री की परवाह किए बिना कथन की संरचना या तार्किक रूप पर निर्भर करता है।


तार्किक परिणाम के सिंटैक्टिक खाते [[अनुमान नियम]]ों का उपयोग करके [[स्कीमा (तर्क)]] पर निर्भर करते हैं। उदाहरण के लिए, हम एक मान्य तर्क के तार्किक रूप को इस प्रकार व्यक्त कर सकते हैं:
== विधिवत स्पष्टीकरण ==
विधिवतता के लिए अपील करना तार्किक निगमन के लिए सबसे अच्छा कैसे है, इस पर सबसे व्यापक रूप से प्रचलित दृष्टिकोण है। कहने का तात्पर्य यह है कि कथन एक दूसरे से तार्किक रूप से अनुसरण करते हैं या नहीं यह उस रूप की सामग्री की परवाह किए बिना कथन की संरचना या तार्किक रूप पर निर्भर करता है।
 
तार्किक निगमन के सिंटैक्टिक स्पष्टीकरण [[अनुमान नियम|अनुमान नियमो]] का उपयोग करके [[स्कीमा (तर्क)]] पर निर्भर करते हैं। उदाहरण के लिए, हम मान्य तर्क के तार्किक रूप को इस प्रकार व्यक्त कर सकते हैं:


: सभी X, Y हैं
: सभी X, Y हैं
Line 18: Line 15:
: इसलिए, सभी X, Z हैं।
: इसलिए, सभी X, Z हैं।


यह तर्क औपचारिक रूप से मान्य है, क्योंकि इस योजना का उपयोग करके निर्मित तर्कों का प्रत्येक [[प्रतिस्थापन (तर्क)]] मान्य है।
यह तर्क विधिवत रूप से मान्य है, क्योंकि इस योजना का उपयोग करके निर्मित तर्कों का प्रत्येक [[प्रतिस्थापन (तर्क)]] मान्य है।
 
यह एक तर्क के विपरीत है जैसे फ्रेड माइक के भाई का बेटा है। इसलिए फ्रेड माइक का भतीजा है। चूंकि यह तर्क भाई, बेटा और भतीजा शब्दों के अर्थ पर निर्भर करता है, इसलिए फ्रेड माइक का भतीजा है, यह कथन फ्रेड माइक के भाई का बेटा है की एक तथाकथित भौतिक शर्त है, औपचारिक परिणाम नहीं। एक औपचारिक परिणाम सभी मामलों में सही होना चाहिए, हालांकि यह औपचारिक परिणाम की एक अधूरी परिभाषा है, क्योंकि तर्क P भी Q के भाई का बेटा है, इसलिए P, Q का भतीजा है, सभी मामलों में मान्य है, लेकिन औपचारिक तर्क नहीं है।<ref name="sep" />
 


== तार्किक परिणाम की एक प्राथमिक संपत्ति ==
यह तर्क के विपरीत है जैसे फ्रेड माइक के भाई का बेटा है। इसलिए फ्रेड माइक का भतीजा है। चूंकि यह तर्क भाई, बेटा और भतीजा शब्दों के अर्थ पर निर्भर करता है, इसलिए फ्रेड माइक का भतीजा है, यह कथन फ्रेड माइक के भाई का बेटा है एक तथाकथित भौतिक शर्त है, विधिवत निगमन नहीं। एक विधिवत निगमन सभी स्थितियों में सही होना चाहिए, चूंकि यह विधिवत निगमन की अधूरी परिभाषा है, क्योंकि तर्क P भी Q के भाई का बेटा है, इसलिए P, Q का भतीजा है, सभी स्थितियों में मान्य है, किन्तु विधिवत तर्क नहीं है।<ref name="sep" />


यदि यह ज्ञात हो <math>Q</math> से तार्किक रूप से अनुसरण करता है <math>P</math>, तो की संभावित व्याख्याओं के बारे में कोई जानकारी नहीं <math>P</math> या <math>Q</math> उस ज्ञान को प्रभावित करेगा। हमारा ज्ञान है कि <math>Q</math> का तार्किक परिणाम है <math>P</math> एक प्राथमिकता और एक पश्चगामी से प्रभावित नहीं किया जा सकता है।<ref name="sep" />निगमनात्मक रूप से मान्य तर्कों को बिना अनुभव के सहारा लिए जाना जा सकता है, इसलिए उन्हें प्राथमिक रूप से जानने योग्य होना चाहिए।<ref name="sep" />हालाँकि, केवल औपचारिकता इस बात की गारंटी नहीं देती है कि अनुभवजन्य ज्ञान से तार्किक परिणाम प्रभावित नहीं होते हैं। तो तार्किक परिणाम की प्राथमिकता संपत्ति को औपचारिकता से स्वतंत्र माना जाता है।<ref name="sep" />


== तार्किक निगमन की प्राथमिक  गुण ==


== सबूत और मॉडल ==
यदि यह ज्ञात हो <math>Q</math> से तार्किक रूप से अनुसरण करता है <math>P</math>, तो की संभावित व्याख्याओं के बारे में कोई जानकारी नहीं <math>P</math> या <math>Q</math> उस ज्ञान को प्रभावित करेगा। हमारा ज्ञान है कि <math>Q</math> का तार्किक निगमन है <math>P</math> प्राथमिकता और पश्चगामी से प्रभावित नहीं किया जा सकता है।<ref name="sep" /> निगमनात्मक रूप से मान्य तर्कों को बिना अनुभव के सहारा लिए जाना जा सकता है, इसलिए उन्हें प्राथमिक रूप से जानने योग्य होना चाहिए।<ref name="sep" /> चूंकि, केवल विधिवतता इस बात की गारंटी नहीं देती है कि अनुभवजन्य ज्ञान से तार्किक निगमन प्रभावित नहीं होते हैं। तो तार्किक निगमन की प्राथमिकता  गुण को विधिवतता से स्वतंत्र माना जाता है।<ref name="sep" />
तार्किक परिणाम के खातों को प्रदान करने के लिए दो प्रचलित तकनीकों में प्रमाणों के संदर्भ में और मॉडल के माध्यम से अवधारणा को व्यक्त करना शामिल है। वाक्यात्मक परिणाम (एक तर्क के) के अध्ययन को (इसका) प्रमाण सिद्धांत कहा जाता है जबकि (इसके) शब्दार्थ परिणाम के अध्ययन को (इसका) [[मॉडल सिद्धांत]] कहा जाता है।<ref name="ChiaraDoets1996">{{cite book|editor1=Maria Luisa Dalla Chiara |editor1-link= Maria Luisa Dalla Chiara |editor2=Kees Doets |editor3=Daniele Mundici |editor4=Johan van Benthem |title=Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995|chapter-url=https://books.google.com/books?id=TCthvF8xLIAC&pg=PA292|year=1996|publisher=Springer|isbn=978-0-7923-4383-7|page=292|chapter=Logical consequence: a turn in style|author=Kosta Dosen}}</ref>


== प्रमाण और मॉडल ==
तार्किक निगमन के खातों को प्रदान करने के लिए दो प्रचलित विधियो में प्रमाणों के संदर्भ में और मॉडल के माध्यम से अवधारणा को व्यक्त करना सम्मिलित है। वाक्यात्मक निगमन (एक तर्क के) के अध्ययन को (इसका) प्रमाण सिद्धांत कहा जाता है जबकि (इसके) शब्दार्थ निगमन के अध्ययन को (इसका) [[मॉडल सिद्धांत]] कहा जाता है।<ref name="ChiaraDoets1996">{{cite book|editor1=Maria Luisa Dalla Chiara |editor1-link= Maria Luisa Dalla Chiara |editor2=Kees Doets |editor3=Daniele Mundici |editor4=Johan van Benthem |title=Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995|chapter-url=https://books.google.com/books?id=TCthvF8xLIAC&pg=PA292|year=1996|publisher=Springer|isbn=978-0-7923-4383-7|page=292|chapter=Logical consequence: a turn in style|author=Kosta Dosen}}</ref>


=== वाक्यात्मक परिणाम ===
=== वाक्यात्मक निगमन ===
{{See also|Therefore_sign|label 1= ∴|Turnstile_(symbol)|label 2= ⊢}}
{{See also|Therefore_sign|label 1= ∴|Turnstile_(symbol)|label 2= ⊢}}
एक सूत्र <math>A</math> एक वाक्यगत परिणाम है<ref>[[Michael Dummett|Dummett, Michael]] (1993) [https://books.google.com/books?id=EYP7uCZIRQYC&pg=PA82&lpg=PA82&dq=syntactic+consequence&source=bl&ots=Ms58438B6w&sig=FE38FCaZpRpAr18gtG7INX4wieM&hl=en&ei=qOy7SoLlEI7KsQPgnYG7BA&sa=X&oi=book_result&ct=result&resnum=6#v=onepage&q=syntactic%20consequence&f=false''Frege: philosophy of language''] Harvard University Press, p.82ff</ref><ref>[[Jonathan Lear|Lear, Jonathan]] (1986) [https://books.google.com/books?id=lXI7AAAAIAAJ&pg=PA1&lpg=PA1&dq=syntactic+consequence&source=bl&ots=8IYWyFYTN-&sig=wrOg75cFxQwn1Uq-8LShBNXf9w0&hl=en&ei=I-y7SpHtLZLotgOsnLHcBQ&sa=X&oi=book_result&ct=result&resnum=10#v=onepage&q=syntactic%20consequence&f=false''Aristotle and Logical Theory''] Cambridge University Press, 136p.</ref><ref>Creath, Richard, and [[Michael Friedman (philosopher)|Friedman, Michael]] (2007) [https://books.google.com/books?id=87BcFLgJmxMC&pg=PA189&lpg=PA189&dq=syntactic+consequence&source=bl&ots=Fn2zomcMZP&sig=8hnJWsJFysNhmWLskICo4IQDYAc&hl=en&ei=I-y7SpHtLZLotgOsnLHcBQ&sa=X&oi=book_result&ct=result&resnum=6#v=onepage&q=syntactic%20consequence&f=false''The Cambridge companion to Carnap''] Cambridge University Press, 371p.</ref><ref>[http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence FOLDOC: "syntactic consequence"] {{webarchive|url=https://web.archive.org/web/20130403201417/http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence |date=2013-04-03 }}</ref><ref name="Kleene52">S. C. Kleene, ''[https://www.worldcat.org/title/introduction-to-metamathematics/oclc/523942 Introduction to Metamathematics]'' (1952), Van Nostrand Publishing. p.88.</ref> कुछ [[औपचारिक प्रणाली]] के भीतर <math>\mathcal{FS}</math> एक सेट का <math>\Gamma</math> सूत्रों का यदि कोई औपचारिक प्रमाण है <math>\mathcal{FS}</math> का <math>A</math> सेट से <math>\Gamma</math>. यह निरूपित है <math>\Gamma \vdash_{\mathcal {FS} } A</math>. घुमक्कड़ प्रतीक <math>\vdash</math> मूल रूप से 1879 में फ्रीज द्वारा पेश किया गया था, लेकिन इसका वर्तमान उपयोग केवल रोसेर और क्लेन (1934-1935) तक ही है। <ref name="Kleene52" />
एक सूत्र <math>A</math> एक वाक्यगत निगमन है<ref>[[Michael Dummett|Dummett, Michael]] (1993) [https://books.google.com/books?id=EYP7uCZIRQYC&pg=PA82&lpg=PA82&dq=syntactic+consequence&source=bl&ots=Ms58438B6w&sig=FE38FCaZpRpAr18gtG7INX4wieM&hl=en&ei=qOy7SoLlEI7KsQPgnYG7BA&sa=X&oi=book_result&ct=result&resnum=6#v=onepage&q=syntactic%20consequence&f=false''Frege: philosophy of language''] Harvard University Press, p.82ff</ref><ref>[[Jonathan Lear|Lear, Jonathan]] (1986) [https://books.google.com/books?id=lXI7AAAAIAAJ&pg=PA1&lpg=PA1&dq=syntactic+consequence&source=bl&ots=8IYWyFYTN-&sig=wrOg75cFxQwn1Uq-8LShBNXf9w0&hl=en&ei=I-y7SpHtLZLotgOsnLHcBQ&sa=X&oi=book_result&ct=result&resnum=10#v=onepage&q=syntactic%20consequence&f=false''Aristotle and Logical Theory''] Cambridge University Press, 136p.</ref><ref>Creath, Richard, and [[Michael Friedman (philosopher)|Friedman, Michael]] (2007) [https://books.google.com/books?id=87BcFLgJmxMC&pg=PA189&lpg=PA189&dq=syntactic+consequence&source=bl&ots=Fn2zomcMZP&sig=8hnJWsJFysNhmWLskICo4IQDYAc&hl=en&ei=I-y7SpHtLZLotgOsnLHcBQ&sa=X&oi=book_result&ct=result&resnum=6#v=onepage&q=syntactic%20consequence&f=false''The Cambridge companion to Carnap''] Cambridge University Press, 371p.</ref><ref>[http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence FOLDOC: "syntactic consequence"] {{webarchive|url=https://web.archive.org/web/20130403201417/http://www.swif.uniba.it/lei/foldop/foldoc.cgi?syntactic+consequence |date=2013-04-03 }}</ref><ref name="Kleene52">S. C. Kleene, ''[https://www.worldcat.org/title/introduction-to-metamathematics/oclc/523942 Introduction to Metamathematics]'' (1952), Van Nostrand Publishing. p.88.</ref> कुछ [[औपचारिक प्रणाली|विधिवत प्रणाली]] के अंदर <math>\mathcal{FS}</math> एक समुच्चय का <math>\Gamma</math> सूत्रों का यदि कोई विधिवत प्रमाण है <math>\mathcal{FS}</math> का <math>A</math> समुच्चय से <math>\Gamma</math>. यह निरूपित है <math>\Gamma \vdash_{\mathcal {FS} } A</math>. घुमक्कड़ प्रतीक <math>\vdash</math> मूल रूप से 1879 में फ्रीज द्वारा प्रस्तुत किया गया था, किन्तु इसका वर्तमान उपयोग केवल रोसेर और क्लेन (1934-1935) तक ही है। <ref name="Kleene52" />


वाक्यात्मक परिणाम औपचारिक प्रणाली की किसी भी व्याख्या (तर्क) पर निर्भर नहीं करता है।<ref>[[Geoffrey Hunter (logician)|Hunter, Geoffrey]], Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971, p. 75.</ref>
वाक्यात्मक निगमन विधिवत प्रणाली की किसी भी व्याख्या (तर्क) पर निर्भर नहीं करता है।<ref>[[Geoffrey Hunter (logician)|Hunter, Geoffrey]], Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971, p. 75.</ref>




=== सिमेंटिक परिणाम ===
=== सिमेंटिक निगमन ===
{{See also|Double turnstile|label 1= ⊨}}
{{See also|Double turnstile|label 1= ⊨}}
एक सूत्र <math>A</math> कुछ औपचारिक प्रणाली के भीतर एक शब्दार्थ परिणाम है <math>\mathcal{FS}</math> बयानों का एक सेट <math>\Gamma</math> अगर और केवल अगर कोई मॉडल नहीं है <math>\mathcal{I}</math> जिसमें सभी सदस्य <math>\Gamma</math> सत्य हैं और <math>A</math> गलत है।<ref>[[John Etchemendy|Etchemendy, John]], ''Logical consequence'',  The Cambridge Dictionary of Philosophy</ref> यह निरूपित है <math>\Gamma \models_{\mathcal {FS} } A,</math>. या, दूसरे शब्दों में, व्याख्याओं का वह समूह जिसके सभी सदस्य बनाते हैं <math>\Gamma</math> सत्य व्याख्याओं के सेट का एक उपसमुच्चय है जो बनाता है <math>A</math> सत्य।
एक सूत्र <math>A</math> कुछ विधिवत प्रणाली के अंदर एक शब्दार्थ निगमन है <math>\mathcal{FS}</math> बयानों का समुच्चय <math>\Gamma</math> यदि और केवल यदि कोई मॉडल नहीं है <math>\mathcal{I}</math> जिसमें सभी सदस्य <math>\Gamma</math> सत्य हैं और <math>A</math> गलत है।<ref>[[John Etchemendy|Etchemendy, John]], ''Logical consequence'',  The Cambridge Dictionary of Philosophy</ref> यह निरूपित है <math>\Gamma \models_{\mathcal {FS} } A,</math>. या, दूसरे शब्दों में, व्याख्याओं का वह समूह जिसके सभी सदस्य बनाते हैं <math>\Gamma</math> सत्य व्याख्याओं के समुच्चय का उपसमुच्चय है जो बनाता है <math>A</math> सत्य।


== मॉडल खाते ==
== मॉडल स्पष्टीकरण ==


तार्किक परिणाम के मोडल लॉजिक खाते निम्नलिखित मूल विचार पर भिन्नताएं हैं:
तार्किक निगमन के मोडल लॉजिक स्पष्टीकरण निम्नलिखित मूल विचार पर भिन्नताएं हैं:


:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सत्य है यदि और केवल यदि यह आवश्यक है कि यदि सभी तत्व <math>\Gamma</math> सच हैं, तो <math>A</math> क्या सच है।
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सत्य है यदि और केवल यदि यह आवश्यक है कि यदि सभी तत्व <math>\Gamma</math> सच हैं, तो <math>A</math> क्या सच है।
Line 53: Line 48:
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सत्य है यदि और केवल यदि यह के सभी तत्वों के लिए असंभव है <math>\Gamma</math> सच होना और <math>A</math> असत्य।
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सत्य है यदि और केवल यदि यह के सभी तत्वों के लिए असंभव है <math>\Gamma</math> सच होना और <math>A</math> असत्य।


ऐसे खातों को मोडल कहा जाता है क्योंकि वे तार्किक सत्य और [[तार्किक संभावना]] की मॉडल धारणाओं को अपील करते हैं। 'यह आवश्यक है कि' अक्सर संभावित दुनिया पर एक [[सार्वभौमिक परिमाणीकरण]] के रूप में व्यक्त किया जाता है, ताकि उपरोक्त खातों का अनुवाद इस प्रकार हो:
ऐसे खातों को मोडल कहा जाता है क्योंकि वे तार्किक सत्य और [[तार्किक संभावना]] की मॉडल धारणाओं को अपील करते हैं। 'यह आवश्यक है कि' अधिकांशतः संभावित संसार पर [[सार्वभौमिक परिमाणीकरण]] के रूप में व्यक्त किया जाता है, जिससे उपरोक्त खातों का अनुवाद इस प्रकार हो:


:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सच है अगर और केवल अगर कोई संभव दुनिया नहीं है जिसमें सभी तत्व हैं <math>\Gamma</math> सत्य हैं और <math>A</math> मिथ्या (असत्य) है।
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> सच है यदि और केवल यदि कोई संभव संसार नहीं है जिसमें सभी तत्व हैं <math>\Gamma</math> सत्य हैं और <math>A</math> मिथ्या (असत्य) है।


उपरोक्त उदाहरण के रूप में दिए गए तर्क के संदर्भ में मोडल अकाउंट पर विचार करें:
उपरोक्त उदाहरण के रूप में दिए गए तर्क के संदर्भ में मोडल अकाउंट पर विचार करें:
Line 63: Line 58:
:इसलिए, केर्मिट हरा है।
:इसलिए, केर्मिट हरा है।


निष्कर्ष परिसर का एक तार्किक परिणाम है क्योंकि हम एक संभावित दुनिया की कल्पना नहीं कर सकते हैं जहां (ए) सभी मेंढक हरे हैं; (बी) केर्मिट एक मेंढक है; और (सी) केर्मिट हरा नहीं है।
निष्कर्ष परिसर का तार्किक निगमन है क्योंकि हम संभावित संसार की कल्पना नहीं कर सकते हैं जहां (ए) सभी मेंढक हरे हैं; (बी) केर्मिट एक मेंढक है; और (सी) केर्मिट हरा नहीं है।


=== मॉडल-औपचारिक खाते ===
=== मॉडल-विधिवत स्पष्टीकरण ===


तार्किक परिणाम के मोडल-औपचारिक खाते उपरोक्त मोडल और औपचारिक खातों को जोड़ते हैं, निम्नलिखित मूल विचार पर भिन्नता उत्पन्न करते हैं:
तार्किक निगमन के मोडल-विधिवत स्पष्टीकरण उपरोक्त मोडल और विधिवत खातों को जोड़ते हैं, निम्नलिखित मूल विचार पर भिन्नता उत्पन्न करते हैं:


:<math>\Gamma</math> <math>\vdash</math> <math>A</math> अगर और केवल अगर यह तर्क के समान तार्किक रूप के साथ असंभव है <math>\Gamma</math>/<math>A</math> सही परिसर और गलत निष्कर्ष होना।
:<math>\Gamma</math> <math>\vdash</math> <math>A</math> यदि और केवल यदि यह तर्क के समान तार्किक रूप के साथ असंभव है <math>\Gamma</math>/<math>A</math> सही परिसर और गलत निष्कर्ष होना।


=== वारंट-आधारित खाते ===
=== वारंट-आधारित स्पष्टीकरण ===


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


=== गैर-मोनोटोनिक तार्किक परिणाम ===
=== गैर-मोनोटोनिक तार्किक निगमन ===
{{See also|Non-monotonic logic|Belief revision#Non-monotonic inference relation}}
{{See also|गैर-मोनोटोनिक तर्क|विश्वास संशोधन # गैर-मोनोटोनिक अनुमान संबंध}}
सबसे ऊपर चर्चा किए गए खातों में अनिवार्य परिणाम संबंधों की एकरसता उत्पन्न होती है, यानी ऐसे हैं कि यदि <math>A</math> का परिणाम है <math>\Gamma</math>, तब <math>A</math> के किसी सुपरसेट का परिणाम है <math>\Gamma</math>. इस विचार को पकड़ने के लिए गैर-मोनोटोनिक परिणाम संबंधों को निर्दिष्ट करना भी संभव है, उदाहरण के लिए, 'ट्वीटी कैन फ्लाई' एक तार्किक परिणाम है


: {पक्षी आमतौर पर उड़ सकते हैं, ट्वीटी एक पक्षी है}
सबसे ऊपर चर्चा किए गए खातों में अनिवार्य निगमन संबंधों की एकरसता उत्पन्न होती है, अर्थात ऐसे हैं कि यदि <math>A</math> का निगमन है <math>\Gamma</math>, तब <math>A</math> के किसी सुपरसमुच्चय का निगमन है <math>\Gamma</math>. इस विचार को पकड़ने के लिए गैर-मोनोटोनिक निगमन संबंधों को निर्दिष्ट करना भी संभव है, उदाहरण के लिए, 'ट्वीटी कैन फ्लाई' तार्किक निगमन है


लेकिन नहीं
: {पक्षी सामान्यतः उड़ सकते हैं, ट्वीटी एक पक्षी है}


: {पक्षी आमतौर पर उड़ सकते हैं, ट्वीटी एक पक्षी है, ट्वीटी एक पेंगुइन है}।
किन्तु नहीं
 
: {पक्षी सामान्यतः उड़ सकते हैं, ट्वीटी एक पक्षी है, ट्वीटी एक पेंगुइन है}।


== यह भी देखें ==
== यह भी देखें ==
Line 120: Line 116:
* {{citation|last1=Barwise|first1=Jon|author1-link=Jon Barwise|last2=Etchemendy|first2=John|author2-link=John Etchemendy|year=2008|title=Language, Proof and Logic|publisher=CSLI Publications|location=Stanford}}.
* {{citation|last1=Barwise|first1=Jon|author1-link=Jon Barwise|last2=Etchemendy|first2=John|author2-link=John Etchemendy|year=2008|title=Language, Proof and Logic|publisher=CSLI Publications|location=Stanford}}.
* {{citation|last=Brown | first=Frank Markham | year=2003 |title=Boolean Reasoning: The Logic of Boolean Equations}} पहला संस्करण, क्लुवर एकेडमिक पब्लिशर्स, नॉरवेल, एमए। दूसरा संस्करण, डोवर प्रकाशन, माइनोला, एनवाई, 2003।
* {{citation|last=Brown | first=Frank Markham | year=2003 |title=Boolean Reasoning: The Logic of Boolean Equations}} पहला संस्करण, क्लुवर एकेडमिक पब्लिशर्स, नॉरवेल, एमए। दूसरा संस्करण, डोवर प्रकाशन, माइनोला, एनवाई, 2003।
* {{citation|author-link=Martin Davis (mathematician)|editor-last=Davis|editor-first= Martin|title=The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions|publisher=Raven Press|location=New York|year=1965|url=https://books.google.com/books?id=qW8x7sQ4JXgC&q=consequence|isbn=9780486432281}}. पेपर्स में गोडेल, [[अलोंजो चर्च]], जे. बार्कले रोसेर, क्लेन और [[एमिल लियोन पोस्ट]] शामिल हैं।
* {{citation|author-link=Martin Davis (mathematician)|editor-last=Davis|editor-first= Martin|title=The Undecidable, Basic Papers on Undecidable Propositions, Unsolvable Problems And Computable Functions|publisher=Raven Press|location=New York|year=1965|url=https://books.google.com/books?id=qW8x7sQ4JXgC&q=consequence|isbn=9780486432281}}. पेपर्स में गोडेल, [[अलोंजो चर्च]], जे. बार्कले रोसेर, क्लेन और [[एमिल लियोन पोस्ट]] सम्मिलित हैं।
* {{citation |first=Michael |last=Dummett |year=1991 |title=The Logical Basis of Metaphysics |publisher=Harvard University Press|url=https://books.google.com/books?id=lvsVFxK3BPcC&q=consequence|isbn=9780674537866 }}.
* {{citation |first=Michael |last=Dummett |year=1991 |title=The Logical Basis of Metaphysics |publisher=Harvard University Press|url=https://books.google.com/books?id=lvsVFxK3BPcC&q=consequence|isbn=9780674537866 }}.
* {{citation|last=Edgington| first=Dorothy|year=2001|title=Conditionals|publisher=Blackwell}} लो गोबल (संपा.), द ब्लैकवेल गाइड टू फिलोसोफिकल लॉजिक में।
* {{citation|last=Edgington| first=Dorothy|year=2001|title=Conditionals|publisher=Blackwell}} लो गोबल (संपा.), द ब्लैकवेल गाइड टू फिलोसोफिकल लॉजिक में।
Line 133: Line 129:
*{{citation |author-link=Alfred Tarski |last=Tarski  |first=Alfred |year= 1936 |title=On the concept of logical consequence}} टार्स्की, ए., 1983 में पुनर्मुद्रित। लॉजिक, सिमेंटिक्स, मेटामैथमैटिक्स, दूसरा संस्करण। [[ऑक्सफोर्ड यूनिवरसिटि प्रेस]]। मूल रूप से [[पोलिश भाषा]] और [[जर्मन भाषा]] में प्रकाशित।
*{{citation |author-link=Alfred Tarski |last=Tarski  |first=Alfred |year= 1936 |title=On the concept of logical consequence}} टार्स्की, ए., 1983 में पुनर्मुद्रित। लॉजिक, सिमेंटिक्स, मेटामैथमैटिक्स, दूसरा संस्करण। [[ऑक्सफोर्ड यूनिवरसिटि प्रेस]]। मूल रूप से [[पोलिश भाषा]] और [[जर्मन भाषा]] में प्रकाशित।
* {{cite book|author=Ryszard Wójcicki|title=तार्किक गणना का सिद्धांत: परिणाम संचालन का मूल सिद्धांत|year=1988|publisher=Springer|isbn=978-90-277-2785-5|url-access=registration|url=https://archive.org/details/theoryoflogicalc0000wojc}}
* {{cite book|author=Ryszard Wójcicki|title=तार्किक गणना का सिद्धांत: परिणाम संचालन का मूल सिद्धांत|year=1988|publisher=Springer|isbn=978-90-277-2785-5|url-access=registration|url=https://archive.org/details/theoryoflogicalc0000wojc}}
* math.niu.edu से 'निहितार्थ' पर एक पेपर, [http://www.math.niu.edu/~richard/Math101/implies.pdf Implication] {{Webarchive|url=https://web.archive.org/web/20141021082239/http://www.math.niu.edu/~richard/Math101/implies.pdf |date=2014-10-21 }}
* math.niu.edu से 'निहितार्थ' पर पेपर, [http://www.math.niu.edu/~richard/Math101/implies.pdf Implication] {{Webarchive|url=https://web.archive.org/web/20141021082239/http://www.math.niu.edu/~richard/Math101/implies.pdf |date=2014-10-21 }}
* 'प्रत्यारोपित' की परिभाषा [http://www.allwords.com/word-implicant.html AllWords]
* 'प्रत्यारोपित' की परिभाषा [http://www.allwords.com/word-implicant.html AllWords]


==बाहरी संबंध==
==बाहरी संबंध==
{{Commons category}}
*{{cite SEP |url-id=logical-consequence |title=Logical Consequence|date=2013-11-19|edition=Winter 2016|last=Beall|first=Jc|last2=Restall|first2=Greg|author-link=Jc Beall|author2-link=Greg Restall}}
*{{cite SEP |url-id=logical-consequence |title=Logical Consequence|date=2013-11-19|edition=Winter 2016|last=Beall|first=Jc|last2=Restall|first2=Greg|author-link=Jc Beall|author2-link=Greg Restall}}
*{{cite IEP |url-id=logcon/ |title=Logical consequence}}
*{{cite IEP |url-id=logcon/ |title=Logical consequence}}
Line 143: Line 138:
*{{PhilPapers|category|logical-consequence-and-entailment}}
*{{PhilPapers|category|logical-consequence-and-entailment}}
*{{springer|title=Implication|id=p/i050280}}
*{{springer|title=Implication|id=p/i050280}}
{{Logic}}
{{Mathematical logic}}
{{Logical connectives}}
{{Common logical symbols}}
{{Formal semantics}}


{{Authority control}}
{{Authority control}}
[[Category: तार्किक परिणाम | तार्किक परिणाम ]] [[Category: दार्शनिक तर्क]] [[Category: मेटालॉजिक]] [[Category: प्रस्तावक कलन]] [[Category: निगमनात्मक तर्क]] [[Category: तर्क में अवधारणाएँ]] [[Category: सिंटेक्स (तर्क)]] [[Category: बाइनरी ऑपरेशंस]]


[[Category: Machine Translated Page]]
[[Category:Articles with Internet Encyclopedia of Philosophy links]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with redirect hatnotes needing review]]
[[Category:Collapse templates]]
[[Category:Commons category link is the pagename]]
[[Category:Created On 16/02/2023]]
[[Category:Created On 16/02/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Mathematics navigational boxes]]
[[Category:Missing redirects]]
[[Category:Multi-column templates]]
[[Category:Navbox orphans]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter]]
[[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:Short description with empty Wikidata description]]
[[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 add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Webarchive template wayback links]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:तर्क में अवधारणाएँ]]
[[Category:तार्किक परिणाम| तार्किक परिणाम ]]
[[Category:दार्शनिक तर्क]]
[[Category:निगमनात्मक तर्क]]
[[Category:प्रस्तावक कलन]]
[[Category:बाइनरी ऑपरेशंस]]
[[Category:मेटालॉजिक]]
[[Category:सिंटेक्स (तर्क)]]

Latest revision as of 13:19, 13 September 2023

तार्किक निगमन तर्क में मौलिक अवधारणा है जो कथन (तर्क) के बीच के संबंध का वर्णन करता है जो तब सही होता है जब कथन तार्किक रूप से एक या एक से अधिक कथनों का अनुसरण करता है। वैधता (तर्क) तार्किक तर्क वह है जिसमें परिसर द्वारा निगमनी प्रवेश किया जाता है, क्योंकि निष्कर्ष परिसर का निगमन है। तार्किक निगमन के दार्शनिक विश्लेषण में प्रश्न सम्मिलित हैं: किस अर्थ में निष्कर्ष अपने परिसर से निकलता है? और निष्कर्ष के लिए आधारवाक्य का निगमन होने का क्या अर्थ है?[1] सभी दार्शनिक तर्क तार्किक निगमन की प्रकृति और तार्किक सत्य की प्रकृति का विवरण प्रदान करने के लिए हैं।[2]

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

तर्कशास्त्री दी गई विधिवत भाषा के संबंध में तार्किक निगमन का स्पष्ट लेखा-जोखा बनाते हैं , या तो के लिए कटौती प्रणाली का निर्माण करके या भाषा के लिए विधिवत अभिप्रेत व्याख्या द्वारा . पोलिश तर्कशास्त्री अल्फ्रेड टार्स्की ने प्रवेश के पर्याप्त लक्षण वर्णन की तीन विशेषताओं की पहचान की: (1) तार्किक निगमन संबंध वाक्यों के तार्किक रूप पर निर्भर करता है: (2) संबंध प्राथमिकता और पश्चगामी है, अर्थात, इसे निर्धारित किया जा सकता है या अनुभवजन्य साक्ष्य (भावना अनुभव) के संबंध में; और (3) तार्किक निगमन संबंध में एक प्रायिकता तर्क घटक है।[3]

विधिवत स्पष्टीकरण

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

तार्किक निगमन के सिंटैक्टिक स्पष्टीकरण अनुमान नियमो का उपयोग करके स्कीमा (तर्क) पर निर्भर करते हैं। उदाहरण के लिए, हम मान्य तर्क के तार्किक रूप को इस प्रकार व्यक्त कर सकते हैं:

सभी X, Y हैं
सभी Y, Z हैं
इसलिए, सभी X, Z हैं।

यह तर्क विधिवत रूप से मान्य है, क्योंकि इस योजना का उपयोग करके निर्मित तर्कों का प्रत्येक प्रतिस्थापन (तर्क) मान्य है।

यह तर्क के विपरीत है जैसे फ्रेड माइक के भाई का बेटा है। इसलिए फ्रेड माइक का भतीजा है। चूंकि यह तर्क भाई, बेटा और भतीजा शब्दों के अर्थ पर निर्भर करता है, इसलिए फ्रेड माइक का भतीजा है, यह कथन फ्रेड माइक के भाई का बेटा है एक तथाकथित भौतिक शर्त है, विधिवत निगमन नहीं। एक विधिवत निगमन सभी स्थितियों में सही होना चाहिए, चूंकि यह विधिवत निगमन की अधूरी परिभाषा है, क्योंकि तर्क P भी Q के भाई का बेटा है, इसलिए P, Q का भतीजा है, सभी स्थितियों में मान्य है, किन्तु विधिवत तर्क नहीं है।[1]


तार्किक निगमन की प्राथमिक गुण

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

प्रमाण और मॉडल

तार्किक निगमन के खातों को प्रदान करने के लिए दो प्रचलित विधियो में प्रमाणों के संदर्भ में और मॉडल के माध्यम से अवधारणा को व्यक्त करना सम्मिलित है। वाक्यात्मक निगमन (एक तर्क के) के अध्ययन को (इसका) प्रमाण सिद्धांत कहा जाता है जबकि (इसके) शब्दार्थ निगमन के अध्ययन को (इसका) मॉडल सिद्धांत कहा जाता है।[4]

वाक्यात्मक निगमन

एक सूत्र एक वाक्यगत निगमन है[5][6][7][8][9] कुछ विधिवत प्रणाली के अंदर एक समुच्चय का सूत्रों का यदि कोई विधिवत प्रमाण है का समुच्चय से . यह निरूपित है . घुमक्कड़ प्रतीक मूल रूप से 1879 में फ्रीज द्वारा प्रस्तुत किया गया था, किन्तु इसका वर्तमान उपयोग केवल रोसेर और क्लेन (1934-1935) तक ही है। [9]

वाक्यात्मक निगमन विधिवत प्रणाली की किसी भी व्याख्या (तर्क) पर निर्भर नहीं करता है।[10]


सिमेंटिक निगमन

एक सूत्र कुछ विधिवत प्रणाली के अंदर एक शब्दार्थ निगमन है बयानों का समुच्चय यदि और केवल यदि कोई मॉडल नहीं है जिसमें सभी सदस्य सत्य हैं और गलत है।[11] यह निरूपित है . या, दूसरे शब्दों में, व्याख्याओं का वह समूह जिसके सभी सदस्य बनाते हैं सत्य व्याख्याओं के समुच्चय का उपसमुच्चय है जो बनाता है सत्य।

मॉडल स्पष्टीकरण

तार्किक निगमन के मोडल लॉजिक स्पष्टीकरण निम्नलिखित मूल विचार पर भिन्नताएं हैं:

सत्य है यदि और केवल यदि यह आवश्यक है कि यदि सभी तत्व सच हैं, तो क्या सच है।

वैकल्पिक रूप से (और, अधिकांश कहेंगे, समतुल्य):

सत्य है यदि और केवल यदि यह के सभी तत्वों के लिए असंभव है सच होना और असत्य।

ऐसे खातों को मोडल कहा जाता है क्योंकि वे तार्किक सत्य और तार्किक संभावना की मॉडल धारणाओं को अपील करते हैं। 'यह आवश्यक है कि' अधिकांशतः संभावित संसार पर सार्वभौमिक परिमाणीकरण के रूप में व्यक्त किया जाता है, जिससे उपरोक्त खातों का अनुवाद इस प्रकार हो:

सच है यदि और केवल यदि कोई संभव संसार नहीं है जिसमें सभी तत्व हैं सत्य हैं और मिथ्या (असत्य) है।

उपरोक्त उदाहरण के रूप में दिए गए तर्क के संदर्भ में मोडल अकाउंट पर विचार करें:

सभी मेंढक हरे हैं।
केर्मिट एक मेंढक है।
इसलिए, केर्मिट हरा है।

निष्कर्ष परिसर का तार्किक निगमन है क्योंकि हम संभावित संसार की कल्पना नहीं कर सकते हैं जहां (ए) सभी मेंढक हरे हैं; (बी) केर्मिट एक मेंढक है; और (सी) केर्मिट हरा नहीं है।

मॉडल-विधिवत स्पष्टीकरण

तार्किक निगमन के मोडल-विधिवत स्पष्टीकरण उपरोक्त मोडल और विधिवत खातों को जोड़ते हैं, निम्नलिखित मूल विचार पर भिन्नता उत्पन्न करते हैं:

यदि और केवल यदि यह तर्क के समान तार्किक रूप के साथ असंभव है / सही परिसर और गलत निष्कर्ष होना।

वारंट-आधारित स्पष्टीकरण

ऊपर विचार किए गए स्पष्टीकरण सभी सत्य-परिरक्षणात्मक हैं, जिसमें वे सभी मानते हैं कि अच्छे अनुमान की विशेषता यह है कि यह कभी भी किसी को सच्चे परिसर से असत्य निष्कर्ष पर जाने की अनुमति नहीं देता है। विकल्प के रूप में, कुछ ने औचित्य-परिरक्षण संबंधी खातों का सिद्धांत प्रस्तावित किया है, जिसके अनुसार अच्छे अनुमान की विशेषता यह है कि यह कभी भी किसी को उचित रूप से मुखर परिसर से निष्कर्ष पर जाने की अनुमति नहीं देता है जो उचित रूप से मुखर नहीं है। यह (मोटे तौर पर) माइकल डमेट जैसे अंतर्ज्ञानवादियों द्वारा पसंद किया गया खाता है।

गैर-मोनोटोनिक तार्किक निगमन

सबसे ऊपर चर्चा किए गए खातों में अनिवार्य निगमन संबंधों की एकरसता उत्पन्न होती है, अर्थात ऐसे हैं कि यदि का निगमन है , तब के किसी सुपरसमुच्चय का निगमन है . इस विचार को पकड़ने के लिए गैर-मोनोटोनिक निगमन संबंधों को निर्दिष्ट करना भी संभव है, उदाहरण के लिए, 'ट्वीटी कैन फ्लाई' तार्किक निगमन है

{पक्षी सामान्यतः उड़ सकते हैं, ट्वीटी एक पक्षी है}

किन्तु नहीं

{पक्षी सामान्यतः उड़ सकते हैं, ट्वीटी एक पक्षी है, ट्वीटी एक पेंगुइन है}।

यह भी देखें


टिप्पणियाँ

  1. 1.0 1.1 1.2 1.3 1.4 1.5 Beall, JC and Restall, Greg, Logical Consequence The Stanford Encyclopedia of Philosophy (Fall 2009 Edition), Edward N. Zalta (ed.).
  2. Quine, Willard Van Orman, Philosophy of Logic.
  3. 3.0 3.1 McKeon, Matthew, Logical Consequence Internet Encyclopedia of Philosophy.
  4. Kosta Dosen (1996). "Logical consequence: a turn in style". In Maria Luisa Dalla Chiara; Kees Doets; Daniele Mundici; Johan van Benthem (eds.). Logic and Scientific Methods: Volume One of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995. Springer. p. 292. ISBN 978-0-7923-4383-7.
  5. Dummett, Michael (1993) Frege: philosophy of language Harvard University Press, p.82ff
  6. Lear, Jonathan (1986) Aristotle and Logical Theory Cambridge University Press, 136p.
  7. Creath, Richard, and Friedman, Michael (2007) The Cambridge companion to Carnap Cambridge University Press, 371p.
  8. FOLDOC: "syntactic consequence" Archived 2013-04-03 at the Wayback Machine
  9. 9.0 9.1 S. C. Kleene, Introduction to Metamathematics (1952), Van Nostrand Publishing. p.88.
  10. Hunter, Geoffrey, Metalogic: An Introduction to the Metatheory of Standard First-Order Logic, University of California Press, 1971, p. 75.
  11. Etchemendy, John, Logical consequence, The Cambridge Dictionary of Philosophy


संसाधन

बाहरी संबंध