Temperature paradox
તાપમાન વિરોધાભાસ અથવા પાર્ટીનો વિરોધાભાસ એ ઔપચારિક શબ્દાર્થશાસ્ત્ર અને દાર્શનિક તર્કશાસ્ત્રમાં એક ઉત્તમ પઝલ છે. 1970 ના દાયકામાં બાર્બરા પાર્ટી દ્વારા ઘડવામાં આવેલી, તેમાં નીચેની દલીલનો સમાવેશ થાય છે, જે અંગ્રેજી બોલનારાઓ જંગલી રીતે અમાન્ય માને છે. તાપમાન નેવું છે. તાપમાન વધી રહ્યું છે. તેથી, નેવું વધી રહ્યું છે. (અમાન્ય નિષ્કર્ષ) તેની સ્પષ્ટ અયોગ્યતા હોવા છતાં, આ દલીલ તર્કની પરંપરાગત વિસ્તૃત પ્રણાલીઓ પર આધારિત મોટાભાગની ઔપચારિકતાઓમાં માન્ય રહેશે. દાખલા તરીકે, પ્રથમ ક્રમના અનુમાનિત તર્કમાં નીચેનું ઔપચારિકરણ લીબનીઝના નિયમ દ્વારા માન્ય રહેશેઃ ટી = 90 આર (ટી) આર (90) (આ ઔપચારિકરણમાં માન્ય નિષ્કર્ષ) લીબનીઝના નિયમને છોડ્યા વિના દલીલની અમાન્યતાની યોગ્ય આગાહી કરવા માટે, ઔપચારિકરણ એ હકીકતને પકડવી આવશ્યક છે કે પ્રથમ આધાર સમયના ચોક્કસ તબક્કે તાપમાન વિશે દાવો કરે છે, જ્યારે બીજો તે સમય જતાં કેવી રીતે બદલાય છે તે વિશે દાવો કરે છે. આવું કરવાની એક રીત, રિચાર્ડ મોન્ટેગ્યુ દ્વારા પ્રસ્તાવિત, કુદરતી ભાષા માટે સઘન તર્ક અપનાવવાનો છે, આમ "તાપમાન" ને પ્રથમ આધારમાં તેના વિસ્તરણ અને બીજામાં તેના ઉદ્દેશને દર્શાવવાની મંજૂરી આપે છે. એક્સ્ટેંશન (ટી) = 90 આર (ઇન્ટેન્શન (ટી)) આર (90) (અમાન્ય નિષ્કર્ષ) આમ, મોન્ટેગ્યુએ વિરોધાભાસને પુરાવા તરીકે લીધો કે નોમિનલ્સ વ્યક્તિગત વિભાવનાઓને સૂચવે છે, જેને વિશ્વ-સમયની જોડીથી વ્યક્તિમાં કાર્યો તરીકે વ્યાખ્યાયિત કરવામાં આવે છે. પછીના વિશ્લેષણ આ સામાન્ય વિચાર પર નિર્માણ કરે છે, પરંતુ ઔપચારિકરણના સ્પષ્ટીકરણોમાં અલગ પડે છે. નોંધો બાહ્ય કડીઓ બિન-શાસ્ત્રીય તર્ક ફિલોસોફિકલ તર્ક અનુમાનિત તર્ક ઔપચારિક શબ્દાર્થ (કુદરતી ભાષા) વિરોધાભાસ