Topology and Leibniz's principle of the Identity of Indiscernibles

Download Edit this record How to cite View on PhilPapers
The aim of this paper is to show that topology has a bearing on Leibniz’s Principle of the Identity of Indiscernibles (PII). According to (PII), if, for all properties F, an object a has property F iff object b has property F, then a and b are identical. If any property F whatsoever is permitted in PII, then Leibniz’s principle is trivial, as is shown by “identity properties”. The aim of this paper is to show that topology can make a contribution to the problem of giving criteria of how to restrict the domain of properties to render (PII) non-trivial. In topology a wealth of different Leibnizian principles of identity can be defined - PII turns out to be just the weakest topological separation axiom T0 in disguise, stronger principles of can be defined with the aid of higher separation axioms Ti, i > 0. Topologically defined properties have a variety of nice features, in particular they are stable in a natural sense. Topologically defined properties do not have a monopoly on defining “good” properties. In the final section of the paper it is show that the topological approach is closely related to Gärdenfors’s approach of conceptual spaces based on the concept of convexity.
PhilPapers/Archive ID
Upload history
First archival date: 2016-12-11
Latest version: 1 (2017-01-10)
View other versions
Added to PP index

Total views
284 ( #24,399 of 65,736 )

Recent downloads (6 months)
18 ( #39,552 of 65,736 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.