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

Seminário de Lógica Matemática, por Raheleh Jalali (Institute of Computer Science - Czech Academy of Sciences).

Logótipo do projeto

O evento, no âmbito do Projeto VA|PREVENTION (com a participação de CIÊNCIAS), conta com a presença de diversos peritos na área da saúde pública, promovendo o debate sobre o estilo de vida na prevenção da diabetes tipo 2.

Estátua representativa da biodiversidade do planeta Terra

Seminários pelos alunos João Paulino, André Henriques, Joana Costa e Rani Rivière.

Seminário de Pós-graduação (Doutoramento em Biologia), por Pedro Miguel Duarte Gomes.

Foto do professor Rui Agostinho

Sessão de homenagem, em reconhecimento do seu percurso e dedicação apaixonada ao ensino, investigação e à divulgação da ciência ao longo de 40 anos na nossa instituição.

Colóquio de Matemática, por Florian Pausinger (Departamento Matemática - Ciências ULisboa).

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

A palestra visa apoiar o estabelecimento de planos de carreira (académicos e profissionais) e de vida.

Lisbon Webinar in Analysis and Differential Equations, por Damião Araújo (Universidade Federal da Paraíba).

Imagem abstrata

Um evento pioneiro que marca o lançamento do Programa para a Promoção da Saúde Mental no Ensino Superior na ULisboa. Ao longo do evento, será apresentada uma plataforma inovadora que reunirá recursos e iniciativas destinadas a prevenir e abordar questões relacionadas com a saúde mental e o bem-estar.

Título/data/local do evento, logótipos das entidades participantes e fotografia de céu nublado

A 3.ª edição do workshop, dedicada à modelação e validação de processos de alta resolução, pretende abordar a modelação de fogos florestais e de eventos extremos de temperatura, precipitação e vento, tais como ondas de calor, secas, inundações, ciclones pós-tropicais e agitação marítima.  

A sessão de homenagem inclui o lançamento de uma nova edição do livro Estatística: Inferência e Decisão, anteriormente editado pela Imprensa Nacional-Casa da Moeda, e atualmente esgotado.

Título/data/local do evento, logótipos da entidade organizadora e fotografia de mãos na água

Encontro Alumni ULisboa 2024 - a inscrição é obrigatória, tendo um preço simbólico para apoiar o projeto Bolsas Alumni Solidário.

Data Science Seminar, por Helena Aidos (LASIGE/DI-FCUL).

Título/data da iniciativa e logótipo Ciência Viva

CIÊNCIAS participa, uma vez mais, na Semana da Ciência e da Tecnologia, promovendo diversas atividades.

Seminário do Centro de Física Teórica e Computacional, por Jorge Vieira (Departamento de Física, Instituto Superior Técnico, Universidade de Lisboa, Portugal).

Título/data/local do evento e logótipos das entidades organizadoras

Investigadores das áreas de antropologia dentária e antropologia debatem questões sobre a investigação em restos ósseos encontrados em escavações arqueológicas com impacto na história.

Faz uma equipa, completa os nossos desafios e mostra que és um verdadeiro mestre da sustentabilidade!

Todos nós utilizamos energia na nossa vida. Mas será que consegues reconhecer de onde é que ela vem? E os diferentes tipos de energia?

Já te questionaste como é que uma turbina eólica funciona? E que tal criar uma tua?

Será que conheces todas as utilidades do Sol?

Será que sabes fazer a reciclagem? Será que conheces todos os 10 Rs da sustentabilidade?

Conferência do Centro Interuniversitário de História das Ciências e da Tecnologia, por Gemma Cirac-Claveras (Institut d'Història de la Ciència - Barcelona).

Ciência fresquinha? Temos. Uma bebida a acompanhar? Também!

Logótipos de Ciências ULisboa/GAPsi e calendarização das palestras

Uma conversa sobre regulação emocional.

Páginas