IRI

http://www.metaontology.pl/metaontology_populated.owl#abstract_2573
Label Language Type
abstract of Identity, Leibniz's Law and Non-Transitive Reasoning en rdfs:label

Annotations

  • has text
    • Arguments based on Leibniz's Law seem to show that there is no room for either indefinite or contingent identity. The arguments seem to prove too much, but their conclusion is hard to resist if we want to keep Leibniz's Law. We present a novel approach to this issue, based on an appropriate modification of the notion of logical consequence

Same Individuals

Types

Object properties

Data properties