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

lmcs:4156 - Logical Methods in Computer Science, July 31, 2018, Volume 14, Issue 3 - https://doi.org/10.23638/LMCS-14(3:5)2018
A topological interpretation of three Leibnizian principles within the functional extensionsArticle

Authors: Marco Forti

    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.


    Volume: Volume 14, Issue 3
    Published on: July 31, 2018
    Accepted on: June 10, 2018
    Submitted on: December 20, 2017
    Keywords: Mathematics - Logic,Computer Science - Logic in Computer Science,Mathematics - General Topology,03A05, 03H05, 03E65

    Consultation statistics

    This page has been seen 1513 times.
    This article's PDF has been downloaded 320 times.