Você está na página 1de 12

EAD

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.

3. ORIENTAES PARA O ESTUDO DA UNIDADE


Antes de iniciar o estudo desta unidade, importante que
voc leia as orientaes a seguir:

70

Lgica II

1) Para atingir os objetivos propostos para esta unidade,


atentem para o papel dos quantificadores no Clculo
de Predicados. Eles foram desenvolvidos porque os argumentos expressos na forma sujeito e predicado no
podem ser expressos na linguagem proposicional. Assim, continuaremos a formalizar a linguagem ordinria.
Os quantificadores apresentam um significado preciso,
o que ajuda a eliminar a ambiguidade da linguagem corrente e, dessa forma, permitir que essa linguagem seja
simbolizada. Ao observar esses quantificadores, todos
compreendem o seu significado. Como sustentamos
anteriormente, no preciso decorar os smbolos. O
importante compreender o processo que levou simbolizao de linguagem. Com o desenvolvimento dos
exerccios, o significado desses conectivos ser assimilado de forma natural.
2) Para atingir os objetivos a que nos propomos para esta
unidade, importante que participe ativamente do estudo. Procure estabelecer contato com o material por
meio de tantos meios sensoriais quantos forem possveis: leia o texto, depois faa uma reviso, preferencialmente em voz alta, a fim de organizar seus pensamentos; aps compreender o texto, estabelea conexes
entre os temas e sua realidade; faa a sntese dos textos
usando tcnicas de redao, como por exemplo: resumos, resenhas, mapas conceituais etc. procure enriquecer as anotaes com sua contribuio pessoal.
3) Aprofunde seus conhecimentos sobre o tema que estamos estudando. Para tanto, sugerimos que acesse o
site de busca de sua preferncia e pesquise utilizando a
expresso: "linguagem do clculo de predicados" como
palavra-chave para sua busca.
4) Amplie seus conhecimentos sobre a sintaxe do Clculo
de Predicados. Para tanto, pesquise as obras referenciadas no final desta unidade!

Claretiano -

REDE DE EDUCAO

Sintaxe do Clculo de Predicados

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.

Pode ser formalizado da seguinte maneira:


pq
~p
\q
Porm, com o recurso da Lgica Proposicional, teramos alguns problemas em formalizar o seguinte argumento:
Todo paulista brasileiro.
Lcia brasileira.
Portanto, Lcia paulista.

Pois a formalizao, na linguagem do Clculo Proposicional,


teria a seguinte forma:
B
L
\P
Com essa simbolizao, o argumento parece invlido, j que
fcil ver que, tomando B como exemplo, um nico smbolo no
formaliza adequadamente a proposio, Todo paulista brasileiro.
Observe que a dificuldade em formalizar esse tipo de argumento ocorre porque os argumentos que estudamos nas unidades
anteriores eram formados por enunciados compostos, o que no
ocorre com esse argumento. Uma anlise gramatical do enunciado "Lcia brasileira" classificaria Lcia como sujeito da orao

72

Lgica II

e brasileira como predicado. Nesse sentido, o sujeito denota um


indivduo particular; j o predicado designa a propriedade atribuda
ao indivduo.
Ento, temos de aprimorar as tcnicas lgicas que
aprendemos para avaliar satisfatoriamente a validade desse tipo
de argumento. Como os enunciados que compem os argumentos
que estudaremos nesta unidade possuem a estrutura sujeito e
predicado, costuma-se chamar essa parte da lgica de Clculo de
Predicados. Assim, procederemos, agora, ao estudo desta parte
importante da Lgica Clssica. Acompanhe!

5. A LINGUAGEM DO CLCULO DE PREDICADOS


