Beruflich Dokumente
Kultur Dokumente
1 O estudo da lgica
1
2 3 LGICA ARISTOTLICA
Lgica informal o estudo da argumentao em D-se o nome de Lgica aristotlica ao sistema lgico de-
lngua natural. O estudo de falcias um ramo senvolvido por Aristteles a quem se deve o primeiro es-
particularmente importante da lgica informal. Os tudo formal do raciocnio. Dois dos princpios centrais
Dilogos de Plato [6] so bons exemplos de lgica da lgica aristotlica so a lei da no-contradio e a lei
informal. do terceiro excludo.
Lgica formal o estudo da inferncia com con- A lei da no-contradio diz que nenhuma armao
tedo puramente formal. Uma inferncia possui um pode ser verdadeira e falsa ao mesmo tempo e a lei do
contedo puramente formal se ele pode ser expresso terceiro excludo diz que qualquer armao da forma *P
como um caso particular de uma regra totalmente ou no-P* verdadeira. Esse princpio deve ser cuidado-
abstrata, isto , uma regra que no sobre uma qual- samente distinguido do *princpio de bivalncia*, o prin-
quer coisa em particular. As obras de Aristteles cpio segundo o qual para toda proposio (p), ela ou a
contm o primeiro estudo formal da lgica. A l- sua negao verdadeira.
gica formal moderna segue e amplia o trabalho de A lgica aristotlica, em particular, a teoria do silogismo,
Aristteles.[7] Em muitas denies de lgica, infe- apenas um fragmento da assim chamada lgica tradici-
rncia lgica e inferncia com contedo puramente onal.
formal so a mesma coisa. Isso no esvazia a noo
de lgica informal, porque nenhuma lgica formal
captura todas as nuances da lngua natural. 3.1 Lgica formal
Lgica simblica o estudo das abstraes simb-
licas que capturam as caractersticas formais da in- A Lgica Formal, tambm chamada de Lgica Simb-
lica, preocupa-se, basicamente, com a estrutura do racio-
ferncia lgica.[8] [9] A lgica simblica frequente-
mente dividida em dois ramos: lgica proposicional cnio. A Lgica Formal lida com a relao entre conceitos
e a lgica de predicados. e fornece um meio de compor provas de declaraes. Na
Lgica Formal os conceitos so rigorosamente denidos,
Lgica matemtica uma extenso da lgica sim- e as oraes so transformadas em notaes simblicas
blica em outras reas, em especial para o estudo da precisas, compactas e no ambguas. As letras mins-
teoria dos modelos, teoria da demonstrao, teoria culas p, q e r, em fonte itlica, so convencionalmente
dos conjuntos e teoria da recurso. usadas para denotar proposies:
2 Histria p:1+2=3
Ver artigo principal: Histria da lgica Esta declarao dene que p 1 + 2 = 3 e que isso
verdadeiro.
O primeiro trabalho feito sobre o tema da lgica o de Duas proposies --ou mais proposies-- podem ser
Aristteles (na verdade, os sostas e Plato j haviam se combinadas por meio dos chamados operadores l-
dedicado a questes lgicas, o trabalho de Aristteles, gicos binrios , formando conjunes, disjunes ou
porm, mais amplo, rigoroso e sistematizado).[10][11] condicionais. Essas proposies combinadas so chama-
A lgica aristotlica tornou-se amplamente aceita em das proposies compostas. Por exemplo:
cincias e matemtica e manteve-se em ampla utiliza-
o no Ocidente at o incio do sculo XIX.[12] O sistema p: 1 + 1 = 2 e
lgico de Aristteles foi responsvel pela introduo do
silogismo hipottico,[13] lgica modal temporal[14][15] e Neste caso, e uma conjuno. As duas proposies po-
lgica indutiva.[16] Na Europa, durante o nal do perodo dem diferir totalmente uma da outra!
medieval, grandes esforos foram feitos para mostrar que
as ideias de Aristteles eram compatveis com a f crist. Na matemtica e na cincia da computao, pode ser ne-
Durante a Alta Idade Mdia, a lgica se tornou o foco cessrio enunciar uma proposio dependendo de vari-
principal dos lsofos, que se engajaram em anlises l- veis:
gicas crticas dos argumentos loscos (ver: Filosoa
crist). p: n um inteiro mpar.
Para todo n", ou para algum n" podem ser especica- em relao losoa, graas ao seu elevado grau de pre-
dos por quanticadores: o quanticador universal, ou o ciso e tecnicismo. Hoje em dia, uma disciplina aca-
quanticador existencial, respectivamente. Por exemplo: dmica que recorre a mtodos matemticos, e os lgi-
cos contemporneos tm em geral formao matemtica.
para todo n em D, P(n). Todavia, a lgica elementar que se costuma estudar nos
cursos de losoa to bsica como a aritmtica elemen-
Isto pode ser escrito como: tar e no tem elementos matemticos. A lgica elementar
usada como instrumento pela losoa, para garantir a
validade da argumentao.
n D, P (n)
Quando a losoa tem a lgica como objecto de estudo,
Quando existem algumas variveis livres, a situao pa- entramos na rea da losoa da lgica, que estuda os fun-
dro na anlise matemtica desde Weierstrass, as quanti- damentos das teorias lgicas e os problemas no estrita-
caes para todos ... ento existe ou ento existe ... isto mente tcnicos levantados pelas diferentes lgicas. Hoje
para todos (e analogias mais complexas) podem ser ex- em dia h muitas lgicas alm da teoria clssica da dedu-
pressadas. o de Russell e Frege (como as lgicas livres, modais,
temporais, paraconsistentes, difusas, intuicionistas, etc.
ver: Lgica intuicionista), o que levanta novos problemas
3.2 Lgica material
losoa da lgica.
Trata da aplicao das operaes do pensamento, se- A losoa da lgica distingue-se da lgica losca aris-
gundo a matria ou natureza do objeto a conhecer. Neste totlica, que no estuda problemas levantados por lgi-
caso, a lgica a prpria metodologia de cada cincia. cas particulares, mas problemas loscos gerais, que se
, portanto, somente no campo da lgica material que situam na interseco da metafsica, da epistemologia e
se pode falar da verdade: o argumento vlido quando da lgica. So problemas centrais de grande abrangn-
as premissas so verdadeiras e se relacionam adequada- cia, correspondendo disciplina medieval conhecida por
mente concluso. Lgica & Metafsica, e abrangendo uma parte dos te-
mas presentes na prpria Metafsica, de Aristteles: a
identidade de objetos, a natureza da Necessidade, a natu-
4 Lgica matemtica reza da verdade, o conhecimento a prioridade, etc. Pre-
cisamente por ser uma subdisciplina transdisciplinar, o
domnio da lgica losca ainda mais difuso do que o
Ver artigo principal: Lgica matemtica das outras disciplinas. Para agravar as incompreenses,
alguns lsofos chamam lgica losca losoa da
Lgica Matemtica o uso da lgica formal para estu- lgica (e vice-versa). Em qualquer caso, o importante
dar o raciocnio matemtico-- ou, como prope Alonzo no pensar que a lgica losca um gnero de lgica,
Church[17] , 'lgica tratada pelo mtodo matemtico'. No a par da lgica clssica, mas mais losca"; pelo con-
incio do sculo XX, lgicos e lsofos tentaram provar trrio, e algo paradoxalmente, a lgica losca, no
que a matemtica, ou parte da matemtica, poderia ser uma lgica no sentido em que a lgica clssica uma l-
reduzida lgica.(Gottlob Frege, p.ex., tentou reduzir a gica, isto , no sentido de uma articulao sistemtica das
aritmtica lgica; Bertrand Russell e A. N. Whitehead, regras da argumentao vlida.
no clssico Principia Mathematica, tentaram reduzir toda A lgica informal estuda os aspectos da argumentao v-
a matemtica ento conhecida lgica -- a chamada 'l- lida que no dependem exclusivamente da forma lgica.
gica de segunda ordem'.) Uma das suas doutrinas lgico- O tema introdutrio mais comum no que respeita l-
semnticas era que a descoberta da forma lgica de uma gica a teoria clssica da deduo (lgica proposicional
frase, na verdade, revela a forma adequada de diz-la, ou e de predicados, incluindo formalizaes elementares da
revela alguma essncia previamente escondida. H um linguagem natural); a lgica aristotlica por vezes ensi-
certo consenso que a reduo falhou -- ou que precisa- nada, a nvel universitrio, como complemento histrico
ria de ajustes --, assim como h um certo consenso que a e no como alternativa lgica clssica. (Desidrio Mur-
lgica -- ou alguma lgica -- uma maneira precisa de re- cho)
presentar o raciocnio matemtico. Cincia que tem por
Lgica, depois ela foi substituda pela inveno da L-
objeto o estudo dos mtodos e princpios que permitem
gica Matemtica. Relaciona-se com a elucidao de
distinguir raciocnios vlidos de outros no vlidos.
ideias como referncia, previso, identidade, verdade,
quanticao, existncia, e outras. A Lgica los-
ca est muito mais preocupada com a conexo entre a
5 Lgica losca Linguagem Natural e a Lgica.
6 Lgica de predicados escolha, que aquilo deve ser sempre verdade. Um quanti-
cador todos pode ser removido aplicando-se a orao
para um objeto em particular. Um quanticador algum
Ver artigo principal: Lgica de predicados (existe) pode ser adicionado a uma orao verdadeira de
qualquer objeto; pode ser removida em favor de um temo
Gottlob Frege, em sua Conceitograa (Begrisschrift), sobre o qual voc ainda no esteja pressupondo qualquer
descobriu uma maneira de reordenar vrias oraes para informao.
tornar sua forma lgica clara, com a inteno de mostrar
como as oraes se relacionam em certos aspectos. Antes
de Frege, a lgica formal no obteve sucesso alm do n-
vel da lgica de oraes: ela podia representar a estrutura 7 Lgica de vrios valores
de oraes compostas de outras oraes, usando palavras
como e, ou e no, mas no podia quebrar oraes Ver artigo principal: Lgica ternria
em partes menores. No era possvel mostrar como Va-
cas so animais leva a concluir que Partes de vacas so
partes de animais. Sistemas que vo alm dessas duas distines (verdadeiro
e falso) so conhecidos como lgicas no-aristotlicas, ou
A lgica de oraes explica como funcionam palavras lgica de vrios valores (ou ento lgicas polivaluadas, ou
como e, mas, ou, no, se-ento, se e somente ainda polivalentes).
se, e nem-ou. Frege expandiu a lgica para incluir
palavras como todos, alguns, e nenhum. Ele mos- No incio do sculo XX, Jan ukasiewicz investigou a ex-
trou como podemos introduzir variveis e quanticadores tenso dos tradicionais valores verdadeiro/falso para in-
para reorganizar oraes. cluir um terceiro valor, possvel.
Lgicas como a lgica difusa foram ento desenvolvidas
Todos os humanos so mortais se torna Para todo com um nmero innito de graus de verdade, repre-
x, se x humano, ento x mortal., o que pode ser sentados, por exemplo, por um nmero real entre 0 e 1.
escrito simbolicamente como: Probabilidade bayesiana pode ser interpretada como um
sistema de lgica onde probabilidade o valor verdade
: x(H(x) M (x)) subjetivo.
Alguns humanos so vegetarianos" se torna Existe
algum (ao menos um) x tal que x humano e x
vegetariano, o que pode ser escrito simbolicamente 8 Lgica e computadores
como:
Na lgica simblica e lgica matemtica, demonstraes voc obrigado a pagar impostos, voc
feitas por humanos podem ser auxiliadas por computa- proibido de sonegar, etc. [18]
dor. Usando prova automtica de teoremas os compu-
tadores podem achar e vericar demonstraes, assim Lgica Temporal: H situaes em que
como trabalhar com demonstraes muito extensas. os atributos de Verdadeiro e Falso
Na cincia da computao, a lgebra booleana a base no bastam, e preciso determinar se
do projeto de hardware. algo Verdadeiro no perodo de tempo
A, ou Falso aps o evento B. Para isso,
utilizado um sistema lgico especco
9 Tipos de lgica que inclui novos operadores para tratar
dessas situaes.[19]
De uma maneira geral, pode-se considerar que a lgica,
tal como usada na losoa e na matemtica, observa Anticlssicas: so formas de lgica que derrogam
sempre os mesmos princpios bsicos: a lei do terceiro pelo menos um dos trs princpios fundamentais da
excludo, a lei da no-contradio e a lei da identidade. lgica clssica. Alguns exemplos incluem:
A esse tipo de lgica pode-se chamar lgica clssica,
ou lgica aristotlica. Lgica paraconsistente: uma forma
Alm desta lgica, existem outros tipos de lgica que po- de lgica onde no existe o princpio da
dem ser mais apropriadas dependendo da circunstncia contradio. Nesse tipo de lgica, tanto
onde so utilizadas. Podem ser divididas em dois tipos: as oraes armativas quanto as negati-
vas podem ser falsas ou verdadeiras, de-
pendendo do contexto. Uma das aplica-
Complementares da lgica clssica: alm dos trs
es desse tipo de lgica o estudo da
princpios da lgica clssica, essas formas de lgica
semntica, especialmente em se tratando
tm ainda outros princpios que as regem, esten-
dos paradoxos. Um exemplo: fulano
dendo o seu domnio. Alguns exemplos:
cego, mas v". Pelo princpio da lgica
clssica, o indivduo que v, um no-
Lgica modal: agrega lgica clssica
cego, no pode ser cego. Na lgica pa-
o princpio das possibilidades. Enquanto
raconsistente, ele pode ser cego para ver
na lgica clssica existem oraes como:
algumas coisas, e no-cego para ver ou-
se amanh chover, vou viajar, minha
tras coisas.
av idosa e meu pai jovem, na lgica
modal as oraes so formuladas como "
possvel que eu viaje se no chover, mi- Lgica paracompleta: Esta lgica der-
nha av necessariamente idosa e meu roga o princpio do terceiro excludo, isto
pai no pode ser jovem, etc. , uma orao pode no ser totalmente
verdadeira, nem totalmente falsa. Um
Lgica epistmica: tambm chamada exemplo de orao que pode ser assim
lgica do conhecimento, agrega o prin- classicada : fulano conhece a China".
cpio da certeza, ou da incerteza (ver: Se ele nunca esteve l, essa orao no
Indeterminismo). Alguns exemplos de verdadeira. Mas se mesmo nunca tendo
orao: pode ser que haja vida em ou- estado l ele estudou a histria da China
tros planetas, mas no se pode provar, por livros, fez amigos chineses, viu mui-
" impossvel a existncia de gelo a 100 tas fotos da China, etc; essa orao tam-
C, no se pode saber se duendes exis- bm no falsa.
tem ou no, etc.
Lgica difusa: Mais conhecida como lgica
Lgica dentica: forma de lgica vin- fuzzy, trabalha com o conceito de graus de per-
culada moral, agrega os princpios dos tinncia. Assim como a lgica paracompleta, der-
direitos, proibies e obrigaes. o sis- roga o princpio do terceiro excludo, mas de ma-
tema de lgica usado para indicar con- neira comparativa, valendo-se de um elemento cha-
dutas e comportamentos, e que inclui as mado conjunto fuzzy. Enquanto na lgica clssica
relaes de poder entre indivduos. En- supe-se verdadeira uma orao do tipo se algo
quanto a lgica clssica trata do que " ou quente, no frio e na lgica paracompleta pode
no ", a lgica dentica trata do que se ser verdadeira a orao algo pode no ser quente
deve ou no fazer. As oraes na lgica nem frio, na lgica difusa poder-se-ia dizer: algo
dentica so da seguinte forma: " proi- 30% quente, 25% morno e 45% frio. Esta lgica
bido fumar mas permitido beber, se tem grande aplicao na informtica e na estatstica,
6 12 VER TAMBM
sendo inclusive a base para indicadores como o 11 Respostas dos testes de lgica
coeciente de Gini e o IDH.
citados acima
1. Pergunte a qualquer um deles: Qual a porta que o seu
companheiro apontaria como sendo a porta da liberdade?
Lgica de base n: uma das forma de lgica de base Explicao: O mentiroso apontaria a porta da morte
n era um tipo de lgica difusa. No entanto pode- como sendo a porta que o seu companheiro (o sincero)
mos fazer enumeraes de zero a n ou usar um al- diria que a porta da liberdade, j que se trata de uma
fabeto n-rio numa mquina de Turing, relacion- mentira da armao do sincero. E o sincero, sabendo
las e com base nisso tirar vantagens.[20] Esta lgica que seu companheiro sempre mente, diria que ele apon-
pode ainda relacionar-se com muitos assuntos em taria a porta da morte como sendo a porta da liberdade.
informtica.[20]
Concluso: os dois apontariam a porta da morte como
sendo a porta que o seu companheiro diria ser a porta da
liberdade. Portanto, s seguir pela outra porta.
2. Arme que voc morrer na fogueira.
Explicao: Se voc realmente morrer na fogueira, isto
10 Testes de lgica uma verdade, ento voc deveria morrer afogado, mas se
voc for afogado a armao seria uma mentira, e voc
teria que morrer na fogueira.
Vejam alguns testes simples de lgica: Concluso: Mesmo que eles pudessem prever o futuro,
1.Voc est numa cela onde existem duas portas, cada cairiam neste impasse e voc seria libertado.
uma vigiada por um guarda. Existe uma porta que d para 3. Ao tentar responder ao enigma, encontram-se infor-
a liberdade, e outra para a morte. Voc est livre para maes que se ligam umas s outras e acabam no le-
escolher a porta que quiser e por ela sair. Poder fazer vando a resposta alguma. Esse enigma pode ser denomi-
apenas uma pergunta a um dos dois guardas que vigiam nado como paradoxo do mentiroso.
as portas. Um dos guardas sempre fala a verdade, e o
outro sempre mente e voc no sabe quem o mentiroso Veja o exemplo de um paradoxo simples e interessante:
e quem fala a verdade. Que pergunta voc faria?
A armao abaixo verdadeira.
2.Voc prisioneiro de uma tribo indgena que conhece
todos os segredos do Universo e portanto sabem de tudo. A armao acima falsa.
Voc est para receber sua sentena de morte. O cacique
o desaa: Faa uma armao qualquer. Se o que voc
falar for mentira voc morrer na fogueira, se falar uma 12 Ver tambm
verdade voc ser afogado. Se no pudermos denir sua
armao como verdade ou mentira, ns te libertaremos. Anti-intelectualismo
O que voc diria?
Consequncia lgica
3. Epimnides era um grego da cidade de Minos. Dizem
que ele tinha a fama de mentir muito. Epistemologia
Certa vez, ele citou esta passagem:
F
Era uma vez um bode que disse:
Filosoa analtica
- Quando a mentira nunca desvendada, quem est men-
tindo sou eu. Histria da lgica
Em seguida o leo disse: Histria das mentalidades
- Se o bode for um mentiroso, o que o drago diz tambm Lgica de primeira ordem
mentira.
Por m o drago disse: Lgica difusa
[2] Popkin, Richard Henry; Stroll, Avrum (1993). Philosophy [20] Uma lgica causa-efeito de Osvaldo Mendes
Made Simple. [S.l.]: Random House Digital, Inc. ISBN
978-0-385-42533-9
15.2 Imagens
Ficheiro:Aristotle_Altemps_Inv8575.jpg Fonte: https://upload.wikimedia.org/wikipedia/commons/a/ae/Aristotle_Altemps_Inv8575.
jpg Licena: Public domain Contribuidores: Jastrow (2006) Artista original: Aps Lsipo
Ficheiro:Gregor_Reisch,_Margarita_Philosophica,_Typus_Logice.jpg Fonte: https://upload.wikimedia.org/wikipedia/commons/4/
44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg Licena: Public domain Contribuidores: ? Artista original:
Gregor Reisch
Ficheiro:Herkulaneischer_Meister_002.jpg Fonte: https://upload.wikimedia.org/wikipedia/commons/e/e4/Herkulaneischer_Meister_
002.jpg Licena: Public domain Contribuidores: The Yorck Project: 10.000 Meisterwerke der Malerei. DVD-ROM, 2002. ISBN
3936122202. Distributed by DIRECTMEDIA Publishing GmbH. Artista original: Herkulaneischer Meister
Ficheiro:Magnifying_glass_01.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/3/3a/Magnifying_glass_01.svg Licena:
CC0 Contribuidores: http://openclipart.org/clipart/people/magnifying_glass_01.svg Artista original: AbiClipart
Ficheiro:Rodin_le_penseur.JPG Fonte: https://upload.wikimedia.org/wikipedia/commons/a/ac/Rodin_le_penseur.JPG Licena: CC
BY-SA 1.0 Contribuidores: Obra do prprio Artista original: Piero d'Houin Inocybe
Ficheiro:Searchtool.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/6/61/Searchtool.svg Licena: LGPL Contribuidores:
http://ftp.gnome.org/pub/GNOME/sources/gnome-themes-extras/0.9/gnome-themes-extras-0.9.0.tar.gz Artista original: David Vignoni,
Ysangkok
Ficheiro:Venn_0001_0110.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/8/82/Venn_0001_0110.svg Licena: Public
domain Contribuidores: ? Artista original: ?
Ficheiro:Wikibooks-logo.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikibooks-logo.svg Licena: CC BY-SA
3.0 Contribuidores: Obra do prprio Artista original: User:Bastique, User:Ramac et al.
Ficheiro:Wikiquote-logo.svg Fonte: https://upload.wikimedia.org/wikipedia/commons/f/fa/Wikiquote-logo.svg Licena: Public do-
main Contribuidores: Obra do prprio Artista original: Rei-artur
15.3 Licena
Creative Commons Attribution-Share Alike 3.0