Seminário de Lógica Matemática

Fregean variables

Sala 6.2.33, FCUL, Lisboa

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.

The Fregean development of the view that variables are meaningless into a semantic theory for first-order languages is known to be inconsistent with the compositionality of first-order languages. Recently, Wehmeier (2018) proposed an alternative semantic theory that is both compositional and consistent with the view that variables have no meaning. Yet, as observed by Pickel and Rabern (unpublished), Wehmeier's theory has implausible commitments. These ultimately result from the fact that Wehmeier's account of the semantics of individual constants is akin to the Tarskian account of the semantics of variables.

A plausible compositional semantic theory for first-order languages on which variables are meaningless thus remains to be developed. The main aim of this talk is to propose and defend such a semantic theory, the Fregean variables theory. The Fregean variables theory is characterised by the three following claims:

1) in general, expressions of first-order languages are context-dependent;
2) there is no one semantic operation that corresponds to the formation rule for atomic formulae;
3) formulae have as their semantic values entities of a kind that constitutes a generalisation of the Russellian notion of a propositional function. It is also shown in the presentation that the Fregean variables theory is both compositional and consistent with further data on the semantics of first-order languages.

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

Um grupo de investigadores em diferentes fases da carreira, da licenciatura ao pós-doutoramento, irá reunir-se para melhorar os artigos da Wikipedia relacionados com a História e a Filosofia da Ciência e da Tecnologia, sobretudo em tópicos relacionados com Portugal e as ciências ibéricas

Título/data do curso, logótipos dos organizadores e nome da formadora

This course provides a thorough introduction to the most widely used methods of program evaluation, also known as impact assessment. 

CPS and RDNS Meetup, por Hans P. Reiser (Department of Computer Science, Reykjavík University, Iceland).

Talk @LASIGE, por Fernando Gallego Donoso (University of Malaga, Computational Intelligence in Biomedicine - ICB).
 

Título/data/local da iniciativa, sobre representação de plantas, aves e insetos

Comemorações do 30.º aniversário da VicenTuna - Tuna da Faculdade de Ciências da Universidade de Lisboa.

Cromeleque dos Almendres

Sessão no âmbito do ciclo de conversas "Aqui, no Universo", por Fábio Silva e Luís Tirapicos (moderação de Vânia Maia).

This 7th edition will once again gather specialists in the field of Combinatorial Optimization from several countries to present and discuss recent research work.

Título "Bolsas de Doutoramento Unite! ULisboa", logótipos das entidades promotoras e fotografia de jovem investigadora a utilizar um laptop na esplanada de um café

O 3.º concurso decorre até 30 de abril.

Título/data da iniciativa e fotografia de quatro pessoas segurando vasos com plantas

Venha aprender como cultivar um futuro urbano mais sustentável!

Título/data do evento e fotografia da oradora

TWIN2PIPSA Expert Seminar, por Sophie Jackson (Yusuf Hamied Department of Chemistry, University of Cambridge).

Seminário do Centro de Física Teórica e Computacional, por Carlos Pires (Instituto Dom Luiz e Departamento de Engenharia Geográfica, Geofísica e Energia, Faculdade de Ciências, Universidade de Lisboa, Portugal).

Fotografia de utente a interagir com um médico através de teleconsulta

O workshop, organizado pela redeSAÚDE da ULisboa, pretende explorar de que forma tecnologias de base digital emergentes na área da saúde podem contribuir para o bem-estar e para a melhoria da prestação de cuidados de saúde.

Logótipos do programa, de Ciências ULisboa e do GAPsi

Programa de Intervenção de Carreira.

O encontro reúne cientistas, profissionais e estudantes de diferentes áreas e regiões do país focados em desenvolver a investigação marinha, em linha com a Década da Ciência Oceânica para o Desenvolvimento Sustentável, proclamada pelas Nações Unidas (2021-2030).

Estátua representativa da biodiversidade do planeta Terra

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

Formação modular de 13 de abril a 11 de maio - produção em permacultura.

Logótipo da ação CLEANFOREST

Forests are exposed to multiple global change drivers, wich can constrain their ability to continue providing several ecosystem services (including climate change mitigation). Assessing responses - and underlined mechanisms -  at the whole ecosystem scale is paramount for a holistic understanding of forest response to global change.

Logótipo do evento

Evento final do Projeto iSEA, com inscrições até 30 de abril.

Título e data do evento, inseridos em fotografia de cinco jovens em contexto de investigação

Pré-inscrições já disponíveis!

Título e data do workshop

Workshop no âmbito da recente adesão da Universidade de Lisboa à CoARA - Coalition for Advancing Research Assessment.

Título do curso

Curso Avançado CEAUL / Gades Solutions.

Título e datas de candidatura do programa, sobre um padrão em tons de roxo e laranja

Submissão de candidaturas até 14 de maio.

Logótipo do LIP Summer Internship Program e fotografia de jovem investigador

Os estágios podem ter uma duração entre duas semanas e dois meses e realizam-se nos três polos do LIP - candidaturas até 15 de maio.

Os oradores plenários irão falar sobre a importância da interdisciplinaridade de forma acessível para todos, estando previstas palestras e apresentação de pósteres por alunos.

Logótipo do EVM 2024

Candidaturas até 15 de maio.

Páginas