Você está na página 1de 24

Mrcia da Silva Martins

Lgica - Uma Abordagem Introdutria


Copyright Editora Cincia Moderna Ltda., 2012
Todos os direitos para a lngua portuguesa reservados pela EDITORA CINCIA
MODERNA LTDA.
De acordo com a Lei 9.610, de 19/2/1998, nenhuma parte deste livro poder ser
reproduzida, transmitida e gravada, por qualquer meio eletrnico, mecnico, por
fotocpia e outros, sem a prvia autorizao, por escrito, da Editora.
Editor: Paulo Andr P. Marques
Produo Editorial: Aline Vieira Marques
Assistente Editorial: Amanda Lima da Costa
Capa: Cristina Satchko Hodge
Diagramao: Tatiana Neves
Copidesque: Nancy Juozapavicius
Vrias Marcas Registradas aparecem no decorrer deste livro. Mais do que
simplesmente listar esses nomes e informar quem possui seus direitos de
explorao, ou ainda imprimir os logotipos das mesmas, o editor declara estar
utilizando tais nomes apenas para fins editoriais, em benefcio exclusivo do dono da
Marca Registrada, sem inteno de infringir as regras de sua utilizao. Qualquer
semelhana em nomes prprios e acontecimentos ser mera coincidncia.

FICHA CATALOGRFICA

MARTINS, Mrcia da Silva.


Lgica - Uma Abordagem Introdutria
Rio de Janeiro: Editora Cincia Moderna Ltda., 2012.

1. Lgica Matemtica
I Ttulo
ISBN: 978-85-399-0255-2

Editora Cincia Moderna Ltda.


R. Alice Figueiredo, 46 Riachuelo
Rio de Janeiro, RJ Brasil CEP: 20.950-150
Tel: (21) 2201-6662/ Fax: (21) 2201-6896
E-MAIL: LCM@LCM.COM.BR
WWW.LCM.COM.BR

CDD 510.3

04/12

Para Miguel & Vtor


Meus fiis companheiros
desta jornada chamada vida

Prefcio

A lgica usualmente ensinada nos cursos de Filosofia, Matemtica, Cincia da


Computao, Sistemas de Informao, entre outros.
Recentemente essa disciplina vem ocupando significativo espao nos concursos
para uma diversidade de instituies governamentais e privadas, para diferentes nveis
de escolaridade.
O estudo do raciocnio lgico ganhou espao tornando-se indispensvel a uma
boa formao em variadas reas.
Motivada por tais fatores e pelo desejo de dar corpo s notas de aulas que venho
preparando, lapidando e utilizando ao longo dos anos, decidi por organiz-las de
forma sistemtica e didtica para o leitor que busca uma iniciao em Lgica.
O foco do trabalho a noo de consequncia lgica que vige entre premissas e
concluso de argumentos, noo crucial no mbito da Lgica.
Trata-se de um livro introdutrio que apresenta a Lgica Sentencial Clssica, tambm
chamada de Lgica Proposicional, em trs etapas: uma linguagem formal, o aparato
semntico e o aparato dedutivo, a saber: Sistema Axiomtico, Sistema de Deduo
Natural, Sistema de Tableaux Semnticos e Sistema de Resoluo, Tambm apresenta
a Lgica de Predicados de Primeira Ordem em trs etapas: sintaxe, semntica e o Sistema
Dedutivo de Tableaux Semnticos.
O livro contm muitos exemplos e exerccios elaborados ao longo dos vinte e oito
anos de exerccio do magistrio, de modo a estimular o leitor a se debruar sobre os
tpicos abordados, sem contudo, se tornar uma atividade enfadonha.
Ao realizar os exerccios propostos, lembre-se que, segundo Lichtenberg, o que se
obrigado a descobrir por si prprio deixa um caminho na mente que se pode percorrer
novamente sempre que se tiver necessidade.
A autora

Agradeo pelo incentivo incondicional,


