Lgica

Prof Jocelma Rios

Out/2012
 O que pretendemos

Introduzir aos conceitos de lgica na

perspectiva da filosofia
Relacionar a lgica e a filosofia com
a Cincia da Computao
Exercitar o raciocnio lgico formal
 Lgica
Para a filosofia: rea que trata das
formas do pensamento em geral (deduo,
induo, hiptese, inferncia etc.) e das
operaes intelectuais que visam
determinao do que verdadeiro ou no.

Para a computao: organizao e

planejamento das instrues,
assertivas etc. em um algoritmo,
a fim de viabilizar a
implantao de um programa.
Fonte: Houaiss
 Lgica

Podemos pensar a lgica como o estudo do

raciocnio correto
O raciocnio o processo de obter
concluses a partir de suposies ou
fatos
O raciocnio correto o raciocnio onde
as concluses seguem-se necessria e
inevitavelmente das suposies ou fatos
 Lgica

A lgica procura estudar as

coisas da mente, e no as
coisas 'reais'/'concretas'

Por exemplo, quando dizemos:

arco-ris bonito, sol
distante, praia suave so
classificaes que damos s
coisas, e no as coisas em
si
Veja tambm: www.9dades.com.br/ilusao-de-otica
Lgica
 Lgica

Na filosofia, auxilia na determinao de que

certo raciocnio vlido ou no, j que
pode haver diferentes interpretaes
Na matemtica, auxilia na demonstrao de
teoremas e inferncia de resultados corretos
que podam ser aplicados nas pesquisas
Na computao, auxilia na determinao se
dado algoritmo correto ou no
Na fsica, auxilia a obter concluses de
experimentos
 Lgica
A lgica somente mais uma
teoria do pensamento

Aristteles considerado o criador da

lgica, porem o nome lgica veio bem
depois.
No incio ela no tinha um nome. Para
Aristteles, a lgica seria um modo a
ser usado para as pessoas poderem
raciocinar com segurana (evitando
errar).
 Lgica

Observe um exemplo da lgica dedutiva de

Aristteles:

Todo planeta quadrado.

A Terra um planeta.

Logo, a Terra quadrada.

 Lgica Formal

Esta lgica no se preocupa com o fato de a

Terra ser quadrada, mesmo que se saiba que ela
redonda. Pouco importa, ela aceita a
informao que lhe foi dada. Mas exige que o
raciocnio esteja correto.
Preocupa-se com a forma: A = B, ento, B = A.
Ela no presta ateno ao contedo: A ou B
podem ser planetas, burros, plantas etc. Por
isso, esta lgica formal (de forma) e
dedutiva (de deduo).
 Lgica Formal

A nossa lgica formal dedutiva funciona

assim: a partir de uma sequncia de
oraes verdadeiras chegamos a uma
concluso verdadeira

A lgica sempre utiliza uma linguagem

exata (smbolos, sinais). Isso simplifica
e facilita seu estudo.
 Lgica Formal

Aristteles tambm elaborou a argumentao

lgica indutiva.

A baleia, o homem e o cozinho so

mamferos.
A baleia, o homem e o cozinho mamam.
Logo, os mamferos mamam.

Ou seja, de enunciados singulares chegamos

a um universal.
 Lgica
Mais tarde, Bacon e outros aprofundaram
esses ensinamentos e dividiram a lgica em
trs reas:
1.Formal: a que estamos aqui tratando.
2.Transcendental: estuda as condies que do
base ao nosso conhecimento. Kant explicou que
o intelecto tende a colocar tudo em ordem,
cada tijolinho no lugar. Alis, cada pessoa j
possui uma lgica natural ao interpretar e
classificar o que ela vivencia.
3.Matemtica: origina frmulas de outras
frmulas, puro raciocnio. So regras e mais
regras inventadas, como jogos de cartas.
 Lgica
Hegel, no entanto, achava que a lgica
referia-se ao pensamento e realidade;
disse que:
todo o que racional real, e todo o
que real racional
A lgica uma cincia, uma arte, um
jogo; tudo se passa como em um tabuleiro
de xadrez
Mas, vejamos tambm outro tipo de lgica, a
que considera a verdade (o contedo). Ela
considera o desconhecido, a dvida, a
opinio, a certeza.
 Lgica
