Temperature paradox
درجہ حرارت کا تضاد یا پارٹی کا تضاد رسمی الفاظ اور فلسفیانہ منطق میں ایک کلاسک پہیلی ہے۔ 1970 کی دہائی میں باربرا پارٹی کے ذریعہ وضع کردہ، یہ مندرجہ ذیل دلیل پر مشتمل ہے، جسے انگریزی بولنے والے بے حد غلط قرار دیتے ہیں۔ درجہ حرارت نوے ہے۔ درجہ حرارت بڑھ رہا ہے۔ اس لیے نوے بڑھ رہے ہیں۔ (غلط نتیجہ) اس کی واضح نااہلی کے باوجود، یہ دلیل منطق کے روایتی توسیعی نظاموں پر مبنی زیادہ تر رسمی طریقوں میں درست ہوگی۔ مثال کے طور پر، فرسٹ آرڈر پریڈیکیٹ منطق میں درج ذیل رسمی شکل لیبنز کے قانون کے ذریعے درست ہوگی: t = 90 R (t) R (90) (اس رسمی شکل میں درست نتیجہ) لیبنز کے قانون کو ترک کیے بغیر دلیل کی نااہلی کی درست پیش گوئی کرنے کے لیے، ایک رسمی شکل کو اس حقیقت پر قبضہ کرنا چاہیے کہ پہلی بنیاد وقت کے کسی خاص مقام پر درجہ حرارت کے بارے میں دعوی کرتی ہے، جبکہ دوسرا اس بارے میں دعوی کرتا ہے کہ یہ وقت کے ساتھ کیسے تبدیل ہوتا ہے۔ ایسا کرنے کا ایک طریقہ، جو رچرڈ مونٹیگ نے تجویز کیا ہے، قدرتی زبان کے لیے ایک شدید منطق کو اپنانا ہے، اس طرح "درجہ حرارت" کو پہلی بنیاد میں اس کی توسیع اور دوسری میں اس کے ارادے کی نشاندہی کرنے کی اجازت دیتا ہے۔ ایکسٹینشن (t) = 90 R (انٹینشن (t)) R (90) (غلط نتیجہ) اس طرح، مونٹیگ نے پیراڈوکس کو اس ثبوت کے طور پر لیا کہ برائے نام انفرادی تصورات کی نشاندہی کرتے ہیں، جن کی تعریف عالمی دور کے جوڑے سے فرد میں افعال کے طور پر کی جاتی ہے۔ بعد کے تجزیے اس عمومی خیال پر مبنی ہوتے ہیں، لیکن رسمی شکل دینے کی خصوصیات میں فرق ہوتا ہے۔ نوٹ بیرونی روابط غیر کلاسیکی منطق فلسفیانہ منطق پیشن گوئی منطق رسمی الفاظ (قدرتی زبان) تضادات