Lgica

Origem: Wikipdia, a enciclopdia livre.

Lgica (do grego logos)

o
estudo
normativo
e filosfico do raciocnio vlido. A lgica discutida principalmente
na filosofia, na matemtica e na 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
filosofia, 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.
Na cincia da computao, a lgica uma ferramenta indispensvel. Por
fim, a lgica tambm estudada na teoria da argumentao.
A lgica foi estudada em vrias civilizaes da Antiguidade. Na ndia, a
recurso silogstica, Nyaya remonta a 1900 anos atrs. Na China,
o Mosmo e 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).
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).
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. O sistema lgico de Aristteles foi responsvel pela
introduo do silogismo hipottico, da lgica modal temporal e da lgica
indutiva. 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 a Alta Idade Mdia, a lgica se

tornou o foco principal dos filsofos, que se engajaram em anlises
lgicas crticas dos argumentos filosficos
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 nocontradio e a lei do terceiro excludo.
A lei da no-contradio diz que nenhuma afirmao pode ser verdadeira
e falsa ao mesmo tempo.
A lei do terceiro excludo diz que qualquer afirmao da forma P ou noP 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.

Raciocnio lgico

O estudo da lgica

Em lgica, pode-se distinguir trs tipos de raciocnio lgico: deduo,

induo e abduo. Dada uma premissa, uma concluso, e
uma regra segundo a qual a premissa implica a concluso, eles podem
ser explicados da seguinte forma:

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

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.

Deduo corresponde a determinar a concluso. Utiliza-se

da regra e sua premissa para chegar a uma concluso. Exemplo:
"Quando chove, a grama fica molhada. Choveu hoje. Portanto, a
grama est molhada." comum associar os matemticos com este
tipo de raciocnio.

Induo determinar a regra. aprender a regra a partir de

diversos exemplos de como a concluso segue da premissa.
Exemplo: "A grama ficou molhada todas as vezes em que choveu.
Ento, se chover amanh, a grama ficar molhada." comum
associar os cientistas com este estilo de raciocnio.

Abduo significa determinar a premissa. Usa-se a concluso e

a regra para defender que a premissa poderia explicar a concluso.
Exemplo: "Quando chove, a grama fica molhada. A grama est
molhada, ento pode ter chovido." Associa-se este tipo de raciocnio
aos diagnosticistas e detetives.

Lgica matemtica
Histria moderna
Lgica Matemtica uma sub-rea da matemtica que explora as
aplicaes da lgica formal para a matemtica. Os temas unificadores na
lgica matemtica incluem o estudo do poder expressivo de sistemas
formais e o poder dedutivo de sistemas de prova matemtica formal.

Histria
A lgica matemtica surgiu em meados do sculo XIX como um sub-ramo
da Matemtica e independente do estudo tradicional da lgica (Ferreirs
2001, p. 443) (Ferreirs 2001, p. 443). Antes do seu surgimento
independente, a lgica foi estudada com a retrica, atravs do silogismo e
da filosofia.
Os estudos sobre o raciocnio foram inicialmente desenvolvidos por
filsofos como Parmnides e Plato, mas foi Aristteles quem o elaborou
mais detalhadamente e definiu a lgica como se estuda hoje em dia
(como se estudava at o sculo XIX).
Para mostrar que os sofistas (mestres da retrica e da oratria) podiam
enganar os cidados utilizando argumentos incorretos, Aristteles
estudou a estrutura lgica da argumentao. Revelando, assim, que
alguns argumentos podem ser convincentes, embora no sejam corretos.
A lgica, segundo Aristteles, um instrumento para atingir o
conhecimento cientfico, baseando-se no silogismo.
Seguidores de Aristteles reuniram seus princpios sobre lgica em um
livro intitulado Organon, que significa Instrumento da Cincia.

Teorias lgicas foram desenvolvidas em diversas culturas na

histria, China, ndia, Grcia e no mundo Islmico. Na Europa do sculo
XVIII,
filsofos
matemticos,
como Leibniz
e Lambert tentaram
representar as operaes da lgica formal atravs de smbolos, de forma
algbrica mas seus esforos e trabalhos permaneceram isolados e pouco
reconhecidos.

