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
lngua natural. O estudo de falcias um ramo
particularmente importante da lgica informal. Os
Dilogos de Plato [6] so bons exemplos de lgica
informal.
Lgica formal o estudo da inferncia com con-
tedo puramente formal. Uma inferncia possui um
contedo puramente formal se ele pode ser expresso
como um caso particular de uma regra totalmente
abstrata, isto , uma regra que no sobre uma qual-
quer coisa em particular. As obras de Aristteles
contm o primeiro estudo formal da lgica. A l-
gica formal moderna segue e amplia o trabalho de
Aristteles.[7] Em muitas denies de lgica, infe-
rncia lgica e inferncia com contedo puramente
formal so a mesma coisa. Isso no esvazia a noo
de lgica informal, porque nenhuma lgica formal
captura todas as nuances da lngua natural.
Lgica simblica o estudo das abstraes simb-
licas que capturam as caractersticas formais da in- A Lgica Formal, tambm chamada de Lgica Simb-
ferncia lgica.[8] [9] A lgica simblica frequente-
mente dividida em dois ramos: lgica proposicional
e a lgica de predicados.
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.
2 Histria
Ver artigo principal: Histria da lgica
O primeiro trabalho feito sobre o tema da lgica o de
Aristteles (na verdade, os sostas e Plato j haviam se
dedicado a questes lgicas, o trabalho de Aristteles,
porm, mais amplo, rigoroso e sistematizado).[10][11]
A lgica aristotlica tornou-se amplamente aceita em
cincias e matemtica e manteve-se em ampla utiliza-
o no Ocidente at o incio do sculo XIX.[12] O sistema
lgico de Aristteles foi responsvel pela introduo do
silogismo hipottico,[13] lgica modal temporal[14][15] e
lgica indutiva.[16] Na Europa, durante o nal do perodo
medieval, grandes esforos foram feitos para mostrar que
as ideias de Aristteles eram compatveis com a f crist.
Durante a Alta Idade Mdia, a lgica se tornou o foco
principal dos lsofos, que se engajaram em anlises l-
gicas crticas dos argumentos loscos (ver: Filosoa
crist).
3 Lgica aristotlica
Ver artigo principal: Lgica aristotlica
D-se o nome de Lgica aristotlica ao sistema lgico de-
senvolvido por Aristteles a quem se deve o primeiro es-
tudo formal do raciocnio. Dois dos princpios centrais
da lgica aristotlica so a lei da no-contradio e a lei
do terceiro excludo.
A lei da no-contradio diz que nenhuma armao
pode ser verdadeira e falsa ao mesmo tempo e a lei do
terceiro excludo diz que qualquer armao da forma *P
ou no-P* verdadeira. Esse princpio deve ser cuidado-
samente distinguido do *princpio de bivalncia*, o prin-
cpio segundo o qual para toda proposio (p), ela ou a
sua negao verdadeira.
A lgica aristotlica, em particular, a teoria do silogismo,
apenas um fragmento da assim chamada lgica tradici-
onal.
3.1 Lgica formal
lica, preocupa-se, basicamente, com a estrutura do racio-
cnio. A Lgica Formal lida com a relao entre conceitos
e fornece um meio de compor provas de declaraes. Na
Lgica Formal os conceitos so rigorosamente denidos,
usadas para denotar proposies:
p:1+2=3
Esta declarao dene que p 1 + 2 = 3 e que isso
verdadeiro.
Duas proposies --ou mais proposies-- podem ser
combinadas por meio dos chamados operadores l-
gicos binrios , formando conjunes, disjunes ou
condicionais. Essas proposies combinadas so chama-
das proposies compostas. Por exemplo:
p: 1 + 1 = 2 e
Neste caso, e uma conjuno. As duas proposies po-
dem diferir totalmente uma da outra!
Na matemtica e na cincia da computao, pode ser ne-
cessrio enunciar uma proposio dependendo de vari-
veis:
p: n um inteiro mpar.
Essa proposio pode ser ou verdadeira ou falsa, a depen-
der do valor assumido pela varivel n.
Uma frmula com variveis livres chamada funo
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.

