LÓGICA 2

MÓDULO 2
versão em preto e branco

Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES Página 7

Noções básicas de Lógica Simbólica

linguagem ordinária. À linguagem que iremos

1. A importância aprender na sequência, i.e., à linguagem da lógi-
truturas lógicas de proposições e argumentos cujas for-
mas podem ser obscurecidas pela pouca maleabilidade
dos símbolos lógicos ca formal, dá-se o nome de linguagem simbólica da linguagem corrente”.
artificial, visto que ela é usada apenas como fer-
O estudo da relação lógica dos argumentos é uma parte ramenta de análise lógica.
Para exemplificar a importância dos símbolos lógicos
central da lógica. Contudo, os argumentos proferidos na
que estudaremos na sequência, cabe aqui uma compa-
língua cotidiana – seja o português, o francês, inglês, etc.
Cabe ressaltar que a criação e uso de uma ‘linguagem ração: podemos comparar o avanço proporcionado pela
– são de difícil análise devido ao uso das palavras de forma
lógica especial’como instrumento de análise não está criação moderna dos símbolos lógicos com a evolução
vaga e superficial, além da presença das particularidades de
presente somente no período moderno do pensamento. propiciada pela substituição da numeração romana pela
cada língua, do uso de metáforas e da distração promovida
Basta lembrarmos a figura de Aristóteles, fundador da notação arábica. É nítido para todos que a compreen-
pelo uso de emoções na argumentação. A fim de minimizar
lógica na Grécia Antiga, que fez uso de várias notações são da notação dos algarismos árabes (1, 200, 1000...)
esses problemas presentes nas variadas línguas, pensadores
e símbolos para facilitar seu trabalho de pesquisa. Por é muito mais fácil que a notação romana (I, CC, M,...).
modernos da lógica criaram uma linguagem simbólica ar-
isso, conforme afirma Copi (1978, p. 225), é de suma im- Noutros termos, a manipulação dos números se dá de
tificial. Eles criaram essa linguagem para que ela servisse
portância ter em mente que, “embora a diferença entre forma mais fácil pela notação árabe. Contudo, a supe-
de instrumento para a análise lógica dos argumentos pro-
a lógica moderna e a lógica clássica não seja de es- rioridade verdadeira da notação árabe só é revelada para
feridos em um discurso.
sência, mas de grau, a diferença de grau é enorme. A nós por meio do cálculo. Perceba: qualquer adolescente
maior extensão em que a lógica moderna desenvolveu pode multiplicar com certa facilidade 117 por 12. Porém,
a sua própria linguagem técnica especial tornou-se um é uma tarefa muito mais complexa multiplicar CXVII por
FOQUE ATENTO! Chamamos a linguagem usa-
instrumento incomensuravelmente mais poderoso para XII – e a dificuldade tende sempre a aumentar quando
da no dia a dia - independente da língua ou do
a análise e a dedução. Os símbolos especiais da lógica usamos números maiores. De modo similar, ao usarmos
dialeto que falamos - de linguagem natural ou
moderna ajudam-nos a expor, com maior clareza, as es- uma notação especial na lógica, a análise das proposi-