Sculo XIX
Em meados do sculo XIX, George Boole e posteriormente Augustus
De Morgan apresentaram tratamentos matemticos sistemticos. Seus
trabalhos, alicerados em trabalhos de algebristas como George
Peacock, transformaram a doutrina tradicional de Aristteles de forma que
se encaixasse no estudo dos foundations of mathematics (Katz 1998,
p. 686).
Charles Sanders Peirce, a partir dos estudos de Boole, buscou
desenvolver um sistema de relaes lgica e quantificadores o qual ele
publicou diversas vezes entre 1870 e 1885.
Gottlob Frege apresentou um desenvolvimento independente da lgica
com quantificadores no seu Begriffsschrift, publicado em 1879, um
trabalho por muitos considerado como uma reviravolta na histrica da
lgica. O trabalho de Frege permaneceu incerto, pelo menos at Bertrand
Russell comear a promov-lo no incio da virada do sculo. As notaes
bidimensionais desenvolvidas por Frege nunca foram vastamente
adotadas e caiu em desuso nos artigos e textos contemporneos.

De 1890 a 1905, Ernst Schrder publicou o Vorlesungen ber die Algebra

der Logik em trs volumes. Esse trabalho compactava e desenvolvia os
trabalhos de Boole, De morgan, e Peirce e se tornou uma grande
referncia para lgica simblica, como era conhecida no fim do sculo
XIX.
Se verdade que os raciocnios e argumentos matemticos utilizam
alguma lgica ou regras lgicas de inferncia, no e esse o aspecto mais
desenvolvido daquilo que modernamente se entende por lgica
matemtica. De certo, esta lgica progressivamente vem assumindo
tambm um carter de disciplina matemtica qual no so estranhas,
portanto, as tcnicas abstratas da matemtica.
A lgica acha-se intimamente correlacionada com a matemtica. Assim,
quando buscamos aproximar a lgica e a matemtica, pretendemos, tosomente sublinhar que elas se acham correlacionadas entre si de
maneira profunda, tanto pelos objetos como pelos seus mmtodos. No
fundo, uma das causas da aproximao que se verificou, a contar do
sculo XVII e seguintes, entre a lgica e a matemtica, radica no uso
bsico que ambas fazem do mtodo axiomtico e da formalizao
(Newton C. A. da Costa, 1994: 19-21)
De acordo com a tradio, a lgica matemtica tem incio nos trabalhos
do filsofo e matemtico alemo Gottfried Wilhelm Leibniz (1646-1716).
Tendo compreendido que a lgica, com os seus termos, proposies e
silogismos, guarda uma certa semelhana com a lgebra, a partir da sua
De Arte Combinatoria, escrita em 1666, Leibniz procura aplicar lgica o
modelo de clculo algbrico de sua poca. Nessa obra introdutria, o
filsofo tenta implantar a ambiciosa construo de uma lingua
philosophica com characteristica universalis, uma espcie de sistema
exato e universal de notao concebido para expressar de forma clara o
pensamento humano. Em paralelo, prope o desenvolvimento de um
calculus ratiocinator (clculo da razo), uma espcie de clculo que
permitiria inferir, quase que mecanicamente, das premissas (combinaes
simblicas convenientes) representadas na lingua philosophica, por

concluso, todas as coisas pensadas. Apesar do programa lgicomatemtico de Leibniz, na forma como foi introduzido no sculo XVII, no
ser teoricamente exequvel, o calculus ratiocinator constituiu um
importante precursor na metodologia da lgica matemtica
contempornea.
Passados dois sculos da proposta de Leibniz, a lgica matemtica tem
uma formulao formal mais precisa no ano de 1847 com a publicao do
livro The Mathematical Analysis of Logic de George Boole (1815-1864).
Neste trabalho inovador, Boole estabelece a lgica matemtica como uma
espcie de clculo lgico de classes. No mesmo ano, Augustus De
Morgan (1806-1871) publica o tratado Formal Logic no qual desenvolve
importantes estudos sobre a lgica das relaes. No ano de 1854,
George Boole publica o artigo An Investigation into the Laws of thought
on which are Founded the Mathematical Theories of Logic and Probability
complementando as teorias do seu livro de 1847. Anos depois, com Ernst
Schrder (1841-1902), no volumoso tratado Vorlesungen ber die Algebra
der Logic publicado no perodo entre 1890 e 1895, as noes lgicas
booleanas recebem um refinamento notvel.
Uma abordagem simblica moderna lgica matemtica encontrada
nos trabalhos do alemo Gottlob Frege (1848-1925), em particular no
Begriffsschrift de 1879 e no Grundgesetze der Arithmetik publicado no
perodo entre 1879 e 1903, e nas pesquisas de Giuseppe Peano (18581932) com o extenso Formulaire de Mathmatiques publicado a partir de
1894. Em suma, o trabalho de Peano almeja expressar toda a matemtica
em termos de um clculo lgico, ao passo que o trabalho de Frege deriva
da necessidade de uma fundamentao mais slida matemtica.
Os trabalhos iniciados por Frege e Peano impulsionam a construo da
monumental obra Principia Mathematica publicada entre os anos de 1910
e 1913 por Alfred North Whitehead (1861-1947) e Bertrand Russell (18721970). A identificao de grande parte da matemtica com a lgica a
ideia bsica dessa obra. Nessa abordagem, os conceitos e teoremas

