Академический Документы
Профессиональный Документы
Культура Документы
Sintaxe do Clculo
de Predicados
1. OBJETIVOS
Reconhecer a linguagem do Clculo de Predicados (CP).
Traduzir proposies da linguagem ordinria para a linguagem do Clculo de Predicados.
2. CONTEDOS
Constantes individuais.
Constantes de predicados.
Variveis Individuais.
Quantificadores.
70
Lgica II
Claretiano -
REDE DE EDUCAO
71
4. INTRODUO UNIDADE
Nas unidades anteriores, aprendemos a formalizar algumas
proposies e determinados argumentos da linguagem corrente.
Por exemplo, a proposio "Paulo foi ao mdico e ao teatro" pode
ser simbolizada por p ^ q ao passo que o argumento:
Paulo foi ao cinema ou ao teatro.
Paulo no foi ao teatro.
Logo, Paulo foi ao cinema.
72
Lgica II
REDE DE EDUCAO
73
74
Lgica II
A segunda premissa do argumento, apresentado na introduo ("Lcia brasileira"), ser simbolizada da seguinte maneira: Bl.
J vimos como funcionam as constantes individuais e de
predicados. Os enunciados formados na linguagem do CP, que
usam essas constantes, podem ser verdadeiros ou falsos. O
enunciado "Rex um cachorro", por exemplo, pode ser formalizado
da seguinte forma: Cr.
Pode ser verdadeiro ou falso. O que podemos dizer, no
entanto, a respeito do enunciado "x um cachorro"? Como esse
indivduo no est especificado, no podemos dizer se a expresso
verdadeira ou falsa. Para escrevermos expresses desse tipo na
linguagem do CP, utilizaremos variveis individuais, que sero
simbolizadas pelas letras minsculas x, y, z. Assim, o enunciado
"x uma roupa" ser simbolizado da seguinte forma: Rx. No
verdadeiro nem falso, ao passo que o enunciado "Blusa de l
uma roupa" Rb pode ser verdadeiro ou falso.
As variveis individuais, assim como as constantes, funcionam como nomes. A diferena entre ambas que as variveis no
denotam um sujeito especfico.
Com as definies apresentadas, podemos traduzir uma
parte da linguagem ordinria que se utiliza da estrutura sujeito e
predicado. Mas, como traduzir enunciados gerais do tipo "Todo
paulista brasileiro"? Voc aprender a fazer tal traduo a seguir,
quando estudarmos os quantificadores.
6. QUANTIFICADORES
At agora, o que aprendemos da linguagem do CP nos permite tratar de proposies singulares; isso porque as constantes
individuais designam indivduos particulares. Como representamos, ento, as proposies gerais?
Claretiano -
REDE DE EDUCAO
75
76
Lgica II
7. TEXTO COMPLEMENTAR
A lgica e os fundamentos da matemtica
A lgica de Frege
O acontecimento mais importante na histria da filosofia do sculo XIX foi a
inveno da lgica matemtica. No se tratou apenas de fundar de novo a prpria
cincia da lgica; foi algo que teve igualmente consequncias importantes para a
filosofia da matemtica, para a filosofia da linguagem e, em ltima anlise, para a
compreenso que os filsofos tm sobre a natureza da prpria filosofia.
O principal fundador da lgica matemtica foi Gottlob Frege. Nascido na
costa bltica alem em 1848, Frege (1848-1925) doutorou-se em Filosofia em
Gttingen e ensinou na Universidade de Jena de 1874 at se reformar, em 1918.
Excepto no que respeita actividade intelectual, a vida de Frege foi rotineira e
isolada; o seu trabalho foi pouco lido enquanto viveu, e mesmo depois da sua
morte s exerceu influncia por intermdio dos escritos de outros filsofos. Mas
gradualmente foi-se reconhecendo que Frege foi o maior de todos os filsofos
da matemtica e que, como filsofo da lgica, foi comparvel a Aristteles. A
sua inveno da lgica matemtica foi uma das maiores contribuies para os
desenvolvimentos, em diversas disciplinas, que estiveram na origem da inveno
dos computadores. Dessa forma, Frege afectou as vidas de todos ns.
A produtiva carreira de Frege comeou em 1879 com a publicao de um
opsculo intitulado Begriffschrift, ou Escrita Conceptual. A escrita conceptual que
deu o ttulo ao livro consistia num novo simbolismo concebido com o fim de exibir
claramente as relaes lgicas escondidas na linguagem comum. A notao de
Frege, logicamente elegante mas tipograficamente incmoda, j no usada em
lgica simblica; mas o clculo por ele formulado constitui desde ento a base
da lgica moderna.
Em vez de fazer da silogstica aristotlica a primeira parte da lgica, Frege
atribuiu esse lugar a um clculo inicialmente explorado pelos esticos: o clculo
proposicional, ou seja, o ramo da lgica que trata das inferncias que assentam
na negao, conjuno, disjuno, etc., quando aplicadas a frases declarativas
no seu todo. O seu princpio fundamental que remonta igualmente aos
Claretiano -
REDE DE EDUCAO
77
78
Lgica II
8. QUESTES AUTOVALIATIVAS
Confira, a seguir, as questes propostas para verificar o seu
desempenho no estudo desta unidade:
1) Traduza as seguintes proposies para a linguagem do CP:
a) Patrcia mulher.
b) William mdico.
c) O quadro bonito.
d) X um mamfero.
e) Todos so filsofos.
f) Algo horrvel.
g) Algum mdico.
h) X um nmero.
2) Exerccio de raciocnio. Leia o texto a seguir e preencha a lacuna ao final:
Claretiano -
REDE DE EDUCAO
79
9. CONSIDERAES
Nesta unidade, pudemos ter contato com a linguagem de
Clculo de Predicados, a qual o cerne da Lgica Clssica. Para a
Lgica Clssica, trs princpios so tradicionais: Princpio de Identidade, Princpio de No-Contradio e Princpio de Terceiro Excludo. Portanto, esse contato que tivemos com a linguagem de Clculo de Predicado, levou-nos a adquirir uma base que nos permitir
distinguir a linguagem dos clculos e a seguir em frente com nosso
estudo de lgica.
Em busca dos objetivos para os quais nos propomos nesta
disciplina, na Unidade 4, voc ser convidado a estudar a Lgica
Clssica e o Problema ontolgico. Esperamos por voc!
10. E - REFERNCIAS
DA COSTA, N. C. A.; KRAUSE, D. Notas de lgica. Disponvel em: <www.cfh.ufsc.
br/~dkrause/LivroLogica/Prefacio.pdf>. Acesso em: 7 maio 2012.
KENNY, A. A lgica e os fundamentos da matemtica. Disponvel em: <http://
criticanarede.com/html/logicismo.html>. Acesso em: 7 maio 2012.
80
Lgica II
Claretiano -
REDE DE EDUCAO