Revisão da lógica de predicados clássica: o método das árvores

20 Abril 2020, 16:00 • Ricardo Santos

Método das árvores para a lógica de predicados: novas regras para os quantificadores e para a identidade. Exemplos de árvores. A construção de contramodelos a partir de caminhos abertos de árvores completas. Resolução de exercícios.

No final da aula, foi realizado um pequeno exercício escrito para avaliação (“mini-teste”).

[Por causa da covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Revisão da lógica de predicados clássica: a linguagem e a semântica

15 Abril 2020, 16:00 • Ricardo Santos

Breve apresentação da linguagem e da semântica da Lógica de Predicados clássica (LPr). A semântica dos quantificadores e os objectos sem nome. O predicado lógico de identidade: convenções sintácticas. A semântica da Lógica de Predicados com identidade. Exercícios de formalização.

No final da aula, foi realizado um pequeno exercício escrito para avaliação (“mini-teste”).

[Por causa da covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Indeterminismo e tempo ramificado

6 Abril 2020, 16:00 • Ricardo Santos

Possíveis consequências fatalistas da lógica temporal linear. A concepção fatalista da realidade e do tempo. Três exemplos: o mito de Édipo; o pensamento central de Jacques o fatalista (Diderot); a história de Osmo (Taylor). Leis da lógica temporal linear que sugerem que (i) o passado não pode ser mudado e que (ii) o futuro está desde sempre pré-determinado. Semelhança essencial entre passado e futuro. Omnisciência divina e liberdade humana. À procura de uma lógica indeterminista: modelos de tempo ramificado (com a forma de árvore) (Kripke, Prior). A semântica supervalorativista (Thomason).

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Extensões da lógica temporal Kt (cont.)

1 Abril 2020, 16:00 • Ricardo Santos

Extensões da lógica temporal básica: anterioridade extensível (em ambas as direcções), transitiva, convergente (em ambas as direcções) e densa. Novas regras para as árvores. Exame de novas tautologias. Resolução de exercícios.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]

Extensões da lógica temporal Kt

30 Março 2020, 16:00 • Ricardo Santos

Resolução de exercícios na lógica temporal básica: exercícios com árvores e construção de contramodelos. Extensões da lógica temporal básica. A que condições deve a relação de anterioridade obedecer? A reflexividade e a simetria seriam desejáveis se o tempo fosse circular. A extensibilidade: não há começo nem fim do tempo. Exame de novas tautologias na lógica temporal extensível.

[Por causa da epidemia de covid-19, esta aula foi dada, no horário habitual, por videoconferência.]