Identidade e semântica de mundos possíveis, com Prof. Alexandre Guerzoni (UFRGS)

Por razões técnicas, a gravação da apresentação ficou inadequada. Abaixo apenas o trecho com perguntas e respostas.

Tópicos tratados na palestra

O ABANDONO DO TEMA DAS MODALIDADES NOS PRIMÓRDIOS DA LÓGICA CONTEMPORÂNEA
A Begriffschrift e ecos kantianos.
Principia e a “explicação” da modalidade.

A ENTRADA PELA PORTA DOS FUNDOS: A IMPLICAÇÃO ESTRITA
As maneiras de introduzir os hodiernamente chamados conectivos booleanos: a precisão da Begriffschrift e ao modo russelliano.
A implicação estrita.

A VOLTA À “ORTODOXIA”
As similaridades estruturais entre modalidades aléticas, deônticas, epistêmicas, temporais etc.
Diferentes lógicas modais aléticas e um caso bem-sucedido: a lógica da demonstrabilidade (GL).
A semântica de mundos possíveis: Kanger, Montague, Kripke, Hintikka e outros.

SEMÂNTICA DE MUNDOS POSSÍVEIS E A MULTIPLICIDADE DA REFERÊNCIA
Representação abstrata matemática para multiplicação: o conceito de família.
A semântica de mundos possíveis para a Lógica Proposicional Modal: a noção de estrutura modal proposicional.
A semântica para S5: uma família de valorações booleanas.
A extensão para outros sistemas modais proposicionais normais: a relação de acessibilidade.
A extensão para a Lógica Modal Quantificacional.
Uma família de estruturas clássicas e uma base modal
O universo (domínio de quantificação) nas estruturas modais de primeira ordem.

SEMÂNTICA NOMINATIVA, MODALIDADES DE DICTO CUM FUNDAMENTO IN RE E A CONSTITUIÇÃO DO OBJETO INTENCIONAL (COM QUEM ÉDIPO QUERIA SE CASAR?)