Objetivos Gerais:

1 - Introdução à problemática dos sistemas formais (lógicos) e principais conceitos associados.
2 - Conhecimento de técnicas de raciocínio numéricas e não numéricas.
3 - Conhecimento de diferentes métodos formais de tomada de decisões.
4 - Introdução a problemática da escolha social
5 - Conhecimentos da teoria do conhecimento.

Conteúdos / Programa:

1 - Lógica Proposicional e Raciocínio Dedutivo: Sistemas Formais: Introdução. Sintaxe. Semântica e Teoria de Prova. Lógica Proposicional. Sintaxe: Alfabeto. Conectivos. Fórmulas. Semântica: Interpretação. Tabelas de Verdade. Fórmulas Equivalentes. Regras de Substituição. Tautologias - Contradições e Contingências. Teoria de Prova: Silogismos - Tableaux. Raciocínio Dedutivo: A lógica escondida: Sudoku e Enigmas Lógicos. A lógica nas demonstrações científicas.
2 - Raciocínio não Dedutivo: A inferência não Monótona: Indução, Abdução, Analogia, Modelos Numéricos.
3 - Teoria da Decisão: Decisão sob Ignorância. Decisão sob Risco: Probabilidades - Utilidade
4 - Eleição Social: Conceitos, origens. Basic Judgment Aggregation (dilema discursivo). Regras de agregação. Alocação Justa.
5 - Teoria do Conhecimento: Conhecimento: Definições - As fontes de Conhecimento. A Justificação do Conhecimento: Fundacionalismo versus Coerentismo

Bibliografia / Fontes de Informação:

Hamilton, A.G. , 1988 , Logic for Mathematicians , Cambridge University Press
Pigozzi, Gabriela , 2021 , Belief Merging and Judgment Aggregation , The Stanford Encyclopedia of Philosophy (Spring 2021 Edition)
Resnik, M. D. , 1987 , Choices: An introduction to Decision Theory , University of Minnesota Press
Lehrer, Keith , 1990 , Theory of Knowledge , Routledge
Brachman, Ronald & Levesque, Hector , 2004 , Knowledge Representation and Reasoning , Morgan Kaufmann Publishers

Métodos e Critérios de Avaliação:

Tipo de Classificação: Quantitativa (0-20)

Metodologia de Avaliação:
Aulas expositivas, Realização de trabalhos, Sessões de apresentação, Discussões e soluções de problemas propostos. 1º teste: Lógica Proposicional e raciocínio dedutivo. (1/3 da nota final) 2º teste: Teoria da Decisão e Eleição Social. (1/3 da nota final) Trabalho em grupo sobre Raciocínio não Dedutivo e Conhecimento. (1/3 da nota final)