aos meus pais Armando (in memoriam) e Nilce,
ao meu marido Miguel e a meu filho Vtor, aos meus irmos
e minha famlia no sentido amplo, aos professores e alunos do
Instituto de Matemtica e Estatstica da UFF,
a Doris Aragon (in memoriam), Ilka Dias de Castro, Rosa Baldi,
Cicero Mauro Fialho Rodrigues, Paulo Alcoforado, Ana Isabel Spinola,
Jorge Petrcio Viana, Marisa Ortegoza, Renata Pereira de Freitas,
Valria Zuma Medeiros, Haroldo Belo, Paulo Trales, Roberto Zaremba Bezerra,
Wanderley Moura Rezende, Jorge Bria e a tantos outros amigos que, cada qual
com seu modo particular de ser, enriquecem o meu caminhar.
Gostaria tambm de agradecer a Juliana Bravin pelo trabalho de ilustraes, e
Editora Cincia Moderna pelo acolhimento do presente projeto.
Mrcia da Silva Martins

Sumrio
Captulo 1
Lgica ......................................................................................................................................................... 1
Algumas palavras iniciais ..................................................................................................................... 1
Argumentos .......................................................................................................................................... 2
Validade de Argumentos ....................................................................................................................... 4
Exerccios Propostos ............................................................................................................................. 5
Relaes entre premissas e concluso ................................................................................................... 5
Argumento Correto ........................................................................................................................ 5
Argumento Dedutivo x Argumento Indutivo ................................................................................... 6
Falcia ................................................................................................................................................. 6
A Lgica na atualidade ................................................................................................................... 7
Lgica Clssica ............................................................................................................................... 7
As Extenses da Lgica Clssica ............................................................................................................ 8
Desvios da Lgica Clssica: Lgicas Heterodoxas .................................................................................... 8
Captulo 2
Um Breve Histrico .................................................................................................................................... 11
Algumas reflexes .............................................................................................................................. 14
Captulo 3
Lgica Sentencial - Sintaxe ........................................................................................................................ 17
Exerccios Propostos ........................................................................................................................... 21
Algumas curiosidades sobre o uso dos conectivos nas lnguas naturais. ................................................. 22
Linguagem objeto e metalinguagem .................................................................................................... 24

Lgica - Uma Abordagem Introdutria

Uso e meno .................................................................................................................................... 24


Sintaxe da LS .............................................................................................................................. 24
Alfabeto da linguagem da Lgica Sentencial (LS) .......................................................................... 25
Regras de Formao das Frmulas ................................................................................................ 25
Omisso de parnteses nas frmulas ............................................................................................ 26
Subfrmulas de uma frmula ....................................................................................................... 26
Traduo de Sentenas das linguagens naturais para a linguagem da LS ............................................... 27
Exerccios Propostos ........................................................................................................................... 28
Argumentos da lngua Portuguesa e sua Forma .................................................................................... 31
Exerccios Propostos ........................................................................................................................... 32
Captulo 4
Semntica da Lgica Sentencial .................................................................................................................. 33
Dando significado linguagem da LS ................................................................................................... 33
Conectivos por Funes-de-verdade .............................................................................................. 35
O valor-de-verdade I*(a) de uma frmula a em uma interpretao I . ........................................... 36
Tabela-de-verdade .............................................................................................................................. 38
Classificao das frmulas da LS ................................................................................................... 39
Conjunto das Frmulas da LS ........................................................................................................ 41
Conjunto Satisfazvel ........................................................................................................................... 42
Consequncia Tautolgica entre duas frmulas .............................................................................. 43
Consequncia Tautolgica entre frmula e conjunto de frmulas ..................................................... 45
Propriedades da relao de consequncia tautolgica .................................................................... 46
Equivalncia Tautolgica ...................................................................................................................... 46
Completude Funcional: Interdefinibilidade dos conectivos lgicos ........................................................... 48
Outros conectivos ........................................................................................................................ 49
Exerccios Propostos ........................................................................................................................... 50
Captulo 5
Sistemas Dedutivos ................................................................................................................................... 55
As noes de Prova, Teorema e Consequncia Dedutiva ....................................................................... 55
Relao entre a semntica da LS e os Sistemas ................................................................................... 56

