A topological interpretation of three Leibnizian principles within the functional extensions

DOI10.23638/LMCS-14(3:5)2018MaRDI QIDQ4580324zbMATH OpenFDO

Authors Marco Forti

Publication date 15 August 2018

Full work available at URL https://arxiv.org/abs/1712.06901

zbMATH Keywords

transfer principlenonstandard modelsindiscerniblesfunctional extensions

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Nonstandard models in mathematics (03H05)

Abstract: 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.

Recommendations

• scientific article; zbMATH DE number 482302
• Leibniz and logic
• The Leibniz principle in quantum logic
• Topological aspects of epistemology and metaphysics
• Fiction, possibility and impossibility: three kinds of mathematical fictions in Leibniz's work

Cites work

• scientific article; zbMATH DE number 3520681 (Why is no real title available?)
• scientific article; zbMATH DE number 1795223 (Why is no real title available?)
• scientific article; zbMATH DE number 2109779 (Why is no real title available?)
• A simple algebraic characterization of nonstandard extensions
• Combinatorial Cardinal Characteristics of the Continuum
• Hausdorff ultrafilters
• Model theory.
• Non-standard analysis
• On the density of Hausdorff ultrafilters
• Separating ultrafilters on uncountable cardinals
• The eightfold path to nonstandard analysis
• Topological and nonstandard extensions
• Ultrafilters and Standard Functions in Non-Standard Arithmetic
• Ultrafiltres a la Facon de Ramsey

Cited in

(1)

• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks

This page was built for publication: A topological interpretation of three Leibnizian principles within the functional extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4580324)