matemticos so desenvolvidos a partir de ideias lgicas, comeando

com o clculo das proposies, passando pela teoria das classes e teoria
das relaes. No perodo entre 1934 e 1939 aparece o abrangente
Grundlagen der Mathematik de David Hilbert (1862-1943) e Paul Bernays
(1888- 1977). O ambicioso programa formalista de Hilbert e Bernays tinha
como objetivo fundamentar toda a matemtica mediante a aplicao de
sistemas formais fundamentados no mtodo axiomtico.
Os anos que se sucederam s pesquisas de Bernays e Hilbert so
seguidos por inmeros outros importantes trabalhos em lgica
matemtica, entre os quais, para citar alguns, o artigo ber Formal
Unentscheidbare Stze der Principia Mathematica und Verwandter
Systeme I (1931) do matemtico Kurt Gdel (1906-1978)5 e os trabalhos
On Some Fundamental Concepts of Metamathematics (1930), The
Concept of Truth in Formalized Languages (1935), Boolean Algebras with
Operators (1952), entre outros, do lgico polons Alfred Tarski (19011983)

A lgica proposicional e a lgica dos

predicados
A Lgica Matemtica fundamentada pelo clculo proposicional (ou
clculo dos enunciados, ou clculo sentencial) e pelo clculo dos
predicados. No clculo sentencial tm-se as entidades mnimas de
anlise (proposies ou enunciados) como elementos geradores. No
clculo dos predicados os elementos de anlise correspondem s
chamadas funes proposicionais. No primeiro caso no se analisa a
relao ntima entre o nome e o predicado da estrutura em anlise. Sendo
oposto no segundo caso. Os smbolos tm significado e usos especficos
no clculo proposicional.

Lgica proposicional
Em lgica e matemtica, uma lgica proposicional (ou clculo
sentencial)

um sistema
formal no
qual
as
frmulas
representam proposies que podem ser formadas pela combinao de
proposies atmicas usando conectivos lgicos e um sistema de regras
de derivao, que permite que certas frmulas sejam estabelecidas como
"teoremas" do sistema formal.

Lgica Proposicional e lgebra de Boole

A lgica proposicional remonta a Aristteles, e teve como objectivo
modelizar o raciocnio humano. Partindo de sentenas declarativas
fechadas (proposies), que podem ser verdadeiras ou falsas, estuda-se
o processo de construo e a veracidade de outras proposies usando
conectivas como ou (
), e (
), no (), se...ento....
Por exemplo, Os gatos so mamferos e O Porto uma cidade uma
conjuno de proposies verdadeiras, e portanto uma proposio
verdadeira.
George Boole (1815-1864) sistematizou a lgica proposicional como uma
lgebra.
Na lgica proposicional associa-se a cada proposio um valor lgico: ou
verdade (1) ou falso (0). Cada proposio representada por uma
varivel (proposicional): A, B, ...

As afirmaes contempladas numa proposio podem at envolver

frmulas que exprimam relaes entre vrias afirmaes estabelecidas
com operadores lgicos, mas a sua resposta ser sempre s uma de
entre duas possveis: verdadeira ou falsa. As proposies representam
ento, as frmulas da lgica proposicional ou clculo proposicional.

