Trabalho Filosófico: Problematizar, conceptualizar e Argumentar

- Dos problemas filosóficos aos conceitos - definição explícita; condição necessária e condição
suficiente; testagem de definições (certas e erradas - circular; demasiado abrangente e
demasiado restrita).

- Da análise de conceitos às teses – proposições; tipos de proposições (categóricas e

condicionais), avaliação de teses (negação de proposições categóricas; quadrado da oposição;
negação de proposições condicionais); consistência de teses.

- Das proposições aos argumentos – argumentos; valor de verdade e validade; indicadores de

premissa e de conclusão; forma canónica dos argumentos; forma lógica
dos argumentos; testagem de argumentos.

Lógica Formal

- Lógica proposicional clássica – conetivas (negação, conjunção, disjunção, condicional e

bicondicional); fórmulas proposicionais (tautologia, contradição e contingente).

- Principais formas de inferência válidas (modus ponens, modus tollens, 1.a lei de De Morgan,
2.a lei de De Morgan, silogismo disjuntivo, silogismo hipotético, contraposição e dupla
negação) e principais falácias formais (falácia da afirmação do consequente, falácia da negação
do antecedente).

- Testagem da validade dedutiva - inspetor de circunstâncias.

1. B)