Enviar respostas em arquivo .doc por email até o dia 22 de setembro.
Abraços
1. Explique cada um dos diferentes aspectos da lógica que são
apresentados por Tugendhat no capítulo 1 do livro Propedêutica
Lógico-semântica.
2. Por que Chateaubriand considera que o caráter primordial da lógica
é metafísico e não linguístico? Justifique sua resposta apresentando e
analisando argumentos de Chateaubriand.
3. Responda:
(i) O que é um sistema lógico contraditório?
(ii) O que é um sistema lógico trivial?
(iii) O que é um sistema lógico explosivo?
4. Explique, do ponto de vista das lógicas da inconsistência formal a
equação abaixo:
Contradictions + Consistency = Triviality
5. Por que as duas noções de inconsistência abaixo são equivalentes do
ponto de vista da lógica clássica, mas não para lógicas
paraconsistentes?
(i) S é consistente sse não existe
A tal que
A e
não A são teoremas de S.
(ii) S é consistente sse existe
B tal que
B não é teorema de S
