Você está na página 1de 9

Lgica

a Escola dos Nomes datam de 2200 anos atrs. Na


Grcia Antiga a lgica foi estabelecida como disciplina
por Aristteles, com a sua obra Organon. Ele dividiu
a lgica em formal e material. O estudo da lgica era
parte do Trivium clssico, juntamente com a gramtica e
a retrica (ver: Artes liberais).
A lgica frequentemente dividida em trs partes: o
raciocnio indutivo, o raciocnio abdutivo e o raciocnio
dedutivo.

1 O estudo da lgica

Aristteles o autor do primeiro trabalho sobre lgica.

Lgica (do grego logos[1] ) tem dois signica-


dos principais: discute o uso de raciocnio em alguma
atividade e o estudo normativo, losco do racioc-
nio vlido.[2] No segundo sentido, a lgica discutida
principalmente nas disciplinas de losoa, matemtica
e cincia da computao. Ambos os sentidos se base-
ando no foco comum referente a harmonia de racioc-
nio, a proporcionalidade formal entre argumentos, assim
sendo, a correta e equilibrada relao entre todos os ter-
mos, a total concordncia entre cada um deles dentro de
um desenvolvimento.[3]
A lgica examina de forma genrica as formas que a
argumentao pode tomar, quais dessas formas so v- Gregor Reisch A lgica apresenta os seus temas centrais,
lidas e quais so falaciosas. Em losoa, o estudo da Margarita Philosophica, 1503/08 (?). Os dois ces veritas e fal-
sitas correm atrs da lebre problema, a lgica apressa-se armada
lgica aplica-se na maioria dos seus principais ramos:
com a sua espada syllogismus. Em baixo, esquerda, encontra-
metafsica, ontologia, epistemologia e tica. Na matem-
se Parmnides, graas a quem a lgica ter sido introduzida na
tica, estudam-se as formas vlidas de inferncia de uma losoa.
linguagem formal.[4] Na cincia da computao, a lgica
uma ferramenta indispensvel. Por m, a lgica tam-O conceito de forma lgica central lgica, que se ba-
bm estudada na teoria da argumentao.[5] seia na ideia de que a validade de um argumento deter-
A lgica foi estudada em vrias civilizaes da minada pela sua forma lgica, no pelo seu contedo. A
Antiguidade. Na ndia, a recurso silogstica, Nyaya lgica silogstica aristotlica tradicional e a lgica simb-
remonta a 1900 anos atrs. Na China, o Mosmo e lica moderna so exemplos de lgicas formais.

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.

Essa proposio pode ser ou verdadeira ou falsa, a depen-


3 Lgica aristotlica der do valor assumido pela varivel n.
Uma frmula com variveis livres chamada funo
Ver artigo principal: Lgica aristotlica proposicional com domnio de discurso D. Para for-
mar uma proposio , devem ser usados quanticadores.
3

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.

A lgica estuda e sistematiza a argumentao vlida. A


lgica tornou-se uma disciplina praticamente autnoma
4 8 LGICA E COMPUTADORES

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:

: x(H(x) V (x)) . Ver artigos principais: Programao lgica e


Programao de computadores
Frege trata oraes simples sem substantivos como
predicados e aplica a eles to dummy objects (x). A
A Lgica extensivamente utilizada em todas as reas
estrutura lgica na discusso sobre objetos pode ser ope-
vinculadas aos computadores.
rada de acordo com as regras da lgica de oraes, com
Partindo-se do princpio que muitas das nossas tarefas
alguns detalhes adicionais para adicionar e remover quan-
dirias so uma sequncia que obedecem uma determi-
ticadores. O trabalho de Frege foi um dos que deram
incio lgica formal contempornea. nada ordem, de um estado inicial, atravs de um perodo
de tempo nito e que nesse perodo produzimos resul-
Frege adiciona lgica de oraes:
tados esperados e bem denidos, poderamos classicar
essas tarefas dentro de um algoritmo que utilizam o con-
o vocabulrio de quanticadores (o A de ponta- ceito da lgica formal para fazer com que o computador
cabea, e o E invertido) e variveis; produza uma srie sequencial.
e uma semntica que explica que as variveis deno-Nas dcadas de 50 e 60, pesquisadores previram que
quando o conhecimento humano pudesse ser expresso
tam objetos individuais e que os quanticadores tm
usando lgica com notao matemtica, supunham que
algo como a fora de todos ou alguns em relao
a esse objetos; seria possvel criar uma mquina com a capacidade de
pensar, ou seja, inteligncia articial. Isto se mostrou
mtodos para us-los numa linguagem. mais difcil que o esperado em funo da complexidade
do raciocnio humano. A programao lgica uma ten-
Para introduzir um quanticador todos, voc assume tativa de fazer computadores usarem raciocnio lgico e a
uma varivel arbitrria, prova algo que deva ser verda- linguagem de programao Prolog frequentemente uti-
deira, e ento prova que no importa que varivel voc lizada para isto.
5

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

