ENSINO DE LGICA E FILOSOFIA DA

LINGUAGEM
O QUE LGICA: ORIGEM E
FUNDAMENTOS
JOS BELIZARIO NETO

ALGUNS CONCEITOS FUNDAMENTAIS

LGICA
Etimologicamente, a palavra lgica vem do grego, o estudo
do logos, significando: palavra, discurso, razo, proporo, etc .
A lgica interpretada como um caminho para raciocinar
corretamente (raciocnio dedutivo), que na origem foi chamada
pelos estudiosos de Aristteles de Organon para as cincias.
Lgica a cincia das formas do pensamento (LIARD, 1979, p.
10)

(...) Cincia geral da inferncia. A lgica dedutiva, na qual a concluso

se segue de um conjunto de premissas, distinguindo-se da lgica
indutiva, que estuda a maneira como as pessoas podem sustentar uma
concluso sem no entanto a implicar. (...) (BLACKBURN, 1997, p. 229).

(...) o estudo da lgica o estudo dos mtodos e princpios

usados para distinguir o raciocnio correto do incorreto.
Naturalmente, esta definio no pretende afirmar que s
possvel argumentar corretamente com uma pessoa que tenha
estudado lgica. (COPI, 1978, p.19).

Algumas particularidades da lgica enquanto disciplina

acadmica:
Nasce no ceio da filosofia, mas depois passa a desempenhar
um papel importante para a fundamentao de outras reas
do conhecimento, tais como a matemtica, a cincia da
computao, o direito, etc.

Um argumento um conjunto de proposies que se

relacionam de forma interdependentes, sendo constitudo de
dois elementos: premissas (ponto de partida para formar o
raciocnio) e concluso (proposio ou ponto final que se
chega aps raciocinar).
Inferncia: um conjunto de pensamentos e raciocnios que as
pessoas defendem cotidianamente, obedecendo ou no
formalizao lgica. Portanto, uma inferncia um enunciado
que aps justificado por outros enunciados de forma
coerente, torna-se um argumento.
Conjuntos de enunciados que no se inter-relacionam de
forma coerente no constituem argumentos.

Vejamos um conjunto de enunciados que no um argumento:

Os pesquisadores da filosofia estudam textos das Cincias
Humanas, mas os pesquisadores da Matemtica no. Ora, os
pesquisadores da Matemtica estudam textos das Cincias
Exatas. Logo, os administradores se preocupam com a tica
Profissional.
Vejamos um conjunto de enunciados que um argumento:
Se os pesquisadores da filosofia estudam textos das Cincias
Humanas, ento tero uma boa desenvoltura durante os debates
sobre os clssicos da Histria da Filosofia. Ora, os pesquisadores
da filosofia estudam textos das Cincias Humanas. Portanto,
tero uma boa desenvoltura durante os debates sobre os
clssicos da Histria da Filosofia

Grosso modo, um argumento uma concluso

que mantm certas relaes com as provas que
a confirmam e evidenciam. Em termos mais
precisos, o argumento uma coleo de
enunciados que se relacionam mutuamente. Um
argumento consiste em um enunciado que a
concluso e em um ou mais enunciados que
formam as provas comprovadoras (SALMON, p.
2)

Argumento, inferncia, e raciocnio so termos

praticamente equivalentes. Fazer uma inferncia apresentar
um argumento, e raciocinar retirar concluses a partir de
premissas. Pensar em grande parte raciocinar. Um
argumento um conjunto de afirmaes de tal forma
organizadas que se pretende que uma delas, a que se chama
concluso, seja apoiada pelas outras, a que se chamam
premissas. O que se pretende num argumento vlido que
as suas premissas estejam de tal forma organizadas que
arrastem consigo a concluso. Uma boa analogia pensar
nas premissas e na concluso como elos de uma corrente; se
o argumento for vlido, puxamos as premissas e a
concluso vem agarrada a elas; se for invlido, puxamos
as premissas mas a concluso no vem agarradas a elas.
(MURCHO, 2003, p. 11)

Verdade e Validade
De acordo com Salmon (1993, p. 11), a validade
uma propriedade dos argumentos, que so grupos de
enunciados, e no enunciados individuais. Por outro
lado, a verdade uma propriedade de enunciados
individuais ou isolados, no de argumentos
Neste contexto, no correto afirmarmos que um
argumento verdadeiro, e que um enunciado
isoladamente vlido.

Na perspectiva da verdade ou validade de um

argumento, duas condies devem ser investigadas:
a) Se as premissas so verdadeiras.
b) Se h uma relao adequada entre as premissas e a
concluso.
No contexto da argumentao da lgica, estamos
apenas interessados em estudar os critrios de
validade dos argumentos, no nos preocupando com a
verdade ou a falsidade dos enunciados que os
compem.

PROPOSIO: expresso verbal ou simblica suscetvel

