A topological interpretation of three Leibnizian principles within the functional extensions

DOI10.23638/LMCS-14(3:5)2018zbMATH Open1453.03073arXiv1712.06901MaRDI QIDQ4580324FDOQ4580324

Marco Forti

Publication date: 15 August 2018

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.

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

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

zbMATH Keywords

transfer principlenonstandard modelsindiscerniblesfunctional extensions

Mathematics Subject Classification ID

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

Cites Work

• Non-standard analysis
• Model theory.
• Topological and nonstandard extensions
• Combinatorial Cardinal Characteristics of the Continuum
• Hausdorff ultrafilters
• Title not available (Why is that?)
• Title not available (Why is that?)
• A simple algebraic characterization of nonstandard extensions
• Title not available (Why is that?)
• Ultrafilters and Standard Functions in Non-Standard Arithmetic
• Separating ultrafilters on uncountable cardinals
• Ultrafiltres a la Facon de Ramsey
• Title not available (Why is that?)
• Title not available (Why is that?)

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)