Antes de definirmos nossa linguagem, devemos ressaltar
que o Clculo de Predicados o cerne da Lgica Clssica. Esta, por
sua vez, no deve ser confundida com a Lgica Aristotlica, que,
muitas vezes, chamada de Lgica Tradicional.
A Lgica Clssica caracteriza-se por respeitar os trs princpios tradicionais: Princpio de Identidade, Princpio de No-Contradio e Princpio do Terceiro Excludo.
Feita essa breve digresso, vamos voltar linguagem do Clculo de Predicados.
Assim como a linguagem ordinria, a linguagem formal tambm possui um alfabeto prprio, ou um conjunto de smbolos
essenciais. Possui, tambm, uma gramtica para que possamos
distinguir as expresses bem formadas das mal formadas. Por
exemplo, "+ = (9 X 6) e (9 X 6) + 3 = 57" so expresses da linguagem da aritmtica; porm, s a segunda uma expresso bem
formada.
Dissemos na introduo que o sujeito denota um indivduo
particular. No devemos concluir disso que o termo indivduo se
refira apenas a pessoas. No enunciado "Este livro excelente", o
Claretiano -

REDE DE EDUCAO

Sintaxe do Clculo de Predicados

73

sujeito do enunciado "este livro" e, tambm, o "indivduo" que


o sujeito denota.
Esclarecido esse ponto, passemos s definies das expresses bsicas de nossa linguagem. Usaremos letras minsculas de
a at w para designar indivduos. Chamaremos esses smbolos de constantes individuais.
uma prtica comum designar um indivduo pela primeira
letra de seu nome. Desse modo, os indivduos Carlos, mesa,
livro e Sergipe, podem ser representados respectivamente pelas letras c, m, l e s.
Podemos dizer, ento, que as constantes individuais funcionam como nomes. Elas podem substituir nomes prprios como
Maria, Paulo, Simone assim como descries definidas, por
exemplo, "o atual presidente do Brasil".
Vamos simbolizao dos predicados?
Dissemos anteriormente que um predicado designa a propriedade que se atribui ao indivduo. Empregaremos letras maisculas de A at W para designar propriedades. Chamaremos esses
smbolos de constantes de predicado, e seguiremos esse princpio
adotado no uso dessas constantes. Assim, os predicados de ser
feliz, gentil e honesto podem ser representados respectivamente por F, G, H.
Suponha que desejemos traduzir para a linguagem de Clculo de Predicados CP de agora em diante o enunciado Fausto mdico. Teramos, ento, a seguinte formalizao: Mf. Note
que, na linguagem do CP, o smbolo de predicado escrito antes
da constante individual. Essa prtica, porm, apenas convencional. Nada nos impede de fazermos ao contrrio. preciso, claro,
usar a notao de forma homognea. Como usual escrevermos
as constantes de predicado antes das constantes individuais, adotaremos essa prtica neste Caderno de Referncia de Contedos.

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

Sintaxe do Clculo de Predicados

75

A proposio "Todos so inteligentes" uma proposio que


no se refere apenas a um ser em particular, mas a todos eles. Para
representarmos esse tipo de proposio, utilizaremos o smbolo
", que procura simbolizar as locues para todo, qualquer
que seja, todos, e assim por diante. Com essa notao, podemos formalizar essa proposio da seguinte forma: x(Ix), e lemos: Para todo x, x inteligente.
O smbolo conhecido como quantificador universal, visto que ele procura simbolizar proposies universais, ou seja, proposies referentes a todos os membros da classe designada pelo
seu termo sujeito. O quantificador universal ser sempre seguido
de uma varivel. Ele estende uma determinada propriedade a todos os indivduos de uma classe. Assim, temos que a proposio
x(Px) pode ser lida: a propriedade P vale para todo x.
Costumamos chamar o smbolo $ de quantificador existencial e este corresponde, em portugus, alm da expresso j citada, aos termos algum, alguns, algum etc. Sobre os quantificadores, Susan Haack afirma:
Frege, que inventou a teoria da quantificao deu grande nfase
importncia de deslocar a ateno da distino sujeito-predicado
para a distino funo-argumento. Uma conseqncia, essencial
adequao do formalismo para representar o argumento matemtico, admitir relaes, uma vez que se podem ter funes de mais
de um argumento. Uma outra, que mais relevante para nossos
propsitos atuais, admitir funes de segundo nvel, a categoria
dos quantificadores. Por exemplo, dizer que existem ces de trs
pernas, de acordo com Frege, dizer que o conceito co de trs
pernas no vazio (HAACK, 2002, p. 72).

Cabe lembrar que o quantificador existencial vem sempre


