Lgica

Lgica (do grego logos

1
) tem dois significados principais: discute o uso de raciocnio em alguma atividade e o
estudonormativo, filosfico do raciocnio vlido.
2
No segundo sentido, a lgica discutida principalmente
nas disciplinas de filosofia,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 sofalaciosas. Em
filosofia, o estudo da lgica aplica-se na maioria dos seus principais ramos: metafsica, ontologia, epistemologia etica. Na matemtica, estuda-se
as formas vlidas de inferncia de uma linguagem formal.
3
Na cincia da computao, a lgica uma ferramenta indispensvel. Por fim, a lgica
tambm estudada na teoria da argumentao.
4
A lgica foi estudada em vrias civilizaes da Antiguidade. Na ndia, a recurso silogstica, Nyaya remonta a 1900 anos atrs. NaChina,
o Mosmo e a Escola dos Nomes datam de 2200 anos atrs. Na Grcia Antiga a lgica foi estabelecida como disciplina porAristteles, 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.
ndice
[esconder]
1 O estudo da lgica
2 Histria
3 Lgica aristotlica
o 3.1 Lgica formal
o 3.2 Lgica material
4 Lgica matemtica
5 Lgica filosfica
6 Lgica de predicados
7 Lgica de vrios valores
8 Lgica e computadores
9 Tipos de lgica
10 Testes de lgica
11 Respostas dos "testes de lgica" citados acima
12 Ver tambm
13 Referncias
14 Leituras adicionais
O estudo da lgica[editar | editar cdigo-fonte]
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 espadasyllogismus. Em baixo, esquerda, encontra-se Parmnides, graas a quem a lgica ter sido introduzida na filosofia.
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 lgica silogstica aristotlica tradicional e a lgica simblica moderna so exemplos de lgicas formais.
Lgica informal o estudo da argumentao em lngua natural. O estudo de falcias um ramo particularmente importante da lgica
informal. Os Dilogos de Plato
5
so bons exemplos de lgica informal.
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 definies de lgica, inferncia lgica e inferncia com contedo puramente formal so a mesma coisa. sso 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.
Lgica matemtica uma extenso da lgica simblica em outras reas, em especial para o estudo da teoria dos modelos, teoria da
demonstrao, teoria dos conjuntos e teoria da recurso.
Histria[editar | editar cdigo-fonte]
Ver artigo principal: Histria da lgica
O primeiro trabalho feito sobre o tema da lgica o de Aristteles (na verdade, os sofistas e Plato j haviam se dedicado a questes lgicas, o
trabalho de Aristteles, porm, mais amplo, rigoroso e sistematizado).
9

10
A lgica aristotlica tornou-se amplamente aceita em cincias e
matemtica e manteve-se em ampla utilizao no Ocidente at o incio do sculo XX.
11
O sistema lgico de Aristteles foi responsvel pela
introduo do silogismo hipottico,
12
lgica modal temporal
13

