The normativity of the formal 

The formal sciences—logic, mathematics, and related disciplines—are often portrayed as neutral frameworks for knowledge, defined by their abstraction and rigor. Yet they are equally normative: they set the standards of validity, proof, and consistency that shape our reasoning and inquiry. The workshop on the Normativity of the Formal is devoted to exploring the sources, scope, and implications of this normativity. Are these standards grounded in objective necessities, or do they arise from human practices and conventions? By addressing these questions, the workshop aims to shed light on the prescriptive force at the heart of the formal sciences. On the hand, we also analyse normative aspect of the practice of the formal sciences.