Lgica

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 signicados

principais: discute o uso de raciocnio em alguma atividade e o estudo normativo, losco do raciocnio
vlido.[2] No segundo sentido, a lgica discutida principalmente nas disciplinas de losoa, matemtica e cincia
da computao.
A lgica examina de forma genrica as formas que a
argumentao pode tomar, quais dessas formas so vlidas e quais so falaciosas. Em losoa, o estudo da
lgica aplica-se na maioria dos seus principais ramos:
metafsica, ontologia, epistemologia e tica. Na matemtica, estuda-se as formas vlidas de inferncia de uma
linguagem formal.[3] Na cincia da computao, a lgica
uma ferramenta indispensvel. Por m, a lgica tambm estudada na teoria da argumentao.[4]

Gregor Reisch A lgica apresenta os seus temas centrais,

Margarita Philosophica, 1503/08 (?). Os dois ces veritas e falsitas correm atrs da lebre problema, a lgica apressa-se armada
com a sua espada syllogismus. Em baixo, esquerda, encontrase Parmnides, graas a quem a lgica ter sido introduzida na
losoa.

O conceito de forma lgica central lgica, que se baseia na ideia de que a validade de um argumento determinada pela sua forma lgica, no pelo seu contedo. A
A lgica foi estudada em vrias civilizaes da lgica silogstica aristotlica tradicional e a lgica simbAntiguidade. Na ndia, a recurso silogstica, Nyaya lica moderna so exemplos de lgicas formais.
remonta a 1900 anos atrs. Na China, o Mosmo e
a Escola dos Nomes datam de 2200 anos atrs. Na
Lgica informal o estudo da argumentao em
Grcia Antiga a lgica foi estabelecida como disciplina
lngua natural. O estudo de falcias um ramo
por Aristteles, com a sua obra Organon. Ele dividiu
particularmente importante da lgica informal. Os
Dilogos de Plato [5] so bons exemplos de lgica
a lgica em formal e material. O estudo da lgica era
informal.
parte do Trivium clssico, juntamente com a gramtica e
1

3 LGICA ARISTOTLICA
Lgica formal o estudo da inferncia com contedo 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 qualquer coisa em particular. As obras de Aristteles
contm o primeiro estudo formal da lgica. A lgica formal moderna segue e amplia o trabalho de
Aristteles.[6] Em muitas denies de lgica, inferncia 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 simblicas que capturam as caractersticas formais da inferncia lgica.[7] [8] A lgica simblica frequentemente dividida em dois ramos: lgica proposicional
e a lgica de predicados.

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 tradicional.

3.1 Lgica formal

A Lgica Formal, tambm chamada de Lgica Simblica, preocupa-se, basicamente, com a estrutura do raciocnio. 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,
e as oraes so transformadas em notaes simblicas
precisas, compactas e no ambguas. As letras minsculas p, q e r, em fonte itlica, so convencionalmente
usadas para denotar proposies:

Lgica matemtica uma extenso da lgica simblica em outras reas, em especial para o estudo da p : 1 + 2 = 3
teoria dos modelos, teoria da demonstrao, teoria
dos conjuntos e teoria da recurso.
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 lgicos binrios , formando conjunes, disjunes ou
O primeiro trabalho feito sobre o tema da lgica o de condicionais. Essas proposies combinadas so chamaAristteles (na verdade, os sostas e Plato j haviam das proposies compostas. Por exemplo:
se dedicado a questes lgicas, o trabalho de Aristteles, porm, mais amplo, rigoroso e sistematizado).[9][10]
p: 1 + 1 = 2 e
A lgica aristotlica tornou-se amplamente aceita em
cincias e matemtica e manteve-se em ampla utilizao no Ocidente at o incio do sculo XIX.[11] O sistema Neste caso, e uma conjuno. As duas proposies polgico de Aristteles foi responsvel pela introduo do dem diferir totalmente uma da outra!
silogismo hipottico,[12] lgica modal temporal[13][14] e Na matemtica e na cincia da computao, pode ser nelgica indutiva.[15] Na Europa, durante o nal do perodo cessrio enunciar uma proposio dependendo de varimedieval, grandes esforos foram feitos para mostrar que veis:
as ideias de Aristteles eram compatveis com a f crist.
Durante a Alta Idade Mdia, a lgica se tornou o foco
p: n um inteiro mpar.
principal dos lsofos, que se engajaram em anlises lgicas crticas dos argumentos loscos (ver: Filosoa
Essa proposio pode ser ou verdadeira ou falsa, a depencrist).
der do valor assumido pela varivel n.