Disciplina: Lógica 2    Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES
Noções básicas de Lógica Simbólica
ções e dos argumentos se torna muito mais simples e
eficiente. Sobre essa eficiência, cabe ressaltar o que diz
Alfred N. Whitehead, um dos maiores propagadores da
lógica simbólica.
Com auxílio do simbolismo, podemos fazer
transições no raciocínio quase mecanicamente
com os olhos, o que de outra maneira exigiria a
atuação das altas faculdades do cérebro. É uma
afirmação profundamente errônea, repetida por
todos os livros didáticos e por pessoas eminentes
quando eles estão fazendo discursos, que
deveríamos cultivar o hábito de pensar naquilo
que estamos fazendo. É exatamente o caso
oposto. A civilização avança ampliando o número
de operações importantes que podemos executar
sem pensar sobre as mesmas. As operações de
pensamento são como investidas da cavalaria
numa batalha – elas são estritamente limitadas em
número, elas que requerem cavalos descansados,
e apenas devem ser feitas em momentos decisivos
(WHITEHEAD, 1911).
Como podemos perceber, economizamos tempo e po-
demos avançar no pensamento se usamos instrumentos
que nos permitam isso. Essa é uma das grandes utilidades
da lógica simbólica, tanto para a filosofia, quanto para a
ciência e para a análise do discurso em geral.
versão em preto e branco
Página 8
APRENDENDO SOBRE
2. Introdução à lógica
OS FILÓSOFOS simbólica dos enunciados
Alfred Whitehead
2.1 Enunciados
Inserir aqui a imagem “whitehead.jpg”
Alfred Whitehead (1861-1947), lógico, matemá- Enunciados ou proposições são segmentos linguísticos
tico e metafísico britânico, reconhecido como um que têm sentido completo, ou seja, podem ser classifi-
dos grandes filósofos do século  XX. Nascido em cados como verdadeiros ou falsos. Noutras palavras, para
Ramsgate (Kent), a 15 de Fevereiro de 1861, Whi- que um segmento linguístico seja classificado como um
tehead estudou no Trinity College (Cambridge), enunciado ou proposição, ele deve obedecer a duas con-
onde ensinou matemáticas entre 1885 e 1911. Ensi- dições básicas:
nou matemáticas aplicadas e mecânica na Univer-
sidade de Londres entre 1911 e 1924,  filosofia na • Deve ter sentido completo;
Universidade de Harvard entre 1924 e 1936. Foi • Deve poder ser verdadeiro ou falso.
professor emérito de Harvard até sua morte, em 30
de Dezembro de 1947, e membro da Royal Society Para esclarecermos o que significa e como funcionam
e da Academia Britânica. Matemático brilhante, essas duas condições, observe as tabelas abaixo:
tendo dado enormes contribuições no campo da
matemática teórica, Whitehead tinha um grande Sentença: O mar é azul. SIM NÃO
conhecimento da filosofia e da literatura, e esta Tem sentido completo? x
preparação levou-o ao estudo das origens da ma- Pode ser classificado como ‘verdadeiro’ ou ‘falso’? x
temática e da filosofia da ciência, e ao desenvolvi- É um enunciado? x
mento de lógica simbólica. Em colaboração com o
seu aluno de Cambridge, o matemático e filósofo Sentença: Está frio hoje. SIM NÃO
britânico Bertrand Russell, escreveu os três volu- Tem sentido completo? x
mes de Principia mathematica (1910-1913), uma Pode ser classificado como ‘verdadeiro’ ou ‘falso’? x
das maiores obras sobre lógica e matemáticas.  É um enunciado? x

