Forti, Marco - A topological interpretation of three Leibnizian principles within the functional extensions

lmcs:4724 - Logical Methods in Computer Science, July 31, 2018, Volume 14, Issue 3
A topological interpretation of three Leibnizian principles within the functional extensions

Authors: Forti, Marco

Three philosophical principles are often quoted in connection with Leibniz: "objects sharing the same properties are the same object" (Identity of indiscernibles), "everything can possibly exist, unless it yields contradiction" (Possibility as consistency), and "the ideal elements correctly determine the real things" (Transfer). Here we give a precise logico-mathematical formulation of these principles within the framework of the Functional Extensions, mathematical structures that generalize at once compactifications, completions, and elementary extensions of models. In this context, the above Leibnizian principles appear as topological or algebraic properties, namely: a property of separation, a property of compactness, and a property of directeness, respectively. Abiding by this interpretation, we obtain the somehow surprising conclusion that these Leibnizian principles may be fulfilled in pairs, but not all three together.


Source : oai:arXiv.org:1712.06901
DOI : 10.23638/LMCS-14(3:5)2018
Volume: Volume 14, Issue 3
Published on: July 31, 2018
Submitted on: December 20, 2017
Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science,Mathematics - General Topology,03A05, 03H05, 03E65


Share

Consultation statistics

This page has been seen 31 times.
This article's PDF has been downloaded 12 times.