Histria

Uma frmula com variveis livres chamada funo

proposicional com domnio de discurso D. Para formar uma proposio , devem ser usados quanticadores.
D-se o nome de Lgica aristotlica ao sistema lgico de- Para todo n", ou para algum n" podem ser especicasenvolvido por Aristteles a quem se deve o primeiro es- dos por quanticadores: o quanticador universal, ou o
tudo formal do raciocnio. Dois dos princpios centrais quanticador existencial, respectivamente. Por exemplo:
da lgica aristotlica so a lei da no-contradio e a lei
para todo n em D, P(n).
do terceiro excludo.

Lgica aristotlica

A lei da no-contradio diz que nenhuma armao

pode ser verdadeira e falsa ao mesmo tempo e a lei do Isto pode ser escrito como:
terceiro excludo diz que qualquer armao da forma *P
ou no-P* verdadeira. Esse princpio deve ser cuidadosamente distinguido do *princpio de bivalncia*, o prin- n D, P (n)

3
Quando existem algumas variveis livres, a situao padro na anlise matemtica desde Weierstrass, as quanticaes para todos ... ento existe ou ento existe ... isto
para todos (e analogias mais complexas) podem ser expressadas.

mente tcnicos levantados pelas diferentes lgicas. Hoje

em dia h muitas lgicas alm da teoria clssica da deduo de Russell e Frege (como as lgicas livres, modais,
temporais, paraconsistentes, difusas, intuicionistas, etc.
ver: Lgica intuicionista), o que levanta novos problemas
losoa da lgica.

3.2

A losoa da lgica distingue-se da lgica losca aristotlica, que no estuda problemas levantados por lgicas particulares, mas problemas loscos gerais, que se
situam na interseco da metafsica, da epistemologia e
da lgica. So problemas centrais de grande abrangncia, correspondendo disciplina medieval conhecida por
Lgica & Metafsica, e abrangendo uma parte dos temas presentes na prpria Metafsica, de Aristteles: a
identidade de objetos, a natureza da Necessidade, a natureza da verdade, o conhecimento a prioridade, etc. Precisamente por ser uma subdisciplina transdisciplinar, o
domnio da lgica losca ainda mais difuso do que o
das outras disciplinas. Para agravar as incompreenses,
alguns lsofos chamam lgica losca losoa da
lgica (e vice-versa). Em qualquer caso, o importante
no pensar que a lgica losca um gnero de lgica,
a par da lgica clssica, mas mais losca"; pelo contrrio, e algo paradoxalmente, a lgica losca, no
uma lgica no sentido em que a lgica clssica uma lgica, isto , no sentido de uma articulao sistemtica das
regras da argumentao vlida.

Lgica material

Trata da aplicao das operaes do pensamento, segundo a matria ou natureza do objeto a conhecer. Neste
caso, a lgica a prpria metodologia de cada cincia.
, portanto, somente no campo da lgica material que
se pode falar da verdade: o argumento vlido quando
as premissas so verdadeiras e se relacionam adequadamente concluso.

Lgica matemtica

Lgica Matemtica o uso da lgica formal para estudar o raciocnio matemtico-- ou, como prope Alonzo
Church[16] , 'lgica tratada pelo mtodo matemtico'. No
incio do sculo XX, lgicos e lsofos tentaram provar
que a matemtica, ou parte da matemtica, poderia ser
reduzida lgica.(Gottlob Frege, p.ex., tentou reduzir a
aritmtica lgica; Bertrand Russell e A. N. Whitehead,
no clssico Principia Mathematica, tentaram reduzir toda
a matemtica ento conhecida lgica -- a chamada 'lgica de segunda ordem'.) Uma das suas doutrinas lgicosemnticas era que a descoberta da forma lgica de uma
frase, na verdade, revela a forma adequada de diz-la, ou
revela alguma essncia previamente escondida. H um
certo consenso que a reduo falhou -- ou que precisaria de ajustes --, assim como h um certo consenso que a
lgica -- ou alguma lgica -- uma maneira precisa de representar o raciocnio matemtico. Cincia que tem por
objeto o estudo dos mtodos e princpios que permitem
distinguir raciocnios vlidos de outros no vlidos.