Disciplina: Lógica 2    Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES
Noções básicas de Lógica Simbólica
Sentença: Beija-me! SIM
Tem sentido completo? x
Pode ser classificado como ‘verdadeiro’ ou ‘falso’?
É um enunciado?
Sentença: Cachorro SIM
Tem sentido completo?
Pode ser classificado como ‘verdadeiro’ ou ‘falso’?
É um enunciado?
Sentença: Qual é seu nome? SIM
Tem sentido completo? x porque tal nos pareça ou porque tenhamos um
Pode ser classificado como ‘verdadeiro’ ou ‘falso’?
É um enunciado?
Perceba que mesmo uma única palavra isolada – como
cachorro, no quadro acima – pode ser uma sentença, mas
isso não faz dela um enunciado ou proposição. Por quê?
Pois não podemos classificá-la como verdadeira ou falsa,
e nem sabemos seu sentido completo (refere-se a um ca-
chorro específico? Ao marido? É um apelido?). Algo seme-
lhante se dá com ordens e perguntas: embora saibamos
seu sentido completo, não podemos dizer se são falsos ou
verdadeiros, pois eles não possuem valor de verdade.
FIQUE ATENTO! Denomina-se valor de verdade
ou valor lógico de uma sentença tanto o fato
de ela poder ser verdadeira, quanto o fato de ela
NÃO
poder ser falsa. Toda sentença bem formada pode
ser ou verdadeira ou falsa. É possível a uma sen-
tença ser simultaneamente verdadeira e falsa? Na
x
x
lógica que estudamos, que é chamada de trivial
ou clássica, essa situação é impossível – não há
‘meia-verdade’. Por isso, na lógica clássica, valem
NÃO
três princípios básicos:
x
x
1. Princípio de identidade: Uma coisa é o que é.
x
O que é, é; e o que não é não é. Esta formulação
remonta a Parmênides de Eléia, ou seja, A é A. O
NÃO princípio de identidade A = A é autoevidente, não
x sentimento de certeza de que é autoevidente, mas
x
porque sua contraditória, A ≠A, tem duplo sentido.
2. Princípio da Não Contradição: O Princípio
da Não Contradição foi formulado por Aristóte-
les em seus estudos sobre a lógica e diz que uma
proposição verdadeira não pode ser falsa e uma
proposição falsa não pode ser verdadeira. Ne-
nhuma proposição, portanto, pode ser os dois ao
mesmo tempo. O princípio da não-contradição é
representado do seguinte modo:
Exemplo: Não (“a bola é redonda” e “a bola não
é redonda”).
Segundo o princípio da não contradição, uma
proposição não pode ser verdadeira e falsa ao
versão em preto e branco
Página 9
mesmo tempo. Uma coisa não pode ser e não ser
ao mesmo tempo, segundo uma mesma perspec-
tiva. Ou seja, não posso dizer, por exemplo, que
“A Teresa é e não é Teresinense”.
Em termos de proposições: Uma proposição e a
sua negação não podem ser simultaneamente
verdadeiras; e duas proposições contraditórias
não podem ser simultaneamente verdadeiras.
Um bom exemplo para a lei da não contradi-
ção é a falaciosa afirmação que a verdade é
relativa. A afirmação que a verdade é relativa é
verdade? Ou seja, a exceção da verdade relativa
é a verdade absoluta, o que deixa a afirmação
sem sentido.
3. Princípio do Terceiro Excluído: O Princípio
do Terceiro Excluído nos diz que uma coisa deve
ser, ou então não ser; não há uma terceira pos-
sibilidade (o terceiro é excluído).
Em termos de proposições, temos os enuncia-
dos: Uma proposição é verdadeira, ou então é
falsa; não há outra possibilidade; Se encarar-
mos uma proposição e a sua negação, uma é
verdadeira e a outra é falsa, não há meio termo;
e de duas proposições contraditórias, se uma é
verdadeira, a outra é falsa, e se uma é falsa, a