- Quem for capaz de desvendar a minha mentira, ento, Lgica proposicional


ele estar dizendo a verdade.
Mtodo cientco
Qual deles est mentindo?
Mtodo histrico
Este teste mais conhecido como paradoxo de Epimni-
des. Modus ponens
7

Modus tollens [17] CHURCH, Alonzo. Introduction to Mathematical Logic.


10th ed. Princeton, New Jersey: Princeton University
Racionalismo Press, 1996. ISBN 978-0-691-02906-1
Teoria dos conjuntos [18] Vasconcelos, V.V.;Martins Junior, P.P. Prottipo de Sis-
tema Especialista em Direito Ambiental para Auxlio
deciso em Situaes de Desmatamento Rural. NT-27.
13 Referncias CETEC-MG. 2004. 80p.

[19] Vasconcelos, V.V.;Martins Junior, P.P. Prottipo de Sis-


[1] Liddell & Scott 1999; Online Etymology Dictionary tema Especialista em Direito Ambiental para Auxlio
2001, http://www.etymonline.com/index.php?term= deciso em Situaes de Desmatamento Rural. NT-27.
logic&allowed_in_frame=0 CETEC-MG. 2004. 80p.

[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

[3] Lgica, raciocnio e pensamento.pdf. Consultado em 14 Leituras adicionais


21 de julho de 2015

[4] Logic and Ontology. Stanford Encyclopedia of Philo-


AZEVEDO FILHO, Adriano. Princpios de Infe-
sophy. [S.l.]: Edward N Zalta. 2004 |nome1= sem |sobre- rncia Dedutiva e Indutiva: Noes de Lgica e M-
nome1= em Authors list (ajuda) todos de Prova. 1 Edio 2010, Scotts Valley: Cre-
ateSpace, 148p. ISBN 978-1-4421-5143-7.
[5] Cox, J. Robert; Willard, Charles Arthur. Advances in Ar-
gumentation Theory and Research. Southern Illinois Uni- BRENNAN, Andrew; DEUSTCH, Max; GOLDS-
versity Press, 1983; TEIN, Lawrence. Lgica. Artmed, 1a edio 2007,
224p. ISBN 85-363-0908-3.
[6] Plato (1976). Scott Buchanan, ed. The Portable Plato.
[S.l.]: Penguin. ISBN 0-14-015040-4 DA COSTA Newton. Ensaio sobre os Fundamentos
[7] Aristtoles (2001). Posterior Analytics. In: Richard da Lgica. Hucitec, 2 Edio 1994, 256p. ISBN
Mckeon. The Basic Works. [S.l.]: Modern Library. ISBN 85-271-0182-3.
0-375-75799-6
DA COSTA Newton. Lgica Indutiva e Probabili-
[8] Whitehead, Alfred North; Russell, Bertrand (2001). Prin- dade. Hucitec-EdUSP, 3 a. ed., So Paulo, 2008.
cipia Mathematica. [S.l.]: Merchant Books. ISBN 978-
1603861823 (vol. 1), 978-1603861830 (vol. 2), 978- FEITOSA, Hrcules de Arajo; PAULOVICH, Le-
1603861847 (vol. 3) Verique |isbn= (ajuda) onardo. Um Preldio Lgica. UNESP 1a edio
2006, 225p. ISBN 85-7139-605-1
[9] Hamilton, A. G. (1980). Logic for Mathematicians. [S.l.]:
Cambridge University Press. ISBN 0-521-29291-3, faz COPI, Irving M. Introduo Lgica. Mestre Jou.
uma abordagem moderna lgica simblica. 2a edio 1978 488p. ISBN 85-87068-05-9
[10] livro TEMAS DE FILOSOFIA FINGER, Marcelo; SILVA, Flvio Soares Corra
[11] Por exemplo, Kline (Kline, Morris (1972). Mathematical
da; MELO, Ana Cristina Vieira de. Lgica para
Thought From Ancient to Modern Times. [S.l.]: Oxford Computao. Thomson Pioneira, 1a edio 2006,
University Press. ISBN 0-19-506135-7, p.53) escreveu 244p. ISBN 85-221-0517-0
A grande feito de Aristteles foi ser o fundador da cincia
da lgica.
FISHER, Alec. A Lgica dos Verdadeiros Argu-
mentos. Novo Conceito, 1a edio 2008, 336p.
[12] "Aristotle", MTU Department of Chemistry. ISBN 85-99560-29-8
[13] Jonathan Lear (1986). "Aristotle and Logical Theory". GORSKY, Samir. A semntica algbrica para a l-
Cambridge University Press. p.34. ISBN 0-521-31178-0 gica modal e seu interesse losco. Dissertao de
[14] Simo Knuuttila (1981). "Reforging the great chain of mestrado. IFCH-UNICAMP. 2008.
being: studies of the history of modal theories". Springer
HEGENBERG, Leonidas. Dicionrio de Lgica.
Science & Business. p.71. ISBN 90-277-1125-9
Editora Pedaggica e Universitria, 1995. 223p.
[15] Michael Fisher, Dov M. Gabbay, Llus Vila (2005). ISBN 85-12-79060-1.
"Handbook of temporal reasoning in articial intelli-
gence". Elsevier. p.119. ISBN 0-444-51493-7 MORTARI, Czar A. Introduo Lgica. UNESP
1a edio 2001, 391p. ISBN 85-7139-337-0
[16] Harold Joseph Berman (1983). "Law and revolution: the
formation of the Western legal tradition". Harvard Univer- NOLT, John; ROHATYN, Dennis. Lgica. Ma-
sity Press. p.133. ISBN 0-674-51776-8 kron Books e McGraw-Hill, 596p.
8 14 LEITURAS ADICIONAIS

PINTO, Paulo Roberto Margutti. Introduo L-


gica Simblica. UFMG 2a edio 2006 339p. ISBN
85-7041-215-0

SALMON, WESLEY C . Lgica. LTC, 3a edio


1993, 96p. ISBN 85-7054-041-8

SOUZA, Joo Nunes de. Lgica para Cincia


da Computao. Campus, 2a edio 2008, 240p.
ISBN 85-352-2961-2
9

15 Fontes dos textos e imagens, contribuidores e licenas


15.1 Texto
Lgica Fonte: https://pt.wikipedia.org/wiki/L%C3%B3gica?oldid=49283961 Contribuidores: Jorge~ptwiki, Robbot, JMGM, Rnbastos,
Manuel Anastcio, Scott MacLean, LeonardoG, Reccanello, Mschlindwein, Rui Malheiro, Gbiten, Hgfernan, Ale vx, E2mb0t, Chico,
LeonardoRob0t, Jic, Campani, Rosana, Jonh5ck, NTBot, Rodrigo Rocha, RobotQuistnix, JP Watrin, Rei-artur, Leslie, Lucas Bispo,
Marcelo-Silva, Porcher~ptwiki, Epinheiro, 333~ptwiki, Agil, OS2Warp, 555, Lemccbr~ptwiki, Adailton, Lijealso, Alessandro70, Fbio
Sold, Fernando S. Aldado, Lus Felipe Braga, Mosca, MalafayaBot, Guimaraes, marcos, Armagedon, Salgueiro, Principia14, Everton3x,
M7Lion, Drefe, He7d3r, Al Lemos, Reynaldo, Srgio Farias, GoEThe, FSogumo, Profcardy, Thijs!bot, Rei-bot, Escarbot, OptimusPrai-
mus, GB~ptwiki, Rossicev, JAnDbot, Capmo, Marciomr~ptwiki, Luiza Teles, Albmont, Burngianecchini, PedroSilva, Rjclaudio, Idioma-
bot, EuTuga, TXiKiBoT, Gunnex, VolkovBot, Phmaciel, SieBot, Synthebot, Lechatjaune, Vini 175, Le Pied-bot~ptwiki, AlleborgoBot,
Zdtrlik, GOE2, One People, STBot~ptwiki, NatliaLucenaNeta, Gerakibot, PipepBot, Arthur Buchsbaum, Aurola, Heiligenfeld, Inox,
Beria, Pedrovitorh2, Alexbot, Catuireal, Pietro Roveri, !Silent, Vitor Mazuco, Numbo3-bot, Thrasherbermensch, Luckas-bot, LinkFA-
Bot, LaaknorBot, Tyagotayrony, Millennium bug, Salebot, ArthurBot, Alumnum, Xqbot, GhalyBot, Mr. Hyde~ptwiki, Ts42, D'ohBot,
Tuga1143, Josebarbosa, TobeBot, Marcos Elias de Oliveira Jnior, KamikazeBot, HVL, TjBot, Tiago Peixoto, Francisco Quiumento,
Bruninhor, EmausBot, JackieBot, ZroBot, JorgePP, rico, Bluemasterbr, Braswiki, Salamat, Dreispt, Nelson Teixeira, ChuispastonBot,
Stuckkey, WikitanvirBot, Raul de Oliveira, CocuBot, Colaborador Z, MerlIwBot, DarkRaku, JMagalhes, Amorimcarlos, J. A. S. Ferreira,
DARIO SEVERI, Shgr Datsgen, Zoldyick, Dexbot, Dcio Krause~ptwiki, Hume42, Prima.philosophia, nni, Inji~ptwiki, Legobot,
EVinente, Jorde, Geovane.spe, Marcos dias de oliveira, Om, Vtor, Gabsantosil, Papa Christus, Cu323232, Tetizeraz e Annimo: 214

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