175018

(2014) Philosophia Scientiae 18 (3).

A scholastic-realist modal-structuralism

Ahti-Veikko J. Pietarinen

pp. 127-138

How are we to understand the talk about properties of structures the existence of which is conditional upon the assumption of the reality of those structures? Mathematics is not about abstract objects, yet unlike fictionalism, modal-structuralism respects the truth of theorems and proofs. But it is nominalistic with respect to possibilia. The problem is that, for fear of reducing possibilia to actualities, the second-order modal logic that claims to axiomatise modal existence has no real semantics. There is no cross-identification of higher-order mathematical entities and thus we cannot know what those entities are. I suggest that a scholastic notion of realism, interspersed with cross-identification of higher-order entities, can deliver the semantics without collapse. This semantics of modalities is related to Peirce's logic and his pragmaticist philosophy of mathematics.

Publication details

DOI: 10.4000/philosophiascientiae.978

Full citation:

Pietarinen, A. J. (2014). A scholastic-realist modal-structuralism. Philosophia Scientiae 18 (3), pp. 127-138.

This document is available at an external location. Please follow the link below. Hold the CTRL button to open the link in a new window.