Кіріспе

Шындық шарты семантикасы – табиғи тілдің семантикасына қатысты, мағынаны (немесе кемінде, нақтыламалардың мағынасын) олардың шындық жағдайларымен теңестіретін немесе оған келтіретін көзқарас. Бұл семантикаға қатысты тәсіл негізінен Дональд Дэвидсонмен байланысты, және ол табиғи тілдің семантикасы үшін Тарскидің логиканың семантикасы үшін шындықтың семантикалық теориясы жеткен деңгейге жетуге тырысады. Шындық шарты семантикасының теориялары берілген ұсыныстың мағынасын оның сөйлемнің қашан шын екенін түсіндіру арқылы анықтауға ұмтылады. Мысалы, "қар ақ" сөйлемі қар ақ болғанда ғана шындыққа жататындықтан, "қар ақ" сөйлемінің мағынасы – қар ақ.

Тарих

Дональд Дэвидсон шындыққа байланысты семантиканың алғашқы нұсқасын "Шындық және мағына" (1967) еңбегінде жасады. Ол Тарскидің шындықтың семантикалық теориясын оған арналмаған мәселеге – сөйлемнің мағынасын анықтауға қолданды.

Қажетті ақиқаттарды жоққа шығару

Скотт Сомс шындыққа сәйкес семантиканы қатаң сынады, себебі ол қате немесе пайдасыз айналма жол болып табылады. Оның дәстүрлі тұжырымы бойынша, шындыққа сәйкес семантика кез келген қажетті шындыққа дәл бірдей мағына береді, өйткені олардың бәрі дәл бірдей жағдайларда (яғни, бәрі де) шын. Кез келген қажетсіз шын мәлімдеменің шындық шарттары сол шындық шарттарының және кез келген қажетті шындықтың біріктірілуіне тең болғандықтан, кез келген мәлімдеме өзінің мағынасымен және қажетті шындықпен бірдей мағынаны білдіреді. Мысалы, егер "қар ақ" дегеніміз қар ақ болса ғана шын болса, онда "қар ақ" дегеніміз қар ақ болса ғана шын, және 2+2=4 болса да шын, демек шындыққа сәйкес семантика бойынша "қар ақ" дегеніміз қардың ақ екендігін де, 2+2=4 екендігін де білдіреді. Сомс одан әрі бұл мәселені шешуге тырысатын жаңа тұжырымдамалар сұрақ тудырады деп мәлімдейді. Мәлімдеменің мағынасын анықтау үшін оның шексіз шындық шарттарының қайсысы есепке алынатынын нақты анықтауда, мәлімдеменің мағынасын басшылыққа алу қажет. Дегенмен, біз мағынаны шындық шарттары арқылы анықтағымыз келді, ал енді шындық шарттарын мағына арқылы анықтап, бүкіл процесті нәтижесіз етіп аламыз.

Кемшілікпен дәлелдеу

Майкл Даммет (1975) Дэвидсонның бағдарламасына қарсылық білдірді, себебі мұндай мағына теориясы сөйлеушінің сөйлемді түсінуі үшін не білуі керектігін түсіндірмейді. Даммет сөйлеушінің сөйлемнің мәнін түсіну үшін үш компонентті білуі керек деп санайды: сөйлеушінің ұғатын мағына бөлігін көрсететін сезім теориясы; сөйлемнің әлем туралы қандай мәлімдемелер жасайтынын көрсететін сілтеме теориясы және бұл тіркестің қандай сөйлеу әрекетін орындайтынын көрсететін күш теориясы. Даммет сондай-ақ, дәлелдемелік теориялық семантика сияқты тұжырымға негізделген теория, шындыққа байланысты семантикаға қарағанда осы модель үшін мықты негіз құрайды деп мәлімдейді.

Прагматикалық кірігу

Прагматика саласында жұмыс істейтін кейбір авторлар лингвистикалық мағынаның, сөйлем түрінің таза формалды талдауының нәтижесі ретінде түсінілетін, шындық жағдайларын толық анықтай алмайтынын айтады. Осы авторлар, кейде "контекстуалисттер" деп аталатындар, прагматикалық процестердің рөлі тек семантикалық емес (мәнді ажырату немесе сілтеме беру) және семантикадан кейінгі (қорытындыларды шығару, сөйлеу актілерін анықтау) ғана емес, сонымен қатар нақты бір сөйлемнің шындық жағдайларын анықтауда маңызды екенін дәлелдейді. Сондықтан кейбір контекстуалисттер семантиканың орнына "шындыққа байланысты прагматика" терминін қолдануды ұсынады.