de ser verdadeira ou falsa.
SENTENAS PROPOSICIONAIS: so sentenas
declarativas.
SENTENAS QUE NO SO PROPOSICIONAIS: so
sentenas interrogativas, imperativas (ordens,
conselhos, pedidos) e exclamativas.

FRASE AMBGUA: uma mesma frase exprimindo mais

de uma proposio.
DOIS TIPOS DE AMBIGUIDADES:
1)SEMNTICA: resultante da ambiguidade do
significado das palavras que ocorrem na frase.
EXEMPLO: Jos est segurando uma manga
2) SINTTICA: resulta do modo como as palavras esto
concatenadas
Exemplo: O Joo viu a Maria com os binculos

Os padres de crtica da Lgica so aplicveis a

qualquer rea de estudo em que a inferncia e o
argumento sejam empregados a qualquer domnio
onde as concluses devam presumivelmente apoiar-se
em provas. Isto inclui todas as reas que exijam srio
esforo intelectual, assim como os casos prticos da
vida cotidiana (SALMON PREFCIO DO LIVRO
LGICA).

SENTIDO TCNICO DOS TERMO LGICA E ILGICO

As palavras lgica e ilgico so familiares a todos ns.
Falamos freqentemente de comportamento lgico em
contraste com um comportamento ilgico, de procedimento
lgico em oposio a um ilgico, de explicao lgica, de
esprito lgico etc. Em todos estes casos, a palavra lgica
usada, fundamentalmente, na mesma acepo de razovel.
Uma pessoa com esprito lgico uma pessoa razovel; um
processo irrazovel aquele que se considera ilgico. Todos
estes usos podem ser considerados como derivativos de um
sentido mais tcnico dos termos lgica e ilgico para
caracterizar os argumentos racionais. (COPI, 1978, p.19).

Este campo do conhecimento filosfico evoluiu

a partir da lgica moderna que usa smbolos
especiais, provenientes, por exemplo, da
lgebra.

CAMPOS DA LGICA: inferncia, coerncia, concluso

consistente etc.
IMPORTNCIA DA LGICA PARA DIFERENTES REAS DO
CONHECIMENTO
(...) a Lgica de fundamental importncia nas cincias da
computao. (...) Tambm no Direito, a Lgica importante. As
peties elaboradas pelos advogados devem ser absolutamente
coerentes. Elas no podem descrever acontecimentos e,
posteriormente, desdiz-los. Quanto menos coerentes elas
forem, ou seja, quanto mais equvocos lgicos tiverem, mais fcil
ser para os adversrios contestarem-nas (NAHRA e WEBER,
1997, p. 121-122).

A lgica de fundamental importncia no campo filosfico, pois

ao longo da histria da filosofia, os filsofos procuram de forma
implcita ou explcita defender suas idias atravs de argumentos
slidos e relevantes. Para tais objetivos, faz-se necessrio
compreender o uso da validade; e essa compreenso fornecida
atravs do estudo da lgica. Sendo assim, a lgica no contexto
filosfico ajuda a clarificar o nosso pensamento e a evitar erros
de raciocnio.
A lgica desenvolve um papel fundamental servindo de
instrumento racional para a compreenso do pensamento
humano nas diversas reas do conhecimento.

TRS PRINCPIOS LGICOS FUNDAMENTAIS :

1) PRINCPIO DA IDENTIDADE:
Toda proposio sempre idntica a si mesma.
2) PRINCPIO DA NO-CONTRADIO:
Uma proposio no pode ser verdadeira e falsa ao
mesmo tempo.
3) PRINCPIO DO TERCEIRO EXCLUDO:
Uma proposio s pode ser verdadeira ou falsa, no
havendo terceira possibilidade.

SISTEMATIZAO DA LGICA COM ARISTTELES,

NO SCULO IV A. C. (384-322 A. C.).
Aristteles considerado o pai da lgica.
Definio da lgica como um mtodo do discurso
demonstrativo.
O uso dos termos: "vlido", "no-vlido",
"contraditrio", "universal" e "particular.
Limitaes da Lgica Aristotlica: Assentar-se no uso da
linguagem natural e reduo da lgica ao silogismo
feita pelos seguidores de Aristteles

Os escritos aristotlicos sobre a Analtica (presentes no

Organon) no foram organizados por Aristteles, nem o
contedo de tais escritos fora denominado Lgica pelo
estagirita.

A premissa uma orao que afirma ou nega alguma

coisa de algum sujeito. Esta orao pode ser universal,
particular ou indefinida. (...) Chamo de termo aquilo
em que a premissa se resolve, a saber, tanto o
predicado quanto o sujeito, quer com a adio do
verbo ser, quer com a remoo de no ser. O silogismo
uma locuo em que, uma vez certas suposies
sejam feitas, alguma coisa distinta delas se segue
necessariamente devido mera presena das
suposies como tais. (ARISTTELES, 2005, p. 111-113)

