O Infinito — Parte I

Axiomas e Conjuntos: a questão da realidade dos objetos matemáticos, com Prof. Paulo Andrade Vitória (PUC-MG). O encontro foi realizado às 17h através do Google Meet.

Lógica e autorreferência – Parte 2 — Atenção: O seminário excepcionalmente começará às 19h, na Sala de Multimídia C do CCHLA Recomendações e referências

Lógica e autorreferência – Parte 1 Recomendações e referências

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ÂNEAA Begriffschrift e ecos kantianos.Principia e a “explicação” da modalidade. A ENTRADA PELA…

Lógica e a existência de Deus – Parte 2

Lógica e a existência de Deus – Parte 1 Este encontro ocorrerá excepcionalmente na Sala 20 do Ambiente dos Professores do CCHLA

Lógica e tempo – Parte 2

Lógica e tempo – Parte 1

Paradoxos epistêmicos – Parte 2 Notas do Encontro Demonstração de que proposições Mooreanas da forma $\phi \land \lnot K\phi$ não são cognoscíveis: Premissas do cenário da prova surpresa: Demonstração paradoxal da cognoscibilidade de uma proposição Mooreana com base no cenário da prova surpresa (tentando aproximar do raciocínio de Heloísa). Foram omitidas algumas aplicações do axioma…