प्रासंगिकता तर्क: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(6 intermediate revisions by 4 users not shown)
Line 1: Line 1:
'''प्रासंगिकता तर्क''', जिसे प्रासंगिक तर्कशास्त्र भी कहा जाता है यह एक प्रकार का [[शास्त्रीय तर्क|गैर-शास्त्रीय तर्क]] है जिसके कारण प्रासंगिकता से संबद्ध होने के लिए [[पूर्ववर्ती (तर्क)]] और निहितार्थों की आवश्यकता होती है। जिन्हे [[अवसंरचनात्मक तर्क|संरचनात्मक तर्क]] या [[मॉडल तर्क]] के समूह के रूप में देखा जा सकता है। लेकिन सामान्यतः इसे ब्रिटिश और विशेष रूप से, ऑस्ट्रेलियाई तर्कशास्त्रियों द्वारा प्रासंगिक तर्क और अमेरिकी तर्कशास्त्रियों द्वारा प्रासंगिक तर्क नहीं कहा जाता है।
'''प्रासंगिकता तर्क''', जिसे प्रासंगिक तर्कशास्त्र भी कहा जाता है यह एक प्रकार का [[शास्त्रीय तर्क|गैर-शास्त्रीय तर्क]] है जिसके कारण प्रासंगिकता से संबद्ध होने के लिए [[पूर्ववर्ती (तर्क)]] और निहितार्थों की आवश्यकता होती है। जिन्हे [[अवसंरचनात्मक तर्क|संरचनात्मक तर्क]] या [[मॉडल तर्क]] के समूह के रूप में देखा जा सकता है। लेकिन सामान्यतः इसे ब्रिटिश और विशेष रूप से, ऑस्ट्रेलियाई तर्कशास्त्रियों द्वारा प्रासंगिक तर्क और अमेरिकी तर्कशास्त्रियों द्वारा प्रासंगिक तर्क नहीं कहा जाता है।


प्रासंगिक तर्कशास्त्र का उद्देश्य शास्त्रीय [[सत्य-कार्यात्मक तर्क]] में "भौतिक निहितार्थ" संचालक द्वारा उपेक्षित किए जाने वाले निहितार्थ के दृष्टिकोण को अधिकृत करना है, अर्थात् एक सत्य निहितार्थ के पूर्ववर्ती और प्रतिबन्ध के बीच प्रासंगिकता की धारणा का यह विचार नया नहीं है सी.आई. लुईस को मोडल तर्क का आविष्कार करने के लिए प्रेरित किया गया था और विशेष रूप से पूर्ण निहितार्थ आधार पर शास्त्रीय तर्क [[भौतिक निहितार्थ के विरोधाभास|भौतिक निहितार्थ के विरोधाभासों]] को अनुदान देता है जैसे कि असत्य सिद्धांत किसी भी प्रस्ताव को प्रदर्शित करता है।<ref>Lewis, C. I. (1912). "Implication and the Algebra of Logic." ''[[Mind (journal)|Mind]]'', '''21'''(84):522–531.</ref><ref>Lewis, C. I. (1917). "The issues concerning material implication." ''Journal of Philosophy, Psychology, and Scientific Methods'', '''14''':350–356.</ref> जैसे "यदि मैं एक गधा हूं, तो दो और दो चार होते हैं" सत्य है जब एक भौतिक निहितार्थ के रूप में अनुवादित किया जाता है, फिर भी यह सहज रूप से असत्य लगता है क्योंकि एक सत्य निहितार्थ को प्रासंगिकता की कुछ धारणा द्वारा पूर्ववर्ती और परिणामस्वरूप एक साथ संबद्ध होना चाहिए और बोलने वाला गधा है या नहीं, यह किसी भी प्रकार से प्रासंगिक नहीं लगता कि दो और दो चार हैं या नहीं प्रासंगिकता तर्क प्रासंगिकता की धारणा को औपचारिक रूप से कैसे अधिकृत करता है? एक प्रस्ताव कलन के लिए एक वाक्यात्मक बाधा के संदर्भ में, यह आवश्यक होता है लेकिन पर्याप्त नहीं है कि परिसर और निष्कर्ष साझा [[परमाणु सूत्र]] (सूत्र जिनमें कोई तार्किक संबंध नहीं है) एक विधेय कलन में, प्रासंगिकता के लिए परिसर और निष्कर्ष के बीच चर और स्थिरांक साझा करने की आवश्यकता होती है। यह जटिल परिस्थितियों के साथ सुनिश्चित किया जा सकता है उदाहरण के लिए, [[प्राकृतिक कटौती|प्राकृतिक निगमन]] प्रणाली के नियमों पर कुछ प्रतिबंध लगाकर विशेष रूप से, एक फिच-शैली की प्राकृतिक निगमन मे प्रासंगिकता को समायोजित करने के लिए अनुकूलित किया जा सकता है, जिसमें अनुमान के अनुप्रयोग प्रत्येक पंक्ति के अंत में एक चिन्ह लगाकर अनुमान के निष्कर्ष के लिए प्रासंगिक परिसर का संकेत दिया जा सकता है। जेंटजन-शैली अनुक्रम गणना को अपेक्षाकृत कम करने वाले नियमों को हटाकर संशोधित किया जा सकता है जो अनुक्रमों के दाएं या बाएं तरफ अपेक्षाकृत रूप से सूत्रों के प्रारम्भ होने की स्वीकृति देते है।
प्रासंगिक तर्कशास्त्र का उद्देश्य शास्त्रीय [[सत्य-कार्यात्मक तर्क]] में "भौतिक निहितार्थ" संचालक द्वारा उपेक्षित किए जाने वाले निहितार्थ के दृष्टिकोण को अधिकृत करना है, अर्थात् एक सत्य निहितार्थ के पूर्ववर्ती और प्रतिबन्ध के बीच प्रासंगिकता की धारणा का यह विचार नया नहीं है सी.आई. लुईस को मोडल तर्क का आविष्कार करने के लिए प्रेरित किया गया था और विशेष रूप से पूर्ण निहितार्थ आधार पर शास्त्रीय तर्क [[भौतिक निहितार्थ के विरोधाभास|भौतिक निहितार्थ के विरोधाभासों]] को अनुदान देता है जैसे कि असत्य सिद्धांत किसी भी प्रस्ताव को प्रदर्शित करता है।<ref>Lewis, C. I. (1912). "Implication and the Algebra of Logic." ''[[Mind (journal)|Mind]]'', '''21'''(84):522–531.</ref><ref>Lewis, C. I. (1917). "The issues concerning material implication." ''Journal of Philosophy, Psychology, and Scientific Methods'', '''14''':350–356.</ref> जैसे "यदि मैं एक गधा हूं, दो और दो चार होते हैं" सत्य है जब एक भौतिक निहितार्थ के रूप में अनुवादित किया जाता है, फिर भी यह सहज रूप से असत्य लगता है क्योंकि एक सत्य निहितार्थ को प्रासंगिकता की कुछ धारणा द्वारा पूर्ववर्ती और परिणामस्वरूप एक साथ संबद्ध होना चाहिए और बोलने वाला गधा है या नहीं, यह किसी भी प्रकार से प्रासंगिक नहीं लगता कि दो और दो चार हैं या नहीं प्रासंगिकता तर्क प्रासंगिकता की धारणा को औपचारिक रूप से कैसे अधिकृत करता है? एक प्रस्ताव कलन के लिए एक वाक्यात्मक बाधा के संदर्भ में, यह आवश्यक होता है लेकिन पर्याप्त नहीं है कि परिसर और निष्कर्ष साझा [[परमाणु सूत्र]] (सूत्र जिनमें कोई तार्किक संबंध नहीं है) एक विधेय कलन में, प्रासंगिकता के लिए परिसर और निष्कर्ष के बीच चर और स्थिरांक साझा करने की आवश्यकता होती है। यह विभिन्न परिस्थितियों के साथ सुनिश्चित किया जा सकता है उदाहरण के लिए, [[प्राकृतिक कटौती|प्राकृतिक निगमन]] प्रणाली के नियमों पर कुछ प्रतिबंध लगाकर विशेष रूप से, एक फिच-शैली की प्राकृतिक निगमन मे प्रासंगिकता को समायोजित करने के लिए अनुकूलित किया जा सकता है, जिसमें अनुमान के अनुप्रयोग प्रत्येक पंक्ति के अंत में एक चिन्ह लगाकर अनुमान के निष्कर्ष के लिए प्रासंगिक परिसर का संकेत दिया जा सकता है। जेंटजन-शैली अनुक्रम गणना को अपेक्षाकृत कम करने वाले नियमों को हटाकर संशोधित किया जा सकता है जो अनुक्रमों के दाएं या बाएं तरफ अपेक्षाकृत रूप से सूत्रों के प्रारम्भ होने की स्वीकृति देते है।