Disciplina: Lógica 2    Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES
Noções básicas de Lógica Simbólica
outra é verdadeira, não há meio termo. Ou A é x
ou é y e não há terceira possibilidade.
Nesse sentido, temos que enunciados são frases que têm
sentido e são passíveis de determinar seu valor de verda-
de. Desse modo, alguns dos exemplos dados anteriormen-
te são facilmente compreendidos por qualquer falante da
língua portuguesa e o seu valor de verdade acessível.
Se alguém dissesse “The snow is white” e uma outra
pessoa dissesse “a neve é branca”, o pensamento com-
partilhado por esses dois enunciados - independente da
língua em que foram expressos - é o que chamamos de
proposição. Assim, proposição é o pensamento expresso
por um enunciado com sentido.
Valendo-nos ainda do enunciado do parágrafo anterior,
temos um termo quando a palavra ‘neve’ é pronunciada
ou escrita e o pensamento que nos remete tal palavra
será o conceito. Em resumo, o conceito é a noção abs-
trata que designa um ou mais objetos (classe) e o termo
é a representação do conceito.
Em uma perspectiva lógica, o conceito compreende exten-
são e compreensão. A extensão do conceito é o conjunto de
todos os membros que são designados por ele. Por exemplo,
homem abrange todos os indivíduos que são referidos por
este conceito. A compreensão do conceito, por seu turno, é
o conjunto de características referidas pelo conceito.
2.2 Representação de enunciados
simples e enunciados compostos
Podemos classificar os enunciados ou proposições em
dois tipos, a saber, simples e compostos. Os enunciados
simples são aqueles que não contêm qualquer outro
enunciado como seu componente. Ou seja, todo enun-
ciado que não é composto, é simples. Exemplos: “a folha
é verde”, “O São Paulo F.C. é o melhor time”, “A cerveja
está gelada”, etc. Todos esses são exemplos de enuncia-
dos simples, pois, como vimos, possuem sentido com-
pleto e também valor de verdade (independente se são
verdadeiros ou falsos).
Diferentemente dos enunciados simples, os enunciados
compostos são aqueles que possuem dois ou mais enun-
ciados simples, combinados por meio de palavras como
“e”, “ou”, “se... então”, e “somente se... então”. Para exem-
plificar, têm-se os seguintes enunciados compostos:
• João é calvo e Mara está sentada.
• A fila é preferencial para gestantes ou deficientes.
• Se o meu time ganhar, então farei uma festa.
• João terá filho se – e somente se - Mara quiser casar.
Todos os enunciados acima são compostos e apresentam,
obviamente, a junção de enunciados simples.
Representamos os enunciados mediante sinais. Repre-
sentar é “estar por”. Isso significa que os sinais substi-
versão em preto e branco
Página 10
tuem enunciados quaisquer. Costumamos usar as letras
como “p”, “q”, “r”, “s”, “t” e assim por diante para repre-
sentar enunciados simples. Para sinais especiais, usamos
símbolos como “ ”,“V”,“V” “—”, “—” e “¬”. Explicaremos, na
V
sequência, o uso de cada um desses símbolos.
Veja a tabela abaixo a relação que podemos estabelecer
entre os símbolos e os enunciados simples.
Enunciados Simples Representação
João é Calvo. P
Mara está sentada. Q
A fila é preferencial para gestantes. R
Observe que essa é apenas uma sugestão de representa-
ção para os enunciados. Assim sendo, eles não precisam
necessariamente ser representados por essas letras, i.e.,
você pode usar a letra que quiser para representá-los.
Logo, é possível representarmos o enunciado “João é
Calvo” com a letra “x” em vez invés da letra “p”. O mesmo
vale para os outros enunciados simples.
Entretanto, como proceder para representar logicamente
enunciados compostos? Para explicar o modo como de-
vemos representar os enunciados compostos, retomemos
os exemplos anteriores.
1. João é calvo e Mara está sentada.
2. João é calvo ou Mara está sentada.

