Seminário de Lógica Matemática

# Zigzag and Fregean arithmetic

Sala 6.2.33, FCUL, Lisboa

Por Fernando Ferreira (Universidade de Lisboa).

Abstract: In Frege's logicism, numbers are logical objects in the sense that they are extensions of certain concepts. Frege's logical system is inconsistent, but Richard Heck showed that its restriction to predicative (second-order) quantification is consistent. This predicative fragment is, nevertheless, too weak to develop arithmetic. In this paper, I will consider an extension of Heck's system with impredicative quantifiers. In this extended system, both predicative and impredicative quantifiers co-exist but it is only permissible to take extensions of concepts formulated in the predicative fragment of the language. This system is consistent. Moreover, it proves the principle of reducibility applied to concepts true of only finitely many objects. With the aid of this form of reducibility, it is possible to develop arithmetic in a thorough Fregean way. Despite the success in developing arithmetic in a strict logicist manner, we manifest some doubts as to whether this success extends to set theory.

[1] R. Heck. "The consistency of predicative fragments of Frege’s Grundgesetze der Arithmetik”, History and Philosophy of Logic 17: 209–220, 1996.
[2] F. Ferreira, "Amending Frege’s Grundgesetze der Arithmetik", Synthese 147: 3-19, 2005.
[3] F. Ferreira, “Zigzag and Fregean arithmetic”. In: The Philosophers and Mathematics, H. Tahiri (ed.). Logic, Epistemology, and the Unity of Science 43, 81-100, 2018. Springer International.

16h00
CMAFcIO - Centro de Matemática, Aplicações Fundamentais e Investigação Operacional

Curso de 4 módulos, com os seguintes temas:

A AAPG-SC UL anuncia a 1.ª Field Trip do presente ano letivo, em parceria com a SEG Técnico Student Chapter Lisbon, intitulada “Tectono-stratigraphic evolution of the SW Iberian Margin and its hydrocarbon potential” e orientada pelo PhD Ricardo Pereira (Partex) e pelo Pr

Vivemos num Universo que parece ter sido ajustado de forma muito precisa para permitir a nossa existência.

O congresso conta com a participação de Jorge Relvas (Ciências ULisboa).

Por Alessandro Zilio (LJLL - Paris Diderot / University of Paris).

A sessão, no âmbito da iniciativa VEHITS 2019 - 5th International Conference on Vehicle Technology and Intelligent Transport Systems a decorrer de 03 a 05 de maio de 2019, conta com a participação dos docentes de Ciências ULisboa Carla Silva (chair

Petra Alexandra Morbey Ferro Gaspar Pacheco defende a dissertação "Técnicas de Álgebra Multilinear na Resolução de Problemas de Teoria Aditiva".

A iniciativa conta com a participação de Luís Saraiva (Ciências ULisboa).

O Tagis - Centro de Conservação das Borboletas de Portugal e os coordenadores do Projeto Europeu ABLE, em parceria com o cE3c - Centro de Ecologia, Evolução e Alterações Ambientais, Butterfly Conservation Europe e o Município de Almada, convidam todos os interessados a particip

O ISIC é uma organização sem fins lucrativos e representa o ISIC, o Cartão Internacional de Estudante - patrocinado pela UNESCO, apoiado pelo Conselho da União Europeia para a Educação, Juventude, Cultura e Desporto e diversos ministérios da educação e organiza

O Dia Aberto de Ciências realiza-se no dia 08 de maio de 2019.

As provas, requeridas por Francisco André de Campos Pereira Dionísio, decorrem nos dias 13 e 14 de maio de 2019.

No dia 14 de maio, será apreciado o sumário do seminário/lição com o título "Pathogens and parasites as effective biological weapons".

Nature-based approach to Design solutions for a more resilient future aims to support societies address a variety of environmental, social and economic challenges in sustainable ways. This approach relies on actions that are inspired by, supported by or copied from Nature.

Candidaturas a Bolsas de Doutoramento de 30 de março a 15 de maio de 2019.

Gisela Vitória Cheoo defende a dissertação "Estimation of bowhead whale (Balaena mysticetus) population density using spatially explicit capture-recapture(SECR) methods".

Candidaturas até 17 de maio de 2019 (mobilidade no 1.º semestre) e até 18 de outubro de 2019 (mobilidade no 2.º semestre).

Uma vez por mês, aos domingos de manhã, junte-se à equipa de investigadores da Lista Vermelha de Invertebrados. Participe e contribua para a amostragem da diversidade de insetos em Sítios de Importância Comunitária da Rede Natura 2000.

A Faculdade de Ciências da Universidade de Lisboa, a Universidade Católica Portuguesa, o Fórum Oceano e a Sociedade de Avaliação Estratégica e Risco lançaram em 2015 o consórcio MARE STARTUP destinado a promover o empreendedorismo e inovação empresarial no Mar, como forma

Projeto IFiT, desenvolvido no âmbito do ERASMUS+, tem a duração de 3 anos e inclui, duas vezes por ano, um curso de campo (