História da quantificação – 2ª Parte: Os quantificadores modernos

História da quantificação – 1ª Parte: Silogística, a primeira lógica quantificada

O seminário entrará de recesso até o próximo período letivo.

Propriedades de conjuntos definíveis na lógica de primeira ordem

Devido a convocação para reunião extraordinária do Departamento de Filosofia em horário conflitante, está cancelado o encontro do dia 25/11/2022.

Devido a questões de saúde, o seminário desta semana será cancelado.

Propriedades de conjuntos definíveis na lógica de primeira ordem

Lógica, entre o finito e o infinito. ATENÇÃO: O seminário desta semana foi transferido para a respectiva palestra do Prof. Diego que ocorrerá a partir das 17h, na sala de multimídia do bloco C do CCHLA.

O Paradoxo de Russell

Teoria ingênua dos conjuntos