chamada de lgica material. Ela no aceita o
fato se algum diz que a Terra quadrada,
uma verdade. Temos alguns conceitos nesta
lgica:
Ignorncia a falta do conhecimento
Dvida a indeciso entre uma afirmao e uma
negao
Opinio uma opo que envolve a dvida
Certeza um firme apego verdade
A verdade pode gerar muita discusso e
barulho. Afinal, como podemos saber o que
mesmo a verdade? Os cticos, por exemplo,
acham que no podemos afirmar nada; pois tudo
incerto.
 Lgica

J quem segue o dogmatismo, considera que a

razo humana pode conhecer a verdade. E h
muitas outras posies sobre a verdade:
positivistas, idealistas e outras
O importante saber que a verdade varia
conforme os muitos sistemas filosficos
Isso pode ser potico. Existem verdades e a
lgica utiliza a verdade que deseja
utilizar
A lgica material defende a verdade na qual
acredita de perigos como o sofisma
 Lgica
Sofisma um raciocnio errado com a
aparncia de verdadeiro, tem a inteno de
conduzir ao erro; observe o raciocnio:
Maria Alice bonita.
Maria Clara bonita.
Logo, todas as Marias so bonitas.
Voc j imaginou o que seria se no existisse
lgica nas coisas?
J imaginou se nada fizesse sentido?
Hoje, a lgica fundamental em nossa sociedade,
seja na Computao, no ensino-aprendizagem, na
matemtica, na medicina etc.
 Lgica

Logo, o resumo de tudo isto, que podemos

considerar como sendo vlida a seguinte
definio.
Cincia da argumentao, prova, reflexo
ou inferncia
Ela lhe permitir analisar um argumento ou
raciocnio e deliberar sobre sua
veracidade.
A lgica no um pressuposto para a
argumentao, claro; mas conhecendo-a,
mesmo que superficialmente, torna-se mais
fcil evidenciar argumentos invlidos.
 Lgica Matemtica
Consiste no estudo matemtico da lgica e na
aplicao deste estudo a outras reas da
matemtica

Guarda estritas conexes com a cincia da

computao
Foi tambm chamada de lgica simblica.
Inclui a lgica clssica (de Aristteles), mas
com uma notao diferente, mais abstrata,
tomada da lgebra
Teorias associadas: Teoria dos Conjuntos,
Teoria dos Modelos, Teoria da Prova e Teoria
da Recurso
 Raciocnio Lgico
Questes para raciocinar:

Qual o nmero que completa a sequncia: 1,

3, 6, 10, ...
13
15
12
11
18
Qual o nmero que completa a sequncia: 1,
1, 2, 3, 5, ...
5
6
7
8
9
 Raciocnio Lgico
H trs suspeitos de um crime: o cozinheiro, a
governanta e o mordomo. Sabe-se que o crime foi
efetivamente cometido por um ou por mais de um
deles, j que podem ter agido individualmente ou
no. Sabe-se, ainda que:
se o cozinheiro inocente, ento a governanta
culpada
ou o mordomo culpado ou a governanta
culpada, mas no os dois
o mordomo no inocente
Logo:
a governanta e o mordomo so os culpados
o cozinheiro e o mordomo so os culpados
somente a governanta culpada
somente o cozinheiro inocente
somente o mordomo culpado
Acesse para mais desafios: http://rachacuca.com.br/logica/
 Sequncia lgica

So passos executados at
atingir um objetivo ou soluo
de um problema.
 Referncias
BARONETT, Stan. Lgica: uma introduo voltada
para as cincias. Traduo de Anatlio Laschuk.
Porto Alegre: Bookman, 2009. Cap. 4, 5 e 6

MURCHO, Desidrio. Introduo lgica.

Disponvel em: <http://dmurcho.com/docs/introlog.pdf >

PINEDO, Christian. Lgica matemtica. Disponvel

em:
http://www.eumed.net/libros/2009a/499/LOGICA%20MATEMATICA.htm
 Vdeos sugeridos

Curso on-line de Lgica

www.youtube.com/watch?v=fj89dczszJ0 (argumentos dedutivos no-vlidos)
www.youtube.com/watch?v=P73-zpCOPNk (proposies e tabela-verdade)
Raciocnio lgico
www.youtube.com/watch?v=lg0zFWCoA30 (Aula 1 - Introduo)
www.youtube.com/watch?v=hoPu6hRfEG0 (Aula 2 - Introduo)
Sequncias numricas
www.youtube.com/watch?v=-GYdgAGyZt0
Aula de raciocnio lgico 2a. Parte
www.youtube.com/watch?v=EPRLzX0_ZjM