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

De onde vêm todos os compostos que te permitem estar a ver esta mensagem ou notícia no teu smartphone ou computador? Será possível montá-lo sem toda uma cadeia de impactes sociais e económicos?

Speaker: Ivana Bosnic​ (Instituto Dom Luiz, FCUL).

Scientific achievements, contributions to fight COVID-19, speed dates and posters…

Logótipo do projeto "Observar e Aprender"

Observar e Aprender - Observação cruzada de aulas entre docentes, numa base de voluntariado e de partilha de experiências pedagógicas na Universidade de Lisboa.

Fotografia de docentes

Instructor immediacy refere-se aos comportamentos verbais e não verbais que potenciam a proximidade do docente aos estudantes.

Speakers: Lorenzo Mazzieri and Piotr Chruściel (Università di Trento / University of Vienna).

O Projeto Emc2 sobre a ‘Camarinha’ -‘Corema album (L.) D. Don’: de iniciativas de educação ambiental a medidas de conservação desta planta endémica com pequenos frutos de grande potencial.

Título e data do evento, inseridos numa fotografia do campus do Instituto Politécnico de Tomar

A conferência constitui um fórum de discussão e reflexão sobre os mais recentes avanços na investigação, inovação e práticas na implementação dos Objetivos do Desenvolvimento Sustentável (ODS) nas Instituições de Ensino Superior.

Fotografia de ilha no Oceano Pacífico

A Direção-Geral de Política do Mar, na qualidade de operador do Programa Crescimento Azul do Mecanismo Financeiro do Espaço Económico Europeu 2014/2021 (EEA Grants), lançou recentemente o

Speaker: Hugo Gamboa (Plux).

Leitura e escrita são a base fundacional de todas as literacias e a condição primeira para o juízo compreensivo e crítico, o enriquecimento cultural, a formação estética e a memória individual e coletiva das sociedades.

What is the role of Data Scientists in a healthcare technology and consultancy company?

Imagem ilustrativa do prémio (fotografia de rosto de um jovem, metade humana e metade "computorizada", acompanhada do título da iniciativa e do slogan "Um Milhão para a Inovação"

Novo prazo de candidatura a decorrer até ao dia 31 de outubro de 2020.

IN3+  | Um Milhão para a Inovação.

Logótipo da IAESTE, sobre uma fotografia da cidade de Edimburgo

Interessado em realizar um estágio extracurricular a nível internacional?

Overview: 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 organi

Objectives: Evolutionary theory provides a framework for understanding all living systems.

Logótipo do Encontro Ciência 2020, sobre um fundo branco

A iniciativa visa promover um amplo debate sobre os principais tópicos e desafios da agenda científica além do mundo da investigação científica, procurando estimular a participação e a interação entre investigadores, o setor empresarial e o público em geral.

Speaker: Jaime Gaspar (Centro de Matemática e Aplicações - CMA, FCT, UNL).

Imagem ilustrativa do evento, acompanhada do respetivo título, datas e logótipos das entidades participantes

Pre-registrations are open until October 30th!

Do you have the spirit of an innovator and a problem solver but feel like you need new skills and hands-on challenges to test your capabilities? Do you want to know more about innovation and entrepreneurship and experience it hands on?

Objectives: To introduce participants to the details of communicating science to non-specialized audiences, including, but not exclusive to, public and private stakeholders, students and teachers, and media professionals.

De onde vêm todos os compostos que te permitem estar a ver esta mensagem ou notícia no teu smartphone ou computador? Será possível montá-lo sem toda uma cadeia de impactes sociais e económicos?

Imagem ilustrativa do evento, acompanhada da indicação e fotografias dos oradores

A AICIB e o HCP promovem conjuntamente um Info Day online dedicado ao tema Saúde do Horizonte Europa.

Logótipo das Ações COST, sobre uma imagem ilustrativa de ligações entre pessoas

O prazo termina no dia 13 de novembro de 2020 (11:00 GMT / 12:00 CET).

Páginas