UNIVERSIDADE ESTADUAL PAULISTA UNESP

CAMPUS UNIVERSITRIO DE MARLIA

FACULDADE DE FILOSOFIA E CINCIAS
PS-GRADUAO EM FILOSOFIA
Discente: Roque Pires Vercesi
Docente: Luiz Henrique Silvestrini

Seminrio de Lgica
Slide 1
Teorias da
Verdade

A apresentao tem por finalidade
fazer uma breve exposio de
algumas teorias da verdade, um
tema muito trabalhado em estudos
lgicos.
Slide 2
O que verdade?
O que verdadeiro?

Perguntas que geralmente so feitas
para melhor compreender o que
pode ser considerado verdadeiro ou
no. Outras perguntas possveis: O
que torna uma coisa verdadeira?;
O que entendemos pelos termos
verdade e falsidade?; Quais
so as condies necessrias e
suficientes para verdade de um
enunciado?; etc.
Slide 3
O Conformidade com o real; exatido,
realidade; Franqueza, sinceridade; Coisa
verdadeira ou certa; Princpio certo;
Representao fiel de alguma coisa da
natureza; Carter, cunho; Filos. objeto
central da reflexo filosfica, fio condutor
em relao ao qual, em ltima instncia, se
definem, se aproximam e divergem as
escolas filosficas.
Significado da palavra verdade

Significado da palavra verdade
encontrado em um dicionrio de
lngua portuguesa. (Dicionrio
Aurlio)
Slide 4
O As teorias da verdade tentam caracterizar
claramente o que a verdade, se esta
pode ser definida, se h um critrio para
se atingir a verdade. As muitas teorias da
verdade desenvolvem profundas reflexes
sobre o conceito verdade. As principais
teorias so: da coerncia, do
pragmatismo, da correspondncia, da
semntica e da redundncia.

As finalidades das teorias da
verdade, o que elas procuram
responder, e se h algum critrio
para se atingir a verdade. Principais
teorias: da coerncia, da
correspondncia, do pragmatismo,
semntica e da redundncia.
Slide 5
Teoria da correspondncia
O Para a teoria correspondencial, verdade
correspondncia com a realidade, isto , um
portador-de-verdade verdadeiro quando as
coisas no mundo so como os portadores-de-
verdade dizem que so. Dessa forma, a teoria
correspondencial, em geral, constitui-se em
uma teoria essencialmente realista (embora
existam teorias correspondenciais no-
realistas).
O Ex: X verdadeiro sse X corresponde a um
fato.

A teoria da correspondncia diz que
uma proposio verdadeira
quando ela se relaciona com o
mundo, e no com outra
proposio. Esta teoria foi
defendida por Russell (1906),
Wittgenstein (1922) e Austin
(1950).
Slide 6
O Ou seja, se algo verdadeiro, isso no depende
do que cada um acredita, a verdade depende
do mundo e no de ns. Ao tentarmos
estabelecer no que consiste a relao de
correspondncia - o relacionamento entre o
portador-de-verdade e a realidade -, podemos
obter dois tipos de teoria correspondencial:
O 1. Correspondncia como congruncia (Russel,
1912);
O 2. Correspondncia como correlao (Austin,
1950).

A teoria da correspondncia-como-
congruncia considera que
portadores-de-verdade e os fatos
possveis aos quais eles
correspondem tm estruturas
paralelas.
A teoria de correspondncia como
correlao, considera que todo
portador de verdade est
correlacionado a um fato possvel;
se esse fato possvel realmente
acontece ento o portador-de-
verdade verdadeiro, caso contrrio
falso.
Slide 7
Teoria da Coerncia
O A teoria da coerncia coloca a verdade
como algo que possui relaes de
coerncia em um grupo de crenas. Essa
teoria foi apresentada por Bradley (1914)
e mais recentemente por Rescher (1973)
e Dauer (1974).
O Ex: X verdadeiro sse X um membro
de um conjunto de crenas coerente
internamente;

Para uma teoria coerencial, um
conjunto de duas ou mais crenas
considerado coerente se elas
ajustam-se ou concordam umas
com as outras. A verdade uma
questo de relao entre portadores-
de-verdade e outros portadores-de-
verdade.
Slide 8
Teoria Pragmtica
O A teoria pragmtica possui relao com a
teoria da coerncia e a da correspondncia, e
prope que a veracidade de uma crena
derive de sua correspondncia com a
realidade, mas enfatizando tambm que ela
manifestada pela sobrevivncia da crena ao
teste da experincia, sua coerncia com
outras crenas (HAACK, 1978, p.129). A
teoria pragmtica foi desenvolvida por Peirce
(1877), Dewey (1901) e James (1909).
O Ex: X verdadeiro sse X til de se
acreditar.

O pragmatismo pode ser visto, de
uma forma geral, como um mtodo
para esclarecimento de idias ou
determinao de significados, um
mtodo que procura levar para a
anlise filosfica as tcnicas da
investigao experimental.
Slide 9
Concepo semntica da
verdade de Tarski
O Diferente das outra teorias, a concepo de
Tarski constitui essencialmente uma definio
de verdade para linguagens formalizadas. O
objetivo principal da proposta de Tarski o de
proporcionar uma definio satisfatria de
verdade, ou seja, deve ela ser materialmente
adequada e formalmente correta.
O Ex: (T) S verdadeiro se, e somente se, p.
O Onde p uma sentena e S um nome para
essa sentena.


A concepo semntica da verdade
de Tarski define verdade como uma
associao entre sentenas abertas e
objetos que so considerados no
lingusticos, ou seja, uma relao
semntica de satisfao.
Slide 10
O Para evitar paradoxos tais como a Antinomia
do Mentiroso, Tarski estabelece a distino
linguagem-objeto/metalinguagem. A
linguagem-objeto a linguagem para a qual a
definio de verdade dada e a
metalinguagem a linguagem na qual a
definio de verdade dada.
O Assim sendo, para Tarski, a definio de verdade
formalmente correta se dada para uma
formalizada em uma metalinguagem tambm
formalizada.

Distino entre linguagem/objeto e
metalinguagem.
Slide 11
Teoria da Redundncia
O A teoria da redundncia, que tem como
principal autor Ramsey (1927), que afirma
que o que verdadeiro tem que ser
redundante, ou seja, dizer que verdade
que p equivalente a dizer que p
(HAACK, 1978, p.129).

uma teoria que trabalha a lgica
do texto, a idia exata da
informao sem redundncia, sem
excesso ou com deficincia de
informao, ou seja, no ponto certo,
na busca da verdade. O universo da
teoria da redundncia buscar as
palavras certas para comunicar com
maior eficincia.
Slide 12
Referncias
O Hifume, Carlos. Uma teoria da verdade
pragmtica: a quase-verdade de Newton
C.A. da Costa. 2003. Dissertao (Mestrado
em Filosofia), Departamento de Filosofia,
UNICAMP, Campinas- SP, 2003.
O HAACK, Susan. 1978. Filosofia das lgicas.
So Paulo. Unesp. 2002.