Lgica losca

A lgica estuda e sistematiza a argumentao vlida. A

lgica tornou-se uma disciplina praticamente autnoma
em relao losoa, graas ao seu elevado grau de preciso e tecnicismo. Hoje em dia, uma disciplina acadmica que recorre a mtodos matemticos, e os lgicos contemporneos tm em geral formao matemtica.
Todavia, a lgica elementar que se costuma estudar nos
cursos de losoa to bsica como a aritmtica elementar e no tem elementos matemticos. A lgica elementar
usada como instrumento pela losoa, para garantir a
validade da argumentao.

A lgica informal estuda os aspectos da argumentao vlida que no dependem exclusivamente da forma lgica.
O tema introdutrio mais comum no que respeita lgica a teoria clssica da deduo (lgica proposicional
e de predicados, incluindo formalizaes elementares da
linguagem natural); a lgica aristotlica por vezes ensinada, a nvel universitrio, como complemento histrico
e no como alternativa lgica clssica. (Desidrio Murcho)
Lgica, depois ela foi substituda pela inveno da Lgica Matemtica. Relaciona-se com a elucidao de
ideias como referncia, previso, identidade, verdade,
quanticao, existncia, e outras. A Lgica losca est muito mais preocupada com a conexo entre a
Linguagem Natural e a Lgica.

6 Lgica de predicados

Gottlob Frege, em sua Conceitograa (Begrisschrift),

descobriu uma maneira de reordenar vrias oraes para
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 nvel da lgica de oraes: ela podia representar a estrutura
de oraes compostas de outras oraes, usando palavras
Quando a losoa tem a lgica como objecto de estudo, como e, ou e no, mas no podia quebrar oraes
entramos na rea da losoa da lgica, que estuda os fun- em partes menores. No era possvel mostrar como Vadamentos das teorias lgicas e os problemas no estrita- cas so animais leva a concluir que Partes de vacas so

9 TIPOS DE LGICA

partes de animais.

No incio do sculo 20, Jan ukasiewicz investigou a exA lgica de oraes explica como funcionam palavras tenso dos tradicionais valores verdadeiro/falso para incomo e, mas, ou, no, se-ento, se e somente cluir um terceiro valor, possvel.
se, e nem-ou. Frege expandiu a lgica para incluir Lgicas como a lgica difusa foram ento desenvolvidas
palavras como todos, alguns, e nenhum. Ele mos- com um nmero innito de graus de verdade, repretrou como podemos introduzir variveis e quanticadores sentados, por exemplo, por um nmero real entre 0 e 1.
Probabilidade bayesiana pode ser interpretada como um
para reorganizar oraes.
sistema de lgica onde probabilidade o valor verdade
Todos os humanos so mortais se torna Para todo subjetivo.
x, se x humano, ento x mortal., o que pode ser
escrito simbolicamente como:
x(H(x) M (x))
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
como:

8 Lgica e computadores

A Lgica extensivamente utilizada em todas as reas

vinculadas aos computadores.

Partindo-se do princpio que muitas das nossas tarefas

