CFCUL (2003-2024): a heritage that vanishes, a legacy that will endure
Seminário Permanente de Filosofia das Ciências, por João L. Cordovil (CFCUL/GI2).
CFCUL
Lançamento de “O livro da Alice”
Apresentação do livro “O livro da Alice” [os caminhos do inexorável, ou um gato velho olha por cima do ombro ali de pé na costa da liberdade] (Companhia das Ilhas, 2024), da autoria de Luís M. Vicente.
How to define (and formalize) the notion of algorithm? Problems and perspectives
Seminário de Lógica Matemática, por Alberto Naibo (Université Paris 1 Panthéon-Sorbonne, IHPST).
Mary B. Hesse e o conhecimento científico
Este encontro é uma ocasião para dar visibilidade ao trabalho e à obra de Mary B. Hesse, apresentando o livro “Ensaios sobre o conhecimento Científico” (Edições Colibri, 2024) que oferece uma recolha de ensaios desta filosofia traduzidos para português.
Towards Canonical Proofs for Second Order Intuitionistic Logic
Seminário de Lógica Matemática, por Paolo Pistone (Université Claude Bernard Lyon 1).
Of People and Code - Epistemological, Ontological, and Formal Approaches to AI
This workshop aims to explore crucial issues raised by contemporary computational models and methods in AI. The focus will be on fostering discussions about the epistemological, ontological, and formal considerations, as well as the societal implications of AI systems.
Lisbon Conference on Feminist Epistemology: An Interdisciplinary Dialogue
Our goal is to promote interdisciplinary dialogue and the cross-fertilization of ideas, which will enrich our theoretical reflection and mobilise change within the academic community and provide tools for social engagement.
Consciousness and Embodied Selfhood in Biological and Artificial Agents
INTERSELF Interdisciplinary Conference.
The Genotype-Phenotype map: experimental and theoretical approaches
The Genotype-Phenotype map is a conceptual and modeling tool that represents development in the context of evolution. In order to promote a philosophy of evolution more aware of the putative centrality of this important research tool, this workshop gathers evolutionary biologists and philosophers interested in the notion.
An introduction to conditionals and their proof theory
Seminário Permanente de Filosofia das Ciências (sessão conjunta com o Mathematical Logic Seminar - CEMS.UL/CMAFcIO), por Marianna Girlando (ILLC, University of Amsterdam).