Temperature paradox
तापमान विरोधाभास या पार्टी का विरोधाभास औपचारिक शब्दार्थ और दार्शनिक तर्क में एक उत्कृष्ट पहेली है। 1970 के दशक में बारबरा पार्टी द्वारा तैयार किया गया, इसमें निम्नलिखित तर्क शामिल है, जिसे अंग्रेजी बोलने वाले बेतहाशा अमान्य मानते हैं। तापमान नब्बे है। तापमान बढ़ रहा है। इसलिए नब्बे बढ़ रहे हैं। (अमान्य निष्कर्ष) अपनी स्पष्ट अयोग्यता के बावजूद, यह तर्क तर्क की पारंपरिक विस्तार प्रणालियों पर आधारित अधिकांश औपचारिकताओं में मान्य होगा। उदाहरण के लिए, प्रथम क्रम विधेय तर्क में निम्नलिखित औपचारिकरण लीबनिज़ के नियम के माध्यम से मान्य होगाः टी = 90 आर (टी) आर (90) (इस औपचारिकरण में वैध निष्कर्ष) लीबनिज़ के नियम को छोड़े बिना तर्क की अयोग्यता का सही अनुमान लगाने के लिए, एक औपचारिकरण को इस तथ्य को पकड़ना चाहिए कि पहला आधार समय पर एक विशेष बिंदु पर तापमान के बारे में दावा करता है, जबकि दूसरा इस बारे में दावा करता है कि यह समय के साथ कैसे बदलता है। ऐसा करने का एक तरीका, रिचर्ड मोंटेग द्वारा प्रस्तावित, प्राकृतिक भाषा के लिए एक गहन तर्क को अपनाना है, इस प्रकार "तापमान" को पहले आधार में इसके विस्तार और दूसरे में इसके इरादे को दर्शाने की अनुमति देता है। विस्तार (टी) = 90 आर (अभिप्रेरणा (टी)) आर (90) (अमान्य निष्कर्ष) इस प्रकार, मोंटेग्यू ने विरोधाभास को प्रमाण के रूप में लिया कि नाममात्र व्यक्तिगत अवधारणाओं को दर्शाते हैं, जिन्हें विश्व-समय की जोड़ी से एक व्यक्ति के लिए कार्यों के रूप में परिभाषित किया गया है। बाद के विश्लेषण इस सामान्य विचार पर आधारित हैं, लेकिन औपचारिकरण की विशिष्टताओं में भिन्नता है। टिप्पणियाँ बाहरी लिंक गैर-शास्त्रीय तर्क दार्शनिक तर्क तर्क की भविष्यवाणी औपचारिक शब्दार्थ (प्राकृतिक भाषा) विरोधाभास