Teoria deflacionária da verdade - Deflationary theory of truth

O "deflacionismo" redireciona aqui. Para a posição metafísica, consulte Deflacionismo metafísico .

Em filosofia e lógica , uma teoria deflacionária da verdade (também deflacionismo semântico ou simplesmente deflacionismo ) faz parte de uma família de teorias em que todas têm em comum a afirmação de que as afirmações da verdade predicada de uma declaração não atribuem uma propriedade chamada "verdade" a tal declaração.

Teoria da redundância

Artigo principal: Teoria da verdade da redundância

Gottlob Frege foi provavelmente o primeiro filósofo ou lógico a notar que predicar a verdade ou a existência não expressa nada além da afirmação à qual é atribuída. Ele comentou:

É digno de nota que a frase "Sinto cheiro de violetas" tem o mesmo conteúdo da frase "é verdade que sinto cheiro de violetas". Parece, então, que nada é adicionado ao pensamento por eu atribuir a ele a propriedade da verdade. (Frege, G., 1918. "Pensamento", em suas Investigações Lógicas , Oxford: Blackwell, 1977)

No entanto, a primeira tentativa séria de formulação de uma teoria da verdade que tentou definir sistematicamente o predicado de verdade fora da existência é atribuível a FP Ramsey . Ramsey argumentou, contra as correntes predominantes da época, que não só não era necessário construir uma teoria da verdade com base em uma teoria anterior do significado (ou conteúdo mental), mas que uma vez que uma teoria do conteúdo tivesse sido formulada com sucesso, ficaria óbvio que não havia mais necessidade de uma teoria da verdade, uma vez que o predicado de verdade seria demonstrado ser redundante. Conseqüentemente, sua versão particular do deflacionismo é comumente chamada de teoria da redundância . Ramsey observou que em contextos comuns em que atribuímos a verdade a uma proposição diretamente, como em "É verdade que César foi assassinado", o predicado "é verdadeiro" não parece estar funcionando. "É verdade que César foi assassinado" significa apenas "César foi assassinado" e "É falso que César foi assassinado" significa apenas que "César não foi assassinado".

Ramsey reconheceu que a simples eliminação do predicado de verdade de todas as afirmações em que ele é usado na linguagem comum não era a melhor maneira de tentar construir uma teoria abrangente da verdade. Por exemplo, tome a frase Tudo o que João diz é verdade . Isso pode ser facilmente traduzido na sentença formal com variáveis ​​que variam sobre as proposições. Para todo P, se John diz P, então P é verdadeiro. Mas tentar eliminar diretamente "é verdadeiro" desta sentença, na interpretação padrão de primeira ordem da quantificação em termos de objetos, resultaria na formulação não gramatical. Para todo P, se John diz P, então P. É não gramatical porque P deve, nesse caso, ser substituído pelo nome de um objeto e não por uma proposição. A abordagem de Ramsey foi sugerir que frases como "Ele está sempre certo" poderiam ser expressas em termos de relações: "Para todo a , R e b , se ele afirma aRb , então aRb ".

Ramsey também notou que, embora suas paráfrases e definições pudessem ser facilmente traduzidas em simbolismo lógico, o problema mais fundamental era que, no inglês comum, a eliminação do predicado de verdade em uma frase como Everything John diz é true resultaria em algo como "Se John diz algo, então isso ". Ramsey atribuiu isso a um defeito na linguagem natural, sugerindo que pró-sentenças como "aquele" e "o quê" estavam sendo tratados como se fossem pronomes. Isso "dá origem a problemas artificiais quanto à natureza da verdade, que desaparecem imediatamente quando são expressos em simbolismo lógico ..." Segundo Ramsey, é apenas porque as línguas naturais carecem, o que ele chamou de pró-sentenças (expressões que estão em relação às sentenças como os pronomes estão aos substantivos) que o predicado de verdade não pode ser definido em todos os contextos.

AJ Ayer levou a ideia de Ramsey um passo adiante ao declarar que a redundância do predicado de verdade implica que não existe tal propriedade como a verdade.

