Sumários
Lógica proposicional modal – o sistema K
8 Outubro 2018, 12:00 • Ricardo Santos
A semântica dos mundos possíveis (modelos de Kripke) para a lógica modal. A relação de acessibilidade entre mundos. A lógica K: os símbolos e as regras de formação. A semântica. Elementos de uma interpretação: conjunto de mundos possíveis, relação de acessibilidade entre mundos e função que avalia cada fórmula atómica em cada mundo. Definições de verdade (num mundo de uma interpretação), de consequência semântica e de verdade lógica. O método das árvores para a lógica K.
Lógica modal: a abordagem axiomática de C.I. Lewis
4 Outubro 2018, 12:00 • Ricardo Santos
Exemplos desfavoráveis e razões de insatisfação com a condicional material da lógica clássica. A implicação estrita de C. I. Lewis. Sua caracterização axiomática (uma forma de ‘definição implícita’). Os cinco sistemas de Lewis. Análise preliminar de alguns dos axiomas propostos. A iteração de modalidades. Diferentes sentidos de possibilidade (e de necessidade).
Introdução às modalidades. Os operadores modais.
1 Outubro 2018, 12:00 • Ricardo Santos
Introdução à lógica modal. As noções modais de necessidade, possibilidade, impossibilidade e contingência; sua representação simbólica por meio de operadores frásicos unários. A caixa e o diamante; sua interdefinibilidade. Os operadores modais não são verofuncionais. Verdades necessárias entendidas como proposições verdadeiras em todos os mundos possíveis.
O Método das Árvores para a Lógica Proposicional
27 Setembro 2018, 12:00 • Ricardo Santos
O método das árvores para a lógica proposicional. Noções básicas: árvore, raiz, nós, caminhos. As regras do método. Árvores acabadas, fechadas e abertas. O uso das árvores como teste de validade dedutiva e como teste de verdade lógica (ou contradição). Resolução de exercícios. A construção de contramodelos a partir de um ramo aberto de uma árvore acabada; verificação do contramodelo.
Breve revisão da lógica proposicional clássica (2)
24 Setembro 2018, 12:00 • Ricardo Santos
Exercícios de formalização na Lógica Proposicional clássica. A semântica para a lógica proposicional: noções de interpretação, de verdade numa interpretação, de consequência lógica e de verdade lógica (ou tautologia). Exercícios de raciocínio semântico.