Mathematical Logic Webinar

Bealer's Intensional Logic (Part II)

Transmissão através de Videoconferência

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.


Zoom Meeting | Meeting ID: 890 8479 3299 | Password: 409604

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

Seminário de Tese no âmbito do Doutoramento em Biologia e Ecologia das Alterações Globais.

Colóquio de Matemática, por Carlos André (Departamento de Matemática | Ciências ULisboa e CEAFEL-Ciências - Centro de Análise Funcional, Estruturas Lineares e Aplicações).

Logótipo do evento, sobre um fundo branco

Understanding plant water relations at several scales under climate change is the theme of the XV Portuguese-Spanish Water relations Symposium: “Water relations under climate change: from genes to ecosystem”.

Seminário Helena Avelar de Astronomia e Astrologia Antiga, por Martin Gansten (Lund University e Umeå University).

Logótipos ERC e EIC

A sessão visa apresentar os programas ERC e EIC e as potenciais sinergias que podem ser estabelecidas entre ambos.

Fotografia de candidatos, acompanhada do título "M23 2022|2023"

A ULisboa promove o Dia Aberto M23, um evento que pretende aproximar o público adulto do meio universitário.

In this course, we promote a multidisciplinary approach presenting the most recent findings on the topic and challenging the traditional way of considering symbiotic associations as exceptions and not as the rule.

The goal of this course is to provide to the participants with current and practical knowledge on urban ecology, including ecological and social aspects.

Neste encontro, vamos descobrir as potencialidades da utilização do Jamboard - um quadro branco digital gratuito da Google - em trabalhos colaborativos.

Nesta formação, aprenderemos a criar apresentações dentro do Mentimeter, a criar diferentes tipos de slides e a selecionar as configurações mais adequadas aos objetivos pedagógicos.

Nesta formação, iremos abordar as diferentes etapas do processo de planificação de unidades curriculares e refletir conjuntamente em boas práticas sustentadas pela investigação.

Fotografia de placa de identificação de zona de plantação de vinha

Candidaturas até 28 de fevereiro de 2022.

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.

O evento pretende juntar técnicos, investigadores, estudantes, produtores, industriais e demais agentes da fileira, contribuindo para a atualização de dados sobre o setor e a partilha de conhecimentos sobre as potencialidades da flora portuguesa, para além, das condições edafoclimáticas nacionais que potenciam produtos de elevada qualidade.

This course introduces the field of island biogeography, a discipline that has long influenced other research areas such as macroecology, community ecology, evolution and conservation biology.

Scientists, as the main actors in the production of scientific knowledge, have the responsibility of having an active voice in communicating this knowledge – and that can be achieved for example by a conscious use of the communication tools at their disposal and a better articulation with journalists, among other means.

This course aims at providing students with basic knowledge of R programming, allowing them to manipulate and visualize data with R.

This course aims at providing students with statistical knowledge and tools to manipulate, analyze and visualize biological data with R. It also includes an 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.

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.

This is a mostly practical course offering an overview on different community ecology and macroecological methods and software. These will include all steps of a research project, from the optimal sampling of communities to process inference from large-scale patterns of taxon, phylogenetic and functional diversity.

This course aims to walk through the grounds of modern botany studies, covering subjects that have been excluded from most academic curricula.

The course aims at enabling the participants to use different methods to measure the impacts of pollutants on ecosystems. Basic knowledge will be provided through theoretical and practical lessons on how to select and use the most suitable metrics based on the analysis of multiple compartments of the ecosystems.

This course offers an overview of the different ways to measure biodiversity, and provides tips for the stratification of primary biodiversity data and the construction of variables that describe its various facets. It also includes an in-depth review of the different types of data used to measure biodiversity and their problems and limitations.