The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offered: (1) two extensions of Peirce's existential graphs, to intuitionistic logics (a new symbol for implication), and other non-classical logics (new actions on nonplanar surfaces); (2) a complete formalization of Peirce's continuum, capturing all Peirce's original demands (genericity, supermultitudeness, reflexivity, modality), thanks to an inverse ordinally iterated sheaf of real lines; (3) an array of subformalizations and proofs of Peirce's pragmaticist maxim, through methods in category theory, HoTT techniques, and modal logics. The book will be relevant to Peirce scholars, mathematicians, and philosophers alike, thanks to thorough assessments of Peirce's mathematical heritage, compact surveys of the literature, and new perspectives offered through formal and modern mathematizations of the topics studied.

A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest. A panoramic survey of the vast spectrum of modern and contemporary mathematics and the new philosophical possibilities they suggest, this book gives the inquisitive non-specialist an insight into the conceptual transformations and intellectual orientations of modern and contemporary mathematics. The predominant analytic approach, with its focus on the formal, the elementary and the foundational, has effectively divorced philosophy from the real practice of mathematics and the profound conceptual shifts in the discipline over the last century. The first part discusses the specificity of modern (1830-1950) and contemporary (1950 to the present) mathematics, and reviews the failure of mainstream philosophy of mathematics to address this specificity. Building on the work of the few exceptional thinkers to have engaged with the "real mathematics" of their era (including Lautman, Deleuze, Badiou, de Lorenzo and Chatelet), Zalamea challenges philosophy's self-imposed ignorance of the "making of mathematics." In the second part, thirteen detailed case studies examine the greatest creators in the field, mapping the central advances accomplished in mathematics over the last half-century, exploring in vivid detail the characteristic creative gestures of modern master Grothendieck and contemporary creators including Lawvere, Shelah, Connes, and Freyd. Drawing on these concrete examples, and oriented by a unique philosophical constellation (Peirce, Lautman, Merleau-Ponty), in the third part Zalamea sets out the program for a sophisticated new epistemology, one that will avail itself of the powerful conceptual instruments forged by the mathematical mind, but which have until now remained largely neglected by philosophers.

Peirce's logic of continuity is explored from a double perspective: (i) Peirce's original understanding of the continuum, alternative to Cantor's analytical Real line, (ii) Peirce's original construction of a topological logic -- the existential graphs -- alternative to the algebraic presentation of propositional and first-order calculi. Peirce's general architectonics, oriented to back-and-forth hierarchical crossings between the global and the local, is reflected with great care both in the continuum and the existential graphs.