Argumentos e raciocínios. Indicadores de premissa e de conclusão. Entinema e ruído. Solidez e cogência argumentativa. Falácias. Persuasão e manipulação.
Lógica Proposicional
Objecto da lógica proposicional. Frases e proposições. Proposições simples e complexas. Forma lógica e validade formal;
Variáveis proposicionais. Operadores proposicionais e verofuncionais. Os seis operadores proposicionais verofuncionais (negação, conjunção, disjunção, disjunção exclusiva, condicional e bicondicional) e suas tabelas de verdade. Variáveis e constantes lógicas. Os 16 operadores binários. O âmbito dos operadores. Funções de verdade. Fórmulas tautológicas, contraditórias e contingentes;
Formalização e avaliação de argumentos por meio de tabelas de verdade e de inspectores de circunstâncias. O método dos grafos semânticos (ou dos contra-exemplos);
Formas de inferência válida: os silogismos não-categóricos (hipotético, conjuntivo, disjuntivo, o dilema), o modus ponens, o modus tollens, lei da contraposição e leis de De Morgan. Formas falaciosas (falácias formais) de inferência: afirmação da consequente, negação da antecedente e inversão da condicional;
Formas Complexas: Negação de formas proposicionais (condicional, bicondicional); equivalências proposicionais. Variáveis de fórmula. Validades surpreendentes. Validades dedutivas informais;
Derivações. Método sintáctico ou da dedução natural. Regras primitivas e derivadas de inferência. Redução ao absurdo.
Bibliografia
John P. BURGESS. Philosophical Logic. Princeton, NJ: Princeton University Press. 2009.
Patrick J. HURLEY, A Concise Introduction to Logic. 9th ed. Belmont, CA: Wadsworth/Thomson Learning. 2006.
Desidério MURCHO. O Lugar da Lógica na Filosofia. Lisboa: Plátano. 2003.
W. H. NEWTON-SMITH. Lógica: Um Curso Introdutório. Lisboa: Gradiva. 1998.
Philippe THIRY. Noções de Lógica. 2ª ed. Lisboa: Edições 70. 2010.