Disciplina: Lógica 2    Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES
Noções básicas de Lógica Simbólica
3. Se João é calvo então Mara está sentada.
4. Se e somente se João é calvo Mara está sentada.
Como podemos observar, todos os quatro exemplos acima
são composto pelos mesmos enunciados simples, a saber:
a. Enunciado simples 1: “João é Calvo”
b. Enunciado simples 2: “Mara está sentada”.
Porém, um exame superficial sobre o emprego das pala-
vras já basta para nos fornecer a certeza de que os enun-
ciados compostos acima têm distintos sentidos que são
fornecidos pelas palavras especiais marcadas em itálico.
Tais termos informam o modo pelo qual os enunciados
simples estão sendo relacionados, formando, pela ordem,
os seguintes enunciados compostos: conjunção, disjun-
ção, condicional e bicondicional. Para cada uma dessas
relações, teremos um operador lógico distinto. Analisa-
remos todos eles no próximo capítulo.
3. Contato com textos filosóficos
3.1. Anthony Kenny – História
Concisa da Filosofia Ocidental
ESCLARECIMENTO: Anthony Kenny é um dos mais
renomados historiadores da filosofia. Na sequência,
você terá acesso a uma parte de sua obra História
Concisa da Filosofia Ocidental na qual ele trata da
importância do pensamento de Gottlob Frege para
o desenvolvimento da lógica e da filosofia. A com-
preensão da importância da revolução fregeana na
lógica é basilar para o entendimento de problemas
filosóficos contemporâneos.
A lógica de Frege
O acontecimento mais importante na história da filosofia
do século XIX foi a invenção da lógica matemática. Não
se tratou apenas de fundar de novo a própria ciência da
lógica; foi algo que teve igualmente consequências im-
portantes para a filosofia da matemática, para a filosofia
da linguagem e, em última análise, para a compreensão
que os filósofos têm sobre a natureza da própria filosofia.
O principal fundador da lógica matemática foi Gottlob
Frege. Nascido na costa báltica alemã em 1848, Frege
(1848-1925) doutorou-se em Filosofia em Göttingen e
ensinou na Universidade de Jena de 1874 até se reformar,
em 1918. Exceto no que respeita à atividade intelectual,
a vida de Frege foi rotineira e isolada. O seu trabalho foi
pouco lido enquanto viveu, e mesmo depois da sua mor-
te só exerceu influência por intermédio dos escritos de
outros filósofos. Mas, gradualmente, reconheceu-se que
Frege foi o maior de todos os filósofos da matemática e
que, como filósofo da lógica, foi comparável a Aristóteles.
versão em preto e branco
Página 11
A sua invenção da lógica matemática foi uma das maiores
contribuições para os desenvolvimentos, em diversas dis-
ciplinas, que estiveram na origem da invenção dos com-
putadores. Dessa forma, Frege afetou a vida de todos nós.
A produtiva carreira de Frege começou em 1879 com a pu-
blicação de um opúsculo intitulado Begriffschrift, ou Es-
crita Conceptual. A escrita conceptual que deu o título
ao livro consistia num novo simbolismo concebido com
o fim de exibir claramente as relações lógicas escondidas
na linguagem comum. A notação de Frege, logicamente
elegante, mas tipograficamente incômoda, já não é usa-
da em lógica simbólica; mas, o cálculo por ele formulado
constitui desde então a base da lógica moderna.
Em vez de fazer da silogística aristotélica a primeira
parte da lógica, Frege atribuiu esse lugar a um cálculo
inicialmente explorado pelos estoicos: o cálculo propo-
sicional, ou seja, o ramo da lógica que trata das infe-
rências que assentam na negação, conjunção, disjunção,
etc., quando aplicadas a frases declarativas no seu todo.
O seu princípio fundamental — que remonta igualmen-
te aos estoicos — consiste em considerar que os valores
de verdade (isto é, verdadeiro ou falso) das frases decla-
rativas que contêm conectivos como “e”, “se”, “ou”, são
determinados apenas pelos valores de verdade das frases
ligadas pelos conectivos — da mesma forma que o valor
de verdade da frase “João é gordo e Maria é magra” de-
pende apenas dos valores de verdade de “João é gordo”

