Reasoning Seminar

The Logical Necessity of Mathematics

Sala 8.2.12, Ciências ULisboa
Título, data e local do evento

Por Chris Scambler (Oxford University).

In this talk I will articulate and defend a conception of logical necessity in higher order logic, and then outline a defence of the claim that the truths of arithmetic and set theory are logically necessary in the relevant sense. I will also discuss the significance of these results for the philosophy of mathematics and metaphysics.

17h00-18h30
António Zilhão (CFCUL/GI1) e Bruno Jacinto (CFCUL/GI1)
Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipos Ciências ULisboa e C-Academy, títulos dos cursos

Um programa de formação avançada em Cibersegurança para a administração pública e o setor privado desenvolvido pelo Centro Nacional de Cibersegurança, no âmbito do Plano de Recuperação e Resiliência.

Logótipo do evento, sobre um fundo branco

Um evento de reunião da comunidade nacional nas diversas vertentes da informática, com a ambição de ser o fórum de eleição para a divulgação, discussão e reconhecimento de trabalhos científicos.

Imagem do evento

Extended enrolement date until July 12th.

Logótipo do Workshop

A participação na 3.ª edição do Workshop é gratuita, mediante inscrição prévia.

Are you ready for this year's edition?

Imagem do evento - título, local e data do evento

Investigação Ecológica ao Serviço da Conservação

A leading venue for presenting and discussing the latest research, industrial practice and innovations in dependable and secure computing.