Sumrio

XI

Dedutivos para a LS ........................................................................................................................... 56


Teorema da Corretude da LS ........................................................................................................ 56
Teorema da Completude da LS ..................................................................................................... 56
Outras Propriedades de um Sistema Dedutivo SD .......................................................................... 57
Consistncia ......................................................................................................................... 57
Decidibilidade ....................................................................................................................... 57
A utilidade das ferramentas fornecidas pelos Sistemas Dedutivos .......................................................... 57
Sistema Axiomtico ............................................................................................................................ 58
Apresentao Axiomtica ............................................................................................................ 58
Sistema Axiomtico para a LS ............................................................................................................. 59
Linguagem .................................................................................................................................. 59
Esquemas de Axiomas ................................................................................................................. 59
Regra de Inferncia ..................................................................................................................... 60
Prova .......................................................................................................................................... 60
Teorema ...................................................................................................................................... 60
Consequncia Dedutiva no Sistema Axiomtico para a LS ..................................................................... 62
Metateorema da Deduo ............................................................................................................ 63
Relao entre Consistncia e Satisfazibilidade ................................................................................ 65
Exerccios Propostos ........................................................................................................................... 65
Sistema de Deduo Natural para a LS ................................................................................................ 66
Linguagem .................................................................................................................................. 66
Regras de Inferncias .................................................................................................................. 67
A noo de derivao de uma frmula a partir de um conjunto de frmulas ................................... 68
As noes Teorema e Prova no Sistema de Deduo para a LS ...................................................... 69
Exerccio Proposto .............................................................................................................................. 72
Exerccio Resolvido ............................................................................................................................. 72
Soluo do problema via deduo natural: .................................................................................... 72
Sistema Dedutivo de Tableaux Semnticos para a Lgica Sentencial ...................................................... 75
Linguagem .................................................................................................................................. 75
Regras de Inferncias .................................................................................................................. 75
Tableau associado a um conjunto de frmulas ............................................................................... 76
Ramos de um Tableau .................................................................................................................. 77
Tableau Fechado .......................................................................................................................... 77

XII

Lgica - Uma Abordagem Introdutria

Prova .......................................................................................................................................... 77
Teorema ...................................................................................................................................... 77
Sistema Refutacional .......................................................................................................................... 78
Consequncia Dedutiva no Sistema de Tableaux Semnticos .......................................................... 78
Exerccios Propostos ........................................................................................................................... 79
Sistema Dedutivo de Resoluo para a LS ............................................................................................ 80
Clusula ...................................................................................................................................... 82
Representao de clusulas na notao de conjunto ...................................................................... 82
Representao de frmulas que esto na FNC na notao de conjunto ........................................... 82
Linguagem .................................................................................................................................. 83
Regra de Inferncia ..................................................................................................................... 83
Expanso por resoluo ...................................................................................................................... 84
Prova .......................................................................................................................................... 85
Teorema ...................................................................................................................................... 85
Consequncia Dedutiva no Sistema de Resoluo .......................................................................... 85
Exerccios Propostos ........................................................................................................................... 86
Exerccios de Reviso da LS ................................................................................................................ 87
Captulo 6
Raciocnio Lgico - LS ................................................................................................................................. 93
Captulo 7
As Limitaes da LS e a Necessidade de Ampliar o seu Arcabouo .............................................................. 101
Quantificadores Universal e Existencial .............................................................................................. 103
Captulo 8
Sintaxe da Lgica de Predicados de Primeira Ordem (LPPO) ...................................................................... 105
A Linguagem da LPPO ....................................................................................................................... 105
Termos ...................................................................................................................................... 107
Frmulas ................................................................................................................................... 107
Expresses bem formadas da linguagem da LPPO .............................................................................. 108

Sumrio

XIII

Escopo de um quantificador ....................................................................................................... 108


