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).
CFCUL
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).
2.º Simpósio Português sobre Filosofia e Inteligência Artificial
With the motto “Being Human in the Age of Artificial Intelligence”, the aim is to explore the impact of some aspects of AI on our society and what it means to be human in the age of Artificial Intelligence. Being human is to act, think and feel in certain ways. The omnipresence of AI in contemporary society will insurmountably and irreversibly change the way we are.
Roots and New Trends in Logicism
The workshop aims to foster discussion on the interplay between mathematics, logic, metaphysics and epistemology, and stimulate future work on the field.