Title: The heuristic use of conditionalisation Abstract: This paper argues that Bayesian conditionalisation should not be viewed as a universal norm of updating, but rather as a heuristic principle that is helpful in some circumstances but fails in others. I go on to show that the heuristic use of conditionalisation can be validated by an […]
Title: Conditional logics and labelled proof systems (an introduction) Abstract: Conditional logics, as introduced by David Lewis in 1973, enrich the language of classical propositional logic with a two-places modal operator, the conditional, suitable to represent fine-grained notions of conditionality. After introducing conditional logics and their semantics, that I will define in terms of neighborhood […]
Title: Bias in asking for a second expert’s opinion (joint work with Barbara Osimani, Michal Sikorski and Zhitao Zhang) Abstract: In science, policy, and everyday life it is often advantageous to ask for a second expert’s opinion. Intuitively, it seems beneficial to provide the second expert with some background information, including the fact that there was […]
The next talk of our seminar series will be given by Lourdes del Carmen González Huesca (Universidad Nacional Autónoma de México) via Teams (please, see details below) on Monday, May 13th, starting from 16:00 CET. Here it is the title and abstract of her talk: Title: Non-classical Epistemic Axioms for Computer-Aided Verification Abstract: We have explored the adequacy of IS5 maintaining the […]
The next talk of our seminar series will be given by Andrea Sabatini (Scuola Normale Superiore) via Teams (please, see details below) on Monday, May 6th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Proofs and refutations: a structural approach to nonmonotonic reasoning Abstract: In this talk I will present a novel proof-theoretic approach to […]
The next talk of our seminar series will be given by Vaishak Belle (University of Edinburgh) via Teams (please, see details below) on Monday, April 29th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: Logic meets Learning: From Aristotle to Neural Networks Abstract: The tension between deduction and induction is perhaps the most fundamental issue […]
The next talk of our seminar series will be given by Valentin Goranko (Stockholm University) via Teams (please, see details below) on Monday, April 15th, starting from 12:30 CET. Here it is the title and abstract of his talk: Title: A Logic for Strategic Reasoning of Rational Agents with Normative Constraints Abstract: I will present a logic-based study of agency and multi-agent […]
The next talk of our seminar series will be given by Thomas Bolander (Technical University of Denmark) via Teams (please, see details below) on Monday, April 8th, starting from 12:30 (Milan time). Here it is the title and abstract of his talk: Title: From Dynamic Epistemic Logic to Socially Intelligent Robots Abstract: Dynamic Epistemic Logic (DEL) can be used as […]
The next talk of our seminar series will be given by Paolo Perrone (University of Oxford) via Teams (please, see details below) on Monday, March 18th, starting from 12:30 (Milan time). Here it is the title and abstract of his talk: Title: Higher abstraction for probability and statistics Abstract: Probability and statistics are at the […]
The next talk of our seminar series will be given by Christian Straßer (Ruhr University Bochum) via Teams (please, see details below) on Monday, March 11h, starting from 12:30 (Milan time). Here it is the title and the abstract of his talk: Title: Reasoning and explaining with norms and default Abstract: In this talk I will present a general framework […]
