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.