Disciplina: Lógica 2    Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES
Noções básicas de Lógica Simbólica
e de “Maria é magra”. As frases compostas, no sentido
técnico dos lógicos, são tratadas como funções de ver-
dade das frases simples que entram na sua composição.
O Begriffschrift de Frege contém a primeira formulação
sistemática do cálculo proposicional; este é apresentado
sob uma forma axiomática, na qual todas as leis da ló-
gica são derivadas, por meio de regras de inferência, a
partir de um certo número de princípios primitivos.
A maior contribuição de Frege para a lógica foi a sua
invenção da teoria da quantificação; isto é: um méto-
do para simbolizar e exibir rigorosamente as inferências
cuja validade depende de expressões como “todos” ou
“alguns”, “qualquer” ou “cada um”, “nada” ou “nenhum”.
Este novo método permitiu-lhe, entre outras coisas, re-
formular a silogística tradicional.
Existe uma analogia entre a inferência
• Todos os homens são mortais.
• Sócrates é um homem.
• Logo, Sócrates é mortal.
e a inferência
• Se Sócrates é um homem, Sócrates é mortal.
• Sócrates é um homem.
• Logo, Sócrates é mortal.
A segunda é uma inferência válida no cálculo proposicio-
nal (se p, então q; dado que p, segue-se que q). Mas, nem
sempre pode ser considerada uma tradução da primeira in-
ferência, uma vez que a sua primeira premissa parece afir-
mar algo acerca de Sócrates em particular, ao passo que se
“Todos os homens são mortais” for verdadeira, então
• Se x é um homem, x é mortal.
será verdadeira independentemente do nome que subs-
tituir a variável  x. De fato, esta frase continuará a ser
verdadeira mesmo que x seja substituída por um nome
que não designe homem algum, uma vez que nesse caso
a antecedente é falsa e, de acordo com as regras vero-
funcionais para frases declarativas condicionais, a frase
na sua totalidade será verdadeira. Assim, podemos expri-
mir a proposição tradicional
• Todos os homens são mortais.
desta forma:
• Para todo o x, se x é um homem, x é mortal.
Esta reformulação constitui a base da teoria da quantifica-
ção de Frege. Para vermos como isso acontece, temos que
explicar de que forma Frege concebeu cada um dos ele-
mentos que contribuem para formar uma frase complexa.
Frege introduziu a terminologia da álgebra na lógica.
Pode-se dizer que uma expressão algébrica como  x/2 +
1 representa uma função de x; o valor do número repre-
sentado pela expressão na sua globalidade dependerá da
versão em preto e branco
Página 12
substituição que se fizer para a variável x, ou, em termino-
logia técnica, do argumento que tomarmos para a função.
Assim, o valor da função é 3 se o argumento for 4, e é
4 se o argumento for 6. Frege aplicou esta terminologia
(argumento, função, valor) tanto a expressões da lingua-
gem comum como a expressões em notação matemática.
Substituiu as noções gramaticais de sujeito e de predicado
pelas noções matemáticas de argumento e de função e, a
par dos números, introduziu os valores de verdade como
valores possíveis de expressões. Assim, “x  é um homem”
representa uma função que toma o valor verdadeiro para
o argumento “Sócrates” e o valor falso para o argumento
“Vénus”. A expressão “para todo o x”, que introduz a frase
anterior, diz, em termos freguianos, que o que se lhe segue
(“se x é um homem, x é mortal”) é uma função verdadei-
ra para qualquer argumento. A uma expressão deste tipo
chama-se “quantificador”.
Além de “para todo o x”, o quantificador universal, exis-
te também o quantificador particular “para algum x”,
que diz que o que se lhe segue é verdadeiro para pelo
menos um argumento. Então, “alguns cisnes são pretos”
pode representar-se num dialeto freguiano como “para
algum x, x é um cisne e x é preto”. Pode-se considerar
que esta frase é equivalente a “existem coisas que são
cisnes pretos”; e, na verdade, Frege usou o quantifi-
cador particular para representar a existência. Assim,
“Deus existe” ou “há um Deus” é representada no seu
sistema por “para algum x, x é Deus”.

