LÓGICA

ARISTOTÉLICA
A lógica é um instrumento que ajuda a reconhecer
contradições nos argumentos e eliminar
possibilidades de erro.

Ela é um método que ajuda na elaboração e

também avaliação de argumentos a fim de torná-los
confiáveis.
Aristóteles criou um médoto lógico chamado de
SILOGISMO, que se baseia em três proposições,
sendo elas (ao menos) duas premissas e uma
conclusão.

A PROPOSIÇÃO nunca será abstrata, ou seja, ela

sempre vai afirmar ou negar algo, isto é, pode ser
considerada VERDADEIRA OU FALSA.
EXEMPLOS:

Silogismo:
Proposições:

1º premissa:
V - Sócrates é mortal
“Todo homem é mortal”
F - Sócrates é imortal

2º premissa:
“Sócrates é homem”

Conclusão:
“Sócrates é mortal.”
PRINCÍPIOS DA LÓGICA FORMAL

Nem todo raciocínio é lógico, é necessário

analisar três princípios básicos:

P=P | PeP | P ou P
PRINCÍPIOS DA LÓGICA FORMAL

1) PRINCÍPIO DA IDENTIDADE: Aquilo é o que é.

P=P
EX: Uma mesa é uma mesa, ela não é uma cadeira.
Uma flor é uma flor, ela não é um animal.
PRINCÍPIOS DA LÓGICA FORMAL

2) PRINCÍPIO DA NÃO CONTRADIÇÃO: Nenhum

pensamento pode ser falso e verdadeiro ao mesmo
tempo, ou uma coisa não pode ser diferente da sua
essência.

PeP
EX: Não sou uma pessoa nem baixa nem alta.
PRINCÍPIOS DA LÓGICA FORMAL

3) PRINCÍPIO DO TERCEIRO EXCLUÍDO: Toda proposição

possui apenas um valor de verdade, portanto, ela não
pode ser neutra, ou é VERDADEIRA ou é FALSA, NÃO HÁ
UMA TERCEIRA OPÇÃO.

P ou P
PRINCÍPIOS DA LÓGICA FORMAL

1) PREMISSA - Enunciado

2) INFERÊNCIA - Investigação, processo intelectual

3) ARGUMENTO - Conjunto de premissas, a explicação.

Obrigado!