Definio das Figuras do Silogismo

Nazito da Costa Jr. cita Robin Smith que, em sua obra: A Lgica
de Aristteles define as figuras do Silogismo da seguinte forma:
Aristteles chama os termos partilhados pelas premissas de
termo mdio e cada um dos outros dois termos das premissas
de extremos. O termo mdio deve ser sujeito ou predicado de
cada premissa e isto pode ocorrer de trs maneiras: o termo
mdio pode ser o sujeito de uma e o predicado da outra,
predicado nas duas premissas ou sujeito nas duas premissas.
Aristteles se refere a esses arranjos como figuras (SMITH apud
COSTA JR., 2001, 50).

AS CONTRIBUIES DE KURT GDEL (1906-1978)

O incio da dcada de 30 do sculo XX foi marcado por mudanas
revolucionrias no mbito da Matemtica e da Lgica. Estas mudanas
foram desencadeadas por Kurt Gdel, um lgico matemtico alemo
do Sudeste (natural da Tchecoslovquia) que em 1931 escreveu um
artigo intitulado ber formal unentscheidbare Stze der Principia
Mathematica und verwandter Systeme (Sobre as Proposies
Indecidveis dos Princpia Mathematica e Sistemas Correlatos). Este
artigo foi um marco na histria da lgica e da matemtica, e as
condies estabelecidas por Gdel, so hoje amplamente
reconhecidas como sendo revolucionrias em sua profunda
significao filosfica, bem como sendo uma das grandes descobertas
cientficas do sculo XX (BELLIZARIO, DISSERTAO DE MESTRADO,
2006).
Neste artigo, Gdel estabelece resultados que determinam limites ao
mtodo formal axiomtico.

As concluses de Gdel versam sobre o problema de saber se

possvel construir uma mquina de calcular comparvel ao
crebro humano em inteligncia matemtica. (...) O crebro
humano, pode, na verdade, ter limitaes prprias inerentes, e
talvez existam problemas matemticos que ele seja incapaz de
resolver. Mas, ainda assim, o crebro parece corporificar uma
estrutura de regras de operao muito mais poderosa do que a
estrutura das mquinas artificiais comumente concebidas. No
h perspectiva imediata de substituir a mente humana por
robs. A prova de Gdel no pode ser apresentada com um
convite ao desespero ou como uma desculpa para o trfico de
mistrios. (...) O teorema indica que a estrutura e o poder da
mente humana so bem mais complexos e sutis que os de
qualquer mquina no viva at agora considerada. (...) uma
oportunidade, no para desanimar, mas para uma apreciao
renovada dos poderes da razo criativa (NAGEL, NEWMAN,1973,
p. 86- 88).

AS CONTRIBUIES DE ALLAN TURING (1912-1954)

Em1936 Allan Turing apresentou uma mquina ideal a qual ficou
conhecida como Mquina de Turing - um mecanismo ideal
provido de um cabeote de leitura e de uma fita infinita
esquerda e direita, dividida em quadrados.
Um dos desdobramentos dos resultados alcanados por Gdel
a noo de algoritmo ou computao efetiva desenvolvida pelo
lgico matemtico ingls Alan Turing

ARISTTELES. Organon: Categorias; Da interpretao, Analticos anteriores,

Analticos posteriores, Tpicos, Refutaes sofsticas; traduo, textos
adicionais e notas Edson Bini / Bauru, SP: EDIPRO, 2005. (Srie Clssicos
Edipro).
BLACKBURN, Simon. Dicionrio Oxford de Filosofia. Rio de Janeiro: Jorge
Zahar Editor, 1997.
COPI, Irving. Introduo Lgica. So Paulo: Mestre Jou, 1978.
CURY, Mrcia Xavier. Introduo Lgica. So Paulo: rica, 1996.
HEGENBERG, Leonidas. Lgica: O Clculo Sentencial So Paulo: Editora
Herder, 1973.
KNEALE, William. KNEALE, Martha. O Desenvolvimento da Lgica. Traduo
de M. S. Loureno.2a. Edio. Lisboa: Fundao Calouste Gulbenkian, 1982.

MURCHO, Desidrio. O lugar da lgica na filosofia. Lisboa: Pltano Edies

tcnicas, 2003.
RUSSELL, Bertrand. Introduo Filosofia Matemtica. Traduo de Giasone
Rebu. Terceira Edio. Rio de Janeiro RJ: Zahar Editores, 1974.
SALMON, Wesley C. Lgica. Traduo de lvaro Cabral; terceira edio. Rio de
Janeiro RJ: LTC EDITORA, 1993.
SILVA, Jairo Jos da. Filosofia da Matemtica. So Paulo: Editora UNESP,
2007.
SILVESTRE, Ricardo Sousa. Um curso de lgica. Petrpolis, RJ: Vozes, 2011.