Sumários
Fórmulas de Barcan, possibilismo e actualismo
12 Maio 2026, 11:00 • Ricardo Santos
A fórmula de
Barcan e a fórmula de Barcan conversa: verdades lógicas na lógica modal
quantificada simples (i.e. com domínio constante), mas com aparentes
contra-exemplos na linguagem natural. Existentes contingentes e existentes necessários.
Domínios variáveis, crescentes e decrescentes. Dificuldades para os sistemas
com domínios variáveis: como avaliar (num mundo) proposições acerca de objectos
que não existem (nesse mundo)? Algumas opções: falhas de valor de verdade ou
lógica livre (negativa ou positiva). Uma defesa possibilista da lógica modal
simples: conceber o domínio da interpretação como conjunto (constante) dos
objectos possíveis. O uso de quantificadores possibilistas junto com um predicado
de existência (ou actualidade). O debate entre possibilismo e actualismo.
Lógica modal quantificada com domínio variável
7 Maio 2026, 11:00 • Ricardo Santos
A lógica modal quantificada (ou lógica de predicados de primeira ordem). A linguagem formal. A semântica. Primeiros elementos de uma interpretação: conjunto de mundos, relação de acessibilidade, conjunto de objectos ('domínio'), referência dos nomes (constante), extensão dos predicados (variável). Exemplos de interpretações e de avaliação de fórmulas nos mundos de uma interpretação. Problemas da existência contingente. Lógica modal quantificada com domínio variável. O problema de saber se é possível um objecto ter propriedades em mundos em que não existe.
As seis lógicas modais normais
5 Maio 2026, 11:00 • Ricardo Santos
Os diversos sentidos de possibilidade: legal, moral, natural, conceptual, lógica, epistémica, metafísica. A semântica dos mundos possíveis (cont.): a relação de acessibilidade entre mundos. Propriedades possíveis dessa relação: extensibilidade, reflexividade, simetria, transitividade. As seis lógicas modais normais e as suas relações. A questão de saber qual é a lógica correcta para um certo sentido de possibilidade. O exemplo do debate a respeito da transitividade da acessibilidade no domínio da metafísica da composição material (objectos materiais parecem tolerar pequenas mudanças na sua composição, mas não mudanças muito grandes).
A semântica dos mundos possíveis para a lógica modal
30 Abril 2026, 11:00 • Ricardo Santos
Os operadores modais, de necessidade e possibilidade, e a sua não-verofuncionalidade. A semântica dos mundos possíveis: a necessidade como verdade em todos os mundos e a possibilidade como verdade em algum mundo. A procura de verdades lógicas modais: casos simples e casos complexos. As modalidades iteradas.
McGee's counterexamples to modus ponens
28 Abril 2026, 11:00 • Ricardo Santos
McGee's counterexamples to modus ponens. Review of module on conditionals. Discussion on possible requirements for a semantics of indicative conditionals. Reasons why conditional probability is not degrees of truth. (Lecturer: Nicholas Ferenz.)