Escolar Documentos
Profissional Documentos
Cultura Documentos
Teorias da Correspondncia
1.2. A Verso de Russell e Wittgenstein
Em uma linguagem perfeita, o arranjo das coisas simples no mundo se reflete no arranjo
das palavras em uma proposio atmica verdadeira.
Por outro lado, Russell algumas vezes admite a existncia de fatos negativos, alm dos
positivos.
O isomorfismo estrutural entre proposio e fato, mesmo nos casos mais simples, parece
envolver dificuldades.
PROPOSIO
FATO CORRESPONDENTE
Considere o enunciado
A verso de Austin faz um progresso em relao teoria de Russell, com relao aos fatos.
Por outro lado, para Austin P verdadeira quando os fatos so como P diz.
2. Teorias da Coerncia
Mas suas preocupaes epistemolgicas (de filosofia da cincia) exigiam um teste (critrio
de autorizao) para a verdade.
2. A verdade dos outros enunciados pode, ento, ser testada por meio de suas relaes
lgicas com os primeiros (os enunciados testveis da experincia imediata).
Mas esta correspondncia dos enunciados perceptivos foi questionada (Neurath critica
Schlick):
O nico critrio de verdade seria dado, ento, pelas relaes entre as prprias crenas.
Esta posio tambm defendida por Quine em (Os Dois Dogmas do Empirismo).
Ambos negam que haja qualquer base incorrigvel nos juzos da percepo.
IDEALISMO DE BRADLEY:
O atomismo lgico de Russell, com sua metafsica pluralista, foi uma reao a este
tipo de monismo.
Quais exatamente devem ser as relaes entre as crenas para que possamos consider-las
coerentes?
Russell: provvel que o conjunto dos dados tenha mais de um SMC. Portanto:
Rescher sugere que se tome a disjuno dos SMCs admitidos pelo filtro de
plausibilidade.
Uma vez que tenhamos um SMC definido, o que fazemos com novos dados que no
haviam sido levados em considerao na definio do SMC?
3. Teorias Pragmticas
PEIRCE: a verdade o fim da investigao. a opinio sobre a qual aqueles que usam o
mtodo cientfico vo concordar.
DVIDA: interrupo de tal disposio devido a uma resistncia por parte da experincia.
3.2. James
A diferena que a verdade faz (a vantagem de sustentar crenas verdadeiras) que com elas
fica-se assegurado contra a experincia recalcitrante.
Quando novas experincias nos chegam, h um ajuste para restaurar a consistncia de modo
a maximizar a conservao do antigo conjunto de crenas (semelhante a Quine).
(Russell e Moore 1908) James faz uma identificao grosseira e moralmente reprovvel
entre verdadeiro e crena adequada.
Como em qualquer tempo as evidncias disponveis podem ser insuficientes para decidir
entre crenas competidoras, nossa escolha pode depender de bases tais como a simplicidade
ou a elegncia.
3.4. Dewey
Apesar de adotar a definio da verdade de Peirce como a melhor, Dewey prefere o conceito
de assertibilidade garantida ao de verdade.
3.5. RESUMO
A Verdade :
o fim da investigao
correspondncia com a realidade
crena (estvel) satisfatria
coerncia com a experincia - verificabilidade
Peirce
James
Dewey
, atualmente, a teoria mais influente e mais amplamente aceita. Divide-se em duas partes:
Depois oferece uma definio de verdade (para uma linguagem formal especificada) que
adequada segundo seus padres.
Dizer do que que ele no , ou do que no que ele , falso, enquanto dizer do que
que ele , ou do que no que ele no , verdadeiro.
'p' qualquer sentena da linguagem para a qual a verdade est sendo definida.
Todas as suas instncias devem ser implicadas por qualquer definio de verdade que
deva ser considerada 'materialmente adequada'.
(**) O esquema (T) no fixa a intenso (ou significado) do termo 'verdadeiro'. Ele fixa a
'extenso'.
Quem no aceite (DB) dir que (2), diferentemente de (1), no uma instncia de (T).
A adequao material de Tarski elimina todas as teorias da verdade que admitem que
sentenas possam ser nem verdadeiras nem falsas, pois em:
O lado esquerdo de sse falso (j que 'p' no nem verdadeira nem falsa), mas o lado
direito no nem verdadeiro nem falso. Logo a biimplicao falsa.
Conceitos semnticos manipulados sem cuidado tendem a gerar paradoxos. Tarski quer
evitar isso, e estuda com detalhes o paradoxo do mentiroso (Esta sentena falsa.).
No querendo abrir mo de (ii), Tarski conclui que qualquer definio formalmente correta
de verdade no pode ser expressa em uma linguagem que semanticamente fechada.
A definio de verdade para uma linguagem O (linguagem objeto) deve ser feita em uma
linguagem M (metalinguagem).
A definio de verdade ter de ser relativa a uma linguagem (O). Pois a mesma sentena
pode ser significativa em uma linguagem e falsa, ou no-significativa, em outra.
PARADOXO DO MENTIROSO:
Esta restrio leva Tarski a ser ctico com relao possibilidade de definio de
verdade para qualquer lngua natural.
Uma conjuno de todas as instncias do esquema (T) seria uma definio completa da
verdade. Uma vez que especificaria as condies de verdade de todas as sentenas
especficas de O.
Tal definio irrealizvel, pois pode haver infinitas sentenas em uma dada linguagem O.
A neve branca -
Citar (colocar aspas) no deve ser encarada como uma funo. Logo, (D) to
sem significado quanto:
no uma parte de
- 'Scrates'.
x (o Texas grande)
Nenhum termo semntico pode ser tomado como primitivo. Qualquer noo semntica
presente (utilizada) na definio de verdade deve, ela prpria, ser definida. Tarski definir
'satisfaz' antes de definir a verdade.
PROCEDIMENTO
ii. vocabulrio sinttico, incluindo nomes dos smbolos primitivos de O, sinal para
concatenao e variveis para expresses de O;
iii. o aparato lgico usual.
(c) definir 'satisfaz-em-O;
(d) definir 'verdadeiro-em-O' em termos de 'satisfaz-em-O'.
Tarski define primeiro satisfao, depois verdade, pois no admite a utilizao primitiva
(pr-terica) de termos semnticos.
Exemplos:
'<... , ...>' indica uma n-upla ordenada. dos n itens que aparecem entre os smbolos
'<' e '>'.
A ordem dos itens obviamente importante, pois <Londres, Natal> satisfaz x est
ao norte de y, mas <Natal, Londres> no satisfaz.
A negao de uma sentena aberta S1 ser satisfeita apenas por aquelas seqncias
(de objetos) que no satisfazem S1.
No entanto, a sentena (Ex) x capital de algum estado brasileiro satisfeita tanto por
<Natal,...>, quanto por <Mossor,...> quanto por qualquer outra sentena.
Simplesmente, porque ao substituirmos o primeiro item da seqncia <batata-frita,...>
por qualquer capital brasileira, obtemos uma seqncia que satisfaz a sentena aberta x
a capital de algum estado brasileiro.
'VERDADEIRO': uma sentena verdadeira apenas quando for satisfeita por TODAS
as seqncias.
'FALSO': ao contrrio, uma sentena falsa apenas quando no for satisfeita por
NENHUMA seqncia.
Mas por que definir verdadeiro e falso como satisfeitos por TODAS ou NENHUMA
seqncia?
Nosso exemplo acima esclarece a questo. A sentena (Ex) x capital de algum estado
brasileiro satisfeita por qualquer sentena (portanto verdadeira), porque quando
substitumos o primeiro item de qualquer sentena por uma cidade que capital de
estado brasileiro, a seqncia resultante satisfaz a sentena x capital de algum estado
brasileiro. Ento, a sentena (Ex) x capital de algum estado brasileiro s ser
verdadeira quando, de fato h algum objeto que capital de algum estado brasileiro para
ser substitudo na seqncia.
Tarski, em seu artigo original, d uma definio absoluta de verdade, em vez de modeloteortica. 'Satisfaz', e portanto, 'verdadeiro' so definidos com respeito a seqncias de
objetos no mundo real, no com respeito a uma seqncia de objetos em um modelo ou
'mundo possvel'.
Metalinguagem: portugus + O
4.2.3.1. Sintaxe de O
As expresses de O so:
quantificador: (E)
parnteses: (, ).
A satisfao definida para sentenas atmicas com uma clusula destas para cada
predicado da linguagem.
1. Para predicados mondicos:
Comentrios:
Uma sentena fechada uma wff sem variveis livres, que sero satisfeitas ou por todas
as seqncias ou por nenhuma.
4.2.3.3. Comentrios
conseqncia desta definio que, de cada para consistindo em uma sentena fechada e
sua negao, uma e apenas uma verdadeira.