dirias so uma sequncia que obedecem uma determinada ordem, de um estado inicial, atravs de um perodo
x(H(x) V (x))
de tempo nito e que nesse perodo produzimos resultados esperados e bem denidos, poderamos classicar
Frege trata oraes simples sem substantivos como essas tarefas dentro de um algoritmo que utilizam o conpredicados e aplica a eles to dummy objects (x). A ceito da lgica formal para fazer com que o computador
estrutura lgica na discusso sobre objetos pode ser ope- produza uma srie sequencial.
rada de acordo com as regras da lgica de oraes, com
alguns detalhes adicionais para adicionar e remover quan- Nas dcadas de 50 e 60, pesquisadores previram que
ticadores. O trabalho de Frege foi um dos que deram quando o conhecimento humano pudesse ser expresso
usando lgica com notao matemtica, supunham que
incio lgica formal contempornea.
seria possvel criar uma mquina com a capacidade de
Frege adiciona lgica de oraes:
pensar, ou seja, inteligncia articial. Isto se mostrou
mais difcil que o esperado em funo da complexidade
o vocabulrio de quanticadores (o A de ponta- do raciocnio humano. A programao lgica uma tencabea, e o E invertido) e variveis;
tativa de fazer computadores usarem raciocnio lgico e a
linguagem de programao Prolog frequentemente uti e uma semntica que explica que as variveis denolizada para isto.
tam objetos individuais e que os quanticadores tm
algo como a fora de todos ou alguns em relao Na lgica simblica e lgica matemtica, demonstraes
feitas por humanos podem ser auxiliadas por computaa esse objetos;
dor. Usando prova automtica de teoremas os compu mtodos para us-los numa linguagem.
tadores podem achar e vericar demonstraes, assim
como trabalhar com demonstraes muito extensas.
Para introduzir um quanticador todos, voc assume
Na cincia da computao, a lgebra booleana a base
uma varivel arbitrria, prova algo que deva ser verdado projeto de hardware.
deira, e ento prova que no importa que varivel voc
escolha, que aquilo deve ser sempre verdade. Um quanticador todos pode ser removido aplicando-se a orao
para um objeto em particular. Um quanticador algum 9 Tipos de lgica
(existe) pode ser adicionado a uma orao verdadeira de
qualquer objeto; pode ser removida em favor de um temo De uma maneira geral, pode-se considerar que a lgica,
sobre o qual voc ainda no esteja pressupondo qualquer tal como usada na losoa e na matemtica, observa
sempre os mesmos princpios bsicos: a lei do terceiro
informao.
excludo, a lei da no-contradio e a lei da identidade.
A esse tipo de lgica pode-se chamar lgica clssica,
ou lgica aristotlica.
7 Lgica de vrios valores
Alm desta lgica, existem outros tipos de lgica que poSistemas que vo alm dessas duas distines (verdadeiro dem ser mais apropriadas dependendo da circunstncia
e falso) so conhecidos como lgicas no-aristotlicas, ou onde so utilizadas. Podem ser divididas em dois tipos:
lgica de vrios valores (ou ento lgicas polivaluadas, ou
Complementares da lgica clssica: alm dos trs
ainda polivalentes).

5
princpios da lgica clssica, essas formas de lgica
tm ainda outros princpios que as regem, estendendo 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, minha av necessariamente idosa e meu
pai no pode ser jovem, etc.
Lgica epistmica: tambm chamada
lgica do conhecimento, agrega o princpio da certeza, ou da incerteza (ver:
Indeterminismo). Alguns exemplos de
orao: pode ser que haja vida em outros planetas, mas no se pode provar,
" impossvel a existncia de gelo a 100
C, no se pode saber se duendes existem ou no, etc.
Lgica dentica: forma de lgica vinculada moral, agrega os princpios dos
direitos, proibies e obrigaes. o sistema de lgica usado para indicar condutas e comportamentos, e que inclui as
relaes de poder entre indivduos. Enquanto 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: " proibido fumar mas permitido beber, se
voc obrigado a pagar impostos, voc
proibido de sonegar, etc. [17]
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.[18]

semntica, especialmente em se tratando

dos paradoxos. Um exemplo: fulano
cego, mas v". Pelo princpio da lgica
clssica, o indivduo que v, um nocego, no pode ser cego. Na lgica paraconsistente, ele pode ser cego para ver
algumas coisas, e no-cego para ver outras coisas.
Lgica paracompleta: Esta lgica derroga 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 muitas fotos da China, etc; essa orao tambm no falsa.
Lgica difusa: Mais conhecida como lgica
fuzzy, trabalha com o conceito de graus de pertinncia. Assim como a lgica paracompleta, derroga o princpio do terceiro excludo, mas de maneira comparativa, valendo-se de um elemento chamado 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,
sendo inclusive a base para indicadores como o
coeciente de Gini e o IDH.
Lgica de base n: uma das forma de lgica de base
n era um tipo de lgica difusa. No entanto podemos fazer enumeraes de zero a n ou usar um alfabeto n-rio numa mquina de Turing, relacionlas e com base nisso tirar vantagens.[19] Esta lgica
pode ainda relacionar-se com muitos assuntos em
informtica.[19]

