O documento discute os principais tipos de lógica, incluindo a lógica clássica de Aristóteles, a lógica modal, epistêmica, deôntica, paraconsistente, paracompleta e difusa. Exemplos ilustram cada tipo de lógica.

2.  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.

3.  O principal organizador
da lógica clássica foi
Aristóteles, com sua obra
chamada Organon.

4.  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

5.  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

6.  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

7.  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

8.  É 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ê.

9.  Nesta forma de lógica, uma oração pode não
ser totalmente verdadeira, nem totalmente
falsa.
Exemplo:
 José conhece a China.

10.  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

12. 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?

13. 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?