LÓGICA

Definição

A lógica (do grego "logos", que significa palavra, pensamento, razão) é uma ciência fortemente ligada à Filosofia.

A aprendizagem da lógica não constitui um fim em si.

Ela só tem sentido enquanto meio de garantir que nosso pensamento proceda corretamente a fim de chegar a conhecimentos verdadeiros.

Aristóteles

O principal

organizador da

lógica clássica foi

Aristóteles, com

sua obra chamada

Organon.

Tipos de lógica

A lógica pode ser divida em alguns tipos, como: •Lógica Modal

•Lógica Epistêmica

•Lógica Deôntica

•Lógica Paraconsistente

•Lógica Paracompleta

•Lógica Difusa

Lógica modal

Utiliza o princípio das possibilidades.

Exemplos:

É possível que eu viaje se não chover.

Minha avó necessariamente é idosa e meu pai não pode ser jovem

Lógica epistêmica

Agrega o princípio da certeza, ou da incerteza.

Exemplos:

pode ser que haja vida em outros

planetas, mas não se pode provar

não se pode saber se duendes

existem ou não

Lógica deôntica

Forma de lógica vinculada à moral, agrega os princípios dos direitos, proibições e obrigações.

Exemplos:

é proibido fumar mas é permitido

beber

se você é obrigado a pagar

impostos, você é proibido de sonegar

Lógica Paraconsistente É uma forma de lógica onde tanto as

orações afirmativas quanto as negativas podem ser falsas ou verdadeiras, dependendo do contexto.

Exemplo:

João é cego, mas vê.

Lógica Paracompleta

Nesta forma de lógica,  uma oração pode não ser totalmente verdadeira, nem totalmente falsa.

Exemplo:

José conhece a China.

Lógica Difusa

Este tipo de lógica engloba conceitos estatísticos, admite valores lógicos intermediários entre o falso (0) e o verdadeiro (1)

Exemplo:

Algo é 30% quente, 25% morno e 45% frio

Testes de Lógica

Teste 1

Você está numa cela onde existem duas portas,

cada uma vigiada por um guarda. Existe uma

porta que dá para a liberdade, e outra para a

morte. Você está livre para escolher a porta que

quiser e por ela sair. Poderá fazer apenas uma

pergunta a um dos dois guardas que vigiam as

portas. Um dos guardas sempre fala a verdade,

e o outro sempre mente e você não sabe quem

é o mentiroso e quem fala a verdade. Que

pergunta você faria?

Teste 2

Você é prisioneiro de uma tribo indígena que

conhece todos os segredos do Universo e portanto

sabem de tudo. Você está para receber sua

sentença de morte. O cacique o desafia: "Faça uma

afirmação qualquer. Se o que você falar for mentira

você morrerá na fogueira, se falar uma verdade

você será afogado. Se não pudermos definir sua

afirmação como verdade ou mentira, nós te

libertaremos. O que você diria?