Logical truth
தர்க்கரீதியான உண்மை என்பது தர்க்கத்தின் மிக அடிப்படையான கருத்துக்களில் ஒன்றாகும். பரவலாகப் பார்த்தால், ஒரு தர்க்கரீதியான உண்மை என்பது அதன் உறுப்பு முன்மொழிவுகளின் உண்மை அல்லது பொய்யைப் பொருட்படுத்தாமல் உண்மையாக இருக்கும் ஒரு அறிக்கையாகும். வேறு வார்த்தைகளில் கூறுவதானால், தர்க்கரீதியான உண்மை என்பது உண்மை மட்டுமல்ல, அதன் தர்க்கரீதியான கூறுகளின் (அதன் தர்க்கரீதியான மாறிலிகள் தவிர) அனைத்து விளக்கங்களின் கீழும் உண்மை. எனவே, "இஃப் பி, பின்னர் பி" போன்ற தர்க்கரீதியான உண்மைகளை டாட்டாலஜிகளாக கருதலாம். தர்க்கரீதியான உண்மைகள் பகுப்பாய்வு ரீதியாக உண்மை (அல்லது வேறு வார்த்தைகளில் கூறுவதானால், வரையறையின்படி உண்மை) அறிக்கைகளின் எளிய வழக்கு என்று கருதப்படுகிறது. தத்துவ தர்க்கம் அனைத்தும் தர்க்கரீதியான உண்மையின் தன்மை மற்றும் தர்க்கரீதியான விளைவு பற்றிய கணக்குகளை வழங்குவதாகக் கருதப்படலாம். தர்க்கரீதியான உண்மைகள் பொதுவாக உண்மை என்று கருதப்படுகின்றன. இதன் பொருள் என்னவென்றால், அவை உண்மையாக இருக்கத் தவறும் எந்த சூழ்நிலையும் எழ முடியாது. தர்க்கரீதியான அறிக்கைகள் அவசியம் உண்மை என்ற பார்வை சில நேரங்களில் சாத்தியமான அனைத்து உலகங்களிலும் தர்க்கரீதியான உண்மைகள் உண்மை என்று சொல்வதற்கு சமமாக கருதப்படுகிறது. இருப்பினும், எந்த அறிக்கைகள் அவசியம் உண்மை என்ற கேள்வி தொடர்ந்து விவாதத்திற்கு உட்பட்டது. தர்க்கரீதியான உண்மைகள், பகுப்பாய்வு உண்மைகள் மற்றும் தேவையான உண்மைகளை சமமான, தர்க்கரீதியான உண்மைகளாக கருதுவது உண்மைகளுடன் முரண்படலாம் (இது தற்செயலான கூற்றுக்கள் அல்லது செயற்கை கூற்றுக்கள் என்றும் அழைக்கப்படலாம்). தற்செயலான உண்மைகள் இந்த உலகில் உண்மை, ஆனால் வேறுவிதமாக மாறியிருக்கலாம் (வேறு வார்த்தைகளில் கூறுவதானால், அவை குறைந்தபட்சம் ஒரு சாத்தியமான உலகில் பொய்யானவை). "p மற்றும் q என்றால், பின்னர் p" மற்றும் "திருமணமான அனைத்து நபர்களும் திருமணமானவர்கள்" போன்ற தர்க்கரீதியான உண்மையான முன்மொழிவுகள் தர்க்கரீதியான உண்மைகள், ஏனெனில் அவை அவற்றின் உள் கட்டமைப்பின் காரணமாக உண்மை, உலகின் எந்த உண்மைகளின் காரணமாகவும் அல்ல (அதேசமயம் "திருமணமான அனைத்து நபர்களும் மகிழ்ச்சியாக உள்ளனர்", அது உண்மையாக இருந்தாலும், அதன் தர்க்கரீதியான கட்டமைப்பின் அடிப்படையில் மட்டுமே உண்மையாக இருக்க முடியாது). பகுத்தறிவுவாத தத்துவவாதிகள் தர்க்கரீதியான உண்மைகளின் இருப்பை அனுபவவாதத்தால் விளக்க முடியாது என்று பரிந்துரைத்துள்ளனர், ஏனென்றால் அனுபவவாத அடிப்படையில் தர்க்கரீதியான உண்மைகளைப் பற்றிய நமது அறிவைக் கணக்கிட முடியாது என்று அவர்கள் கருதுகின்றனர். அனுபவவாதிகள் பொதுவாக இந்த ஆட்சேபனைக்கு பதிலளிப்பதன் மூலம் தர்க்கரீதியான உண்மைகள் (அவை பொதுவாக வெறும் டாட்டாலஜிகள் என்று கருதுகின்றன), பகுப்பாய்வு செய்யப்படுகின்றன, எனவே உலகை விவரிக்க விரும்பவில்லை. பிந்தைய பார்வை 20 ஆம் நூற்றாண்டின் முற்பகுதியில் தர்க்கரீதியான நேர்மறைவாதிகளால் குறிப்பிடத்தக்க வகையில் பாதுகாக்கப்பட்டது. தர்க்கரீதியான உண்மைகள் மற்றும் பகுப்பாய்வு உண்மைகள் தர்க்கரீதியான உண்மைகள், பகுப்பாய்வு அறிக்கைகளாக இருப்பதால், எந்தவொரு உண்மை விஷயங்களையும் பற்றிய எந்த தகவலும் இல்லை. தர்க்கரீதியான உண்மைகளைத் தவிர, இரண்டாம் வகுப்பு பகுப்பாய்வு அறிக்கைகளும் உள்ளன, அவை "எந்த இளங்கலை திருமணமாகவில்லை" என்று வகைப்படுத்தப்படுகின்றன. அத்தகைய அறிக்கையின் சிறப்பியல்பு என்னவென்றால், சல்வா வெரிடேட் என்ற ஒத்த சொற்களுக்கு ஒத்த சொற்களை மாற்றுவதன் மூலம் அதை ஒரு தர்க்கரீதியான உண்மையாக மாற்ற முடியும். "எந்த இளங்கலை திருமணமாகவில்லை" என்பதை "திருமணமாகாத ஆண் திருமணமாகவில்லை" என்று மாற்றலாம், அதற்கு பதிலாக "திருமணமாகாத ஆண்" என்பது "இளங்கலை" என்பதற்கு ஒத்ததாகும். அனுபவவாதத்தின் இரண்டு கோட்பாடுகள் என்ற தனது கட்டுரையில், தத்துவஞானி டபிள்யூ. வி. ஓ. குயின் பகுப்பாய்வு மற்றும் செயற்கை அறிக்கைகளுக்கு இடையிலான வேறுபாட்டை கேள்விக்குள்ளாக்கினார். இந்த இரண்டாவது வகுப்பு பகுப்பாய்வு அறிக்கைகள்தான் பகுப்பாய்வு என்ற கருத்தாக்கத்திற்கு விளக்கம் தேவை என்பதை அவர் கவனிக்க வைத்தது, ஏனெனில் இது ஒத்திசைவு என்ற கருத்தாக்கத்தைப் பொறுத்தது, இது விளக்கம் தேவைப்படுகிறது. தனது முடிவில், தர்க்கரீதியான உண்மைகள் அவசியமான உண்மைகள் என்பதை குயின் நிராகரிக்கிறார். அதற்கு பதிலாக, ஒருவரின் முழுமையான கோட்பாட்டில் மற்ற ஒவ்வொரு அறிக்கையின் உண்மை-மதிப்புகளை மறு மதிப்பீடு செய்தால், தர்க்கரீதியான உண்மைகள் உட்பட எந்தவொரு அறிக்கையின் உண்மை-மதிப்பையும் மாற்ற முடியும் என்று அவர் கருதுகிறார். ஒரே அறிக்கையின் வெவ்வேறு விளக்கங்களைக் கருத்தில் கொள்வது உண்மை மதிப்பு என்ற கருத்துக்கு வழிவகுக்கிறது. உண்மை மதிப்புகளுக்கான எளிய அணுகுமுறை என்னவென்றால், அந்த அறிக்கை ஒரு விஷயத்தில் "உண்மை" ஆக இருக்கலாம், ஆனால் மற்றொரு விஷயத்தில் "தவறானது". டாட்டாலஜி என்ற வார்த்தையின் ஒரு அர்த்தத்தில், இது எந்தவொரு சூத்திரம் அல்லது முன்மொழிவாகும், இது அதன் விதிமுறைகளின் எந்தவொரு சாத்தியமான விளக்கத்தின் கீழும் உண்மையாக மாறும் (சூழலைப் பொறுத்து மதிப்பீடு அல்லது பணி என்றும் அழைக்கப்படலாம்). இது தர்க்கரீதியான உண்மைக்கு ஒத்ததாகும். இருப்பினும், டாட்டாலஜி என்ற சொல் பொதுவாக உண்மை-செயல்பாட்டு டாட்டாலஜி என்று அழைக்கப்படுவதைக் குறிக்கப் பயன்படுத்தப்படுகிறது. அதேசமயம் ஒரு டாட்டாலஜி அல்லது தர்க்கரீதியான உண்மை என்பது பொதுவாக உள்ள தர்க்கரீதியான சொற்களின் காரணமாக மட்டுமே உண்மை (எ. கா. "ஒவ்வொன்றும்," "சில", "மற்றும்" "உள்ளது" "), ஒரு உண்மை-செயல்பாட்டு டாட்டாலஜி உண்மை, ஏனெனில் அதில் உள்ள தர்க்கரீதியான சொற்கள் தர்க்கரீதியான இணைப்புகள் (எ. கா". "அல்லது", "மற்றும்", மற்றும் "இல்லை"). அனைத்து தர்க்கரீதியான உண்மைகளும் அத்தகைய வகையான சுயசரிதைகள் அல்ல. தர்க்கரீதியான உண்மை மற்றும் தர்க்கரீதியான மாறிலிகள் தர்க்கரீதியான இணைப்புகள் மற்றும் அளவீடுகள் உள்ளிட்ட தர்க்கரீதியான மாறிலிகள் அனைத்தையும் கருத்தியல் ரீதியாக தர்க்கரீதியான உண்மையாக குறைக்கலாம். உதாரணமாக, இரண்டு அல்லது அதற்கு மேற்பட்ட அறிக்கைகள் தர்க்கரீதியாக பொருந்தாது, அவற்றின் இணைப்பு தர்க்கரீதியாக தவறாக இருந்தால் மட்டுமே. ஒரு அறிக்கை தர்க்கரீதியாக மற்றொன்றைக் குறிக்கிறது, அது மற்றொன்றின் மறுப்புடன் தர்க்கரீதியாக பொருந்தாது. ஒரு அறிக்கை தர்க்கரீதியாக உண்மையாக இருந்தால், அதற்கு நேர்மாறாக தர்க்கரீதியாக தவறாக இருந்தால் மட்டுமே. எதிர்க் கூற்றுகள் ஒன்றுக்கொன்று முரண்பட வேண்டும். இந்த வழியில் அனைத்து தர்க்கரீதியான இணைப்புகளும் தர்க்கரீதியான உண்மையைப் பாதுகாக்கும் வகையில் வெளிப்படுத்தப்படலாம். ஒரு வாக்கியத்தின் தர்க்கரீதியான வடிவம் அதன் சொற்பொருள் அல்லது சொற்பொருள் அமைப்பு மற்றும் தர்க்கரீதியான மாறிலிகளை வைப்பதன் மூலம் தீர்மானிக்கப்படுகிறது. தர்க்கரீதியான மாறிலிகள் ஒரு அறிக்கையை அதன் அர்த்தத்தை கட்டுப்படுத்தும் மொழியுடன் இணைக்கும்போது அது ஒரு தர்க்கரீதியான உண்மையா என்பதை தீர்மானிக்கின்றன. எனவே, அனைத்து தர்க்கரீதியான மாறிலிகளையும் அவற்றின் மொழியைப் பொருட்படுத்தாமல் எவ்வாறு வேறுபடுத்துவது என்பது தீர்மானிக்கப்படும் வரை, ஒரு அறிக்கை அல்லது வாதத்தின் முழுமையான உண்மையை அறிந்து கொள்வது சாத்தியமில்லை. தர்க்கரீதியான உண்மை மற்றும் அனுமானத்தின் விதிகள் தர்க்கரீதியான உண்மை என்ற கருத்து அனுமானத்தின் விதியின் கருத்துடன் நெருக்கமாக இணைக்கப்பட்டுள்ளது. தர்க்கரீதியான உண்மை மற்றும் தர்க்கரீதியான நேர்மறைவாதம் என்பது 20 ஆம் நூற்றாண்டின் முற்பகுதியில் அறிவியலின் பகுத்தறிவு செயல்முறைகளை தூய தர்க்கத்திற்கு குறைக்க முயற்சித்த ஒரு இயக்கமாகும். மற்றவற்றுடன், அனுபவபூர்வமாக சரிபார்க்க முடியாத எந்தவொரு முன்மொழிவும் உண்மை அல்லது பொய் அல்ல, ஆனால் முட்டாள்தனம் என்று தர்க்கரீதியான நேர்மறைவாதிகள் கூறினர். இந்த இயக்கம் அவர்களின் அணுகுமுறையில் உள்ள பல்வேறு சிக்கல்களால் மறைந்துவிட்டது, அவற்றில் அறிவியல் நேர்மறைவாதிகள் விவரித்த விதத்தில் செயல்படவில்லை என்ற புரிதல் வளர்ந்து வந்தது. மற்றொரு சிக்கல் என்னவென்றால், இயக்கத்தின் விருப்பமான முழக்கங்களில் ஒன்றுஃ "அனுபவ ரீதியாக சரிபார்க்க முடியாத எந்தவொரு முன்மொழிவும் முட்டாள்தனமானது" என்பது அனுபவ ரீதியாக சரிபார்க்க முடியாதது, எனவே, அதன் சொந்த சொற்களால், முட்டாள்தனமானது. கிளாசிக்கல் அல்லாத தர்க்கம் என்பது முறையான அமைப்புகளுக்கு வழங்கப்பட்ட பெயர், இது முன்மொழிவு மற்றும் முன்கணிப்பு தர்க்கம் போன்ற நிலையான தர்க்க அமைப்புகளிலிருந்து குறிப்பிடத்தக்க வகையில் வேறுபடுகிறது. நீட்டிப்புகள், விலகல்கள் மற்றும் மாறுபாடுகள் உள்ளிட்ட பல வழிகளில் இது செய்யப்படுகிறது. இந்த புறப்பாடுகளின் நோக்கம் தர்க்கரீதியான விளைவு மற்றும் தர்க்கரீதியான உண்மையின் வெவ்வேறு மாதிரிகளை உருவாக்குவதை சாத்தியமாக்குவதாகும். மேலும் காண்க முரண்பாடு பொய் (தர்க்கம்) தர்க்கரீதியான உண்மை அட்டவணை, தர்க்கத்தில் பயன்படுத்தப்படும் கணித அட்டவணை திருப்திகரமான தத்துவவியல் (தர்க்கம்) (தர்க்கரீதியான உண்மையின் குறியீட்டிற்காக) தேற்றம் செல்லுபடியாகும் குறிப்புகள் வெளிப்புற இணைப்புகள் தர்க்கத்தில் தத்துவார்த்த தர்க்க கருத்துக்கள் உண்மை தர்க்கத்தின் தத்துவம் ca: வீரம் வெர்டேடர்