Ocorrncia livre ou ligada de uma varivel .................................................................................. 109
Frmula Aberta e Frmula Fechada ............................................................................................. 110
Substituio ............................................................................................................................... 110
Varivel Substituvel por um termo em uma frmula ................................................................... 111
Traduo de expresses das Linguagens Naturais para a Linguagem da LPPO ............................... 111
Exerccios Propostos ......................................................................................................................... 114
Captulo 9
Semntica da LPPO ................................................................................................................................. 119
Satisfazibilidade de uma frmula em uma Estrutura ........................................................................... 120
Classificao das Frmulas da LPPO ................................................................................................... 121
Consequncia Lgica (Consequncia semntica) ................................................................................ 122
Equivalncia lgica ........................................................................................................................... 123
Exerccios Propostos ......................................................................................................................... 123
Captulo 10
Sistema Dedutivo de Tableaux Semnticos para a LPPO ............................................................................ 129
Tableau associado a um conjunto de frmulas .................................................................................... 130
Ramos de um Tableau ....................................................................................................................... 131
Tableau Fechado ........................................................................................................................ 131
Consequncia Dedutiva no Sistema de Tableaux Semnticos ........................................................ 132
O Sistema Dedutivo de Tableaux Semnticos para a LS Correto e Completo. ..................................... 133
Exerccios Propostos ......................................................................................................................... 135
Captulo 11
Raciocnio Lgico LPPO ......................................................................................................................... 141
Bibliografia .............................................................................................................................................. 147

Captulo 1
Lgica
A Cincia, pelo caminho da exatido s tem dois olhos:
a Matemtica e a Lgica.
De Morgan

Algumas palavras iniciais


A palavra lgica utilizada em diversas acepes. No cotidiano, por exemplo,
comum fazer-se uso dela para sugerir obviedade, evidncia, etc. Porm, no presente
texto, lgica ser entendida como um campo de estudo.
Lgica, linguagem, argumentao, so palavras extremamente interligadas, visto
que nos fazemos entender, defendemos nossos pontos de vista, justificamos teorias
atravs do recurso linguagem, oral ou escrita.
Compreendemos uns aos outros e nos fazemos entender, atravs do discurso.
Ento, poderamos pensar em definir a lgica como a rea do conhecimento que
tem como objeto de estudo o discurso. Porm, se assim fosse, qual seria a funo de
outros domnios do conhecimento tais como a geografia, a fsica, a histria, etc? Estes
tambm esto comprometidos com o discurso.
O lgico, contudo, se ocupa da coerncia do discurso sem levar em conta o tema
sobre o qual esse versa. O ponto central desta questo est na distino entre verdade
lgica e verdade factual. Uma verdade lgica sustentada em virtude da sua forma,
mas no em decorrncia do contedo por ela expresso. Por exemplo, a afirmao Joo
est vivo ou Joo no est vivo tida como uma verdade lgica. Ela ser sempre
verdadeira, independente de quem seja Joo ou do que seja estar vivo. Enquanto que
uma verdade factual decorre do fato por ela expresso, como por exemplo: Joo foi
presidente do Pas.

Lgica - Uma Abordagem Introdutria

Poderamos dizer que os profissionais de outros ramos distintos da lgica esto


realmente comprometidos com a coerncia de seus discursos, porm tal coerncia
decorre diretamente do objeto de estudo concernente a cada profisso. Por exemplo,
aos gegrafos cabe a tarefa de enunciar afirmaes verdadeiras sobre aspectos
geogrficos, tais como, por exemplo, as implicaes decorrentes da movimentao das
placas tectnicas, etc.
Ao lgico, est delegada a tarefa de investigar o fator determinante da coerncia
do discurso, das argumentaes, independente do tema sobre o qual esses faam
referncia.
Os lgicos, ento, engendraram linguagens artificiais, com o intuito de realizar a
abstrao do contedo dos discursos, e colocar em relevo a forma destes para que as
relaes intrnsecas pudessem ser investigadas, livres da sobrecargas das informaes
no essenciais a esse tipo de anlise.
As linguagem artificiais construdas com esse fim so usualmente chamadas de
linguagens formais.
Frente a isso, faz sentido dizer que a lgica se ocupa das verdades formais.

