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)
Título "Gostarias de realizar uma mobilidade Erasmus+?" e fotografia de jovem aluno

Candidaturas de 01 a 31 de dezembro.

Logótipo Mentimeter

Ação de formação para docentes e investigadores de CIÊNCIAS.

Título/data/local do evento e fotografia de avião a sobrevoar cidade

“A Interface Urbana na Rede de Transporte Aéreo” é o tema da 4.ª Conferência Anual da redeMOV.

Título "5th edition ULisses", sobre fotografia do mar

Prazo de apresentação de candidaturas prolongado até 15 de janeiro.

Representação antiga da cidade de Lisboa

A conferência está limitada a 100 participantes - realize já a sua inscrição e reserve o dia na sua agenda.

O evento, que conta com a participação do CIUHCT, terá a participação, entre outros, do matemático e historiador da matemática Professor Robin Wilson (Reino Unido) e do criador do primeiro museu de ciência dedicado inteiramente à matemática, Professor Albrecht Beutelspacher (Alemanha).

Fotografia de João Paulo Dias

A Celebration of his 80th Birthday - registration until 24 January.

Um evento dedicado às três áreas de estudo do DEGGE: Engenharia da Energia e Ambiente; Meteorologia, Oceanografia e Geofísica; Engenharia Geoespacial.

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 4.º concurso decorre até 28 de fevereiro.

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

Um concurso de programação dirigido aos alunos do ensino secundário (11.º e 12.º anos), que visa promover a prática e o gosto pela programação.

Data e logótipo do Dia Aberto, inseridos em mosaico de atividades de investigação

Bem-vindos a Ciências ULisboa!