14
e lgica indutiva.
15
Na Europa, durante o final do perodo medieval, grandes
esforos foram feitos para mostrar que as ideias de Aristteles eram compatveis com a f crist. Durante aAlta dade Mdia, a lgica se tornou o
foco principal dos filsofos, que se engajaram em anlises lgicas crticas dos argumentos filosficos (ver: !ilosofia crist").
Lgica aristotlica[editar | editar cdigo-fonte]
Ver artigo principal: #gica aristot$lica
D-se o nome de Lgica aristotlica ao sistema lgico desenvolvido por Aristteles a quem se deve o primeiro estudo 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 afirmao pode ser verdadeira e falsa ao mesmo tempo e a lei do terceiro excludo diz que qualquer
afirmao da forma *P ou no-P* verdadeira. Esse princpio deve ser cuidadosamente distinguido do *princpio de bivalncia*, o princpio
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.
Lgica formal[editar | editar cdigo-fonte]
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 definidos, e as
oraes so transformadas em notaes simblicas precisas, compactas e no ambguas. As letras minsculas p, % e r, em fonte itlica, so
convencionalmente usadas para denotar proposies:
Esta declarao define 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 con&un'(es, dis&un'(es ou condicionais. Essas proposies combinadas so chamadas proposies compostas. Por exemplo:
p: 1 + 1 = 2 e
Neste caso, e uma conjuno. As duas proposies podem diferir totalmente uma da outra!
Na matemtica e na cincia da computao, pode ser necessrio enunciar uma proposio dependendo de variveis:
p: n um inteiro mpar.
Essa proposio pode ser ou verdadeira ou falsa, a depender do valor assumido pela varivel n.
Uma frmula com variveis livres chamada funo proposicional com domnio de discurso ). Para formar uma
proposio , devem ser usados quantificadores. "Para todo n", ou "para algum n" podem ser especificados por
quantificadores: o %uantificador universal, ou o %uantificador e*istencial, respectivamente. Por exemplo:
para todo n em ), P(n).
sto pode ser escrito como:
Quando existem algumas variveis livres, a situao padro na anlise matemtica desde Weierstrass, as quantificaes para todos +++ ent"o
e*iste ou ent"o e*iste +++ isto para todos (e analogias mais complexas) podem ser expressadas.
Lgica material[editar | editar cdigo-fonte]
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[editar | editar cdigo-
fonte]
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 dosculo XX, lgicos e filsofos 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 lgico-
semnticas 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 filosfica[editar | editar cdigo-fonte]
A lgica estuda e sistematiza a argumentao vlida. A lgica tornou-se uma disciplina praticamente autnoma
em relao filosofia, 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 filosofia to bsica como
a aritmtica elementar e no tem elementos matemticos. A lgica elementar usada como instrumento pela
filosofia, para garantir a validade da argumentao.
Quando a filosofia tem a lgica como objecto de estudo, entramos na rea da filosofia da lgica, que estuda os
fundamentos das teorias lgicas e os problemas no estritamente 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 filosofia da lgica.
A filosofia da lgica distingue-se da lgica filosfica aristotlica, que no estuda problemas levantados por lgicas
particulares, mas problemas filosficos 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, oconhecimento a prioridade, etc.
Precisamente por ser uma "subdisciplina transdisciplinar", o domnio da lgica filosfica ainda mais difuso do
que o das outras disciplinas. Para agravar as incompreenses, alguns filsofos chamam "lgica filosfica"
filosofia da lgica (e vice-versa). Em qualquer caso, o importante no pensar que a lgica filosfica um gnero
de lgica, a par da lgica clssica, mas "mais filosfica"; pelo contrrio, e algo paradoxalmente, a lgica filosfica,
no uma lgica no sentido em que a lgica clssica uma lgica, isto , no sentido de uma articulao
sistemtica das regras da argumentao vlida.
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, quantificao,existncia, e outras. A Lgica filosfica est muito
mais preocupada com a conexo entre a Linguagem Natural e a Lgica.
Lgica de predicados[editar | editar cdigo-
fonte]
Ver artigo principal: #gica de predicados
Gottlob Frege, em sua Conceitografia (,egriffsschrift), 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 como "e", "ou" e "no", mas no podia
quebrar oraes em partes menores. No era possvel mostrar como "Vacas so animais" leva a concluir que
"Partes de vacas so partes de animais".
A lgica de oraes explica como funcionam palavras como "e", "mas", "ou", "no", "se-ento", "se e somente se",
e "nem-ou". Frege expandiu a lgica para incluir palavras como "todos", "alguns", e "nenhum". Ele mostrou como
podemos introduzir variveis e quantificadores para reorganizar oraes.
"Todos os humanos so mortais" se torna "Para todo x, se x humano, ento x mortal.", o que pode ser
escrito simbolicamente como:
"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:
.
Frege trata oraes simples sem substantivos como predicados e aplica a eles to "dummy objects" (x). A estrutura
lgica na discusso sobre objetos pode ser operada de acordo com as regras da lgica de oraes, com alguns
detalhes adicionais para adicionar e remover quantificadores. O trabalho de Frege foi um dos que deram incio
lgica formal contempornea.
Frege adiciona lgica de oraes:
o vocabulrio de quantificadores (o A de ponta-cabea, e o E invertido) e variveis;
e uma semntica que explica que as variveis denotam objetos individuais e que os quantificadores tm
algo como a fora de "todos" ou "alguns" em relao a esse objetos;
mtodos para us-los numa linguagem.
Para introduzir um quantificador "todos", voc assume uma varivel arbitrria, prova algo que deva ser
verdadeira, e ento prova que no importa que varivel voc escolha, que aquilo deve ser sempre verdade. Um
quantificador "todos" pode ser removido aplicando-se a orao para um objeto em particular. Um quantificador
"algum" (existe) pode ser adicionado a uma orao verdadeira de qualquer objeto; pode ser removida em favor
de um temo sobre o qual voc ainda no esteja pressupondo qualquer informao.
Lgica de vrios valores[editar | editar
cdigo-fonte]
Ver artigo principal: #gica tern-ria
Sistemas que vo alm dessas duas distines (verdadeiro e falso) so conhecidos como lgicas no-
aristotlicas, ou lgica de vrios valores (ou ento lgicas polivaluadas, ou ainda polivalentes).
No incio do sculo 20, Jan Lukasiewicz investigou a extenso dos tradicionais valores verdadeiro/falso para
incluir um terceiro valor, "possvel".
Lgicas como a lgica difusa foram ento desenvolvidas com um nmero infinito de "graus de verdade",
representados, por exemplo, por um nmero real entre 0 e 1.Probabilidade bayesiana pode ser interpretada como
um sistema de lgica onde probabilidade o valor verdade subjetivo.
Lgica e computadores[editar | editar
cdigo-fonte]
Ver artigos principais: Programa'"o lgica e Programa'"o de 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 de tempo finito e que nesse perodo produzimos
resultados esperados e bem definidos, poderamos classificar essas tarefas dentro de um algoritmo que utilizam
o conceito da lgica formal para fazer com que o computador produza uma srie sequencial.
Nas dcadas de 50 e 60, pesquisadores previram que quando o conhecimento humano pudesse ser expresso
usando lgica com notao matemtica, supunham que seria possvel criar uma mquina com a capacidade de
pensar, ou seja, inteligncia artificial. sto se mostrou mais difcil que o esperado em funo da complexidade do
raciocnio humano. A programao lgica uma tentativa de fazer computadores usarem raciocnio lgico e
a linguagem de programao Prolog frequentemente utilizada para isto.
Na lgica simblica e lgica matemtica, demonstraes feitas por humanos podem ser auxiliadas por
computador. Usando prova automtica de teoremas os computadores podem achar e verificar demonstraes,
assim como trabalhar com demonstraes muito extensas.
Na cincia da computao, a lgebra booleana a base do projeto de hard.are.
Tipos de lgica[editar | editar cdigo-fonte]
De uma maneira geral, pode-se considerar que a lgica, tal como usada na filosofia 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 podem ser mais apropriadas dependendo da circunstncia
onde so utilizadas. Podem ser divididas em dois tipos:
omplementares da lgica clssica! alm dos trs 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 epist"mica: tambm chamada "lgica do conhecimento", agrega o princpio da certeza, ou
da incerteza (ver: /ndeterminismo). 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 de#ntica: 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 $emporal: 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 especfico que inclui
novos operadores para tratar dessas situaes.
18
%nticlssicas! 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 afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto. Uma das aplicaes desse
tipo de lgica o estudo da semntica, especialmente em se tratando dosparadoxos. Um exemplo: "fulano cego, mas v".
Pelo princpio da lgica clssica, o indivduo que v, um "no-cego", 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 classificada : "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 coeficiente de Gini e o DH.

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, relacion-
las e com base nisso tirar vantagens.
19
Esta lgica pode ainda
relacionar-se com muitos assuntos em informtica.
19
Testes de
lgica[editar | editar cdigo-
fonte]
Vejam alguns testes simples de lgica:
&'Voc est numa cela onde existem duas portas, cada uma vigiada por
um guarda. Existe uma porta que d para a liberdade, e outra para a
morte. Voc est livre para escolher a porta que quiser e por ela sair.
Poder fazer apenas uma pergunta a um dos dois guardas que vigiam as
portas. Um dos guardas sempre fala a verdade, e o outro sempre mente e
voc no sabe quem o mentiroso e quem fala a verdade. 0ue pergunta
voc1 faria2
('Voc prisioneiro de uma tribo indgena que conhece todos os
segredos do Universo e portanto sabem de tudo. Voc est para receber
sua sentena de morte. O cacique o desafia: "Faa uma afirmao
qualquer. Se o que voc falar for mentira voc morrer na fogueira, se
falar uma verdade voc ser afogado. Se no pudermos definir sua
afirmao como verdade ou mentira, ns te libertaremos. O %ue voc1
diria2
)' Epimnides era um grego da cidade de Minos. Dizem que ele tinha a
fama de mentir muito.
Certa vez, ele citou esta passagem:
3ra uma ve4 um bode %ue disse:
- Quando a mentira nunca desvendada, quem est mentindo sou eu.
3m seguida o leo disse:
- Se o bode for um mentiroso, o que o drago diz tambm mentira.
Por fim o drago disse:
- Quem for capaz de desvendar a minha mentira, ento, ele estar
dizendo a verdade.
*ual deles est mentindo+
Este teste mais conhecido como paradoxo de Epimnides.
Respostas dos "testes
de lgica" citados
acima[editar | editar cdigo-
fonte]
&' 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 afirmao 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.
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.
(' Afirme que voc morrer na fogueira.
Explicao: Se voc realmente morrer na fogueira, isto uma verdade,
ento voc deveria morrer afogado, mas se voc for afogado a afirmao
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.
)' 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 comoparadoxo do mentiroso.
Veja o exemplo de um paradoxo simples e interessante:
% afirmao abai,o - .erdadeira'
% afirmao acima - falsa'
Ver
tambm[editar | editar
cdigo-fonte]
O Wikilivros tem um livro chamadoLgica
O Wikiquote possui citaes de ou sobre: Lgica
Anti-intelectualismo
Consequncia lgica
Epistemologia
F
Filosofia analtica
Histria da lgica
Histria das mentalidades
Lgica de primeira ordem
Lgica difusa
Lgica proposicional
Mtodo cientfico
Mtodo histrico
Modus ponens
Modus tollens
Racionalismo
Teoria dos conjuntos
Referncias
1. r para cima Liddell & Scott 1999; Online
Etymology Dictionary
2001,http://www.etymonline.com/index.php?
term=logic&allowed_in_frame=0
2. r para cima Popkin, Richard Henry; Stroll,
Avrum. Philosophy Made 5imple. [S.l.]: Random
House Digital, nc, 1993. SBN 978-0-385-
42533-9
3. r para cima Hofweber, T.. 5tanford 3ncyclopedia
of Philosophy. [S.l.]: Edward N Zalta,
2004. Captulo: Logic and Ontology. ,
4. r para cima Cox, J. Robert; Willard, Charles
Arthur. Advances in Argumentation Theory and
6esearch. Southern llinois University Press, 1983;
5. r para cima Plato. n: Scott Buchanan. The
Portable Plato. [S.l.]: Penguin, 1976. SBN 0-14-
015040-4
6. r para cima Aristtoles. n: Richard Mckeon. The
,asic 7or8s. [S.l.]: Modern Library, 2001. Captulo:
Posterior Analytics. , SBN 0-375-75799-6
7. r para cima Whitehead, Alfred North; Russell,
Bertrand. Principia Mathematica. [S.l.]: Merchant
Books, 2001. SBN 978-1603861823 (vol.
1), 978-1603861830 (vol. 2), 978-
1603861847 (vol. 3)
8. r para cima Hamilton, A. G.. #ogic for
Mathematicians. [S.l.]: Cambridge University Press,
1980.SBN 0-521-29291-3, faz uma
abordagem moderna lgica simblica.
9. r para cima livro "TEMAS DE FLOSOFA"
10. r para cima Por exemplo, Kline (KLNE,
Morris. Mathematical Thought !rom Ancient to
Modern Times. [S.l.]: Oxford University Press,
1972. SBN 0-19-506135-7, p.53) escreveu "A
grande feito de Aristteles foi ser o fundador da
cincia da lgica".
11. r para cima "Aristotle", MTU Department of
Chemistry.
12. r para cima Jonathan Lear (1986). "Aristotle and
#ogical Theory". Cambridge University Press.
p.34. SBN 0-521-31178-0
13. r para cima Simo Knuuttila (1981). "6eforging the
great chain of being: studies of the history of modal
theories". Springer Science & Business. p.71. SBN
90-277-1125-9
14. r para cima Michael Fisher, Dov M. Gabbay, Llus
Vila (2005). "Handboo8 of temporal reasoning in
artificial intelligence". Elsevier. p.119. SBN 0-444-
51493-7
15. r para cima Harold Joseph Berman (1983). "#a.
and revolution: the formation of the 7estern legal
tradition". Harvard University Press. p.133. SBN 0-
674-51776-8
16. r para cima CHURCH, Alonzo. /ntroduction to
Mathematical #ogic. 10th ed. Princeton, New
Jersey: Princeton University Press, 1996. SBN
978-0-691-02906-1
17. r para cima 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. r para cima 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.
Ir para:a