10 Testes de lgica

Anticlssicas: so formas de lgica que derrogam

pelo menos um dos trs princpios fundamentais da
Vejam alguns testes simples de lgica:
lgica clssica. Alguns exemplos incluem:
1.Voc est numa cela onde existem duas portas, cada
Lgica paraconsistente: uma forma
uma vigiada por um guarda. Existe uma porta que d para
de lgica onde no existe o princpio da
a liberdade, e outra para a morte. Voc est livre para
contradio. Nesse tipo de lgica, tanto
escolher a porta que quiser e por ela sair. Poder fazer
as oraes armativas quanto as negatiapenas uma pergunta a um dos dois guardas que vigiam
vas podem ser falsas ou verdadeiras, deas portas. Um dos guardas sempre fala a verdade, e o
pendendo do contexto. Uma das aplicaoutro sempre mente e voc no sabe quem o mentiroso
es desse tipo de lgica o estudo da
e quem fala a verdade. Que pergunta voc faria?

13 REFERNCIAS

2.Voc prisioneiro de uma tribo indgena que conhece Veja o exemplo de um paradoxo simples e interessante:
todos os segredos do Universo e portanto sabem de tudo.
Voc est para receber sua sentena de morte. O cacique
A armao abaixo verdadeira.
o desaa: Faa uma armao qualquer. Se o que voc
A armao acima falsa.
falar for mentira voc morrer na fogueira, se falar uma
verdade voc ser afogado. Se no pudermos denir sua
armao como verdade ou mentira, ns te libertaremos.
12 Ver tambm
O que voc diria?
3. Epimnides era um grego da cidade de Minos. Dizem
que ele tinha a fama de mentir muito.

Anti-intelectualismo

Certa vez, ele citou esta passagem:

Consequncia lgica

Era uma vez um bode que disse:

Epistemologia

- Quando a mentira nunca desvendada, quem est mentindo sou eu.

Em seguida o leo disse:

Filosoa analtica

- Se o bode for um mentiroso, o que o drago diz tambm

mentira.
Por m o drago disse:
- Quem for capaz de desvendar a minha mentira, ento,
ele estar dizendo a verdade.

Histria da lgica
Histria das mentalidades
Lgica de primeira ordem
Lgica difusa

Qual deles est mentindo?

Lgica proposicional

Este teste mais conhecido como paradoxo de Epimnides.

Mtodo cientco
Mtodo histrico

11

Respostas dos testes de lgica

citados acima

1. Pergunte a qualquer um deles: Qual a porta que o seu

companheiro apontaria como sendo a porta da liberdade?
Explicao: O mentiroso apontaria a porta da morte
como sendo a porta que o seu companheiro (o sincero)
diria que a porta da liberdade, j que se trata de uma
mentira da armao do sincero. E o sincero, sabendo
que seu companheiro sempre mente, diria que ele apontaria a porta da morte como sendo a porta da liberdade.

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

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] Popkin, Richard Henry; Stroll, Avrum. Philosophy Made

Simple. [S.l.]: Random House Digital, Inc, 1993. ISBN
978-0-385-42533-9.

2. Arme que voc morrer na fogueira.

[3] Hofweber, T.. Stanford Encyclopedia of Philosophy.

[S.l.]: Edward N Zalta, 2004. Captulo Logic and Ontology.

Explicao: Se voc realmente morrer na fogueira, isto

uma verdade, ento voc deveria morrer afogado, mas se
voc for afogado a armao seria uma mentira, e voc
teria que morrer na fogueira.
Concluso: Mesmo que eles pudessem prever o futuro,
cairiam neste impasse e voc seria libertado.
3. Ao tentar responder ao enigma, encontram-se informaes que se ligam umas s outras e acabam no levando a resposta alguma. Esse enigma pode ser denominado como paradoxo do mentiroso.

