Lógicas – questões I

2 de junho de 2021

1. Explique a diferença entre lógica em sentido amplo e sentido estrito.

2. Explique a diferença, segundo Priest, entre argumentos dedutivos e

indutivos.

3. Enuncie e explique a definição intuitiva, pré-teórica, e a definição pre-

cisa da consequência lógica clássica.

4. O que são a sintaxe e a semântica de um sistema formal? Qual é a

diferença entre consequência lógica sintática e semântica?

5. Enuncie e explique o princípio da composicionalidade.

6. Explique a diferença entre lógica pura e lógica aplicada.

7. Enuncie e explique os teoremas da correção e completude.

***