Prova - Filosofia da Lógica

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