seguido de uma varivel, da mesma forma que o quantificador
universal.
Existe, ainda, outra forma de proposio geral, a saber: "algum professor". Essa proposio considerada geral, porque
no sabemos a que indivduo a proposio se refere. Embora a
proposio se refira a um indivduo particular, este no est deter-

76

Lgica II

minado. Outra forma de escrever a proposio acima : existe um


x tal que x professor. Utilizaremos o smbolo $ para simbolizar
a frase existe um x tal que, e assim, a nossa proposio pode ser
simbolizada da seguinte maneira: $x(Px), onde lemos: existe um x
tal que x professor.
Com a introduo dos quantificadores, completamos a linguagem do CP. Essa linguagem permite-nos simbolizar frases com
sujeito e predicado da linguagem corrente. Na prxima unidade,
estudaremos, com o recurso desta linguagem, as proposies categricas que voc j estudou em Lgica I.

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

Sintaxe do Clculo de Predicados

77

esticos consiste em considerar que os valores de verdade (isto , verdadeiro


ou falso) das frases declarativas que contm conectivos como e, se, ou,
so determinados apenas pelos valores de verdade das frases ligadas pelos
conectivos da mesma forma que o valor de verdade da frase Joo gordo
e Maria magra depende apenas dos valores de verdade de Joo gordo
e de Maria magra. As frases compostas, no sentido tcnico dos lgicos,
so tratadas como funes de verdade das frases simples que entram na sua
composio. O Begriffschrift de Frege contm a primeira formulao sistemtica
do clculo proposicional; este apresentado sob uma forma axiomtica, na qual
todas as leis da lgica so derivadas, por meio de regras de inferncia, a partir
de um certo nmero de princpios primitivos.
A maior contribuio de Frege para a lgica foi a sua inveno da teoria da
quantificao; isto : um mtodo para simbolizar e exibir rigorosamente as
inferncias cuja validade depende de expresses como todos ou alguns,
qualquer ou cada um, nada ou nenhum. Este novo mtodo permitiu-lhe,
entre outras coisas, reformular a silogstica tradicional.
Existe uma analogia entre a inferncia
Todos os homens so mortais.
Scrates um homem.
Logo, Scrates mortal.
e a inferncia
Se Scrates um homem, Scrates mortal.
Scrates um homem.
Logo, Scrates mortal.
A segunda uma inferncia vlida no clculo proposicional (se p, ento q; dado
que p, segue-se que q). Mas nem sempre pode ser considerada uma traduo
da primeira inferncia, uma vez que a sua primeira premissa parece afirmar
algo acerca de Scrates em particular, ao passo que se Todos os homens so
mortais for verdadeira, ento
Se x um homem, x mortal.
ser verdadeira independentemente do nome que substituir a varivel x. De facto,
esta frase continuar a ser verdadeira mesmo que x seja substituda por um nome
que no designe homem algum, uma vez que nesse caso a antecedente falsa
e, de acordo com as regras verofuncionais para frases declarativas condicionais,
a frase na sua totalidade ser verdadeira. Assim, podemos exprimir a proposio
tradicional
Todos os homens so mortais.
desta forma:
Para todo o x, se x um homem, x mortal.
Esta reformulao constitui a base da teoria da quantificao de Frege; para
vermos como isso acontece, temos que explicar de que forma Frege concebeu
cada um dos elementos que contribuem para formar uma frase complexa.
Frege introduziu a terminologia da lgebra na lgica. Pode dizer-se que uma
expresso algbrica como x/2 + 1 representa uma funo de x; o valor do nmero
representado pela expresso na sua globalidade depender da substituio
que se fizer para a varivel x, ou, em terminologia tcnica, do argumento que
tomarmos para a funo. Assim, o valor da funo 3 se o argumento for 4, e

78

Lgica II

