The project Generic Reasoning is sponsored by the FIS program with more than 1.2 million €, and it is hosted by CERNAI at the University of Pavia, Italy.

GENERIC explores a novel type of reasoning—generic reasoning—that allows general conclusions from single significant instances while tolerating exceptions, relevant for law, science, and mathematics.

See here for a detailed synopsis.

• Develop a formal model of generic reasoning.

• Apply it to normative reasoning, scientific case studies, and mathematical reasoning.

• Contribute to the foundations of hyperintensional logic and reasoning.

• PART A: Foundations (Year 1)
  Study normative reasoning, scientific case studies, and arbitrary reasoning in mathematics as instances of generic reasoning.

• PART B: Formal Model (Years 2-3)
  Develop a hyperintensional semantic and logical model for generics and test it on real cases.