Logical harmony
लॉजिकल हार्मनी, माइकल डममेट द्वारा गढ़ा गया एक नाम, अनुमान के नियमों पर एक कथित बाधा है जिसका उपयोग किसी दिए गए तार्किक प्रणाली में किया जा सकता है। सारांश तर्कशास्त्री गेरहार्ड जेंट्ज़न ने प्रस्ताव दिया कि तार्किक संयोजकों के अर्थ उन्हें प्रवचन में पेश करने के नियमों द्वारा दिए जा सकते हैं। उदाहरण के लिए, यदि कोई यह मानता है कि आकाश नीला है और कोई यह भी मानता है कि घास हरी है, तो कोई संयोजक का परिचय दे सकता है और इस प्रकार हैः आकाश नीला है और घास हरी है। जेंट्ज़न का विचार था कि इस तरह के नियम होने से किसी के शब्दों को, या कम से कम कुछ शब्दों को अर्थ मिलता है। यह विचार विट्गेंस्टीनियन धारणा से भी जुड़ा हुआ है कि कई मामलों में हम कह सकते हैं, अर्थ उपयोग है। अधिकांश समकालीन तर्कशास्त्री यह सोचना पसंद करते हैं कि एक अभिव्यक्ति के लिए परिचय नियम और उन्मूलन नियम समान रूप से महत्वपूर्ण हैं। इस मामले में, और निम्नलिखित नियमों की विशेषता हैः इसके साथ एक स्पष्ट समस्या आर्थर प्रायर द्वारा इंगित की गई थीः हमारे पास एक अभिव्यक्ति क्यों नहीं हो सकती है (इसे "टोंक" कहें) जिसका परिचय नियम OR ("p" से "p टोंक q") है लेकिन जिसका उन्मूलन नियम AND ("p टोंक q" से "q") है? इससे हम किसी भी प्रारंभिक बिंदु से कुछ भी अनुमान लगा सकते हैं। पहले सुझाव दिया गया था कि इसका मतलब था कि अनुमानित नियम अर्थ निर्धारित नहीं कर सकते थे। उन्हें नूएल बेलनैप द्वारा उत्तर दिया गया था कि भले ही परिचय और उन्मूलन नियम अर्थ का गठन कर सकते हैं, न कि केवल ऐसे नियमों की कोई भी जोड़ी एक सार्थक अभिव्यक्ति निर्धारित करेगी-उन्हें कुछ बाधाओं को पूरा करना होगा, जैसे कि हमें पुरानी शब्दावली में किसी भी नए सत्य का अनुमान लगाने की अनुमति नहीं देनी चाहिए। इन बाधाओं का उल्लेख डममेट कर रहे थे। एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर एकर तर्क के लिए सामंजस्य के अनुप्रयोग को एक विशेष मामला माना जा सकता है; न केवल अनुमानित प्रणालियों के संबंध में सामंजस्य की बात करना, बल्कि मानव संज्ञान में वैचारिक प्रणालियों और प्रोग्रामिंग भाषाओं में प्रणालियों को टाइप करना भी समझ में आता है। इस रूप के शब्दार्थ ने तारस्की के सत्य के शब्दार्थ सिद्धांत में चित्रित एक बहुत बड़ी चुनौती प्रदान नहीं की है, लेकिन तर्क के शब्दार्थ को इस तरह से पुनर्गठित करने में रुचि रखने वाले कई दार्शनिकों ने महसूस किया है कि सामंजस्य कुंजी रखता है। संदर्भ आर्थर प्रायर, "द रनअबाउट इन्फरेंस टिकट"। विश्लेषण, 21, पृ. 38-39,1960-61। नुएल डी. बेलनैप जूनियर, "टोंक, प्लोंक, एंड प्लिंक", विश्लेषण, 22, पृष्ठ। 130-134,1961-62। माइकल डमेट, द लॉजिकल बेसिस ऑफ मेटाफिजिक्स (हार्वर्ड यूनिवर्सिटी प्रेस, 1991) ग्रेग रेस्टॉल के प्रूफ एंड कॉनसीक्वेन्स विकी में बाहरी लिंक हार्मनी (संग्रह प्रतिलिपि, जुलाई 2012) गणित लॉजिक का दर्शन