From deflationism about truth to deflationism about abstract objects
GENERALISE
An ERC research project investigating generalisation into sentence and predicate position
Based in the Institute for Logic, Language and Computation (University of Amsterdam)
This project is funded by the European Research Council Starting Grant 101076054
The ERC project GENERALISE focuses on the study of generalisation in logic, specifically into sentence and predicate positions. The project addresses two primary methods of achieving generalisation: the direct method, which involves adding variables and quantifiers for sentences and predicates, and the indirect method, which includes adding singular terms derived from sentences and predicates or attributing semantic properties at a meta-level.
You can learn more about the objectives of the project here.
The project is led by Thomas Schindler.
Output
All items are grouped by category and listed in reverse chronological order (newest first), with contributors noted for each entry.
Publications
Peer‑reviewed chapters and volumes.
Transcending the Theory of Types
Talks
Conceptions of Sets and Classes in Set Theories with a Universal Set
Conceptions of Sets and Classes in Set Theories with a Universal Set
True by Default. Convergences between Default Theories of Truth and Inferential Deflationism
The Logical Syntax of Expletive Negation. A Resource-Sensitive Analysis of Italian finché
A concise introduction to Non-Deterministic Semantics for Modal Logic
La lógica de algunos actos de habla
Reference patterns of semantic and class-theoretic paradoxes
From deflationism about truth to deflationism about abstract objects
Philosophical Aspects of Non-deterministic Semantics. Modal Normativism, possible worlds and potentialism in set theory
Transcending the Theory of Types
Reconciling Exact Truthmaking and Neo‑Davidsonian Semantics: Systematicity, Metaphysical Challenges, and the Question of Hyperintensionality
Justifying Axiomatic Theories of Truth
Justifying Axiomatic Theories of Truth
Presentation of Grabmayer's Towards Absolute Versions of Metamathematical Theorems
On the Connection between Definitions of Truth and Theories of Truth
On the Connection between Definitions of Truth and Theories of Truth — Presentation
Logic and Justice — an overview of feminist perspectives on logic and how to be a better feminist logician
Truthmaking Between Proofs and Paradoxes
Presentation of Grabmayer's Towards Absolute Versions of Metamathematical Theorems
Groups that perform worse than individuals: a reassessment of Condorcet’s Jury Theorem under defensible premises
Dissemination activities
Outreach, mentoring, workshops, public engagement, teaching, and media.
Podcast — Creation, production, and dissemination of the first season of Ping Pong Philosophy
Ongoing cooperation — Science for Democracy (NGO)
Organising a philosophical workshop on the human right to enjoy the benefits of scientific progress (Collegio Ghislieri, Pavia). Became Treasurer on . Website.
Ongoing cooperation — Filò (Italian NGO)
Organisation of a national philosophical competition for Italian high schools, based on the Community of Inquiry (COI) model. Website.
Popularisation on YouTube — Discussion on formalisation of arguments for eternalism
Logic Mentoring Workshop — Speaker & discussant/mentor
Presentation at the ILLC Open Day
Presentation of the main goals and current research the porject to a general academic audience.
Lecturer — Introduction to Higher‑Order Metaphysics (Master of Logic)
Course taught at the Master of Logic at the University of Amsterdam.
Reading Group — Higher‑Order Logic (organiser)
Other activities
Attendance and participation without a talk, summer schools, general involvement.
European Summer School for Logic, Language and Information (ESSLLI)
Challenging the Infinite — Workshop (participant)