Seminário de Lógica Matemática

Bealer's Intensional Logic - Part I (Evento Cancelado)

Sala 6.2.33, FCUL, Lisboa

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.

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. We present Bealer's solution to this problem which hinges on an ontological commitment to theory of Properties, Propositions and Relations (PRP). At the most basic level we can distinguish two conceptions in the theory of PRPs. An objective one tied to modality and necessary equivalence, and a mental (intentional) one tied to concepts and the requirement of non-circularity in definitions. Building on the work of Russell, Church and Quine, Bealer proposes two distinct intensional logics T1 and T2 (presented in Hilbert form) corresponding to these two conceptions, both based on the language of first-order logic extended with an intensional abstraction operator. In T1 necessitation can be directly defined and the axioms express S5 modal logic. Both logics have a series of desirable features which set them apart from higher-order approaches. Bealer constructs a non-Tarskian algebraic semantic framework, distinct from possible worlds semantics, yielding two classes of models for which T1 and T2 are both sound and complete. Other features include being able to deal with quantifying-in, and the various substitution puzzles, being free from artificial type restrictions, having a Russellian semantics, satisfying Davidson's learnability requirement, etc. Bealer unifies both logics to serve as a basis of a larger philosophical project in the tradition of logicism (or logical realism) as detailed in his book Quality and Concept (1982). This includes a neo-Fregean account of Arithmetic and Set Theory in which various purely logical (according to him) predication axioms (and intensional analogues of ZF, NGB, or Kelley-Morse axioms) are adjoined to T2, thereby explaining incompleteness as a property of pure logic rather than of mathematics. Surprisingly, and rather ironically, Bealer's logic also fulfils Carnap's thesis of extensionality due precisely to its ontological commitment to the reality of PRPs. In this series of two talks we will focus on the technical details of the proof of soundness and completeness of T1 and T2 and hint at some proof-theoretic and foundational developments.

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

Lisbon Workshop Series - AI Aesthetics and Philosophy of Technology.

Mathematical Logic Seminar, por António Marques Fernandes (IST - Universidade de Lisboa).

Data Science Seminar, por Daniel Gonçalves (LASIGE/DI-FCUL).

Geometry & Physics Seminar, por Davide Guzzetti (SISSA, Italy).

Talk @DI, por Luís Pinto (DI, Ciências ULisboa).

Banner do Ciclo de Palestras

Ciclo de Palestras de Outono do GAPsi.

Ação de formação para docentes.

Currently, climate changes or alterations are known to be reflected on the stable isotope ratios of Hydrogen, Nitrogen, Carbon, Oxygen and Sulphur present in atmospheric gas forms, fresh or ocean water, as well as in plants and animals and organic matter in the soil.

Banner do Ciclo de Palestras

Ciclo de Palestras de Outono do GAPsi.

Cartaz da campanha

A campanha visa recolher o maior número possível de pilhas, baterias, lâmpadas, tinteiros e equipamentos elétricos usados.

Pormenor de mapa do continente europeu

Candidaturas online de 1 a 31 de dezembro de 2022.

The objective of this course is to acquire knowledge regarding bioinformatic tools available to predict nucleic acid (RNA, DNA or Nucleic Acids Mimics) and protein three-dimensional structure, as well as autonomy and critical thinking in the use of those tools.

Science is increasingly more present in our everyday decisions, with a fundamental role in global problems. Scientists, as the main actors in the production of scientific knowledge, have the responsibility of having an active voice in communicating this knowledge.

The course aims at introducing attendants to an updated state of the art of diversity of the soil biota and the functional roles played by soil organisms in key ecological processes.

Symbiosis is a key strategy for life on Earth. Nevertheless, although many research groups have long been committed to the study of symbiosis, its definition and functioning are not fully understood, and its ecological role and relevance are still underestimated.

This 5-day course offers to the participants a light microscopy course focusing on fluorescence microscopy techniques applied to the detection of proteins and glycans in tissue samples and cell cultures.

Fotografia da Praça do Comércio, em Lisboa

Candidaturas ao prémio (versões preliminares dos artigos) até 28 de fevereiro de 2023.

This course aims to explore ways of communicating science to non-specialized audiences, such as policy makers, industry, general public (including students and teachers), through their engagement and participation in citizen science activities.

A 19 de abril de 2023 celebra-se o 112.º aniversário da Faculdade de Ciências da Universidade de Lisboa.

The objective of this course is to provide students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

The objective of this course is to provide students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. Introduction to modeling, simulations and Bayesian statistics.

Under the general framework of Global Change Ecology, the goal of this course is to provide the participants with the most recent and practical knowledge on the use of Functional Diversity. This includes the selection of functional traits and calculation of Functional Diversity Indexes.

Logótipo do evento

Abstract submission will close on 14 November 2022.

The course provides essential skills and knowledge that enable the participants to develop climate change adaptation strategies.

The objective of this course is to provide participants with basic knowledge on a) the fundamental aspects of experimental design and b) workflows, platforms and tools to increase reproducibility at all scientific levels.

Páginas