David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jack Alan Reynolds
Learn more about PhilPapers
Synthese 163 (2):217 - 225 (2008)
The paper argues, that a direct formalization of the way common sense thinks about the numerical identity of enduring entities, requires that traditional predicate logic is developed. If everyday language mirrors the world, then persons, organisms, organs, cells, and ordinary material things can lose some parts but nonetheless remain numerically exactly the same entity. In order to formalize this view, two new logical operators are introduced; and they bring with them some non-standard syntax. One of the operators is called ‘the instantiation operator’; it is needed because the existential quantifier and its traditional relatives cannot do the job required. The other operator is called ‘the form-on-matter operator’, and it allows an individual (an instance of a form) to stay the same even though some of its parts (its constituting matter) is taken away from it. Also, a certain kind of predicates, called ‘nature terms’, is needed in order to represent what gives a particular its kind of identity. Both the operators and the nature terms introduced can be used in constructions of formal languages and formal systems, but no such constructions are made in the paper. The paper is structured as a comment on the philosophical problem called ‘the problem of the cats Tibbles and Tib’.
|Keywords||Formalization Common sense Logical operators Identity problems|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
E. J. Lowe (2005). The Four-Category Ontology: A Metaphysical Foundation for Natural Science. Oxford University Press.
E. J. Lowe (2002). A Survey of Metaphysics. Oxford University Press.
E. J. Lowe (1989). Kinds of Being: A Study of Individuation, Identity, and the Logic of Sortal Terms. Blackwell.
Barry Smith (2005). Against Fantology. In Johann C. Marek & Maria E. Reicher (eds.), Experience and Analysis. HPT&ÖBV 153-170.
Alfred North Whitehead & Bertrand Russell (1962). Principia Mathematica, to *56. Cambridge University Press.
Citations of this work BETA
No citations found.
Similar books and articles
Athanassios Tzouvaras (2003). An Axiomatization of 'Very' Within Systiems of Set Theory. Studia Logica 73 (3):413 - 430.
Maria Concetta Di Maio & Alberto Zanardo (1998). A Gabbay-Rule Free Axiomatization of T X W Validity. Journal of Philosophical Logic 27 (5):435 - 487.
Katalin Bimbó (2010). Schönfinkel-Type Operators for Classical Logic. Studia Logica 95 (3):355-378.
Tim Button (2012). Spotty Scope and Our Relation to Fictions. Noûs 46 (2):243-58.
Yannis Stephanou (2001). Indexed Actuality. Journal of Philosophical Logic 30 (4):355-393.
Stefan Wölfl (2002). Propositional Q-Logic. Journal of Philosophical Logic 31 (5):387-414.
Gerard A. J. M. Jagers op Akkerhuis (2010). Towards a Hierarchical Definition of Life, the Organism, and Death. Foundations of Science 15 (3):245-262.
Added to index2009-01-28
Total downloads26 ( #149,819 of 1,907,187 )
Recent downloads (6 months)4 ( #199,342 of 1,907,187 )
How can I increase my downloads?