Speaker: Clarence Protin.

Abstract: Many intuitively valid arguments involving intensionality cannot be captured by first-order logic, even when extended by modal and epistemic operators.

Indeed, previous attempts at providing an adequate treatment of the phenomenon of intensionality in logic and language, such as those of Frege, Church, Russell, Carnap, Quine, Montague and others are fraught with numerous philosophical and technical difficulties and shortcomings.

Speaker: Clarence Protin.

Abstract: Many intuitively valid arguments involving intensionality cannot be captured by first-order logic, even when extended by modal and epistemic operators.

Indeed, previous attempts at providing an adequate treatment of the phenomenon of intensionality in logic and language, such as those of Frege, Church, Russell, Carnap, Quine, Montague and others are fraught with numerous philosophical and technical difficulties and shortcomings.

Speaker: Andrei Sipos (TU Darmstadt & Institute of Mathematics of the Romanian Academy).

Abstract: We present some novel kinds of rates of metastability extracted from proofs in classical analysis and ergodic theory that we recently analyzed using proof mining techniques..

Jocelyn Lochon defende a tese "Supercharacter Theories for Discrete Algebra Groups".

Transmissão em direto disponível aqui.

Cancelamento motivado pela aplicação do plano de contingência da Faculdade de Ciências da Universidade de Lisboa, na sequência das orientações da Direção-Geral de Saúde e das recomendações por parte da Reitoria da Universidade de Lisboa, relativamente ao novo Coronavírus (COVID-19).

Mais informações: https://ciencias.ulisboa.pt/pt/saude.

Speaker: Clarence Protin.

Speaker: Jaime Gaspar.

João Miguel Cardoso Dias defende a tese "Smooth representations of Groups associated with Algebras defined over non-archimedean fields".

Por Bruno Jacinto (Faculdade de Ciências da Universidade de Lisboa).

Abstract: According to Frege, variables are punctuation marks. They have no meaning. In particular, variables neither refer arbitrarily nor have as their semantic values objects with the property of being arbitrary.

By Pedro Pinto (Technische Universitat Darmstadt).

Por Mário Edmundo (FCUL e CMAFcIO, Universidade de Lisboa).