Disciplina: Lógica 2    Carga horária: 75 horas – 8 semanas     Professor: Filicio Mulinari / Sead - UFES
Noções básicas de Lógica Simbólica
O uso da sua nova notação para a quantificação per-
mitiu a Frege apresentar um cálculo que formalizou a
teoria da inferência de uma forma mais rigorosa e mais
geral do que a tradicional silogística aristotélica, a qual,
até a época de Kant, fora considerada o suprassumo da
lógica. Depois de Frege, a lógica formal podia, pela pri-
meira vez, lidar com argumentos que envolviam frases
com quantificação múltipla, frases que eram, por assim
dizer, quantificadas em ambos os extremos, tais como
“ninguém conhece toda a gente” e “qualquer criança em
idade escolar pode dominar qualquer língua”.
“Veremos que a filosofia da matemática de Frege está
intimamente ligada ao modo como ele entende vários
conceitos-chave de lógica e de filosofia; e, na verdade,
no Begriffschrift e nos Grundlagen, Frege não só fundou
a lógica moderna, mas também a disciplina filosófica mo-
derna de filosofia da lógica. Fê-lo ao traçar uma distinção
clara entre o tratamento filosófico da lógica e, por um
lado, a psicologia (com a qual fora por vezes confundida
pelos filósofos da tradição empirista), e, por outro, a epis-
temologia (com a qual fora por vezes fundida pelos filóso-
fos da tradição cartesiana). No entanto, não existe na sua
obra a mesma distinção clara entre lógica e metafísica; na
realidade, as duas estão estreitamente relacionadas.
Frege sustentava que se deve fazer uma distinção sis-
temática entre conceitos e objetos, correlatos ontoló-
gicos dos polos da distinção linguística corresponden-
te entre funções e argumentos. Os objetos são aquilo
que é designado pelos nomes próprios: existem objetos
de muitos tipos, desde seres humanos a números. Os
conceitos são itens que têm uma incompletude fun-
damental, que corresponde à lacuna assinalada numa
função pela sua variável. Nos pontos em que outros fi-
lósofos falavam ambiguamente sobre o significado de
uma expressão, Frege introduziu uma distinção entre
a referência de uma expressão (o objeto a que se refere:
o planeta Vénus é a referência de ‘Estrela da Manhã’)
e o sentido de uma expressão (‘A Estrela da Tarde’ tem
um sentido diferente de ‘A Estrela da Manhã’, apesar
de ambas as expressões, como os astrónomos desco-
briram, se referirem a Vénus.). Frege sustentava que a
referência de uma frase é o seu valor de verdade (isto
é, verdadeiro ou falso), e também que, numa linguagem
cientificamente respeitável, todos os termos têm de ter
uma referência e todas as frases declarativas devem ser
ou verdadeiras ou falsas. Muitos filósofos posteriores
adotaram a sua distinção entre sentido e referência,
mas a maior parte rejeitou a noção de que as frases
completas têm um tipo qualquer de referência.
versão em preto e branco
Página 13
O auge da carreira de Frege enquanto filósofo deveria ter
sido a publicação dos dois volumes de Die Grundgesetze
der Arithmetik (1893-1903), nos quais se propunha apre-
sentar com todo o rigor formal a construção logicista da
aritmética baseada na lógica pura e na teoria dos conjun-
tos. Esta obra deveria executar a tarefa esboçada nos an-
teriores livros sobre filosofia da matemática: deveria enun-
ciar um conjunto de axiomas constituído por verdades
reconhecidamente lógicas, propor um conjunto de regras
de inferência indiscutivelmente corretas e, então, por meio
dessas regras e a partir desses axiomas, apresentar uma a
uma as derivações das verdades canônicas da aritmética.
Este magnífico projeto abortou antes de estar completo.
O primeiro volume foi publicado em 1893. Quando o se-
gundo volume apareceu, em 1903, tinha-se descoberto
que o engenhoso método de Frege para construir a sé-
rie dos números naturais a partir unicamente de noções
lógicas continha uma deficiência fatal. A descoberta
devia-se ao filósofo inglês Bertrand Russell.”
KENNY, Anthony. História concisa da filosofia ociden-
tal. Trad. Desidério Murcho, Fernando Martinho, Maria
José Figueiredo, Pedro Santos e Rui Cabral. Lisboa: Temas
e Debates, 1999.