As lgebras booleanas foram pela primeira vez aplicadas a interruptores

por Claude Shannon, no sculo XX, que demonstrou que a aplicao a
circuitos eltricos da lgebra de Boole podia resolver qualquer relao
lgica e numrica. Uma varivel Booleana pode assumir apenas dois
valores: 1 e 0, ou verdadeiro e falso, como por exemplo:

Dessa forma, o Clculo Proposicional um sistema no qual as frmulas

representam proposies que podem ser formadas pela combinao de
proposies atmicas usando operadores lgicos.

A lmpada est acesa (verdadeiro) ou a lmpada est apagada

(falso) se a lmpada estiver acesa.

Em 1854, o matemtico britnico George Boole, atravs da obra

intitulada An Investigation of the Laws of Thought (uma investigao
sobre as leis do pensamento), apresentou um sistema matemtico de
anlise lgica conhecido como lgebra de Boole. A lgebra de Boole
uma teoria Matemtica baseada em estruturas algbricas que capturam a
essncia das operaes lgicas AND (E), OR (OU) e NOT (NO), bem
como da teoria de conjuntos.
Mais especificamente, a lgebra de boole foi uma tentativa de utilizar
tcnicas algbricas para lidar com expresses no clculo proposicional. A
lgebra Booleana foi desenvolvida com base nos mais antigos conceitos
dos filsofos Gregos sobre a Lgica, como por exemplo o mtodo de
investigao de Scrates, segundo o qual, se duas verdades so
alcanadas individualmente ao junt-las tem-se uma nica verdade.
Portanto, George Boole criou estruturas algbricas que trabalhavam a
dualidade verdadeiro/falso de afirmaes atravs dos operadores lgicos,
isto , criou o que viria a ser o Clculo proposicional ou Lgica
proposicional.
George Boole, sem o saber e com cerca de um sculo de antecipao,
estava a criar o fundamento da matemtica computacional, baseada
em nmeros binrios.

Uma porta est fechada (verdadeiro) ou uma porta est aberta (falso)
se a porta estiver fechada.
Um interruptor est aberto (verdadeiro) ou um interruptor est
fechado (falso) se o interruptor estiver aberto.
E a sua representao pode ser feita por
Smbolos (Portas Lgicas). A porta Lgica a aplicao do conceito
de operador lgico a algo com representao fsica que se pode
inserir num circuito lgico.
Expresses algbricas lgicas.
Tabelas-verdade; que consistem de tabelas com o valor da sada
para todas as combinaes possveis dos valores das entradas.

Constante Lgica
Na lgica, uma constante lgica uma expresso cuja presena e
posio determina a forma lgica da proposio, e, por extenso,
a validade ou invalidade dos argumentos.

Dentro de uma linguagem formal com uma semntica formal , uma

constante lgica uma expresso cujo significado no varia de acordo
com cada interpretao.
Conectivos lgicos e quantificadores so os dois principais tipos de
constantes lgicas usadas em sistemas formais como a lgica
proposicional e a lgica de predicados. Outro exemplo importante de
constante lgica so os operadores modais.
(http://es.wikipedia.org/wiki/Constante_lgica)

Conectivo lgico
Na lgica, um conectivo lgico, ou simplesmente conectivo (tambm
chamado de operador lgico), um smbolo ou palavra utilizada para
conectar duas frmulas bem formadas atmicas (proposies simples ou
atmica no caso da lgica proposicional), de modo que o valor de
verdade da frmula composta (proposio composta) depende do valor
de verdade das frmulas simples que compem a frmula composta.

Quantificador
Na lgica matemtica, na teoria dos conjuntos e na matemtica em geral,
os quantificadores so smbolos usados para indicar quantos ou que
tipo de elementos de um conjunto dado apresentam determinada
propriedade (por exemplo, pertinncia, equivalncia ou ordem). Existem
muitos tipos de quantificadores.
Os quantificadores transformam sentenas abertas em proposies
lgicas, atravs da quantificao das variveis.
Exemplo:
P(x) = x + 3 > 5 no proposio, por ser sentena aberta.

Quantificao:
Existe x, x + 3 > 5, verdadeira se x {0,2,4}
Para todo x, x + 3 > 5, falsa se x {0,2,4}