Existem frases ... nas quais a palavra "verdade" parece representar algo real; e isso leva o filósofo especulativo a indagar o que é esse "algo". Naturalmente, ele não consegue obter uma resposta satisfatória, uma vez que sua pergunta é ilegítima. Pois nossa análise mostrou que a palavra "verdade" nada representa, da maneira que tal pergunta requer.

Esta versão extrema do deflacionismo tem sido frequentemente chamada de teoria do desaparecimento ou teoria da verdade sem verdade e é fácil entender o porquê, já que Ayer parece estar afirmando que o predicado "é verdadeiro" é redundante (e, portanto, desnecessário) e também que não existe tal propriedade como verdade para falar.

Teoria performativa

Peter Strawson formulou uma teoria performativa da verdade nos anos 1950. Como Ramsey, Strawson acreditava que não havia problema separado de verdade além de determinar os conteúdos semânticos (ou fatos do mundo) que dão às palavras e sentenças da linguagem os significados que elas têm. Uma vez que as questões de significado e referência são resolvidas, não há mais questão de verdade. A visão de Strawson difere da de Ramsey, no entanto, na medida em que Strawson sustenta que há um papel importante para a expressão "é verdade": especificamente, ela tem um papel performativo semelhante a "Eu prometo limpar a casa". Ao afirmar que p é verdadeiro, não apenas afirmamos que p, mas também realizamos o " ato de fala " de confirmar a verdade de uma afirmação em um contexto. Sinalizamos nossa concordância ou aprovação de uma afirmação proferida anteriormente ou confirmamos alguma crença comum ou sugerimos que o que estamos afirmando provavelmente será aceito por outras pessoas no mesmo contexto.

Tarski e teorias deflacionárias

Alguns anos antes de Strawson desenvolver sua descrição das sentenças que incluem o predicado de verdade como enunciados performativos, Alfred Tarski desenvolveu sua chamada teoria semântica da verdade . O objetivo básico de Tarski era fornecer uma definição rigorosamente lógica da expressão "sentença verdadeira" dentro de uma linguagem formal específica e esclarecer as condições fundamentais de adequação material que teriam de ser satisfeitas por qualquer definição do predicado de verdade. Se todas essas condições fossem atendidas, então seria possível evitar paradoxos semânticos , como o paradoxo do mentiroso (ou seja, "Esta frase é falsa.") A condição de adequação material de Tarski, ou Convenção T, é: uma definição de verdade para um objeto a linguagem implica todas as instâncias da forma sentencial

(T) S é verdadeiro se e somente se P

onde S é substituído pelo nome de uma frase (na linguagem objeto ) e P é substituído por uma tradução dessa frase na metalinguagem. Assim, por exemplo, " La neve è bianca é verdadeira se e somente se a neve for branca" é uma frase que está em conformidade com a Convenção T; a linguagem do objeto é o italiano e a metalinguagem é o inglês. O predicado " verdadeiro " não aparece na linguagem do objeto, então nenhuma frase da linguagem do objeto pode direta ou indiretamente afirmar a verdade ou falsidade de si mesma. Tarski formulou assim um esquema de duas camadas que evita paradoxos semânticos como o paradoxo de Russell .