Na lgica simblica e lgica matemtica, demonstraes
feitas por humanos podem ser auxiliadas por computa-
dor. Usando prova automtica de teoremas os compu-
tadores podem achar e vericar demonstraes, assim
como trabalhar com demonstraes muito extensas.
Na cincia da computao, a lgebra booleana a base
do projeto de hardware.
9 Tipos de lgica
De uma maneira geral, pode-se considerar que a lgica,
tal como usada na losoa e na matemtica, observa
sempre os mesmos princpios bsicos: a lei do terceiro
excludo, a lei da no-contradio e a lei da identidade.
A esse tipo de lgica pode-se chamar lgica clssica,
ou lgica aristotlica.
Alm desta lgica, existem outros tipos de lgica que po-
dem ser mais apropriadas dependendo da circunstncia
onde so utilizadas. Podem ser divididas em dois tipos:
Complementares da lgica clssica: alm dos trs
princpios da lgica clssica, essas formas de lgica
tm ainda outros princpios que as regem, esten-
dendo o seu domnio. Alguns exemplos:
Lgica modal: agrega lgica clssica
o princpio das possibilidades. Enquanto
na lgica clssica existem oraes como:
se amanh chover, vou viajar, minha
av idosa e meu pai jovem, na lgica
modal as oraes so formuladas como "
possvel que eu viaje se no chover, mi-
nha av necessariamente idosa e meu
pai no pode ser jovem, etc.
Lgica epistmica: tambm chamada
lgica do conhecimento, agrega o prin-
cpio da certeza, ou da incerteza (ver:
Indeterminismo). Alguns exemplos de
orao: pode ser que haja vida em ou-
tros planetas, mas no se pode provar,
" impossvel a existncia de gelo a 100
C, no se pode saber se duendes exis-
tem ou no, etc.
Lgica dentica: forma de lgica vin-
culada moral, agrega os princpios dos
direitos, proibies e obrigaes. o sis-
tema de lgica usado para indicar con-
dutas e comportamentos, e que inclui as
relaes de poder entre indivduos. En-
quanto a lgica clssica trata do que " ou
no ", a lgica dentica trata do que se
deve ou no fazer. As oraes na lgica
dentica so da seguinte forma: " proi-
bido fumar mas permitido beber, se
5
voc obrigado a pagar impostos, voc
proibido de sonegar, etc. [18]
Lgica Temporal: H situaes em que
os atributos de Verdadeiro e Falso
no bastam, e preciso determinar se
algo Verdadeiro no perodo de tempo
A, ou Falso aps o evento B. Para isso,
utilizado um sistema lgico especco
que inclui novos operadores para tratar
dessas situaes.[19]
Anticlssicas: so formas de lgica que derrogam
pelo menos um dos trs princpios fundamentais da
lgica clssica. Alguns exemplos incluem:
Lgica paraconsistente: uma forma
de lgica onde no existe o princpio da
contradio. Nesse tipo de lgica, tanto
as oraes armativas quanto as negati-
vas podem ser falsas ou verdadeiras, de-
pendendo do contexto. Uma das aplica-
es desse tipo de lgica o estudo da
semntica, especialmente em se tratando
dos paradoxos. Um exemplo: fulano
cego, mas v". Pelo princpio da lgica
clssica, o indivduo que v, um no-
cego, no pode ser cego. Na lgica pa-
raconsistente, ele pode ser cego para ver
algumas coisas, e no-cego para ver ou-
tras coisas.
Lgica paracompleta: Esta lgica der-
roga o princpio do terceiro excludo, isto
, uma orao pode no ser totalmente
verdadeira, nem totalmente falsa. Um
exemplo de orao que pode ser assim
classicada : fulano conhece a China".
Se ele nunca esteve l, essa orao no
verdadeira. Mas se mesmo nunca tendo
estado l ele estudou a histria da China
por livros, fez amigos chineses, viu mui-
tas fotos da China, etc; essa orao tam-
bm no falsa.
Lgica difusa: Mais conhecida como lgica
fuzzy, trabalha com o conceito de graus de per-
tinncia. Assim como a lgica paracompleta, der-
roga o princpio do terceiro excludo, mas de ma-
neira comparativa, valendo-se de um elemento cha-
mado conjunto fuzzy. Enquanto na lgica clssica
supe-se verdadeira uma orao do tipo se algo
quente, no frio e na lgica paracompleta pode
ser verdadeira a orao algo pode no ser quente
nem frio, na lgica difusa poder-se-ia dizer: algo
30% quente, 25% morno e 45% frio. Esta lgica
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

