Sumários

I. Lógica Aristotélica - 3

24 Setembro 2024, 13:00 • António José Teiga Zilhão

I.3. Teoria do Silogismo - 1

I.3.1. Definições e regras de formação; 

I.3.2. As 4 Figuras e os 256 modos; 

I.3.3. Modos válidos e modos inválidos;

I.3.4. Regras de validação; 

I.3.5. Silogismos simples e silogismos complexos.

Funções de verdade e tabelas de verdade

24 Setembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Funções de verdade e tabelas de verdade: definições das cinco funções de verdade; tabelas Wittgenstein. Paradoxos da implicação material. Tautologias do Cálculo Proposicional. Princípio da bivalência. Implicação material e implicação lógica. Construção de tabelas de verdade com uma e duas variáveis proposicionais.

I. Lógica Aristotélica - 2

23 Setembro 2024, 13:00 • António José Teiga Zilhão

I.2. Inferências elementares no âmbito da Lógica Aristotélica - 2

I. 2.2. Conversão

I.2.3. Obversão

I.2.4. Contraposição

Apresentação. Início do estudo do Cálculo Proposicional

23 Setembro 2024, 09:00 • Maria Adriana Sequeira da Silva Graça

Apresentação. Início do estudo do Cálculo Proposicional


Apresentação do programa, bibliografia a regras de avaliação para a disciplina. Marcação das datas dos dois testes de avaliação obrigatórios: 7 de Novembro de 2024 e 6 de Janeiro de 2025.

Objecto da Lógica: a dedução; raciocínio dedutivamente válido como aquele para o qual é impossível as premissas serem todas verdadeira e a conclusão falsa (contraste com a indução e com a inferência para a melhor explicação). Distinção verdade/validade. A sintaxe do cálculo: letras maiúsculas do alfabeto representam proposições atómicas; as cinco funções de verdade (negação, conjunção, disjunção, implicação e equivalência); e parêntesis. Fórmulas bem formadas na linguagem do cálculo proposicional. 

Conferência

19 Setembro 2024, 13:00 • António José Teiga Zilhão

Conferência proferida pela Profª María Caamaño Alegre da Universidade de Valladolid (Espanha) subordinada ao título: Empirical Underdetermination - The empirical side of the Duhem-Quine Thesis.