Тарский и семантическая концепция истины

Тарский показал, как строго определить истину для формализованного языка, основывая определение на требовании, что «снег бел» истинно тогда и только тогда, когда снег бел.

Definition

Согласно семантической концепции, адекватное определение истины для языка должно влечь за собой каждый случай T-схемы «'p' истинно тогда и только тогда, когда p», и Тарский предлагает такое определение рекурсивно в терминах удовлетворения формул последовательностями объектов.

Scope

Эта тема охватывает формальное определение истины Тарского и его философскую интерпретацию. Она рассматривает различие между объектным языком и метаязыком, Конвенцию T и T-схему, рекурсивное определение истины через удовлетворение, неопределимость истины для языка внутри самого себя (путь к парадоксу Лжеца) и использование Дэвидсоном теории истины в стиле Тарского в качестве основы теории значения для естественного языка.

Core questions

• Что делает определение истины материально адекватным?
• Почему истина должна быть определена в метаязыке, более богатом, чем объектный язык?
• Является ли семантическая концепция содержательной теорией истины или нейтральна между ними?
• Может ли тарскианская теория истины служить теорией значения?

Key concepts

• Конвенция T и T-схема
• объектный язык против метаязыка
• удовлетворение
• материальная адекватность
• неопределимость истины
• истинностно-условное значение

Key theories

Рекурсивное определение истины через удовлетворение

Тарский определяет истину для формального языка, сначала определяя удовлетворение открытых формул последовательностями, а затем отождествляя истину с удовлетворением всеми последовательностями, обеспечивая материальную адекватность через Конвенцию T.

Истинностно-условная семантика

Дэвидсон предполагает, что тарскианская теория истины для естественного языка, влекущая за собой условия истинности каждого предложения, может служить теорией значения для этого языка.

History

Монография Тарского 1933 года и ее популярное изложение 1944 года дали первое строгое определение истины для формализованных языков и доказали неопределимость истины в достаточно богатом языке. Дэвидсон в 1967 году применил этот аппарат к семантике естественного языка, а Филд позже обсуждал, является ли определение Тарского философски редуктивным.

Debates

Тарский редуцирует или лишь кодифицирует истину?

Вопрос о том, предоставляет ли определение Тарского содержательное, редуктивное объяснение того, что такое истина, или же только формально адекватную кодификацию, которая, как утверждают дефляционисты, нейтральна по отношению к природе истины; Филд утверждал, что оно оставляет ключевые семантические понятия необъясненными.

Key figures

• Alfred Tarski
• Donald Davidson
• Rudolf Carnap
• Hartry Field

Seminal works

• tarski1933
• tarski1944
• davidson1967

Frequently asked questions

Почему Тарскому нужен объектный язык и метаязык?

Чтобы избежать парадокса Лжеца, никакой достаточно богатый язык не может последовательно содержать свой собственный предикат истинности. Поэтому Тарский определяет «истинно-в-L» для объектного языка L в более выразительном метаязыке, сохраняя предикат истинности вне языка, к которому он применяется.