Tarski e a Concepção Semântica da Verdade

Tarski demonstrou como definir a verdade rigorosamente para uma linguagem formalizada, ancorando a definição na exigência de que 'a neve é branca' é verdadeira se e somente se a neve é branca.

Definition

Na concepção semântica, uma definição adequada de verdade para uma linguagem deve implicar cada instância do esquema T ''p' é verdadeiro se e somente se p', e Tarski fornece tal definição recursivamente em termos da satisfação de fórmulas por sequências de objetos.

Scope

Este tópico aborda a definição formal de verdade de Tarski e sua interpretação filosófica. Trata da distinção entre linguagem-objeto e metalinguagem, da Convenção T e do esquema T, da definição recursiva de verdade via satisfação, da indefinibilidade da verdade para uma linguagem dentro de si mesma (um caminho para o Paradoxo do Mentiroso), e do uso de Davidson de uma teoria da verdade no estilo de Tarski como o cerne de uma teoria do significado para a linguagem natural.

Core questions

• O que torna uma definição de verdade materialmente adequada?
• Por que a verdade deve ser definida em uma metalinguagem mais rica que a linguagem-objeto?
• A concepção semântica é uma teoria substantiva da verdade ou neutra entre elas?
• Uma teoria da verdade tarskiana pode servir como uma teoria do significado?

Key concepts

• Convenção T e o esquema T
• linguagem-objeto vs. metalinguagem
• satisfação
• adequação material
• indefinibilidade da verdade
• significado condicional de verdade

Key theories

Definição recursiva de verdade via satisfação

Tarski define a verdade para uma linguagem formal primeiramente definindo a satisfação de fórmulas abertas por sequências e então identificando a verdade com a satisfação por todas as sequências, garantindo a adequação material através da Convenção T.

Semântica condicional de verdade

Davidson propõe que uma teoria tarskiana da verdade para uma linguagem natural, ao implicar as condições de verdade de cada sentença, pode servir como uma teoria do significado para essa linguagem.

History

A monografia de Tarski de 1933 e sua apresentação popular de 1944 forneceram a primeira definição rigorosa de verdade para linguagens formalizadas e provaram a indefinibilidade da verdade dentro de uma linguagem suficientemente rica. Davidson, em 1967, direcionou o aparato para a semântica da linguagem natural, e Field mais tarde debateu se a definição de Tarski é filosoficamente redutiva.

Debates

Tarski reduz ou meramente codifica a verdade?

Se a definição de Tarski fornece uma explicação substantiva e redutiva do que é a verdade, ou apenas uma codificação formalmente adequada que, como afirmam os deflacionistas, é neutra quanto à natureza da verdade; Field argumentou que ela deixa os principais conceitos semânticos inexplicados.

Key figures

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

Seminal works

• tarski1933
• tarski1944
• davidson1967

Frequently asked questions

Por que Tarski precisa de uma linguagem-objeto e de uma metalinguagem?

Para evitar o paradoxo do mentiroso, nenhuma linguagem suficientemente rica pode conter consistentemente seu próprio predicado de verdade. Tarski, portanto, define 'verdadeiro-em-L' para uma linguagem-objeto L dentro de uma metalinguagem mais expressiva, mantendo o predicado de verdade fora da linguagem à qual se aplica.