Argumentos
Para propsitos de iniciarmos nalgum ponto, poderamos dizer que a Lgica,
enquanto domnio do conhecimento.. tem como objeto de estudo e investigao a
validade de argumentos.
Por argumento queremos significar a explicitao de um raciocnio em alguma
linguagem.
Usualmente, na explicitao de um raciocnio, uma ou mais proposies so
enunciadas para justificar, ou fornecer subsdios para outra proposio.
A explicitao do raciocnio em uma determinada linguagem d origem a um objeto
lingustico conhecido pelo nome de argumento, que constitudo de sentenas, dentre
as quais uma delas chamada concluso e as demais premissas.
Por exemplo, nos argumentos (i) e (ii) que se seguem, a proposio: Joo ser
campeo; expressa pelas respectivas concluses. Vejamos:

Captulo 1 - Lgica

(i)

Se Joo vencer o ltimo jogo, ento ser campeo.


Joo venceu o ltimo jogo.
Logo, Joo ser campeo.

(ii)

John will be the champion, if he wins the last game.


John won the last game.
Then, John will be the champion.

Embora Joo ser campeo e John will be the champion sejam sentenas distintas,
expressam a mesma proposio.
Segundo Irving Copi, necessrio distinguir as sentenas das proposies para
cuja afirmao elas podem ser usadas. Duas sentenas (ou oraes declarativas) que
constituem claramente duas oraes distintas, porque consistem de diferentes palavras,
dispostas de modo diferente, podem ter o mesmo significado, no mesmo contexto, e
expressar a mesma proposio.
o caso, por exemplos das duas seguintes sentenas: (a) A fbrica foi invadida
pelos operrios, e (b) Os operrios invadiram a fbrica.
A diferena entre sentenas, i..,oraes declarativas, e proposies evidenciada
ao observar que uma orao declarativa faz parte de uma linguagem determinada, a
linguagem em que ela enunciada, ao passo que as proposies no so peculiares a
nenhuma das linguagens em que podem ser expressas.
As trs sentenas que se seguem so diferentes, embora expressem a mesma
proposio: (c) Eu te amo; (d) I love you e (e) Je taime.
Copi tambm afirma que os termos proposio e enunciado no so sinnimos,
mas no contexto da investigao lgica, so usados numa acepo quase idntica.
Cabe observar que uma mesma sentena pode desempenhar o papel de premissa
em um dado argumento e de concluso em outro. Por exemplo, a sentena Joo ser
campeo que figura como concluso em (i), desempenha o papel de premissa em (iii):
(iii)

Joo ser campeo.


Se Joo for campeo, ento ser condecorado.
Logo, Joo ser condecorado.

Em alguns argumentos, a concluso vem precedida de uma palavra conclusiva tal


como logo, portanto, consequentemente, etc., conforme ilustra o exemplo abaixo.

Lgica - Uma Abordagem Introdutria

Exemplo:
A condio necessria para que Joo seja admitido na empresa, que ele
obtenha mdia superior a sete no concurso, porm sua mdia foi inferior
a sete. Logo, ele no foi admitido.
Em outros argumentos, a concluso vem seguida de uma palavra explicativa tal
como pois, porque, etc., conforme ilustra o exemplo abaixo:
Exemplo:
Eu no fui viajar, pois s iria caso meu salrio tivesse sido aumentado,
mas isso no aconteceu.
no mbito da lgica que se estuda o fator determinante da validade de um
argumento. Em tal contexto investigam-se as relaes que subsistem entre premissas
e concluso para que se possa classificar os argumentos como vlidos ou invlidos.

