Abstract
We consider a formal language whose logical syntax involves both modal and tense propositional operators, as well as sortal quantifiers, sortal identities and (second order) quantifiers over sortals. We construct an intensional semantics for the language and characterize a formal logical system which we prove to be sound and complete with respect to the semantics. Conceptualism is the philosophical background of the semantic system.
Similar content being viewed by others
References
Cocchiarella, N. B.: 1977, Sortals, natural kinds and re-identification, Logique et Analyse 80, 439–474.
Cocchiarella, N. B.: 1984, Philosophical perspectives on quantification in tense and modal logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. II, Reidel, Dordrecht, The Netherlands, pp. 309–355.
Cocchiarella, N. B.: 1986, Logical Investigations of Predication Theory and the Problems of Universals, Bibliopolis Press, Naples.
Cocchiarella, N. B.: 1998, Reference in conceptual realism, Synthese 114, 169–202.
Deutsch, H.: 2002, Relative identity, in Stanford Encyclopedia of Philosophy (Online encyclopedia).
Freund, M. A.: 2001, A temporal logic for sortals, Studia Logica 69(3), 351–380.
Freund, M. A.: 2004, A modal sortal logic, Journal of Philosophical Logic 33(3), 237–260.
Gabbay, D. M., Hodkinson, I., and Reynolds, M.: 1994, Temporal Logic: Mathematical Foundations and Computational Aspects, Clarendon, Oxford.
Gallois, A.: 1998, Occasions of Identity: A Study in the Metaphysics of Persistence, Change and Sameness, Clarendon, Oxford.
Geach, P.: 1972, Logic Matters, University of California Press, Berkeley, CA.
Geach, P.: 1973, Ontological relativity and relative identity, in M. K. Munitz (ed.), Logic and Ontology, New York University Press, New York.
Geach, P.: 1980, Reference and Generality, Cornell University Press, Ithaca, NY.
Grandy, R.: 2006, Sortals, in Stanford Encyclopedia of Philosophy (Online encyclopedia).
McGinn, C.: 2000, Logical Properties, Blackwell, Oxford.
Noonan, H.: 1999, Relative identity, in B. Hale and C. Wright (eds.), A Companion to the Philosophy of Language, Blackwell, Oxford.
Stevenson, L.: 1972, Relative identity and Leibniz’ law. The Philosophical Quarterly 22, 155–158.
Wiggins, D.: 2001, Sameness and Substance Renewed, Harvard University Press, Cambridge, MA.
Wölf, S.: 1999, Combinations of tense and modality for predicate logic, Journal of Philosophical Logic 28, 371–398.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Freund, M.A. A Two Dimensional Tense-modal Sortal Logic. J Philos Logic 36, 571–598 (2007). https://doi.org/10.1007/s10992-007-9050-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-007-9050-6