Introdução à Lógica

Propaganda
Só sei que
nada sei
Filosofia
Conhece-te a ti mesmo
• O termo filosofia deriva do grego
phílos ("amigo", "amante") e
Sócrates
(470-399 a.C.)
sophía ("conhecimento", "saber") e tem
praticamente tantas definições quantas são as
correntes filosóficas
©Encyclopaedia Britannica do Brasil Publicações Ltda.
By d´Avila, Edson
© direitos reservados
1
Epicuro
(341-270 a.C.)
•
Epicuro, formulou o seguinte problema: ou
Deus pode impedir o mal e não o faz (e, com
isso, não é bom), ou então quer impedir o
mal e não consegue (e, portanto, não é todopoderoso)
Enciclopédia® Microsoft® Encarta. © 1993-1999
By d´Avila, Edson
© direitos reservados
2
Blaise Pascal
1623-1662
• Zombar da filosofia é, em verdade, filosofar
• O coração tem razões que a própria razão
desconhece
• Sem Jesus Cristo o homem permanece no vício
e na miséria; com Jesus Cristo o homem está
imune ao vício e à miséria.
By d´Avila, Edson
© direitos reservados
3
Filosofar
1. Permite que detectemos o nosso
próprio sistema de valores; muitas vezes uma
pessoa converteu-se e tornou-se cristã, mas
continua agindo por valores consumistas,
hedonistas (Hedonismo prazer o objetivo
supremo da vida), individualistas, etc. e nunca
se deu conta disso.
SAYÃO, Luiz Alberto Teixeira. Cabeças Feitas. São Paulo: GIC, 1998
By d´Avila, Edson
© direitos reservados
4
Filosofar
2. Adquirimos mais capacidade crítica para Crisipo
filtrar melhor o que nos é apresentado; não
somos meros observadores do que vemos e
ouvimos: Rejeitamos conscientemente aquilo
que não é aconselhável. Isso significa que o
estudo da filosofia nos dará mais defesa contra
a manipulação de massas, fenômeno tão
comum em nossos dias.
By d´Avila, Edson
© direitos reservados
5
Filosofar
Platão
429- 347a.C.
3. Vamos nos tornar capazes de entender nossa
própria época, descobrir as tendências da
sociedade, e poderemos até interpretar mais
adequadamente o mundo que nos cerca, sendo
mais capazes de argumentar racionalmente em
favor da nossa fé.
By d´Avila, Edson
© direitos reservados
6
Remo Bodei (1938)
Vivemos no piloto automático
• Parece que em 2500 anos a filosofia não fez
progresso algum.
• Os problemas filosóficos são importantes porque
se reelaboram.
• O que teria sido da nossa vida se não fosse esse
período de 2500 anos? Seriamos menos
inteligentes, mais oprimidos, e mais predispostos
acreditar nas fantasias da supertição.
By d´Avila, Edson
© direitos reservados
7
Lógica
A arte que dirige o próprio
ato da razão
Ciência que disciplina a
argumentação e o pensamento,
estabelecendo critérios de
validade e veracidade das
proposições.
Aristóteles
Gravura inglesa do séc.XV
Lógica
Sistematizada por Aristóteles
Aristóteles contemplando
o busto de Homero
• Parte da filosofia que estuda os processos e
condições do pensamento correto e do
conhecimento exato.
By d´Avila, Edson
© direitos reservados
9
Aristóteles
(384-322 a.C.)
• Filósofo grego. Principal discípulo de Platão,
escreveu obras sobre lógica, fenômenos
naturais, metafísica, ética, vida animal, política,
retórica e poética
By d´Avila, Edson
© direitos reservados
10
Lógica
Estudo do Raciocínio
• Entendida popularmente como o estudo do
raciocínio correto.
• Para mostrar que os sofistas (mestres da
retórica e da oratória) podiam enganar os
cidadãos utilizando argumentos incorretos,
Aristóteles estuda a estrutura lógica da
argumentação.
Almanaque Abril CD-ROM. 3a ed., 1996
By d´Avila, Edson
© direitos reservados
11
Lógica
Conhecimento Científico
• Alguns argumentos podem ser convincentes
embora não sejam corretos.
• A lógica, segundo Aristóteles, é um
instrumento para atingir o conhecimento
científico.
• Só se pode chamar de ciência aquilo que é
metódico e sistemático, ou seja, lógico.
By d´Avila, Edson
© direitos reservados
12
Lógica
Método do discurso Demonstrativo
• Na obra Organon, Aristóteles define a lógica
como um método do discurso demonstrativo,
que se utiliza de três operações da inteligência:
– Conceito (concepção, percepção, simples apreensão)
– Juízo
– Raciocínio
By d´Avila, Edson
© direitos reservados
13
Conceito
• O conceito é a representação mental dos
objetos.
Juízo
• O juízo é a afirmação ou negação da relação
entre o sujeito (o objeto) e o seu predicado
By d´Avila, Edson
© direitos reservados
14
Raciocínio
• O raciocínio é o que leva à conclusão sobre os
vários juízos contidos no discurso.
• Os raciocínios podem ser analisados como
silogismos, nos quais uma conclusão se segue
de duas premissas.
By d´Avila, Edson
© direitos reservados
15
Exemplo de Aristóteles
Todo homem é mortal. Sócrates é homem, logo,
Sócrates é mortal.
“Sócrates”, “homem” e “mortal” são conceitos.
“Sócrates é mortal” e “Sócrates é homem” são
juízos.
O raciocínio é a progressão do pensamento que se
dá entre as premissas “Todo homem é mortal”,
“Sócrates é homem” e, a conclusão, “Sócrates é
mortal”
By d´Avila, Edson
© direitos reservados
16
Exemplos
João é inteligente.
João estuda no CEFET.
Logo, todos os estudantes do CEFET são
inteligentes. (premissas verdadeiras, mas a conclusão é falsa)
Todos os estudantes do CEFET são inteligentes.
João é um estudante do CEFET.
Logo, João é inteligente.
(conclusão verdadeira sempre que tem premissas verdadeiras)
By d´Avila, Edson
© direitos reservados
17
A lógica Aristotélica
não revela novas verdades
• O matemático e filósofo alemão G.W. Leibniz
(1646-1716) critica a lógica aristotélica por
demonstrar verdades conhecidas, mas não
revelar novas verdades
• Além disso, a lógica tradicional sistematiza
apenas juízos do tipo sujeito e predicado, como
“Sócrates é mortal”
By d´Avila, Edson
© direitos reservados
18
A Lógica Aristotélica
Não é capaz de estabelecer relações entre objetos
• Além disso, a lógica tradicional sistematiza
apenas juízos do tipo sujeito e predicado,
como “Sócrates é mortal”. Já os modernos
sentem necessidade de um método capaz de
estudar também relações entre objetos, como
“A Terra é maior do que a Lua”.
By d´Avila, Edson
© direitos reservados
19
Lógica Moderna
• No final do século XIX, o alemão Gottlob
Frege (1848-1925) cria uma lógica baseada
em símbolos matemáticos e na análise formal
do discurso, lançando as bases da lógica
moderna, que formaliza os raciocínios,
organizando-os numa espécie de gramática,
que pode ser empregada a diversas linguagens
como a proposicional e a de predicados
By d´Avila, Edson
© direitos reservados
20
Linguagem proposicional
• Linguagem proposicional  Estuda a
relação dos juízos entre si
Linguagem dos Predicados
• Linguagem dos predicados  Analisa a
estrutura interna das sentenças
By d´Avila, Edson
© direitos reservados
21
Símbolos Lógicos
Cálculos ou sistemas de Dedução
• Como a matemática, ambas se utilizam de
símbolos lógicos (de negação, conjunção e
implicação, por exemplo) e não-lógicos (que
representam proposições, funções, relações
etc.) para criar cálculos ou sistemas de
dedução.
By d´Avila, Edson
© direitos reservados
22
Válido e
Verdadeiro
• A validade de um argumento depende
exclusivamente de sua fórmula lógica e não do
conteúdo das afirmações. Então, se no exemplo
aristotélico o conceito “mortal” for substituído
pelo conceito “verde” (“Todo homem é verde.
Sócrates é homem, logo, Sócrates é verde”), o
argumento permanece válido, ou correto,
embora não existam homens verdes.
By d´Avila, Edson
© direitos reservados
23
Válido e
Verdadeiro
(cont.)
• Válido, porém, não quer dizer verdadeiro.
Para que a conclusão de um argumento válido
seja verdadeira, as premissas têm de ser
verdadeiras.
By d´Avila, Edson
© direitos reservados
24
Linguagem de
Computador
• Ao estudar a estrutura e a natureza do
raciocínio humano e reproduzi-las em
fórmulas matemáticas, tornou-se possível, por
exemplo, a criação de uma linguagem binária,
que é a base de funcionamento do software
para o computador.
By d´Avila, Edson
© direitos reservados
25
George Boole
(1815, 1864)
• Em 1854 publicou o Livro: “Uma
Investigação das Leis do Pensamento”
• O propósito do tratado é o investigar as leis
fundamentais das operações da mente; dar
expressão a elas no idioma simbólico de um
cálculo.
By d´Avila, Edson
© direitos reservados
26
Álgebra de Boole
Teoria Matemática das Proposições Lógicas
• Sistema Binário. S = {0,1} (Álgebra de dois Valores)
• Três operações definidas sobre S
– Ou ( + )
–E(.)

– Complemento (
) (barra colocada em cima de um elemento
qualquer de S)
• Postulados  Conjunto de afirmações aceito sem
a necessidade de demonstração, define as
operações e fornece sustentação para a
demonstração dos teoremas
By d´Avila, Edson
27
© direitos reservados
Quadro Resumo
Álgebra de Boole
Postulados
OU
0
0
1
1
+
+
+
+
0
1
0
1
Complemento
E
=
=
=
=
0
1
1
1
0
0
1
1
.
.
.
.
0
1
0
1
=
=
=
=
0
0
0
1
Se A = 0 A = 1
Se A = 1 A = 0
0
1
By d´Avila, Edson
© direitos reservados
Falso
Verdadeiro
28
Download