Tarski formulou sua definição de verdade indiretamente por meio de uma definição recursiva da satisfação das funções sentenciais e, em seguida, definindo a verdade em termos de satisfação. Um exemplo de função sentencial é " x derrotou y nas eleições presidenciais de 2004 nos Estados Unidos"; esta função é dito ser satisfeita quando substituímos as variáveis x e y com os nomes de objetos de tal forma que eles estão na relação denotado por "derrotado nas 2004 eleições presidenciais dos EUA" (no caso que acabamos de mencionar, substituindo x com "George W. Bush " ey com" John Kerry "satisfaria a função, resultando em uma frase verdadeira). Em geral, a 1 , ..., a n satisfaz um predicado n - ário φ ( x 1. ..., x n ) se e somente se a substituição dos nomes " a 1 ", ..., " a n "para as variáveis ​​de φ na ordem relevante produz" φ ( a 1 , ..., a n ) "e φ ( a 1 , ..., a n ). Dado um método para estabelecer a satisfação (ou não) de cada sentença atômica da forma A (..., x k , ...), as regras usuais para conectivos e quantificadores funcionais de verdade produzem uma definição para a condição de satisfação de todas as sentenças da linguagem objeto. Por exemplo, para quaisquer duas sentenças A , B , a sentença A  e  B é satisfeita se e somente se A e B forem satisfeitos (onde '&' significa conjunção ), para qualquer sentença A , ~ A é satisfeito se e somente se A não é satisfeito, e para qualquer sentença aberta A onde x é livre em A , (x) A é satisfeito se e somente se para cada substituição de um item do domínio por x produzindo A *, A * é satisfeito. Se qualquer sentença complexa é satisfeita é determinado por sua estrutura. Uma interpretação é uma atribuição de denotação a todos os termos não lógicos da linguagem objeto. Uma sentença A é verdadeiro (sob uma interpretação I ) se e somente se ele está satisfeito no I .

Tarski pensava em sua teoria como uma espécie de teoria da verdade por correspondência , não uma teoria deflacionária.

Disquotacionalismo

Com base na concepção semântica de Tarski, WVO Quine desenvolveu o que eventualmente veio a ser chamado de teoria desquotacional da verdade ou desquotacionalismo . Quine interpretou a teoria de Tarski como essencialmente deflacionária. Ele aceitou o tratamento que Tarski deu às sentenças como as únicas portadoras da verdade. Consequentemente, Quine sugeriu que o predicado de verdade só poderia ser aplicado a sentenças em línguas individuais. O princípio básico do desquotacionalismo é que uma atribuição de verdade a uma frase desfaz os efeitos das aspas que foram usadas para formar frases. Em vez de (T) acima, então, a reformulação de Quine seria algo como o seguinte "Esquema de Disquotação":

(DS) A frase "S" é verdadeira se e somente se S.

Os desquotacionalistas são capazes de explicar a existência e utilidade do predicado de verdade em contextos de generalização como "John acredita em tudo o que Mary diz", afirmando, com Quine, que não podemos dispensar o predicado de verdade nesses contextos porque a expressão conveniente de tal a generalização é precisamente o papel do predicado de verdade na linguagem. No caso de "João acredita em tudo o que Maria diz", se tentarmos capturar o conteúdo das crenças de João, precisaremos formar uma conjunção infinita como a seguinte:

Se Maria diz que os limões são amarelos, então os limões são amarelos, e se Maria diz que os limões são verdes, então os limões são verdes e ...

O esquema de disquotação (DS), permite reformulá-lo como:

Se Maria disser que os limões são amarelos, a frase "limões são amarelos" é verdadeira, e se Maria disser que os limões são verdes, a frase "limões são verdes" é verdadeira e ...

Visto que x é equivalente a "x" é verdadeiro , para o desquotacionalista, então as conjunções infinitas acima também são equivalentes. Consequentemente, podemos formar a generalização:

Para todas as sentenças "S", se Maria disse S, então "S" é verdadeiro.

Visto que não poderíamos expressar essa afirmação sem um predicado de verdade ao longo das linhas daqueles definidos por teorias deflacionárias, é o papel do predicado de verdade na formação de tais generalizações que caracteriza tudo o que precisa ser caracterizado sobre o conceito de verdade.

Prosentencialismo

Grover, Camp e Belnap desenvolveram uma teoria deflacionária da verdade chamada prosentencialismo , que desde então foi defendida por Robert Brandom.

O prosentencialismo afirma que há prosentências que representam e derivam seus significados das sentenças que substituem. Na declaração:

Bill está cansado e com fome.

o pronome "ele" toma sua referência do substantivo "Bill". Por analogia, na afirmação:

Ele explicou que estava com problemas financeiros, disse que as coisas eram assim e que, portanto, precisava de um adiantamento.