Validade de Argumentos
Os argumentos vlidos so aqueles em que a verdade das premissas garante a
verdade da concluso; ou em outras palavras, so aqueles em que, ao admitirmos que
as premissas sejam simultaneamente verdadeiras, ento a concluso ser verdadeira.
Outra formulao similar a essas duas : um argumento ser vlido se for impossvel
que sua concluso seja falsa, sempre que suas premissas sejam admitidas verdadeiras.
Vejamos os seguintes exemplos:
Exemplo1: O argumento abaixo vlido.
Eu no fui viajar, pois s iria caso meu salrio tivesse sido aumentado,
porm isso no aconteceu.
Exemplo 2: O argumento abaixo vlido.
A condio necessria para que o Joo seja admitido na empresa, que
ele obtenha mdia superior a sete no concurso, porm isso no aconteceu. Logo, ele no foi admitido.
Exemplo 3: O argumento abaixo invlido.
Maria vai missa apenas aos domingos. Hoje domingo. Logo, Maria foi
missa hoje.

Captulo 1 - Lgica

Trata-se de um argumento invlido, visto que possvel que hoje seja domingo
sem que, contudo, Maria tenha ido missa.
O que uma das premissas assegura que s aos domingos Maria vai missa. Ela
no assegura que Maria vai missa todos os domingos.

Exerccios Propostos
1) Tente reescrever os argumentos que figuram nos exemplos 1, 2 e 3, parafraseando-os.
2) Quantas premissas possuem cada um dos referidos argumentos e quais so elas?

Relaes entre premissas e concluso


A validade pode ser encarada como uma relao que vige entre premissas e
concluso.
H outro tipo de relao que se d entre premissas e concluso de argumentos que
igualmente importante no mbito da Lgica: a relao de dedutibilidade.
Diz-se que a concluso de um argumento dedutvel do conjunto de premissas do
argumento se pudermos extrair a concluso das premissas a partir de um nmero finito
de aplicaes de certas regras anteriormente explicitadas.
Existe relao entre os conceitos de validade e de dedutibilidade. usual chamarse a relao de dedutibilidade de relao de consequncia sinttica.
Ao longo do texto ser abordada a relao que subsiste entre consequncia
semntica e consequncia sinttica.

Argumento Correto
Um Argumento correto um argumento vlido cujas premissas so verdadeiras.
Exemplo: O argumento abaixo correto.
3 um nmero par ou primo. 3 no um nmero par. Logo, 3 um
nmero primo.

Lgica - Uma Abordagem Introdutria

Ateno, pois existem argumentos que embora premissas e concluso sejam


verdadeiras, so invlidos e assim sendo no so corretos, conforme ilustra o exemplo
a seguir:
Apenas nmeros reais so racionais.
Dois um nmero racional.
Logo, dois um nmero real.

Argumento Dedutivo x Argumento Indutivo


A diferena entre argumentos dedutivos e argumentos indutivos est diretamente
ligada ao grau de garantia que as premissas fornecem a concluso.
Tal diferena no confere a um tipo ou ao outro a qualificao de ser um bom ou um
mau argumento.
A concluso dos argumentos dedutivos vlidos nunca contm mais informaes
do que as contidas nas premissas. As premissas dos argumentos dedutivos vlidos
garantem em 100% a verdade da concluso, enquanto que isto no se d com os
argumentos indutivos. Nesses, h sempre um grau de incerteza de que a concluso
segue-se das premissas. H apenas uma probabilidade de que a concluso decorra das
premissas.
Exemplos:
(i) Argumento Dedutivo Vlido
Todos os pssaros voam.
Piu um pssaro.
Logo, Piu voa
(ii) Argumento Indutivo
Todos os animais examinados at o momento no contraram o vrus.
Logo, o prximo animal a ser examinado no contraiu o vrus.

Falcia
um argumento invlido que parece vlido. Do ponto de vista estritamente lgico,
no h qualquer distino entre argumentos invlidos que so enganadores porque
parecem vlidos, e argumentos invlidos que no so enganadores porque no parecem
vlidos. Mas essa distino relevante, visto que so as falcias que so especialmente

Captulo 1 - Lgica

enganosas. Os argumentos invlidos cuja invalidade evidente no so enganadores


