On the Reality of Existence and Identity
- 1 December 1978
- journal article
- research article
- Published by Cambridge University Press (CUP) in Canadian Journal of Philosophy
- Vol. 8 (4) , 613-632
- https://doi.org/10.1080/00455091.1978.10716222
Abstract
“The confusion of a logical with a real predicate,” according to the Critique of Pure Reason, “is almost beyond correction” (A598/B626). Kant did not assert that existence is no predicate, but that it is only a “logical” one, and not a “real” one. Much the same thing has been said about identity, although Kant himself thought it is real and not logical. We have long lacked a rigorous criterion to distinguish real from logical predicates, and hence have not been able to say why the difference matters. This paper has two objects. First it provides a demarcation between real and logical predicates that confirms Kant's dictum that existence is only “logical.” Secondly it states the theory of a “logical” (but not “real”) relation of identity. Perhaps this is not the only identity relation. I show only that once it has been precisely defined in the right setting, there are definite answers to a number of disputed questions about identity. Maybe there are other concepts of identity for which different answers are to be given, but I shall not discuss that disagreeable prospect here. A third application concerns the ontological argument.Keywords
This publication has 7 references indexed in Scilit:
- Do-it-Yourself Semantics for Classical Sequent Calculi, Including Ramified Type TheoryPublished by Springer Nature ,1977
- The Identity of IndiscerniblesThe Journal of Philosophy, 1975
- The Same FThe Philosophical Review, 1970
- Studies In The Logic of Existence and NecessityMonist, 1966
- Sense Without DenotationAnalysis, 1960
- Einführung in die Operative Logik und MathematikPublished by Springer Nature ,1955
- The identity of individuals in a strict functional calculus of second orderThe Journal of Symbolic Logic, 1947