a cláusula "é assim que as coisas eram" recebe sua referência da cláusula sentencial anterior "ele estava em apuros financeiros", de acordo com um relato prosentencialista.

Como isso se relaciona com a verdade? Os prosentencialistas vêem as declarações que contêm "é verdadeiro" como sentenças que não contêm um predicado de verdade, mas, ao contrário, contêm alguma forma de prosentência; o próprio predicado de verdade é parte de uma construção anafórica ou prosentencial. Os prosentencialistas apontam os muitos paralelos que existem entre os pronomes e as prosentências. Os pronomes costumam ser usados ​​por "preguiça", como em:

Bill está cansado e com fome

ou podem ser usados ​​em contextos quantificacionais, como:

Alguém está na sala e ele está armado com um rifle .

De maneira semelhante, "é verdade" pode ser usado como uma preguiça, como em:

Fred acredita que está chovendo e é verdade.

e como uma prosentência quantificacional, como:

Tudo o que Alice acredita é verdade .

Os prosentencialistas, portanto, rejeitam a ideia de que a verdade é uma propriedade de algum tipo.

Minimalismo

A teoria mínima da verdade de Paul Horwich , também conhecida como minimalismo , considera as entidades portadoras de verdade primárias como proposições, em vez de sentenças. De acordo com a visão minimalista, então, a verdade é de fato uma propriedade de proposições (ou sentenças, conforme o caso), mas é uma propriedade tão mínima e anômala que não se pode dizer que nos forneça qualquer informação útil ou insight sobre o natureza da verdade. É fundamentalmente nada mais do que uma espécie de propriedade metalingüística.

Outra forma de formular a tese minimalista é afirmar que a conjunção de todas as instâncias do seguinte esquema:

A proposição de que P é verdadeira se e somente se P .

fornece uma definição implícita da propriedade da verdade. Cada uma dessas instâncias é um axioma da teoria e há um número infinito de tais instâncias (uma para cada proposição real ou possível no universo). Nosso conceito de verdade consiste em nada mais do que uma disposição para concordar com todas as instâncias do esquema acima quando os encontramos.

Objeções ao deflacionismo

Uma das principais objeções às teorias deflacionárias de todos os sabores foi formulada por Jackson, Oppy e Smith em 1994 (após Kirkham 1992). De acordo com a objeção, se o deflacionismo for interpretado como uma teoria sentencial (isto é, aquela em que a verdade é predicada de sentenças no lado esquerdo das bicondicionais, como (T) acima), então o deflacionismo é falso; por outro lado, se for interpretada como uma teoria proposicional , então é trivial. Examinando outra instância simples do esquema de equivalência padrão:

A grama é verde é verdade se e somente se a grama for verde.

a objeção é apenas que, se as palavras em itálico forem tomadas como uma frase , então ela é falsa, porque algo mais é necessário para que toda a afirmação seja verdadeira do que meramente o fato de que "a grama é verde" é verdadeira. Também é necessário que a frase "grama é verde" signifique que grama é verde e este fato lingüístico adicional não seja tratado no esquema de equivalência.

No entanto, se agora assumirmos que a grama é verde no lado esquerdo se refere a uma proposição, então a teoria parece trivial, uma vez que a grama é verde é definida como verdadeira se e somente se a grama for verde. Observe que a trivialidade envolvida aqui não é causada pelo conceito de verdade, mas pela proposição . Em qualquer caso, simplesmente aceitar a trivialidade da versão proposicional implica que, pelo menos dentro da Teoria Deflacionária da Verdade, não pode haver explicação da conexão entre as sentenças e as coisas que elas expressam; ou seja, proposições.

Normatividade de afirmações

Michael Dummett , entre outros, argumentou que o deflacionismo não pode explicar o fato de que a verdade deve ser um objetivo normativo de afirmação. A ideia é que a verdade desempenha um papel central na atividade de declarar fatos. A resposta deflacionista é que a afirmação de que a verdade é uma norma de afirmação só pode ser afirmada na forma da seguinte conjunção infinita:

Deve-se afirmar a proposição de que a grama é verde apenas se a grama for verde e deve-se afirmar a proposição de que limões são amarelos apenas se os limões são amarelos e deve-se afirmar a proposição de que um círculo quadrado é impossível apenas se um círculo quadrado for impossível e. ..

Este, por sua vez, pode ser reformulado como:

Para todas as proposições P, os falantes devem afirmar as proposições que P somente se a proposição de que P for verdadeira.

Pode ser que usemos o predicado de verdade para expressar essa norma, não porque tenha algo a ver com a natureza da verdade em algum sentido inflacionário, mas porque é uma maneira conveniente de expressar essa generalização inexprimível.

Veja também

tópicos relacionados

Notas

Referências

  • Ayer, AJ (1952). Linguagem, verdade e lógica . Nova York: Dover Publications.
  • Beall, JC e Armor-Garb, B. (eds.) (2006). Deflacionismo e paradoxo . Oxford: Clarendon.
  • Brandom, Robert Expressive versus Explanatory Deflationism about Truth in Deflationary Truth Armor-Garb BP e Beall JC (ed.), Chicago e La Salle, Illinois: Open Court Publishing, 2005, pp. 237-257.
  • Butler, MK (2017). Deflacionismo e teorias semânticas da verdade . Manchester: Pendlebury Press.
  • Candlish, Stewart e Damnjanovic, Nicolas J., "A Brief History of Truth", em Dale Jacquette (ed.), Handbook of the Philosophy of Science, Volume 11, Philosophy of Logic . Primeiras vistas (1903-1930) , vistas do meio (1930-1970) , vistas posteriores (1970-2000) e Referências .
  • Grover, Dorothy, Camp, Joseph & Belnap, Nuel (1975), A Prosentential Theory of Truth , Philosophical Studies , 27 , 73-125.
  • Horwich, Paul (1998), Truth , Oxford University Press, Londres, Reino Unido.
  • Frege, G. (1918) Ricerche Logiche . M. di Francesco (ed.). tr: R. Casati. Milan: Guerini. 1998.
  • Jackson, Frank , Graham Oppy & Michael Smith (1994), "Minimalism and truth aptness", Mind 103 , 287-302.
  • Kirkham, Richard (1992), Theories of Truth , MIT Press.
  • Quine, WVO (1970), Philosophy of Logic , Prentice Hall, Englewood Cliffs, NJ.
  • Ramsey, FP (1927), "Facts and Propositions", Aristotelian Society Supplementary Volume 7 , 153-170. Reimpresso, pp. 34–51 em FP Ramsey, Philosophical Papers , David Hugh Mellor (ed.), Cambridge University Press, Cambridge, Reino Unido, 1990.
  • Ramsey, FP (1990), Philosophical Papers , David Hugh Mellor (ed.), Cambridge University Press, Cambridge, Reino Unido.
  • Strawson, PF (1949) "Truth", Analysis , 9 : 83-97.
  • Tarski, A. (1935), "Der Wahrheitsbegriff in den formalisierten Sprachen", Studia Philosophica 1 , pp. 261–405. Traduzido como "The Concept of Truth in Formalized Languages", em Tarski (1983), pp. 152-278.
  • Tarski, Alfred (1944), "The Semantic Conception of Truth and the Foundations of Semantics", Philosophy and Phenomenological Research 4 (3), 341-376.
  • Tarski, Alfred (1983), Logic, Semantics, Metamathematics: Papers de 1923 a 1938 , JH Woodger (trad.), Oxford University Press, Oxford, UK, 1956. 2ª edição, John Corcoran (ed.), Hackett Publishing, Indianapolis , IN, 1983.

links externos

  • Stoljar, Daniel e Damnjanovic, Nic (2007), "The Deflationary Theory of Truth" , Stanford Encyclopedia of Philosophy , Edward N. Zalta (ed.).
  • "Teoria Prosentencial da Verdade" . Internet Encyclopedia of Philosophy .