Jean-Pierre Marquis

The aim of this paper is to clarify the role of category theory in the foundations of mathematics. There is a good deal of confusion surrounding this issue. A standard philosophical strategy in the face of a situation of this kind is to draw various distinctions and in this way show that the confusion rests on divergent conceptions of what the foundations of mathematics ought to be. This is the strategy adopted in the present paper. It is divided into 5 sections. We first show that already in the set theoretical framework, there are different dimensions to the expression foundations of. We then explore these dimensions more thoroughly. After a very short discussion of the links between these dimensions, we move to some of the arguments presented for and against category theory in the foundational landscape. We end up on a more speculative note by examining the relationships between category theory and set theory.

Approximations form an essential part of scientific activity and they come in different forms: conceptual approximations (simplifications in models), mathematical approximations of various types (e.g. linear equations instead of non-linear ones, computational approximations), experimental approximations due to limitations of the instruments and so on and so forth. In this paper, we will consider one type of approximation, namely numerical approximations involved in the comparison of two results, be they experimental or theoretical. Our goal is to lay down the conceptual and formal foundations of a local theory of partial truth. This is done by introducing and exploring the concept of truth space

In this paper, I introduce the idea that some important parts of contemporary pure mathematics are moving away from what I call the extensional point of view. More specifically, these fields are based on criteria of identity that are not extensional. After presenting a few cases, I concentrate on homotopy theory where the situation is particularly clear. Moreover, homotopy types are arguably fundamental entities of geometry, thus of a large portion of mathematics, and potentially to all mathematics, at least according to some speculative research programs

In this paper, I introduce and examine the notion of “mathematical engineering” and its impact on mathematical change. Mathematical engineering is an important part of contemporary mathematics and it roughly consists of the “construction” and development of various machines, probes and instruments used in numerous mathematical fields. As an example of such constructions, I briefly present the basic steps and properties of homology theory. I then try to show that this aspect of contemporary mathematics has important consequences on our conception of mathematical knowledge, in particular mathematical growth.

In this paper, we argue that Forrester’s paradox, as he presents it, is not a paradox of standard deontic logic. We show that the paradox fails since it is the result of a misuse of , a derived rule in the standard systems. Before presenting Forrester’s argument against standard deontic logic, we will briefly expose the principal characteristics of a standard system Δ. The modal system KD will be taken as a representative. We will then make some remarks regarding , pointing out that its use is restricted to the standard system’s theorems, and cannot be applied to contingent conditionals. Finally, we will show that Forrester’s paradox is not a paradox of standard deontic logic, at least not in the sense he intended it to be. We show that the paradox cannot arise in KD since its semantical model is not rich enough to represent the intuitive validity of the conditional within Forrester’s paradox. We show that the paradox arises within a system that has a finer semantics