Metaphysics claims to theorize “all things in general,” and formal ontology claims to be the science of “something in general,” which presupposes the availability of the notions of “things in general” and “something in general.” However, these notions are not self-evident; they are neither primitive nor obvious: this is the hypothesis that this course seeks to explore, particularly that philosophical generality is not separable from the forms that mathematics gives it.
The course will consist of three major parts. After distinguishing the two dimensions of generality—integrality (the aim of all things) and genericity (the aim of any thing)—we will begin by examining the first (absolute generality, i.e., the consideration of all things without exception), showing that, as much as its rejection, it gives rise to paradoxes. This will introduce the solidarity of the major registers of generality: philosophy, logic, and mathematics.
We will then focus on the notion of genericity, that is, the concept of any object, and its formal counterpart: the notion of variable.
Metaphysicians presuppose the possibility of referring to things in general, without becoming aware that the form of “something in general” that seems to deliver this possibility is an instrument borrowed from formal logic, and actually developed by logic in connection with mathematics. The second part of the course will examine the plural forms of the generic found in mathematics and their connection to philosophical figures of the general. It will defend the idea that the former partially under-determine the latter, and will support the priority of genericity over integrality.
The third and final part of the course will focus on the notions of variable and variation. While these have been separated by modern logic to avoid any confusion of generality with a real process, more recent developments, re-associating logic and geometry, allow these two notions to be conjoined in new ways. We will provide some illustrations by describing how generality can be conceived in terms of deformation, in modal logic and logical semantics.
Assessment Methods:
A personal research project on a theme related to the course.