4 se o argumento for 6. Frege aplicou esta terminologia (argumento, funo,


valor) tanto a expresses da linguagem comum como a expresses em notao
matemtica. Substituiu as noes gramaticais de sujeito e de predicado pelas
noes matemticas de argumento e de funo e, a par dos nmeros, introduziu
os valores de verdade como valores possveis de expresses. Assim, x um
homem representa uma funo que toma o valor verdadeiro para o argumento
Scrates e o valor falso para o argumento Vnus. A expresso para todo
o x, que introduz a frase anterior, diz, em termos fregianos, que o que se lhe
segue (se x um homem, x mortal) uma funo verdadeira para qualquer
argumento. A uma expresso deste tipo chama-se quantificador.
Alm de para todo o x, o quantificador universal, existe tambm o quantificador
particular para algum x, que diz que o que se lhe segue verdadeiro para
pelo menos um argumento. Ento, alguns cisnes so pretos pode representarse num dialecto fregiano como para algum x, x um cisne e x preto. Pode
considerar-se que esta frase equivalente a existem coisas que so cisnes
pretos; e, na verdade, Frege usou o quantificador particular para representar a
existncia. Assim, Deus existe ou h um Deus representada no seu sistema
por para algum x, x Deus.
O uso da sua nova notao para a quantificao permitiu a Frege apresentar um
clculo que formalizou a teoria da inferncia de uma forma mais rigorosa e mais
geral do que a tradicional silogstica aristotlica, a qual, at poca de Kant, fora
considerada o supra-sumo da lgica. Depois de Frege, a lgica formal podia,
pela primeira vez, lidar com argumentos que envolviam frases com quantificao
mltipla, frases que eram, por assim dizer, quantificadas em ambos os extremos,
tais como ningum conhece toda a gente e qualquer criana em idade escolar
pode dominar qualquer lngua (KENNY, 2012).

Para compreender melhor os quantificadores, importante


que voc faa os exerccios propostos no tpico a seguir.

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

Sintaxe do Clculo de Predicados

79

De trs prisioneiros que estavam num certo crcere, um tinha viso


normal, o segundo, era caolho e o terceiro totalmente cego. Os trs
eram, pelo menos, de inteligncia mdia.
O carcereiro disse aos prisioneiros que, de um jogo de trs chapus
brancos e dois vermelhos, escolheria trs e coloc-los-ia em suas
cabeas. Cada um deles estava proibido de ver a cor do chapu que
tinha em sua prpria cabea.
Reunindo-os, o carcereiro ofereceu a liberdade ao prisioneiro com
viso normal, se este fosse capaz de dizer a cor do chapu que tinha
na cabea. O prisioneiro confessou que no podia dizer. A seguir,
o carcereiro ofereceu a liberdade ao prisioneiro que tinha um s
olho, na condio de que dissesse a cor de seu chapu. O caolho
confessou que tambm no sabia diz-lo. O carcereiro no se deu
ao trabalho de fazer idntica proposta ao prisioneiro cego, mas
insistncia deste, concordou em dar-lhe a mesma oportunidade.
O prisioneiro cego abriu, ento, um amplo sorriso e disse: "No
necessito da minha vista; pelo que meus amigos com olhos disseram,
vejo claramente, que o meu chapu _________________!.

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

PRIEST, G. Designadores e Quantificadores. Disponvel em: <http://criticanarede.com/


html/quantificadores.html>. Acesso em: 7 maio 2012.

11. REFERNCIAS BIBLIOGRFICAS


COPI, I. M. Introduo lgica. So Paulo: Mestre Jou, 1978.
DA COSTA, N. Ensaio sobre os fundamentos da lgica. So Paulo: Hucitec, 1994.
HAACK, S. Filosofia das lgicas. So Paulo: UNESP, 1998.
HAIGHT, M. A serpente e a raposa: uma introduo lgica. So Paulo: Loyola, 2003.
KNEALE, W.; KNEALE, M. O desenvolvimento da lgica. Lisboa: Calouste Gulbenkian,
1991.
MATES, B. Lgica elementar. So Paulo: Nacional/EDUSP, 1967.
MORTARI, C. A. Introduo lgica. So Paulo: UNESP, 2001.
QUINE, W. V. O. Existncia e quantificao. So Paulo: Abril Cultural, 1975. (Coleo Os
Pensadores).
______. Sobre o que h. So Paulo: Abril Cultural, 1975. (Coleo Os Pensadores).
RUSSELL, B. Da denotao. So Paulo: Abril Cultural, 1974. (Coleo Os Pensadores).
SIMPSON, T. M. Linguagem, realidade e significado. Traducao de Paulo Alcoforado So
Paulo: Livraria Francisco Alves/EDUSP, 1976.

Claretiano -

REDE DE EDUCAO