Veridicality
மொழியியலில், உண்மைத்தன்மை (லத்தீன் மொழியில் இருந்து "உண்மையாகச் சொல்லப்பட்டது") என்பது ஒரு உச்சரிப்பின் உண்மையின் சொற்பொருள் அல்லது இலக்கண உறுதிப்படுத்தல் ஆகும். வரையறை மெரியம்-வெப்ஸ்டர் "உண்மை" என்பதை உண்மை, உண்மை மற்றும் மாயை அல்லாதது என்று வரையறுக்கிறது. இது லத்தீன் "வெரிடிக்கஸ்" என்பதிலிருந்து உருவானது, இது "உண்மை" என்று பொருள்படும் லத்தீன் வெரஸ் மற்றும் "சொல்வது" என்று பொருள்படும் டைசெர் ஆகியவற்றால் ஆனது. எடுத்துக்காட்டாக, "பால் ஒரு பாம்பைப் பார்த்தார்" என்ற கூற்று கூற்றின் உண்மையை வலியுறுத்துகிறது, அதே நேரத்தில் "பால் ஒரு பாம்பைப் பார்த்தார்" என்பது இன்னும் வலுவான கூற்றாகும். உண்மைத்தன்மையின் முறையான வரையறை சூழலை ஒரு முன்மொழிவு ஆபரேட்டராகக் கருதுகிறது (கியானாக்கிடோ 1998). ஒரு முன்மொழிவு ஆபரேட்டர் F என்பது உண்மை என்றால் fp என்பது p ஐக் குறிக்கிறது, அதாவது, Fp → p; இல்லையெனில் F என்பது சரிபார்க்கப்படாதது. கூடுதலாக, ஒரு வெரிடிக்கல் அல்லாத ஆபரேட்டர் எஃப் என்பது ஆன்டிவெரிடிக்கல் ஐ. எஃப். எஃப். பி என்பது பி அல்ல, அதாவது எஃப். பி. தற்காலிக மற்றும் அம்ச ஆபரேட்டர்களைப் பொறுத்தவரை, உண்மைத்தன்மைக்கான வரையறை சற்றே சிக்கலானதுஃ நேரத்தின் தருணங்களுடன் தொடர்புடைய ஆபரேட்டர்களுக்குஃ எஃப் ஒரு தற்காலிக அல்லது அம்ச ஆபரேட்டராகவும், நேரத்தின் ஒரு தருணமாகவும் இருக்கட்டும். F என்பது நேரம் t இல் Fp உண்மையாக இருக்க வேண்டும் என்றால், p என்பது ஒரு (சூழல் ரீதியாக பொருத்தமான) நேரம் ≤ t இல் உண்மையாக இருக்க வேண்டும்; இல்லையெனில் F என்பது சரிபார்க்கப்படாதது. ஒரு வெரிடிக்கல் அல்லாத இயக்குபவர் F என்பது t நேரத்தில் Fp உண்மையாக இருக்க ஆன்டிவரிடிக்கல் IFF ஆகும், ஒரு (சூழல் ரீதியாக பொருத்தமான) நேரம் ≤ t இல் ¬p உண்மையாக இருக்க வேண்டும். நேர இடைவெளிகளுடன் தொடர்புடைய ஆபரேட்டர்களுக்குஃ F ஒரு தற்காலிக அல்லது அம்ச ஆபரேட்டராக இருக்கட்டும், மற்றும் t நேர இடைவெளியில் இருக்கட்டும். F என்பது Fp என்பது t க்கு உண்மையாக இருக்க வேண்டும் என்றால், p என்பது அனைத்திற்கும் உண்மையாக இருக்க வேண்டும் (சூழல் ரீதியாக பொருத்தமானது); இல்லையெனில் F என்பது சரிபார்க்கப்படாதது. ஒரு வெரிடிக்கல் அல்லாத ஆபரேட்டர் எஃப் என்பது எஃப். பி. டி. க்கு உண்மையாக இருப்பதற்கு ஆன்டிவெரிடிக்கல் ஐ. எஃப். எஃப் ஆகும், இது அனைத்திற்கும் உண்மையாக இருக்க வேண்டும் (சூழல் ரீதியாக பொருத்தமானது) டி. வெரிடிக்கல் அல்லாத ஆபரேட்டர்கள் எதிர்மறை என்பது உண்மை, இருப்பினும் எதிர் துருவமுனைப்பு, சில நேரங்களில் ஆன்டிவெரிடிக்கல் என்று அழைக்கப்படுகிறதுஃ "பால் ஒரு பாம்பைப் பார்க்கவில்லை" என்ற கூற்று தவறானது என்று வலியுறுத்துகிறது. ஆங்கிலத்தில், குறிக்காத மனநிலைகள் அல்லது யதார்த்தமற்ற மனநிலைகள் அடிக்கடி ஒரு அசைக்க முடியாத அர்த்தத்தில் பயன்படுத்தப்படுகின்றனஃ "பால் ஒரு பாம்பைப் பார்த்திருக்கலாம்" மற்றும் "பால் ஒரு பாம்பைப் பார்த்திருப்பார்" பால் உண்மையில் ஒரு பாம்பைப் பார்த்தார் என்று வலியுறுத்த வேண்டாம், இரண்டாவது அவர் இல்லை என்பதைக் குறிக்கிறது. "பவுல் உண்மையில் ஒரு பாம்பைப் பார்த்திருப்பார்" என்பது உண்மை, மேலும் சில மொழிகள் அத்தகைய நிகழ்வுகளுக்கு தனித்தனி உண்மை நிபந்தனை மனநிலைகளைக் கொண்டுள்ளன. லாடுஸாவால் (1980) முன்மொழியப்பட்ட செல்வாக்குமிக்க கீழ்நோக்கிய தூண்டுதல் கோட்பாட்டிற்கு (கீழே காண்க) மாற்றாக, ஆங்கில வார்த்தைகள் ஏதேனும் மற்றும் எப்போதும் போன்ற துருவமுனைப்பு உருப்படிகளின் உரிமத்தின் பின்னணியில் நம்பகத்தன்மை இல்லை என்று முன்மொழியப்பட்டுள்ளது. அனஸ்தேசியா கியானகிடோ (1998) மொழியில் காணப்பட்ட பல்வேறு துருவமுனைப்பு நிகழ்வுகள் தோற்றத்தின் சூழலின் (அல்லாத) உண்மைத்தன்மைக்கு துருவமுனைப்பு உருப்படிகளின் சார்பின் வெளிப்பாடுகள் என்று வாதிட்டார். (அல்லாத) மெய்நிகர் சார்பு நேர்மறை (உரிமம்) அல்லது எதிர்மறை (உரிமம் எதிர்ப்பு) ஆக இருக்கலாம், மேலும் துருவமுனைப்பு உருப்படிகளின் உணர்திறன் சொற்பொருள்களிலிருந்து எழுகிறது. மொழிகள் முழுவதும், வெவ்வேறு துருவமுனைப்பு உருப்படிகள் உண்மைத்தன்மை, சரிபார்ப்பு எதிர்ப்பு அல்லது சரிபார்ப்பு அல்லாத தன்மைக்கு உணர்திறனைக் காட்டலாம். வெரிடிக்கல் அல்லாத ஆபரேட்டர்கள் பொதுவாக துருவமுனைப்பு உருப்படிகளைப் பயன்படுத்துவதற்கு உரிமம் வழங்குகிறார்கள், இது வெரிடிக்கல் சூழல்களில் பொதுவாக இலக்கணமற்றதுஃ * மேரி எந்த மாணவர்களையும் பார்த்தார். (சூழல் உண்மை.) மேரி எந்த மாணவரையும் பார்க்கவில்லை. (சூழல் சரிபார்க்கப்படாதது.) கீழ்நோக்கிய உட்பிரிவு அனைத்து கீழ்நோக்கிய உட்பிரிவு சூழல்களும் சரிபார்க்கப்படாதவை. இதன் காரணமாக, சரிபார்ப்பற்ற தன்மையை அடிப்படையாகக் கொண்ட கோட்பாடுகள் கீழ்நோக்கிய தூண்டுதலின் அடிப்படையில் அவற்றை விரிவுபடுத்துவதாகக் காணலாம், இது துருவமுனைப்பு உருப்படி உரிமத்தின் அதிக நிகழ்வுகளை விளக்க அனுமதிக்கிறது. துருவமுனைப்பு உருப்படிகள் எதிர்மறையின் எல்லைக்குள் உரிமம் பெறும், கீழ்நோக்கி சில N போன்ற அளவீடுகள், அதிகபட்சம் n N, இல்லை N, மற்றும் ஒவ்வொன்றின் கட்டுப்பாடுஃ எந்த மாணவரும் எதையும் பார்க்கவில்லை. மேரி எதையும் பார்க்கவில்லை. சில குழந்தைகள் எதையும் பார்க்கவில்லை. எதையும் பார்த்த ஒவ்வொரு மாணவரும் காவல்துறையிடம் புகார் செய்ய வேண்டும். மோனோடோன் அல்லாத அளவீடுகள் சரியாக மூன்று மாணவர்களைப் போன்ற அளவீடுகள், ஜானைத் தவிர வேறு யாரும் இல்லை, கிட்டத்தட்ட யாரும் மோனோடோன் அல்லாதவர்கள் அல்ல (இதனால் கீழ்நோக்கி உட்படுத்தப்படுவதில்லை) ஆனால் இருப்பினும் எதையும் ஒப்புக்கொள்கிறார்கள்ஃ% சரியாக மூன்று மாணவர்கள் எதையும் பார்த்தார்கள். மேரியைத் தவிர வேறு யாரும் எதையும் பார்க்கவில்லை. கிட்டத்தட்ட யாரும் எதையும் பார்க்கவில்லை. கீழ்நோக்கியதாக இல்லாவிட்டாலும் அரிதாகவே மற்றும் அரிதாகவே அனுமதிக்கிறது. மேரி யாரிடமும் பேசவில்லை. ("மேரி தனது தாயுடன் அரிதாகவே பேசினார்" என்று அர்த்தமல்ல.) மேரி அரிதாகவே எதையும் படித்தாள். ("மேரி மொழியியலை அரிதாகவே படித்தார்" என்று அர்த்தமல்ல.) கேள்விகள் துருவமுனைப்பு உருப்படிகள் கேள்விகளில் மிகவும் அடிக்கடி உள்ளன, இருப்பினும் கேள்விகள் மோனோடோன் அல்ல. நீங்கள் எதையாவது பார்த்தீர்களா? எதிர்மறையான பதிலுக்கு பக்கச்சார்பான கேள்விகள் இருந்தாலும், "நீங்கள் [கூட] ஏதேனும் புத்தகங்களைப் பற்றி ஒரு அவதூறு கொடுக்கிறீர்களா?" (எதிர்மறை வாக்கியங்களை அடிப்படையாகக் கொண்ட குறிச்சொல் கேள்விகள் இன்னும் இதுபோன்ற சார்புகளை வெளிப்படுத்துகின்றன), சில நேரங்களில் கீழ்நோக்கிச் செல்வதாகக் காணலாம், இந்த அணுகுமுறை பொதுவான வழக்கைக் கணக்கிட முடியாது, எடுத்துக்காட்டாக மேற்கூறிய எடுத்துக்காட்டில் சூழல் முற்றிலும் நடுநிலையாக உள்ளது. எதிர்மறை கேள்விகள், இயற்கையாகவே பக்கச்சார்பானவை, எதிர்மறை துருவமுனைப்பு உருப்படிகளுக்கு ஏன் உரிமம் வழங்குவதில்லை என்பதை விளக்க முடியாது. ஒரு கேள்வியை அதன் உண்மையான பதில்களின் தொகுப்பாகக் கருதும் சொற்பொருளில், ஒரு துருவக் கேள்வியின் குறிப்பு இரண்டு சாத்தியமான பதில்களைக் கொண்டுள்ளதுஃ [[நீங்கள் மேரியைப் பார்த்தீர்களா?] = {நீங்கள் மேரியைப் பார்த்தீர்கள், நீங்கள் மேரியைப் பார்க்கவில்லை] ஏனெனில் பி. க்யூ. வினைச்சொல் p அல்லது q ஐக் குறிக்காது, சூழல் சரிபார்க்கப்படாதது, இது எந்த ஒன்றின் ஒப்புதலையும் விளக்குகிறது. எதிர்கால துருவமுனைப்பு உருப்படிகள் எதிர்கால வாக்கியங்களில் தோன்றும். மேரி எந்த பாட்டில் மதுவையும் வாங்குவார். குழந்தைகள் எதையும் கண்டுபிடித்தவுடனேயே புறப்படுவார்கள். தற்காலிக ஆபரேட்டர்களுக்கான உண்மைத்தன்மை பற்றிய முறையான வரையறையின்படி, எதிர்காலம் சரிபார்க்கப்படாததுஃ "ஜான் ஒரு பாட்டில் மெர்லோட்டை வாங்குவார்" என்பது இப்போது உண்மை, "ஜான் ஒரு பாட்டில் மெர்லோட்டை வாங்குகிறார்" என்பது எந்த நேரத்திலும் உண்மை என்று அர்த்தமல்ல. மறுபுறம், கடந்த காலம் உண்மைதான்ஃ "ஜான் ஒரு பாட்டில் மெர்லோட்டை வாங்கினார்" என்பது இப்போது உண்மை, அதற்கு முந்தைய ஒரு கணம் இப்போது உள்ளது, அதில் "ஜான் ஒரு பாட்டில் மெர்லோட்டை வாங்குகிறார்" என்பது உண்மை. பழக்கமான அம்சம் அதேபோல், பழக்கமான அம்சத்தின் சரிபார்ப்பற்ற தன்மை துருவமுனைப்பு உருப்படிகளுக்கு உரிமம் அளிக்கிறது. அவர் வழக்கமாக எந்தப் புத்தகத்தையும் மிகவும் கவனமாகப் படிக்கிறார். பழக்கமான அம்சம் சரிபார்க்கப்படாதது, ஏனென்றால் எ. கா., "அவர் வழக்கமாக மகிழ்ச்சியாக இருக்கிறார்" என்பது சில கால இடைவெளியில் உண்மை, அதன் ஒவ்வொரு துணை இடைவெளியிலும் "அவர் மகிழ்ச்சியாக இருக்கிறார்" என்பது உண்மை என்று அர்த்தமல்ல. இது எ. கா., முற்போக்கான அம்சத்திற்கு மாறாக உள்ளது, இது உண்மை மற்றும் எதிர்மறை துருவமுனைப்பு உருப்படிகளை தடை செய்கிறது. பொதுவான வாக்கியங்கள் மோனோடோன் அல்லாத பொதுவான வாக்கியங்கள் துருவமுனைப்பு உருப்படிகளை ஏற்றுக்கொள்கின்றன. எந்தப் பூனையும் எலிகளை வேட்டையாடுகிறது. மாதிரி வினைச்சொற்கள் மாதிரி வினைச்சொற்கள் பொதுவாக துருவமுனைப்பு உருப்படிகளுக்கு நல்ல சூழலை உருவாக்குகின்றனஃ மேரி யாருடனும் பேசலாம். எந்தவொரு மைனர்களும் தங்கள் பெற்றோருடன் இருக்க வேண்டும். இந்தக் குழு எந்தவொரு வேட்பாளருக்கும் இந்த வேலையை வழங்க முடியும். இத்தகைய சூழல்கள் மோனோடோன் அல்லாதவை மற்றும் சில நேரங்களில் மேல்நோக்கி இருந்தாலும் சரிபார்க்கப்படாதவை ("மேரி டாங்கோவாக இருக்க வேண்டும்" என்பது "மேரி நடனமாட வேண்டும்" என்று பொருள்படும்). கட்டாயக் கட்டாயங்கள் தோராயமாக மாதிரி வினைச்சொற்கள் மற்றும் பொதுவாக தீவிரமான சூழல்களுக்கு இணையாக உள்ளன. எந்த ஆப்பிளையும் எடுத்துக் கொள்ளுங்கள். (cf. "நீங்கள் எந்த ஆப்பிளையும் எடுக்கலாம்/எடுக்க வேண்டும்," "நீங்கள் எந்த ஆப்பிளையும் எடுக்க வேண்டும் என்று நான் விரும்புகிறேன்". ")" நிபந்தனைகளின் புரோட்டாஸிஸ் என்பது துருவமுனைப்பு பொருட்களுக்கான மிகவும் பொதுவான சூழல்களில் ஒன்றாகும். நீங்கள் யாருடனும் தூங்கினால், நான் உங்களைக் கொன்றுவிடுவேன். வழிமுறை தீவிர வினைச்சொற்கள் துருவமுனைப்பு உருப்படிகள் வழிமுறை முன்மொழிவு அணுகுமுறைகளுடன் உரிமம் பெற்றுள்ளன, ஆனால் அறிவுசார்ந்தவற்றுடன் அல்ல. மேரி எந்த மாணவரையும் அழைக்க விரும்புகிறார். எந்த மாணவரையும் அழைக்கும்படி மேரி எங்களிடம் கேட்டார். * எந்தவொரு மாணவரையும் நாங்கள் அழைத்தோம் என்று மேரி நம்புகிறார். * எந்தவொரு மாணவரையும் நாங்கள் அழைத்தோம் என்று மேரி கனவு கண்டார். குறிப்புகள் இலக்கண அனுமான சொற்பொருள் தர்க்கரீதியான உண்மை முறையான சொற்பொருள் (இயற்கை மொழி)