प्रासंगिकता तर्क की एक उल्लेखनीय विशेषता यह है कि वे संगत तर्क होते हैं एक विरोधाभास के अस्तित्व से "बाहुल्य" नहीं है यह इस तथ्य का अनुसरण करता है कि एक विरोधाभासी पूर्ववर्ती के साथ एक प्रासंगिकता तर्क जो परिणाम के साथ कोई प्रस्ताव या विधेय पत्र साझा नहीं करता है, वह सत्य या व्युत्पन्न नहीं हो सकता है।
प्रासंगिकता तर्क की एक उल्लेखनीय विशेषता यह है कि वे संगत तर्क होते हैं एक विरोधाभास के अस्तित्व से "बाहुल्य" नहीं है यह इस तथ्य का अनुसरण करता है कि एक विरोधाभासी पूर्ववर्ती व्यंजक के साथ एक प्रासंगिकता तर्क जो परिणाम के साथ कोई प्रस्ताव या विधेय पत्र साझा नहीं करता है वह सत्य (या व्युत्पन्न) नहीं हो सकता है।


== इतिहास ==
== इतिहास ==


प्रासंगिकता तर्क 1928 में सोवियत दार्शनिक इवान ई. ओर्लोव (1886 लगभग 1936) द्वारा गणितीय पेपर "द लॉजिक ऑफ़ कम्पैटिबिलिटी ऑफ़ प्रपोज़िशन्स" अर्थात "प्रस्तावों की संगतता का तर्क" में प्रस्तावित किया गया था, जो मेटमैथेस्की स्बोर्निक प्रकाशन में प्रकाशित हुआ था। प्रासंगिक निहितार्थ का मूल विचार मध्यकालीन तर्क में प्रकट होता है और कुछ आगामी कार्य 1950 के दशक में [[विल्हेम एकरमैन]]<ref>
प्रासंगिकता तर्क 1928 में सोवियत दार्शनिक इवान ई. ओर्लोव (1886 लगभग 1936) द्वारा गणितीय पेपर "द लॉजिक ऑफ़ कम्पैटिबिलिटी ऑफ़ प्रपोज़िशन्स" अर्थात "प्रस्तावों की संगतता का तर्क" में प्रस्तावित किया गया था जो मेटमैथेस्की स्बोर्निक प्रकाशन में प्रकाशित हुआ था। प्रासंगिक निहितार्थ का मूल विचार मध्यकालीन तर्क में प्रकट होता है और कुछ आगामी कार्य 1950 के दशक में [[विल्हेम एकरमैन]]<ref>
{{Citation
{{Citation
  | title = Begründung einer strengen Implikation
  | title = Begründung einer strengen Implikation
Line 68: Line 68:


=== रूटले-मेयर मॉडल ===
=== रूटले-मेयर मॉडल ===
'''प्रासंगिकता तर्क के लिए वह मानक मॉ'''डल सिद्धांत [[रिचर्ड सिल्वन]] और [[बॉब मेयेर (तर्कशास्त्री)|बॉब मेयेर (तर्कशास्त्री]] द्वारा विकसित रूटले-मेयर टर्नरी-संबंध शब्दार्थ मॉडल है। एक प्रस्तावक भाषा के लिए एक रूटली-मेयर फ्रेम एफ चौगुनी (डब्ल्यू, आर, *, 0) है, जहां डब्ल्यू एक गैर-खाली सेट है, आर डब्ल्यू पर एक टर्नरी संबंध है, और * डब्ल्यू से डब्ल्यू का एक कार्य है, और <math>0\in W</math>. एक रूटली-मेयर मॉडल एम एक रूटली-मेयर फ्रेम एफ है, साथ में एक वैल्यूएशन के साथ, <math>\Vdash</math>, जो प्रत्येक बिंदु के सापेक्ष प्रत्येक परमाणु तर्कवाक्य को एक सत्य मान प्रदान करता है <math>a\in W</math>. रूटली-मेयर फ्रेम पर कुछ शर्तें रखी गई हैं। परिभाषित करना <math>a\leq b</math> जैसा <math>R0ab</math>.
प्रासंगिकता तर्क के लिए वह मानक मॉडल सिद्धांत [[रिचर्ड सिल्वन]] और [[बॉब मेयेर (तर्कशास्त्री)|बॉब मेयेर (तर्कशास्त्री]] द्वारा विकसित रूटले-मेयर टर्नरी-संबंध शब्दार्थ मॉडल है। एक प्रस्तावक भाषा के लिए एक रूटली-मेयर फ्रेम F चार गुना (W,R,*,0) है, जहां w एक गैर-रिक्त समुच्चय है R W पर एक टर्नरी संबंध है, और <math>0\in W</math> से W और ∈ से एक फलन है एएक रूटली-मेयर मॉडल M एक रूटली-मेयर फ्रेम F है, जो मूल्यांकन <math>\Vdash</math> के साथ प्रत्येक बिंदु के सापेक्ष प्रत्येक परमाणु प्रस्ताव को <math>a\in W</math> मान प्रदान करता है रूटली-मेयर फ्रेम पर कुछ शर्तें को <math>a\leq b</math> और <math>R0ab</math> के रूप परिभाषित किया गया है।
* <math>a\leq a</math>.
* <math>a\leq a</math>.
* अगर <math>a\leq b</math> और <math>b\leq c</math>, तब <math>a\leq c</math>.
* यदि <math>a\leq b</math> और <math>b\leq c</math>, तब <math>a\leq c</math>.
* अगर <math>d\leq a</math> और <math>Rabc</math>, तब <math>Rdbc</math>.
* यदि <math>d\leq a</math> और <math>Rabc</math>, तब <math>Rdbc</math>.
* <math>a^{**}=a</math>.
* <math>a^{**}=a</math>.
* अगर <math>a\leq b</math>, तब <math>b^*\leq a^*</math>.
* यदि <math>a\leq b</math>, तब <math>b^*\leq a^*</math>.
लिखना <math>M,a\Vdash A</math> और <math>M,a\nVdash A</math> यह इंगित करने के लिए कि सूत्र <math>A</math> सत्य है, या सत्य नहीं है, क्रमशः, बिंदु पर <math>a</math> में <math>M</math>.
<math>M,a\Vdash A</math> और <math>M,a\nVdash A</math> को इंगित करने के लिए कि सूत्र <math>A</math> सत्य है या सत्य नहीं है क्रमशः बिंदु पर <math>a</math> में <math>M</math> रूटली-मेयर मॉडल पर एक अंतिम शर्त पारंपरिक स्थिति है।
रूटली-मेयर मॉडल पर एक अंतिम शर्त आनुवंशिकता की स्थिति है।
* यदि <math>M,a\Vdash p</math> और <math>a\leq b</math>, तब <math>M,b\Vdash p</math>, <math>p</math> के सभी प्रस्तावों के लिए होता है। 
* अगर <math>M,a\Vdash p</math> और <math>a\leq b</math>, तब <math>M,b\Vdash p</math>, सभी परमाणु प्रस्तावों के लिए <math>p</math>.
विवेचनात्मक तर्क द्वारा, नीचे दी गई सत्य स्थितियों का उपयोग करते हुए, मॉडल को समिश्र सूत्रों तक विस्तारित करने के लिए प्रदर्शित किया जा सकता है।
आगमनात्मक तर्क द्वारा, नीचे दी गई सत्य स्थितियों का उपयोग करते हुए, आनुवंशिकता को जटिल सूत्रों तक विस्तारित करने के लिए दिखाया जा सकता है।
* यदि <math>M,a\Vdash A</math> और <math>a\leq b</math>, तब <math>M,b\Vdash A</math>, <math>A</math> सभी सूत्रों के लिए होता है
* अगर <math>M,a\Vdash A</math> और <math>a\leq b</math>, तब <math>M,b\Vdash A</math>, सभी सूत्रों के लिए <math>A</math>.


जटिल सूत्रों के लिए सत्य स्थितियाँ इस प्रकार हैं।
समिश्र सूत्रों के लिए सत्य स्थितियाँ इस प्रकार हैं।
* <math>M,a\Vdash A\land B \iff M, a\Vdash A</math> और <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\land B \iff M, a\Vdash A</math> और <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\lor B \iff M, a\Vdash A</math> या <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\lor B \iff M, a\Vdash A</math> या <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\to B\iff \forall b,c((Rabc\land M,b\Vdash A)\Rightarrow M,c\Vdash B)</math>
* <math>M,a\Vdash A\to B\iff \forall b,c((Rabc\land M,b\Vdash A)\Rightarrow M,c\Vdash B)</math>
* <math>M,a\Vdash\lnot A\iff M,a^*\nVdash A</math>
* <math>M,a\Vdash\lnot A\iff M,a^*\nVdash A</math>
एक सूत्र <math>A</math> मॉडल में रखता है <math>M</math> शायद ज़रुरत पड़े <math>M,0\Vdash A</math>. एक सूत्र <math>A</math> एक फ्रेम पर रखता है <math>F</math> iff A प्रत्येक मॉडल में धारण करता है <math>(F,\Vdash)</math>. एक सूत्र <math>A</math> फ्रेम के एक वर्ग में मान्य है यदि उस वर्ग में प्रत्येक फ्रेम पर रखता है।
एक सूत्र <math>A</math> मॉडल केवल <math>M,0\Vdash A</math> की स्थिति में मॉडल <math>M</math> को स्थिर करता है। जहां एक सूत्र <math>A</math> एक फ्रेम <math>F</math> पर रखता है यदि <math>F</math> प्रत्येक मॉडल में <math>(F,\Vdash)</math>धारण करता है तब एक सूत्र <math>A</math> फ्रेम के एक वर्ग में मान्य होता है यदि <math>A</math> उस वर्ग में प्रत्येक फ्रेम पर रखता है। उपरोक्त शर्तों को पूरा करने वाले सभी रूटली-मेयर फ़्रेमों का वर्ग प्रासंगिकता तर्क B को मान्य करता है। R और * पर उपयुक्त प्रतिबंध लगाकर अन्य प्रासंगिक तर्कों के लिए रूटले-मेयर फ़्रेम प्राप्त कर सकते हैं। कुछ मानक परिभाषाओं का उपयोग करके इन स्थितियों को प्रस्तुत करना साधारण होता है। माना कि <math>Rabcd</math> को <math>\exists x(Rabx \land Rxcd)</math> के रूप में परिभाषित किया जाता है और <math>Ra(bc)d</math> को <math>\exists x(Rbcx \land Raxd)</math> परिभाषित किया जाता है फ्रेम की कुछ शर्तें और सिद्धांत जो वे स्वीकृत करते हैं वे निम्नलिखित हैं।
उपरोक्त शर्तों को पूरा करने वाले सभी रूटली-मेयर फ़्रेमों का वर्ग प्रासंगिकता तर्क बी को मान्य करता है। R और * पर उचित प्रतिबंध लगाकर अन्य प्रासंगिक तर्कों के लिए रूटले-मेयर फ़्रेम प्राप्त कर सकते हैं। कुछ मानक परिभाषाओं का उपयोग करके इन स्थितियों को बताना आसान है। होने देना <math>Rabcd</math> के रूप में परिभाषित किया जाए <math>\exists x(Rabx \land Rxcd)</math>, और जाने <math>Ra(bc)d</math> के रूप में परिभाषित किया जाए <math>\exists x(Rbcx \land Raxd)</math>. फ्रेम की कुछ स्थितियाँ और वे मान्यताएँ जो वे मान्य करते हैं, निम्नलिखित हैं।
{| class="wikitable"
{| class="wikitable"
|-
|-
Line 139: Line 137:
| <math>A\lor\lnot A</math>
| <math>A\lor\lnot A</math>
|-
|-
!जटिल निहितार्थ विकृति
!समिश्र निहितार्थ विकृति
| <math>0\leq a</math>
| <math>0\leq a</math>
| <math>A\to(B\to B)</math>
| <math>A\to(B\to B)</math>
Line 147: Line 145:
| <math>A\to(B\to A)</math>
| <math>A\to(B\to A)</math>
|}
|}
पिछली दो शर्तें कमजोर करने के रूपों को मान्य करती हैं कि प्रासंगिकता तर्क मूल रूप से बचने के लिए विकसित किए गए थे। रूटले-मेयर मॉडल के लचीलेपन को दिखाने के लिए उन्हें शामिल किया गया है।
पिछली दो शर्तें अगम्य स्थिति के रूपों को स्वीकृत करती हैं जो प्रासंगिकता तर्क को मूल रूप से सुरक्षित करने के लिए विकसित की गयी थी। रूटले-मेयर मॉडल की अगम्यता को दिखाने के लिए उन्हें सम्मिलित किया गया है।


=== परिचालन मॉडल ===
=== परिचालन मॉडल ===


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


एक ऑपरेशनल फ्रेम <math>F</math> एक ट्रिपल है <math>(K,\cdot,0)</math>, कहाँ <math>K</math> एक अरिक्त समुच्चय है, <math>0\in K</math>, और <math>\cdot</math> एक बाइनरी ऑपरेशन है <math>K</math>. फ़्रेम में शर्तें होती हैं, जिनमें से कुछ को अलग-अलग लॉजिक्स को मॉडल करने के लिए छोड़ा जा सकता है। उर्कहार्ट ने प्रासंगिकता तर्क R की सशर्त प्रतिरूपण के लिए प्रस्तावित शर्तें निम्नलिखित हैं।
एक परिचालन फ्रेम <math>F</math> एक ट्रिपल <math>(K,\cdot,0)</math> है जहाँ <math>K</math> एक अरिक्त समुच्चय <math>0\in K</math> है और <math>\cdot</math> एक बाइनरी ऑपरेशन <math>K</math> है इस फ़्रेम में विभिन्न शर्तें होती हैं, जिनमें से कुछ को अलग-अलग तर्क को मॉडल के रूप मे  प्रयोग जा सकता है। उर्कहार्ट की प्रासंगिकता तर्क R की सशर्त प्रतिरूपण के लिए प्रस्तावित शर्तें निम्नलिखित हैं।
* <math>x\cdot x=x</math>
* <math>x\cdot x=x</math>
* <math>(x\cdot y)\cdot z=x\cdot(y\cdot z)</math>
* <math>(x\cdot y)\cdot z=x\cdot(y\cdot z)</math>
* <math>x\cdot y=y\cdot x</math>
* <math>x\cdot y=y\cdot x</math>
* <math>0\cdot x=x</math>
* <math>0\cdot x=x</math>
इन शर्तों के तहत, ऑपरेशनल फ्रेम एक [[ज्वाइन-सेमी-जाली]] है।
इन शर्तों के अंतर्गत, परिचालन फ्रेम एक [[ज्वाइन-सेमी-जाली|समुच्चय]] है।


एक परिचालन मॉडल <math>M</math> एक फ्रेम है <math>F</math> मूल्यांकन के साथ <math>V</math> जो बिंदुओं के जोड़े और परमाणु प्रस्तावों को सत्य मान, T या F से मैप करता है। <math>V</math> मूल्यांकन तक बढ़ाया जा सकता है <math>\Vdash</math> जटिल सूत्रों पर इस प्रकार है।
एक परिचालन मॉडल <math>M</math> एक फ्रेम <math>F</math> है जिसका मूल्यांकन <math>V</math> है जो बिंदुओं के जोड़े और परमाणु प्रस्तावों को सत्य मान T या F के लिए मूल्यांकन करता है। <math>V</math> को मूल्यांकन तक बढ़ाया जा सकता है जहाँ <math>\Vdash</math> समिश्र सूत्रों पर इस प्रकार है।
* <math>M,a\Vdash p \iff V(a,p)=T</math>, परमाणु प्रस्तावों के लिए
* <math>M,a\Vdash p \iff V(a,p)=T</math>, परमाणु प्रस्तावों के लिए
* <math>M,a\Vdash A\land B \iff M, a\Vdash A</math> और <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\land B \iff M, a\Vdash A</math> और <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\lor B \iff M, a\Vdash A</math> या <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\lor B \iff M, a\Vdash A</math> या <math>M,a\Vdash B</math>
* <math>M,a\Vdash A\to B\iff \forall b(M,b\Vdash A\Rightarrow M,a\cdot b\Vdash B)</math>
* <math>M,a\Vdash A\to B\iff \forall b(M,b\Vdash A\Rightarrow M,a\cdot b\Vdash B)</math>
एक सूत्र <math>A</math> मॉडल में रखता है <math>M</math> आईएफएफ <math>M,0\Vdash A</math>. एक सूत्र <math>A</math> मॉडलों की एक श्रेणी में मान्य है <math>C</math> यदि यह प्रत्येक मॉडल में है <math>M\in C</math>.
एक सूत्र <math>A</math> मॉडल में <math>M</math> निर्धारित करता है यदि <math>M,0\Vdash A</math> एक सूत्र <math>A</math> मॉडलों की एक श्रेणी को स्वीकृत करता है यदि <math>C</math> यह प्रत्येक मॉडल में <math>M\in C</math> है .


आर का सशर्त टुकड़ा अर्ध-जाली मॉडल के वर्ग के संबंध में ध्वनि और पूर्ण है। संयोजन और संयोजन के साथ तर्क आर के सशर्त, संयोजन, संयोजन खंड से ठीक से मजबूत है। विशेष रूप से, सूत्र <math>(A\to(B\lor C))\land(B\to C)\to (A\to C)</math> परिचालन मॉडल के लिए मान्य है लेकिन यह आर में अमान्य है। आर के लिए परिचालन मॉडल द्वारा उत्पन्न तर्क में [[किट ठीक]] और जेराल्ड चार्लवुड के कारण एक पूर्ण स्वयंसिद्ध प्रमाण प्रणाली है। चार्लवुड ने तर्क के लिए एक प्राकृतिक कटौती प्रणाली भी प्रदान की, जिसे उन्होंने स्वयंसिद्ध प्रणाली के समकक्ष साबित किया। चार्लवुड ने दिखाया कि उनकी प्राकृतिक कटौती प्रणाली [[डेग प्रविट्ज़]] द्वारा प्रदान की गई प्रणाली के बराबर है।
R का सशर्त भाग अर्ध-जाली मॉडल के वर्ग के संबंध में स्थित और पूर्ण है। विशेष रूप से, सूत्र <math>(A\to(B\lor C))\land(B\to C)\to (A\to C)</math> परिचालन मॉडल के लिए मान्य है लेकिन यह R में अमान्य है। R के लिए परिचालन मॉडल द्वारा उत्पन्न तर्क में [[किट ठीक|किट]] और जेराल्ड चार्लवुड के कारण एक पूर्ण स्वयंसिद्ध प्रमाण प्रणाली है। चार्लवुड ने तर्क के लिए एक प्राकृतिक घटाव प्रणाली भी प्रदान किया। जिसे उन्होंने स्वयंसिद्ध प्रणाली के समकक्ष सिद्ध किया। चार्लवुड ने दिखाया कि उनकी प्राकृतिक घटाव प्रणाली [[डेग प्रविट्ज़]] द्वारा प्रदान की गई प्रणाली के बराबर है।


दुनिया के एक गैर-खाली सेट को जोड़कर परिचालन शब्दार्थ को ई की स्थिति को मॉडल करने के लिए अनुकूलित किया जा सकता है <math>W</math> और एक अभिगम्यता संबंध <math>\leq</math> पर <math>W\times W</math> तख्ते को। अभिगम्यता संबंध को रिफ्लेक्सिव और सकर्मक होना आवश्यक है, इस विचार को पकड़ने के लिए कि E की सशर्त में S4 आवश्यकता है। वैल्यूएशन तब परमाणु प्रस्तावों, बिंदुओं और दुनिया के सत्य मूल्यों के ट्रिपल को मैप करता है। सशर्त के लिए सत्य स्थिति को निम्नलिखित में बदल दिया गया है।
परिचालन शब्दार्थ को विश्व के एक गैर-रिक्त समुच्चय और फ्रेम के लिए एक अभिगम्यता संबंध <math>\leq</math> पर <math>W\times W</math> को जोड़कर E को सशर्त मॉडल करने के लिए अनुकूलित किया जा सकता है। E की सशर्त विचार को पकड़ने के लिए अभिगम्य संबंध को निजवाचक और सकर्मक होना आवश्यक है। मूल्यांकन तब परमाणु प्रस्तावों, बिंदुओं, और विश्व के सत्य मानो के लिए ट्रिपल को मूल्यांकित करता है। सशर्त के लिए सत्य की स्थिति को निम्नलिखित में परिवर्तित कर दिया गया है।
* <math>M,a, w\Vdash A\to B\iff \forall b, \forall w'\geq w(M,b, w'\Vdash A\Rightarrow M,a\cdot b,w'\Vdash B)</math>
* <math>M,a, w\Vdash A\to B\iff \forall b, \forall w'\geq w(M,b, w'\Vdash A\Rightarrow M,a\cdot b,w'\Vdash B)</math>
एक संबंध जोड़कर T की स्थिति को मॉडल करने के लिए परिचालन शब्दार्थ को अनुकूलित किया जा सकता है <math>\leq</math> पर <math>K\times K</math>. निम्नलिखित शर्तों का पालन करने के लिए संबंध आवश्यक है।
परिचालन शब्दार्थ को एक संबंध <math>\leq</math> पर <math>K\times K</math> को जोड़कर T की स्थिति को मॉडल करने के लिए अनुकूलित किया जा सकता है। निम्नलिखित शर्तों का अनुसरण करने के लिए संबंध आवश्यक है।
* <math>0\leq x</math>
* <math>0\leq x</math>
* अगर <math>x\leq y</math> और <math>y\leq z</math>, तब <math>x\leq z</math>
* यदि <math>x\leq y</math> और <math>y\leq z</math>, तब <math>x\leq z</math>
* अगर <math>x\leq y</math>, तब <math>x\cdot z\leq y\cdot z</math>
* यदि <math>x\leq y</math>, तब <math>x\cdot z\leq y\cdot z</math>
सशर्त के लिए सत्य स्थिति को निम्नलिखित में बदल दिया गया है।
सशर्त के लिए सत्य स्थिति को निम्नलिखित में परिवर्तित कर दिया गया है।
* <math>M,a\Vdash A\to B\iff \forall b((a\leq b\land M,b\Vdash A)\Rightarrow M,a\cdot b\Vdash B)</math>
* <math>M,a\Vdash A\to B\iff \forall b((a\leq b\land M,b\Vdash A)\Rightarrow M,a\cdot b\Vdash B)</math>
परिचालन मॉडल के साथ संकुचन-कम प्रासंगिकता लॉजिक्स TW और RW को मॉडल करने के दो तरीके हैं। पहला तरीका यह है कि उस शर्त को गिरा दिया जाए <math>x\cdot x=x</math>. दूसरा तरीका फ्रेम पर अर्ध-जाल की स्थिति रखना और एक द्विआधारी संबंध जोड़ना है, <math>J</math>, फ्रेम से असम्बद्धता का। इन मॉडलों के लिए, TW के मामले में आदेश जोड़ने के साथ, सशर्त के लिए सत्य स्थितियों को निम्न में बदल दिया गया है।
परिचालन मॉडल के साथ संकुचन-क्रम प्रासंगिकता तर्क TW और RW को मॉडल करने के दो तरीके हैं। पहला तरीका यह है कि उस शर्त को <math>x\cdot x=x</math> परिवर्तित कर दिया जाए और दूसरा तरीका फ्रेम पर सेमिलैटिस तर्क की स्थिति रखना और एक द्विआधारी संबंध <math>J</math> को जोड़ना है फ्रेम से असम्बद्धता का इन मॉडलों के लिए, TW की स्थिति में अनुक्रम जोड़ने के साथ, सशर्त के लिए सत्य स्थितियों को निम्न में परिवर्तित कर दिया गया है।
* <math>M,a\Vdash A\to B\iff \forall b((Jab \land M,b\Vdash A)\Rightarrow M,a\cdot b\Vdash B)</math>
* <math>M,a\Vdash A\to B\iff \forall b((Jab \land M,b\Vdash A)\Rightarrow M,a\cdot b\Vdash B)</math>
==== हंबरस्टोन मॉडल ====
==== हंबरस्टोन मॉडल ====
अर्क्हार्ट ने दिखाया कि आर के लिए सेमिलैटिस तर्क आर के सकारात्मक टुकड़े की तुलना में ठीक से मजबूत है। लॉयड हंबरस्टोन ने परिचालन मॉडल का एक संवर्धन प्रदान किया जो संयोजन के लिए एक अलग सच्चाई की स्थिति की अनुमति देता है। मॉडल का परिणामी वर्ग वास्तव में आर का सकारात्मक टुकड़ा उत्पन्न करता है।
अर्क्हार्ट ने दिखाया कि R के लिए सेमिलैटिस तर्क R के धनात्मक भाग की तुलना में पूर्णतः प्रबल है। लॉयड हंबरस्टोन ने परिचालन मॉडल का एक संवर्धन प्रदान किया जो संयोजन के लिए एक अलग सत्यता की स्थिति की स्वीकृति देता है। मॉडल का परिणामी वर्ग वास्तव में R का धनात्मक भाग उत्पन्न करता है।


एक ऑपरेशनल फ्रेम <math>F</math> चौगुना है <math>(K,\cdot,+,0)</math>, कहाँ <math>K</math> एक अरिक्त समुच्चय है, <math>0\in K</math>, और {<math>\cdot</math>, <math>+</math>} बाइनरी ऑपरेशंस चालू हैं <math>K</math>. होने देना <math>a\leq b</math> के रूप में परिभाषित किया जाए <math>\exists x(a+x=b)</math>. फ्रेम की स्थिति इस प्रकार है।
एक परिचालन मॉडल <math>F</math>, <math>(K,\cdot,+,0)</math> का चार गुना है जहाँ <math>K</math> एक अरिक्त समुच्चय है, <math>0\in K</math>, और {<math>\cdot</math>, <math>+</math>} बाइनरी परिचालन <math>K</math> सक्रिय हैं माना कि <math>a\leq b</math> <math>\exists x(a+x=b)</math> के रूप में परिभाषित किया गया है जिसकी स्थिति इस प्रकार है।
{{ordered list|start=1
{{ordered list|start=1
| <math>0\cdot x=x</math>
| <math>0\cdot x=x</math>
Line 197: Line 193:
| <math>x\leq y+z\Rightarrow \exists y',z'\in K(y'\leq y</math>, <math>z'\leq z</math> and <math>x=y'+z')</math>
| <math>x\leq y+z\Rightarrow \exists y',z'\in K(y'\leq y</math>, <math>z'\leq z</math> and <math>x=y'+z')</math>
}}
}}
एक परिचालन मॉडल <math>M</math> एक फ्रेम है <math>F</math> मूल्यांकन के साथ <math>V</math> जो बिंदुओं के जोड़े और परमाणु प्रस्तावों को सत्य मान, T या F से मैप करता है। <math>V</math> मूल्यांकन तक बढ़ाया जा सकता है <math>\Vdash</math> जटिल सूत्रों पर इस प्रकार है।
एक परिचालन मॉडल <math>M</math> एक फ्रेम <math>F</math> है <math>V</math> मूल्यांकन के साथ जो बिंदुओं के जोड़े कर और परमाणु प्रस्तावों को सत्य मान T या F से मूल्यांकित करता है। <math>V</math> को मूल्यांकन तक विस्तृत किया जा सकता है <math>\Vdash</math> का समिश्र सूत्र पर इस प्रकार हैं।
* <math>M,a\Vdash p \iff V(a,p)=T</math>, परमाणु प्रस्तावों के लिए
* <math>M,a\Vdash p \iff V(a,p)=T</math>, परमाणु प्रस्तावों के लिए
* <math>M,a+b\Vdash p \iff M,a\Vdash p</math> और <math>M,b\Vdash p</math>
* <math>M,a+b\Vdash p \iff M,a\Vdash p</math> और <math>M,b\Vdash p</math>
Line 203: Line 199:
* <math>M,a\Vdash A\lor B \iff M, a\Vdash A</math> या <math>M,a\Vdash B</math> या <math>\exists b,c(a=b+c</math>; <math>M,b\Vdash A</math> और <math>M,c\Vdash B)</math>
* <math>M,a\Vdash A\lor B \iff M, a\Vdash A</math> या <math>M,a\Vdash B</math> या <math>\exists b,c(a=b+c</math>; <math>M,b\Vdash A</math> और <math>M,c\Vdash B)</math>
* <math>M,a\Vdash A\to B\iff \forall b(M,b\Vdash A\Rightarrow M,a\cdot b\Vdash B)</math>
* <math>M,a\Vdash A\to B\iff \forall b(M,b\Vdash A\Rightarrow M,a\cdot b\Vdash B)</math>
एक सूत्र <math>A</math> मॉडल में रखता है <math>M</math> आईएफएफ <math>M,0\Vdash A</math>. एक सूत्र <math>A</math> मॉडलों की एक श्रेणी में मान्य है <math>C</math> यदि यह प्रत्येक मॉडल में है <math>M\in C</math>.
एक सूत्र <math>A</math> मॉडल में <math>M</math> को स्थिर रखता है यदि <math>M,0\Vdash A</math>. एक सूत्र <math>A</math> मॉडलों की एक श्रेणी में स्वीकृत करता है और <math>C</math> यदि प्रत्येक मॉडल में <math>M\in C</math> है।


इन मॉडलों के वर्ग के संबंध में R का सकारात्मक टुकड़ा ध्वनि और पूर्ण है। हम्बरस्टोन के सिमेंटिक्स को निम्न प्रकार से फ्रेम स्थितियों को हटाकर या जोड़कर विभिन्न लॉजिक्स को मॉडल करने के लिए अनुकूलित किया जा सकता है।
इन मॉडलों के वर्ग के संबंध में R का धनात्मक भाग है। हम्बरस्टोन के शब्दार्थ को निम्न प्रकार से फ्रेम स्थितियों को हटाकर या जोड़कर विभिन्न तर्क को मॉडल करने के लिए अनुकूलित किया जा सकता है।
{| class="wikitable"
{| class="wikitable"
|-
|-
Line 247: Line 243:


=== बीजगणितीय मॉडल ===
=== बीजगणितीय मॉडल ===
कुछ प्रासंगिक तर्कों को बीजगणितीय मॉडल दिए जा सकते हैं, जैसे कि तर्क R. R के लिए बीजगणितीय संरचनाएं डी मॉर्गन बीजगणित हैं, जो सेक्सटुपल हैं <math>(D,\land,\lor,\lnot,\circ,e)</math> कहाँ
कुछ प्रासंगिक तर्कों के बीजगणितीय मॉडल दिए जा सकते हैं, जैसे कि तर्क R. R के लिए बीजगणितीय संरचनाएं डी मॉर्गन बीजगणित हैं, जो <math>(D,\land,\lor,\lnot,\circ,e)</math> टपल हैं जहाँ
* <math>(D,\land,\lor,\lnot)</math> एक यूनरी ऑपरेशन के साथ एक वितरणात्मक [[जाली (आदेश)]] है, <math>\lnot</math> कानूनों का पालन करना <math>\lnot\lnot x=x</math> और अगर <math>x\leq y</math> तब <math>\lnot y\leq \lnot x</math>;
* <math>(D,\land,\lor,\lnot)</math> एक यूनरी व्यंजक के साथ एक वितरणात्मक [[जाली (आदेश)|अनुक्रम]] है, <math>\lnot</math><math>\lnot\lnot x=x</math> अनुक्रम का अनुसरण करना और यदि <math>x\leq y</math> तब <math>\lnot y\leq \lnot x</math>;
* <math>e\in D</math>, बाइनरी ऑपरेशन <math>\circ</math> क्रमविनिमेय संपत्ति है (<math>x\circ y=y\circ x</math>) और साहचर्य संपत्ति (<math>(x\circ y)\circ z=x\circ (y\circ z)</math>), और <math>e\circ x=x</math>, अर्थात। <math>(D,\circ,e)</math> [[पहचान तत्व]] के साथ एक मोनॉयड#कम्यूटेटिव मोनॉयड है <math>e</math>;
* <math>e\in D</math>, बाइनरी व्यंजक <math>\circ</math> क्रमविनिमेय <math>x\circ y=y\circ x</math> है और साहचर्य (<math>(x\circ y)\circ z=x\circ (y\circ z)</math>) और <math>e\circ x=x</math>, अर्थात <math>(D,\circ,e)</math> [[पहचान तत्व|पहचान]] व्यंजक के साथ एक एबेलियन मोनोइड <math>e</math> है।
* मोनोइड जाली-आदेशित और संतुष्ट है <math>x\circ(y\lor z)=(x\circ y)\lor(x\circ z)</math>;
* मोनोइड एबेलियन अनुक्रम और संतुष्ट <math>x\circ(y\lor z)=(x\circ y)\lor(x\circ z)</math> है।
* <math>x\leq x\circ x</math>; और
* <math>x\leq x\circ x</math>; और
* अगर <math>x\circ y\leq z</math>, तब <math>x\circ\lnot z\leq \lnot y</math>.
* यदि <math>x\circ y\leq z</math>, तब <math>x\circ\lnot z\leq \lnot y</math>.
संचालन <math>x\to y</math> R की सशर्त व्याख्या के रूप में परिभाषित किया गया है <math>\lnot(x\circ\lnot y)</math>.
व्यंजक <math>x\to y</math> R की सशर्त व्याख्या के रूप में <math>\lnot(x\circ\lnot y)</math> को परिभाषित किया गया है एक डी मॉर्गन मोनॉयड एक अवशेषित अनुक्रम है, जो निम्नलिखित अवशेषों की स्थिति का अनुसरण करता है।
एक डी मॉर्गन मोनॉयड एक अवशेषित जाली है, जो निम्नलिखित अवशेषों की स्थिति का पालन करता है।
: <math>x \circ y\leq z \iff x\leq y\to z</math>
: <math>x \circ y\leq z \iff x\leq y\to z</math>
व्याख्या <math>v</math> प्रस्तावात्मक भाषा से डी मॉर्गन मोनोइड तक एक [[समरूपता]] है <math>M</math> ऐसा है कि
एक व्याख्या <math>v</math> एक डी मॉर्गन मोनोइड <math>M</math> के लिए प्रस्तावक भाषा से एक समरूपता है जैसे कि
* <math>v(p)\in D</math> सभी परमाणु प्रस्तावों के लिए,
* <math>v(p)\in D</math>  
* <math>v(\lnot A)=\lnot v(A)</math>
* <math>v(\lnot A)=\lnot v(A)</math>
* <math>v(A\lor B)=v(A)\lor v(B)</math>
* <math>v(A\lor B)=v(A)\lor v(B)</math>
* <math>v(A\land B)=v(A)\land v(B)</math>
* <math>v(A\land B)=v(A)\land v(B)</math>
* <math>v(A\to B)=v(A)\to v(B)</math>
* <math>v(A\to B)=v(A)\to v(B)</math>
एक डी मॉर्गन मोनोइड दिया <math>M</math> और एक व्याख्या <math>v</math>, वह सूत्र कह सकते हैं <math>A</math> बनाए रखता है <math>v</math> शायद ज़रुरत पड़े <math>e\leq v(A)</math>. एक सूत्र <math>A</math> वैध है अगर यह सभी डे मॉर्गन मोनोइड्स पर सभी व्याख्याओं पर कायम है। डी मॉर्गन मोनोइड्स के लिए तर्क आर ध्वनि और पूर्ण है।
एक डी मॉर्गन मोनॉयड <math>M</math> और एक व्याख्या <math>v</math> को देखते हुए यह कहा जा सकता है कि सूत्र <math>A</math> कि स्थिति में <math>v</math> को <math>e\leq v(A)</math> के परिभाषित करता है एक सूत्र <math>A</math> मान्य है यदि यह सभी डी मॉर्गन मोनोइड्स पर सभी व्याख्याओं पर आधारित है। डी मॉर्गन मोनोइड्स के लिए तर्क R व्यंजक और पूर्ण होता है।


== यह भी देखें ==
== यह भी देखें ==
{{Portal|Philosophy}}
{{Portal|Philosophy}}
* संबंधपरक तर्क, भौतिक निहितार्थ के विरोधाभासों के लिए एक अलग दृष्टिकोण
* संबंध तर्क, भौतिक निहितार्थ के विरोधाभासों के लिए एक अन्य दृष्टिकोण
* गैर अनुक्रमिक (तर्क)
* गैर-अनुक्रम तर्क
* [[प्रासंगिक प्रकार प्रणाली]], एक [[अवसंरचनात्मक प्रकार प्रणाली]]
* [[प्रासंगिक प्रकार प्रणाली|प्रासंगिक प्रणाली]] या [[अवसंरचनात्मक प्रकार प्रणाली|संरचनात्मक प्रणाली]]


==संदर्भ==
==संदर्भ==
Line 292: Line 287:
*''[http://consequently.org/papers/rle.pdf Relevance logic]'' – by J. Michael Dunn and Greg Restall
*''[http://consequently.org/papers/rle.pdf Relevance logic]'' – by J. Michael Dunn and Greg Restall
*''[https://www.st-andrews.ac.uk/~slr/Relevant_Logic.pdf Relevant Logic]'' – by Stephen Read
*''[https://www.st-andrews.ac.uk/~slr/Relevant_Logic.pdf Relevant Logic]'' – by Stephen Read
{{Non-classical logic}}
{{DEFAULTSORT:Relevance Logic}}[[Category: अवसंरचनात्मक तर्क]] [[Category: गैर शास्त्रीय तर्क]] [[Category: परासंगत तर्क]]




{{DEFAULTSORT:Relevance Logic}}


[[Category: Machine Translated Page]]
[[Category:Collapse templates|Relevance Logic]]
[[Category:Created On 16/02/2023]]
[[Category:Created On 16/02/2023|Relevance Logic]]
[[Category:Machine Translated Page|Relevance Logic]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists|Relevance Logic]]
[[Category:Pages that use a deprecated format of the math tags|Relevance Logic]]
[[Category:Pages with empty portal template|Relevance Logic]]
[[Category:Pages with script errors|Relevance Logic]]
[[Category:Portal templates with redlinked portals|Relevance Logic]]
[[Category:Sidebars with styles needing conversion|Relevance Logic]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready|Relevance Logic]]

Latest revision as of 19:12, 25 February 2023

प्रासंगिकता तर्क, जिसे प्रासंगिक तर्कशास्त्र भी कहा जाता है यह एक प्रकार का गैर-शास्त्रीय तर्क है जिसके कारण प्रासंगिकता से संबद्ध होने के लिए पूर्ववर्ती (तर्क) और निहितार्थों की आवश्यकता होती है। जिन्हे संरचनात्मक तर्क या मॉडल तर्क के समूह के रूप में देखा जा सकता है। लेकिन सामान्यतः इसे ब्रिटिश और विशेष रूप से, ऑस्ट्रेलियाई तर्कशास्त्रियों द्वारा प्रासंगिक तर्क और अमेरिकी तर्कशास्त्रियों द्वारा प्रासंगिक तर्क नहीं कहा जाता है।

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

प्रासंगिकता तर्क की एक उल्लेखनीय विशेषता यह है कि वे संगत तर्क होते हैं एक विरोधाभास के अस्तित्व से "बाहुल्य" नहीं है यह इस तथ्य का अनुसरण करता है कि एक विरोधाभासी पूर्ववर्ती व्यंजक के साथ एक प्रासंगिकता तर्क जो परिणाम के साथ कोई प्रस्ताव या विधेय पत्र साझा नहीं करता है वह सत्य (या व्युत्पन्न) नहीं हो सकता है।

इतिहास

प्रासंगिकता तर्क 1928 में सोवियत दार्शनिक इवान ई. ओर्लोव (1886 लगभग 1936) द्वारा गणितीय पेपर "द लॉजिक ऑफ़ कम्पैटिबिलिटी ऑफ़ प्रपोज़िशन्स" अर्थात "प्रस्तावों की संगतता का तर्क" में प्रस्तावित किया गया था जो मेटमैथेस्की स्बोर्निक प्रकाशन में प्रकाशित हुआ था। प्रासंगिक निहितार्थ का मूल विचार मध्यकालीन तर्क में प्रकट होता है और कुछ आगामी कार्य 1950 के दशक में विल्हेम एकरमैन[3] मोह शॉ-क्वेई[4] और अलोंजो चर्च थे उन पर चित्रण करते हुए, न्युएल बेलनाप और एलन रॉस एंडरसन ने अन्य लोगों के साथ 1970 के दशक में इस विषय की महान रचना "प्रासंगिकता और आवश्यकता का तर्क" लिखी। जो दूसरे खंड नब्बे के दशक में प्रकाशित हुई। उन्होंने प्रवेश की प्रणालियों और प्रासंगिकता की प्रणालियों पर ध्यान केंद्रित किया। जहां पूर्व प्रकार के निहितार्थ प्रासंगिक तर्क और आवश्यक तर्क दोनों तर्कों को स्वीकृत किया जाता था।

सिद्धांत

प्रासंगिकता तर्क के प्रारम्भिक विकास ने बहुसंख्यक प्रणालियों पर ध्यान केंद्रित किया। राउतले-मेयर शब्दार्थ के विकास ने दुर्बल तर्क की एक श्रृंखला को सामने प्रस्तुत किया। इन तर्कों में सबसे दुर्बल प्रासंगिकता तर्क B है। यह निम्नलिखित सिद्धांतों और नियमों के साथ स्वयंसिद्ध होता है।

नियम निम्नलिखित हैं।

निम्नलिखित में से किसी भी स्वयंसिद्ध को जोड़कर बहुसंख्यक तर्क प्राप्त किए जा सकते हैं।

B की तुलना में कुछ उल्लेखनीय तर्क बहुसंख्यक हैं जिन्हें निम्नानुसार B में सिद्धांतों को जोड़कर प्राप्त किया जा सकता है।

  • DW के लिए 1 जोड़ें।
  • DJ के लिए, 1, 2 जोड़ें।
  • TW के लिए, 1, 2, 3, 4 जोड़ें।
  • RW के लिए, 1, 2, 3, 4, 8, 9 जोड़ें।
  • T के लिए 1, 2, 3, 4, 5, 6, 7, 11 जोड़ें।
  • R के लिए, 1-11 जोड़ें।
  • E के लिए, 1-7, 10, 11 जोड़ें, , और , जहाँ के रूप मे को परिभाषित किया जाता है।
  • RM के लिए, सभी अतिरिक्त फलन को स्वतः जोड़ें।

मॉडल

रूटले-मेयर मॉडल

प्रासंगिकता तर्क के लिए वह मानक मॉडल सिद्धांत रिचर्ड सिल्वन और बॉब मेयेर (तर्कशास्त्री द्वारा विकसित रूटले-मेयर टर्नरी-संबंध शब्दार्थ मॉडल है। एक प्रस्तावक भाषा के लिए एक रूटली-मेयर फ्रेम F चार गुना (W,R,*,0) है, जहां w एक गैर-रिक्त समुच्चय है R W पर एक टर्नरी संबंध है, और से W और ∈ से एक फलन है एएक रूटली-मेयर मॉडल M एक रूटली-मेयर फ्रेम F है, जो मूल्यांकन के साथ प्रत्येक बिंदु के सापेक्ष प्रत्येक परमाणु प्रस्ताव को मान प्रदान करता है रूटली-मेयर फ्रेम पर कुछ शर्तें को और के रूप परिभाषित किया गया है।

  • .
  • यदि और , तब .
  • यदि और , तब .
  • .
  • यदि , तब .

और को इंगित करने के लिए कि सूत्र सत्य है या सत्य नहीं है क्रमशः बिंदु पर में रूटली-मेयर मॉडल पर एक अंतिम शर्त पारंपरिक स्थिति है।

  • यदि और , तब , के सभी प्रस्तावों के लिए होता है।

विवेचनात्मक तर्क द्वारा, नीचे दी गई सत्य स्थितियों का उपयोग करते हुए, मॉडल को समिश्र सूत्रों तक विस्तारित करने के लिए प्रदर्शित किया जा सकता है।

  • यदि और , तब , सभी सूत्रों के लिए होता है

समिश्र सूत्रों के लिए सत्य स्थितियाँ इस प्रकार हैं।

  • और
  • या

एक सूत्र मॉडल केवल की स्थिति में मॉडल को स्थिर करता है। जहां एक सूत्र एक फ्रेम पर रखता है यदि प्रत्येक मॉडल में धारण करता है तब एक सूत्र फ्रेम के एक वर्ग में मान्य होता है यदि उस वर्ग में प्रत्येक फ्रेम पर रखता है। उपरोक्त शर्तों को पूरा करने वाले सभी रूटली-मेयर फ़्रेमों का वर्ग प्रासंगिकता तर्क B को मान्य करता है। R और * पर उपयुक्त प्रतिबंध लगाकर अन्य प्रासंगिक तर्कों के लिए रूटले-मेयर फ़्रेम प्राप्त कर सकते हैं। कुछ मानक परिभाषाओं का उपयोग करके इन स्थितियों को प्रस्तुत करना साधारण होता है। माना कि को के रूप में परिभाषित किया जाता है और को परिभाषित किया जाता है फ्रेम की कुछ शर्तें और सिद्धांत जो वे स्वीकृत करते हैं वे निम्नलिखित हैं।

नाम फ्रेम की स्थिति सिद्धांत
स्यूडो-मोडस पोनेन्स
उपसर्ग
प्रत्यय
संकुचन
संयोजक
निष्चयन
ई-सिद्धांत
मिन्गले सिद्धांत or
न्यूनीकरण
प्रति-परिवर्तन
बहिष्कृत मध्य
समिश्र निहितार्थ विकृति
विकृति

पिछली दो शर्तें अगम्य स्थिति के रूपों को स्वीकृत करती हैं जो प्रासंगिकता तर्क को मूल रूप से सुरक्षित करने के लिए विकसित की गयी थी। रूटले-मेयर मॉडल की अगम्यता को दिखाने के लिए उन्हें सम्मिलित किया गया है।

परिचालन मॉडल

उर्कहार्ट मॉडल

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

एक परिचालन फ्रेम एक ट्रिपल है जहाँ एक अरिक्त समुच्चय है और एक बाइनरी ऑपरेशन है इस फ़्रेम में विभिन्न शर्तें होती हैं, जिनमें से कुछ को अलग-अलग तर्क को मॉडल के रूप मे प्रयोग जा सकता है। उर्कहार्ट की प्रासंगिकता तर्क R की सशर्त प्रतिरूपण के लिए प्रस्तावित शर्तें निम्नलिखित हैं।

इन शर्तों के अंतर्गत, परिचालन फ्रेम एक समुच्चय है।

एक परिचालन मॉडल एक फ्रेम है जिसका मूल्यांकन है जो बिंदुओं के जोड़े और परमाणु प्रस्तावों को सत्य मान T या F के लिए मूल्यांकन करता है। को मूल्यांकन तक बढ़ाया जा सकता है जहाँ समिश्र सूत्रों पर इस प्रकार है।

  • , परमाणु प्रस्तावों के लिए
  • और
  • या

एक सूत्र मॉडल में निर्धारित करता है यदि एक सूत्र मॉडलों की एक श्रेणी को स्वीकृत करता है यदि यह प्रत्येक मॉडल में है .

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

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

परिचालन शब्दार्थ को एक संबंध पर को जोड़कर T की स्थिति को मॉडल करने के लिए अनुकूलित किया जा सकता है। निम्नलिखित शर्तों का अनुसरण करने के लिए संबंध आवश्यक है।

  • यदि और , तब
  • यदि , तब

सशर्त के लिए सत्य स्थिति को निम्नलिखित में परिवर्तित कर दिया गया है।

परिचालन मॉडल के साथ संकुचन-क्रम प्रासंगिकता तर्क TW और RW को मॉडल करने के दो तरीके हैं। पहला तरीका यह है कि उस शर्त को परिवर्तित कर दिया जाए और दूसरा तरीका फ्रेम पर सेमिलैटिस तर्क की स्थिति रखना और एक द्विआधारी संबंध को जोड़ना है फ्रेम से असम्बद्धता का इन मॉडलों के लिए, TW की स्थिति में अनुक्रम जोड़ने के साथ, सशर्त के लिए सत्य स्थितियों को निम्न में परिवर्तित कर दिया गया है।

हंबरस्टोन मॉडल

अर्क्हार्ट ने दिखाया कि R के लिए सेमिलैटिस तर्क R के धनात्मक भाग की तुलना में पूर्णतः प्रबल है। लॉयड हंबरस्टोन ने परिचालन मॉडल का एक संवर्धन प्रदान किया जो संयोजन के लिए एक अलग सत्यता की स्थिति की स्वीकृति देता है। मॉडल का परिणामी वर्ग वास्तव में R का धनात्मक भाग उत्पन्न करता है।

एक परिचालन मॉडल , का चार गुना है जहाँ एक अरिक्त समुच्चय है, , और {, } बाइनरी परिचालन सक्रिय हैं माना कि के रूप में परिभाषित किया गया है जिसकी स्थिति इस प्रकार है।

  1. , and

एक परिचालन मॉडल एक फ्रेम है मूल्यांकन के साथ जो बिंदुओं के जोड़े कर और परमाणु प्रस्तावों को सत्य मान T या F से मूल्यांकित करता है। को मूल्यांकन तक विस्तृत किया जा सकता है का समिश्र सूत्र पर इस प्रकार हैं।

  • , परमाणु प्रस्तावों के लिए
  • और
  • और
  • या या ; और

एक सूत्र मॉडल में को स्थिर रखता है यदि . एक सूत्र मॉडलों की एक श्रेणी में स्वीकृत करता है और यदि प्रत्येक मॉडल में है।

इन मॉडलों के वर्ग के संबंध में R का धनात्मक भाग है। हम्बरस्टोन के शब्दार्थ को निम्न प्रकार से फ्रेम स्थितियों को हटाकर या जोड़कर विभिन्न तर्क को मॉडल करने के लिए अनुकूलित किया जा सकता है।

प्रणाली फ्रेम की स्थिति
बी 1, 5-9, 14
टीडब्ल्यू 1, 11, 12, 5-9, 14
ईडब्ल्यू 1, 10, 11, 5-9, 14
आरडब्ल्यू 1-3, 5-9
टी 1, 11, 12, 13, 5-9, 14
1, 10, 11, 13, 5-9, 14
आर 1-9
आरएम 1-3, 5-9, 15

बीजगणितीय मॉडल

कुछ प्रासंगिक तर्कों के बीजगणितीय मॉडल दिए जा सकते हैं, जैसे कि तर्क R. R के लिए बीजगणितीय संरचनाएं डी मॉर्गन बीजगणित हैं, जो टपल हैं जहाँ

  • एक यूनरी व्यंजक के साथ एक वितरणात्मक अनुक्रम है, अनुक्रम का अनुसरण करना और यदि तब ;
  • , बाइनरी व्यंजक क्रमविनिमेय है और साहचर्य () और , अर्थात पहचान व्यंजक के साथ एक एबेलियन मोनोइड है।
  • मोनोइड एबेलियन अनुक्रम और संतुष्ट है।
  • ; और
  • यदि , तब .

व्यंजक R की सशर्त व्याख्या के रूप में को परिभाषित किया गया है एक डी मॉर्गन मोनॉयड एक अवशेषित अनुक्रम है, जो निम्नलिखित अवशेषों की स्थिति का अनुसरण करता है।

एक व्याख्या एक डी मॉर्गन मोनोइड के लिए प्रस्तावक भाषा से एक समरूपता है जैसे कि

एक डी मॉर्गन मोनॉयड और एक व्याख्या को देखते हुए यह कहा जा सकता है कि सूत्र कि स्थिति में को के परिभाषित करता है एक सूत्र मान्य है यदि यह सभी डी मॉर्गन मोनोइड्स पर सभी व्याख्याओं पर आधारित है। डी मॉर्गन मोनोइड्स के लिए तर्क R व्यंजक और पूर्ण होता है।

यह भी देखें

संदर्भ

  1. Lewis, C. I. (1912). "Implication and the Algebra of Logic." Mind, 21(84):522–531.
  2. Lewis, C. I. (1917). "The issues concerning material implication." Journal of Philosophy, Psychology, and Scientific Methods, 14:350–356.
  3. Ackermann, W. (1956), "Begründung einer strengen Implikation", Journal of Symbolic Logic, 21 (2): 113–128, JSTOR 2268750
  4. Moh, Shaw-kwei (1950), "The Deduction Theorems and Two New Logical Systems", Methodos, 2: 56–75 Moh Shaw-Kwei, 1950, "," Methodos 2 56–75.


ग्रन्थसूची

  • Alan Ross Anderson and Nuel Belnap, 1975. Entailment: the logic of relevance and necessity, vol. I. Princeton University Press. ISBN 0-691-07192-6
  • ------- and J. M. Dunn, 1992. Entailment: the logic of relevance and necessity, vol. II, Princeton University Press.
  • Mares, Edwin, and Meyer, R. K., 2001, "Relevant Logics", in Goble, Lou, ed., The Blackwell Guide to Philosophical Logic. Blackwell.
  • Richard Routley, Val Plumwood, Robert K. Meyer, and Ross T. Brady. Relevant Logics and their Rivals. Ridgeview, 1982.
  • R. Brady (ed.), Relevant Logics and their Rivals (Volume II), Aldershot: Ashgate, 2003.
  • Urquhart, Alasdair (1972). "Semantics for relevant logics" (PDF). Journal of Symbolic Logic. 37: 159–169. doi:10.2307/2272559.
  • Alasdair Urquhart. The Semantics of Entailment. PhD thesis, University of Pittsburgh, 1972.
  • Katalin Bimbó, Relevance logics, in Philosophy of Logic, D. Jacquette (ed.), (volume 5 of Handbook of the Philosophy of Science, D. Gabbay, P. Thagard, J. Woods (eds.)), Elsevier (North-Holland), 2006, pp. 723–789.
  • J. Michael Dunn and Greg Restall. Relevance logic. In Handbook of Philosophical Logic, Volume 6, F. Guenthner and D. Gabbay (eds.), Dordrecht: Kluwer, 2002, pp. 1–136.
  • Stephen Read, Relevant Logic, Oxford: Blackwell, 1988.
  • Humberstone, Lloyd (1987). "Operational semantics for positive R". Notre Dame Journal of Formal Logic. 29 (1): 61–80. doi:10.1305/ndjfl/1093637771.


बाहरी संबंध