Intervention de Francesca Poggiolesi : "Introducing and defining the notion of grounding".
The concept of grounding has a long and venerable history that starts with Aristotle and continues through philosophers such as Ockham or Bolzano. Quite recently we assist to an increasing interest for this notion with papers that range from metaphysics to logic, from history of philosophy to ontology. Our aim in this talk is to contribute to this debate by tackling an issue that has been so far mainly neglected, namely the issue of providing a definition of the notion of grounding. In order to achieve this goal, we will first restrict our attention to the notion of complete and immediate formal grounding; secondly we will use the notions of derivability and complexity. We will end our talk by showing that our definition yields a subtle and precise analysis of the concept of grounding in several paradigmatic cases.