e, se todos os argumentos invlidos fossem assim, no seria necessrio estudar lgica
para saber evitar erros de argumentao. Mostra-se que um argumento falacioso,
mostrando que possvel, ou provvel que suas premissas sejam verdadeiras, porm
sua concluso seja falsa.
Exemplo:
Apenas homens casados tm filhos.
Joo um homem casado.
Logo, Joo tem filhos.

A Lgica na atualidade
H uma grande variedade de Lgicas, cada qual engendrada com um determinado fim.

Lgica Clssica
Caracteriza-se por respeitar trs princpios basilares:
(i) Princpio da identidade
(ii) Princpio do terceiro-excludo
(iii) Princpio da no contradio
Segundo (i), (ii) e (ii), nessa lgica qualquer sentena implica a si mesma; qualquer
sentena verdadeira ou falsa, no restando uma terceira possibilidade; e nenhuma
sentena verdadeira e falsa simultaneamente.
O ncleo da Lgica Clssica chamado de Lgica Sentencial (LS) e nesse
mbito que se estudam as sentenas e as formas de combinar sentenas a partir de
certas partculas chamadas conectivos lgicos no, e, ou, se,...ento e se e
somente se. Tais conectivos so chamados conectivos por funo-de-verdade, em
virtude da maneira como so definidos: como funes.
No campo rotulado por LS, so apresentadas tcnicas de testar e classificar como
vlidos ou invlidos argumentos cuja validade (ou invalidade) decorre essencialmente
da presena dos conectivos acima citados.

Lgica - Uma Abordagem Introdutria

As Extenses da Lgica Clssica


Se caracterizam por (i) estender o arcabouo da Lgica Clssica, introduzindo
conectivos, distintos dos conectivos por funo-de-verdade, e (ii) obedecer os
princpios basilares da LS.
So exemplos: Lgicas Modais, Lgica Epistmica, Lgica Dentica.

Desvios da Lgica Clssica: Lgicas Heterodoxas


Estas so chamadas Lgicas Rivais ou Lgicas Heterodoxas e se caracterizam
por derrogarem algum dos princpios basilares da Lgica Clssica.
So exemplos:
Lgica Paraconsistente - Inclui-se entre as chamadas lgicas no-clssicas heterodoxas, por derrogar o princpio da contradio. Segundo a
Lgica Paraconsistente, uma sentena e a sua negao podem ser ambas
verdadeiras. Um dos mais importantes nomes da Lgica Paraconsistente
o brasileiro Newton C. A. da Costa, considerado seu criador. As teorias
do lgico brasileiro so de grande importncia para diversas reas, alm
da matemtica, filosofia e computao.
Lgica intuicionista, ou lgica construtivista, o sistema de lgica simblica desenvolvido por Arend Heyting para prover uma base formal
para o intuicionismo de Brouwer. A lgica intuicionista normalmente
conhecida, grosso modo, como a lgica no-clssica que rejeita o princpio do terceiro excludo. Entretanto, sua principal motivao surgiu no
mbito matemtico e estava fortemente relacionada com questes relativas ao conceito de infinito.
Lgicas Polivalentes - Em 1920, Jan Lukasiewicz concebeu a ideia de
usar um sistema de lgica trivalente para dar conta de afirmaes a respeito do futuro (os chamados futuros contingentes, de Aristteles).
Lgica Paracompleta - Uma dada lgica ou sistema lgico dita
paracompleta quando ela no adota a lei do terceiro excludo. Na mesma pode acontecer de tanto uma frmula quanto a sua negao serem
ambas falsas.

Captulo 1 - Lgica

Lgica Fuzzy ou Difusa Em 1965 o Prof. Lotfi Zadeh, U.C Berkeley,


apresenta os conceitos fundamentais da Lgica Fuzzy. A Lgica Fuzzy
ou Lgica Difusa diferente da Lgica Clssica, que apenas permite a
classificao de Verdadeiro ou Falso, capaz de atribuir valores lgicos intermedirios. Trabalhar em uma lgica que permite classificar
dados ou informaes vagas, imprecisas e ambguas, abre muitas possibilidades de desenvolver solues para problemas que envolvem
muitas variveis.