b
"Uma lgica causa-efeito" de Osvaldo
Mendes
Leituras
adicionais[editar | editar
cdigo-fonte]
AZEVEDO FLHO, Adriano. Princpios de nferncia
Dedutiva e ndutiva: Noes de Lgica e Mtodos de
Prova. 1 Edio 2010, Scotts Valley: CreateSpace,
148p. SBN 978-1-4421-5143-7.
BRENNAN, Andrew; DEUSTCH, Max; GOLDSTEN,
Lawrence. Lgica. Artmed, 1a edio 2007,
224p. SBN 85-363-0908-3.
DA COSTA Newton. Ensaio sobre os Fundamentos
da Lgica. Hucitec, 2 Edio 1994, 256p. SBN 85-
271-0182-3.
FETOSA, Hrcules de Arajo; PAULOVCH,
Leonardo. Um Preldio Lgica. UNESP 1a edio
2006, 225p. SBN 85-7139-605-1
COP, rving M. ntroduo Lgica. Mestre Jou. 2a
edio 1978 488p. SBN 85-87068-05-9
FNGER, Marcelo; SLVA, Flvio Soares Corra da;
MELO, Ana Cristina Vieira de. Lgica para
Computao. Thomson Pioneira, 1a edio 2006,
244p. SBN 85-221-0517-0
FSHER, Alec. A Lgica dos Verdadeiros Argumentos.
Novo Conceito, 1a edio 2008, 336p. SBN 85-
99560-29-8
GORSKY, Samir. A sem9ntica alg$brica para a lgica
modal e seu interesse filosfico. Dissertao de
mestrado. FCH-UNCAMP. 2008.
HEGENBERG, Leonidas. Dicionrio de Lgica.
Editora Pedaggica e Universitria, 1995. 223p. SBN
85-12-79060-1.
MORTAR, Czar A. ntroduo Lgica. UNESP 1a
edio 2001, 391p. SBN 85-7139-337-0
NOLT, John; ROHATYN, Dennis. Lgica. Makron
Books e McGraw-Hill, 596p.
PNTO, Paulo Roberto Margutti. ntroduo Lgica
Simblica. UFMG 2a edio 2006 339p. SBN 85-
7041-215-0
SALMON, WESLEY C . Lgica. LTC, 3a edio 1993,
96p. SBN 85-7054-041-8
SOUZA, Joo Nunes de. Lgica para Cincia da
Computao. Campus, 2a edio 2008, 240p. SBN
85-352-2961-2
Post hoc ergo propter hoc
Origem: Wikipdia, a enciclopdia livre.
A expresso latina post hoc ergo propter hoc ("depois disso, logo causado por isso")
o nome de uma falcia lgica, tambm conhecida como correlao coincidente, que
consiste na ideia de que dois eventos que ocorram em seqncia cronolgica esto
necessariamente interligados atravs de uma relao de causa e efeito
1
.
post hoc ergo propter hoc um erro especialmente tentador, porque de fato a seqncia
temporal parece ser parte integrante de causalidade. Entretanto, a falcia est em chegar
a uma concluso baseada unicamente na ordem dos acontecimentos, em vez de tomar em
considerao outros fatores que possam excluir ou confirmar tal conexo.
Estrutura lgica[editar | editar cdigo-fonte]
Quando A ocorre, B ocorre
Logo, A a causa de B
Eemplos[editar | editar cdigo-fonte]
O galo sempre canta antes do nascer do sol. Logo, o sol nasce porque o galo
canta.
Uma pessoa se muda para uma repblica. Os antigos moradores da repblica
ento dizem: "Ns nunca tivemos problemas com o fogo at que voc se mudou para
c. Logo voc a causa desse problema."