[4] Cox, J. Robert; Willard, Charles Arthur. Advances in Argumentation Theory and Research. Southern Illinois University Press, 1983;
[5] Plato. In: Scott Buchanan. The Portable Plato. [S.l.]:
Penguin, 1976. ISBN 0-14-015040-4.
[6] Aristtoles. In: Richard Mckeon. The Basic Works.
[S.l.]: Modern Library, 2001. Captulo Posterior Analytics. ISBN 0-375-75799-6.

[7] Whitehead, Alfred North; Russell, Bertrand. Principia

Mathematica. [S.l.]: Merchant Books, 2001. ISBN 9781603861823 (vol. 1), 978-1603861830 (vol. 2), 9781603861847 (vol. 3).
[8] Hamilton, A. G.. Logic for Mathematicians. [S.l.]: Cambridge University Press, 1980. ISBN 0-521-29291-3. ,
faz uma abordagem moderna lgica simblica.
[9] livro TEMAS DE FILOSOFIA
[10] Por exemplo, Kline (<span class="citation id=">Kline,
Morris. Mathematical Thought From Ancient to Modern
Times. [S.l.]: Oxford University Press, 1972. ISBN 0-19506135-7. , p.53) escreveu A grande feito de Aristteles
foi ser o fundador da cincia da lgica.
[11] "Aristotle", MTU Department of Chemistry.
[12] Jonathan Lear (1986). "Aristotle and Logical Theory".
Cambridge University Press. p.34. ISBN 0-521-31178-0
[13] 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
[14] Michael Fisher, Dov M. Gabbay, Llus Vila (2005).
"Handbook of temporal reasoning in articial intelligence". Elsevier. p.119. ISBN 0-444-51493-7
[15] Harold Joseph Berman (1983). "Law and revolution: the
formation of the Western legal tradition". Harvard University Press. p.133. ISBN 0-674-51776-8
[16] CHURCH, Alonzo. Introduction to Mathematical Logic.
10th ed. Princeton, New Jersey: Princeton University
Press, 1996. ISBN 978-0-691-02906-1
[17] Vasconcelos, V.V.;Martins Junior, P.P. Prottipo de Sistema Especialista em Direito Ambiental para Auxlio
deciso em Situaes de Desmatamento Rural. NT-27.
CETEC-MG. 2004. 80p.
[18] Vasconcelos, V.V.;Martins Junior, P.P. Prottipo de Sistema Especialista em Direito Ambiental para Auxlio
deciso em Situaes de Desmatamento Rural. NT-27.
CETEC-MG. 2004. 80p.
[19] Uma lgica causa-efeito de Osvaldo Mendes

14

Leituras adicionais

AZEVEDO FILHO, Adriano. Princpios de Inferncia Dedutiva e Indutiva: Noes de Lgica e Mtodos de Prova. 1 Edio 2010, Scotts Valley: CreateSpace, 148p. ISBN 978-1-4421-5143-7.
BRENNAN, Andrew; DEUSTCH, Max; GOLDSTEIN, 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.

FEITOSA, Hrcules de Arajo; PAULOVICH, Leonardo. 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 Argumentos. Novo Conceito, 1a edio 2008, 336p.
ISBN 85-99560-29-8
GORSKY, Samir. A semntica algbrica para a lgica 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. Makron Books e McGraw-Hill, 596p.
PINTO, Paulo Roberto Margutti. Introduo Lgica 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

15 FONTES, CONTRIBUIDORES E LICENAS DE TEXTO E IMAGEM

15
15.1

Fontes, contribuidores e licenas de texto e imagem

Texto

Lgica Fonte: http://pt.wikipedia.org/wiki/L%C3%B3gica?oldid=40083648 Contribuidores: Jorge, Robbot, JMGM, Rnbastos, Manuel

