Studia Logica

, Volume 69, Issue 3, pp 351–380 | Cite as

A Temporal Logic for Sortals

  • Max A. Freund

Abstract

With the past and future tense propositional operators in its syntax, a formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. A completeness proof for the system is constructed and its absolute consistency proved. The completeness proof is given relative to a notion of logical validity provided by an intensional semantic system, which assumes an approach to sortals from a modern form of conceptualism.

conceptualism sortals temporal logic 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Cocchiarella, N. B., 1977, ‘Sortals, natural kinds and re-identification’, Logique et Analyse 80, 439-474.Google Scholar
  2. 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, D. Reidel Publishing Co., Dordrecht, pp. 309-355Google Scholar
  3. Cocchiarella, N. B., 1986, Logical Investigations of Predication Theory and the Problems of Universals, Bibliopolis Press, Naples.Google Scholar
  4. Cocchiarella, N. B., 1995, ‘Knowledge representation in conceptual realism’, Int. J. Human-Computer Sciences 43, 697-721.Google Scholar
  5. Cocchiarella, N. B., 1998, ‘Reference in conceptual tealism’, Synthese 114, 169-202.Google Scholar
  6. Church, A., 1958, Introduction to Mathematical Logic, Princeton University Press, Princeton, N.J.Google Scholar
  7. Freund, M., 2000, ‘A complete and consistent formal system for sortals’, Studia Logica 65(3), 367-381.Google Scholar
  8. Geach, P., 1980, Reference and Generality, Cornell U. Press, Ithaca.Google Scholar
  9. Gupta, A., 1980, Logic of Common Nouns, Yale U. Press, New Haven and London.Google Scholar
  10. Vlach, F., 1983, ‘Review of The Logic of Common Nouns’, Journal of Symbolic Logic 48(2), 500-501.Google Scholar
  11. Wiggins, D., 1980, Sameness and Substance, Harvard U. Press, Cambridge, MA.Google Scholar

Copyright information

© Kluwer Academic Publishers 2001

Authors and Affiliations

  • Max A. Freund
    • 1
  1. 1.Departamento de FilosofiaHerediaCosta Rica

Personalised recommendations