Modus tollens
Racionalismo
Teoria dos conjuntos
13 Referncias
[1] Liddell & Scott 1999; Online Etymology Dictionary
2001, http://www.etymonline.com/index.php?term=
logic&allowed_in_frame=0
[2] Popkin, Richard Henry; Stroll, Avrum (1993). Philosophy
Made Simple. [S.l.]: Random House Digital, Inc. ISBN
978-0-385-42533-9
[3] Lgica, raciocnio e pensamento.pdf. Consultado em
21 de julho de 2015
[4] Logic and Ontology. Stanford Encyclopedia of Philo-
sophy. [S.l.]: Edward N Zalta. 2004 |nome1= sem |sobre-
nome1= em Authors list (ajuda)
[5] Cox, J. Robert; Willard, Charles Arthur. Advances in Ar-
gumentation Theory and Research. Southern Illinois Uni-
versity Press, 1983;
[6] Plato (1976). Scott Buchanan, ed. The Portable Plato.
[S.l.]: Penguin. ISBN 0-14-015040-4
[7] Aristtoles (2001). Posterior Analytics. In: Richard
Mckeon. The Basic Works. [S.l.]: Modern Library. ISBN
0-375-75799-6
[8] Whitehead, Alfred North; Russell, Bertrand (2001). Prin-
cipia Mathematica. [S.l.]: Merchant Books. ISBN 978-
1603861823 (vol. 1), 978-1603861830 (vol. 2), 978-
1603861847 (vol. 3) Verique |isbn= (ajuda)
[9] Hamilton, A. G. (1980). Logic for Mathematicians. [S.l.]:
Cambridge University Press. ISBN 0-521-29291-3, faz
uma abordagem moderna lgica simblica.
[10] livro TEMAS DE FILOSOFIA
[11] Por exemplo, Kline (Kline, Morris (1972). Mathematical
Thought From Ancient to Modern Times. [S.l.]: Oxford
University Press. ISBN 0-19-506135-7, p.53) escreveu
A grande feito de Aristteles foi ser o fundador da cincia
da lgica.
[12] "Aristotle", MTU Department of Chemistry.
[13] Jonathan Lear (1986). "Aristotle and Logical Theory".
Cambridge University Press. p.34. ISBN 0-521-31178-0
[14] Simo Knuuttila (1981). "Reforging the great chain of
being: studies of the history of modal theories". Springer
Science & Business. p.71. ISBN 90-277-1125-9
[15] Michael Fisher, Dov M. Gabbay, Llus Vila (2005).
"Handbook of temporal reasoning in articial intelli-
gence". Elsevier. p.119. ISBN 0-444-51493-7
[16] Harold Joseph Berman (1983). "Law and revolution: the
formation of the Western legal tradition". Harvard Univer-
sity Press. p.133. ISBN 0-674-51776-8
7
[17] CHURCH, Alonzo. Introduction to Mathematical Logic.
10th ed. Princeton, New Jersey: Princeton University
Press, 1996. ISBN 978-0-691-02906-1
[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.
CETEC-MG. 2004. 80p.
[19] 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.
CETEC-MG. 2004. 80p.
[20] Uma lgica causa-efeito de Osvaldo Mendes
14 Leituras adicionais
AZEVEDO FILHO, Adriano. Princpios de Infe-
rncia Dedutiva e Indutiva: Noes de Lgica e M-
todos de Prova. 1 Edio 2010, Scotts Valley: Cre-
ateSpace, 148p. ISBN 978-1-4421-5143-7.
BRENNAN, Andrew; DEUSTCH, Max; GOLDS-
TEIN, Lawrence. Lgica. Artmed, 1a edio 2007,
224p. ISBN 85-363-0908-3.
DA COSTA Newton. Ensaio sobre os Fundamentos
da Lgica. Hucitec, 2 Edio 1994, 256p. ISBN
85-271-0182-3.
DA COSTA Newton. Lgica Indutiva e Probabili-
dade. Hucitec-EdUSP, 3 a. ed., So Paulo, 2008.
FEITOSA, Hrcules de Arajo; PAULOVICH, Le-
onardo. Um Preldio Lgica. UNESP 1a edio
2006, 225p. ISBN 85-7139-605-1
COPI, Irving M. Introduo Lgica. Mestre Jou.
2a edio 1978 488p. ISBN 85-87068-05-9
FINGER, Marcelo; SILVA, Flvio Soares Corra
da; MELO, Ana Cristina Vieira de. Lgica para
Computao. Thomson Pioneira, 1a edio 2006,
244p. ISBN 85-221-0517-0
FISHER, Alec. A Lgica dos Verdadeiros Argu-
mentos. Novo Conceito, 1a edio 2008, 336p.
ISBN 85-99560-29-8
GORSKY, Samir. A semntica algbrica para a l-
gica modal e seu interesse losco. Dissertao de
mestrado. IFCH-UNICAMP. 2008.
HEGENBERG, Leonidas. Dicionrio de Lgica.
Editora Pedaggica e Universitria, 1995. 223p.
ISBN 85-12-79060-1.
MORTARI, Czar A. Introduo Lgica. UNESP
1a edio 2001, 391p. ISBN 85-7139-337-0
NOLT, John; ROHATYN, Dennis. Lgica. Ma-
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