Anastcio, Scott MacLean, LeonardoG, Reccanello, Mschlindwein, Rui Malheiro, Gbiten, Ale vx, E2mb0t, Chico, LeonardoRob0t, Jic,
Campani, Rosana, Jonh5ck, NTBot, Rodrigo Rocha, RobotQuistnix, JP Watrin, Rei-artur, Leslie, Lucas Bispo, Marcelo-Silva, Porcher,
Epinheiro, 333, Agil, OS2Warp, 555, Lemccbr, Adailton, Lijealso, Alessandro70, Fbio Sold, Fernando S. Aldado, Lus Felipe Braga,
Mosca, MalafayaBot, Guimaraes, marcos, Armagedon, Salgueiro, Principia14, M7Lion, Drefe, He7d3r, Al Lemos, Reynaldo, Srgio
Farias, GoEThe, Profcardy, Thijs!bot, Rei-bot, Escarbot, OptimusPraimus, GB, Rossicev, JAnDbot, Capmo, Marciomr, Luiza Teles, Albmont, Burngianecchini, PedroSilva, Rjclaudio, Idioma-bot, EuTuga, TXiKiBoT, Gunnex, VolkovBot, Phmaciel, SieBot, Synthebot, Lechatjaune, Vini 175, Le Pied-bot, AlleborgoBot, GOE2, One People, STBot, NatliaLucenaNeta, Gerakibot, PipepBot, Arthur Buchsbaum,
Aurola, Heiligenfeld, Inox, Beria, Pedrovitorh2, Alexbot, Catuireal, Pietro Roveri, Vitor Mazuco, Numbo3-bot, Luckas-bot, LinkFA-Bot,
LaaknorBot, Tyagotayrony, Eduardofeld, Salebot, ArthurBot, Alumnum, Xqbot, GhalyBot, Mr. Hyde, Ts42, D'ohBot, Tuga1143, Josebarbosa, TobeBot, KamikazeBot, HVL, TjBot, Tiago Peixoto, Francisco Quiumento, Bruninhor, EmausBot, JackieBot, ZroBot, JorgePP,
rico Jnior Wouters, Bluemasterbr, Braswiki, Salamat, Dreispt, Nelson Teixeira, ChuispastonBot, Stuckkey, WikitanvirBot, Raul de Oliveira, CocuBot, Colaborador Z, MerlIwBot, DarkRaku, Antero de Quintal, Amorimcarlos, J. A. S. Ferreira, Shgr Datsgen, Zoldyick,
Dcio Krause, Prima.philosophia, Inji, Legobot, Geovane.spe, Marcos dias de oliveira, Om e Annimo: 187

15.2

Imagens

Ficheiro:Aristotle_Altemps_Inv8575.jpg Fonte: http://upload.wikimedia.org/wikipedia/commons/a/ae/Aristotle_Altemps_Inv8575.

jpg Licena: Public domain Contribuidores: Jastrow (2006) Artista original: Copy of Lysippus
Ficheiro:Gregor_Reisch,_Margarita_Philosophica,_Typus_Logice.jpg Fonte: http://upload.wikimedia.org/wikipedia/commons/4/
44/Gregor_Reisch%2C_Margarita_Philosophica%2C_Typus_Logice.jpg Licena: Public domain Contribuidores: ? Artista original: ?
Ficheiro:Herkulaneischer_Meister_002.jpg Fonte: http://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: http://upload.wikimedia.org/wikipedia/commons/3/3a/Magnifying_glass_01.svg Licena:
CC0 Contribuidores: Originally from en.wikipedia; description page is/was here. Artista original: Original uploader was Mangojuice at
en.wikipedia
Ficheiro:Sanzio_01_cropped.png Fonte: http://upload.wikimedia.org/wikipedia/commons/d/d1/Sanzio_01_cropped.png Licena: Public domain Contribuidores:
Artista original: Rafael Sanzio
Ficheiro:Searchtool.svg Fonte: http://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: http://upload.wikimedia.org/wikipedia/commons/8/82/Venn_0001_0110.svg Licena: Public domain Contribuidores: ? Artista original: ?
Ficheiro:Wikibooks-logo.svg Fonte: http://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: http://upload.wikimedia.org/wikipedia/commons/f/fa/Wikiquote-logo.svg Licena: Public domain
Contribuidores: ? Artista original: ?

15.3

Licena

Creative Commons Attribution-Share Alike 3.0