Property Theories

  • George Bealer
  • Uwe Mönnich
Part of the Synthese Library book series (SYLI, volume 167)


We begin with a truism. A property theory is a theory thal deals with properties. More precisely, it is a theory that formulates generaL non-contingent laws that deal with properties. There are two salient ways of talking of properties. First, they can be talked about as predicables (i.e .. as instantiahles).


Singular Term Property Theory Propositional Function Intensional Logic Existential Generalization 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Aczel, P.: 1980. ‘Frege structures and the notions of proposition, truth and set’. in J. Barwise. H. J. Keister and K. Kunen (eds.), The Kleene Symposium, Amsterdam, pp. 31–59.CrossRefGoogle Scholar
  2. Aczel, P.: 1985, ‘Properties and propositional functions’, Ms. Manchester (To appear as an appendix to Aczel [1988]).Google Scholar
  3. Aczel, P.: 1988. ‘Algebraic semantics for intensional logics I’, in G. Chierchia. B. Partee, R. Turner (eds.). Property Theories, Type Theories, and Semantics, Dordrecht.Google Scholar
  4. Anderson, C. A.: 1986, ‘Some difficulties concerning Russellian intensional logic’. Noûs 20. 35–43.CrossRefGoogle Scholar
  5. Barendregt, H. P.: 1981, The Lambda Calculus, Amsterdam.Google Scholar
  6. Barwise, J.: 1985, ‘On modeling shared understanding’, unpublished manuscript.Google Scholar
  7. Bealer, G.: 1979, ‘Theories of properties. relations, and propositions’. The Journal of Philosophy 76, 643–648.CrossRefGoogle Scholar
  8. Bealer, G.: 1982, Quality and Concept, Oxford.Google Scholar
  9. Bealer, G.: 1983. ‘Completeness in the theory of properties, relations. and propositions’. The Journal of Symholic Logic 48. 415–426.CrossRefGoogle Scholar
  10. Bealer, G.: 1984, ‘Mind and anti-mind: why thinking has no functional definition’. Midwest Studies in Philosophy 9, 283–328.Google Scholar
  11. Bealer, G.: 1986. ‘The logical status of mind’, Midwest Studies in Philosophy 10.231–274.Google Scholar
  12. Bealer, G.: 1987. ‘The significance of completeness results in intensional logic’. unpublished manuscript.Google Scholar
  13. Bealer, G.: 1988. ‘Type-free fine-grained intensionality’, in G. Chierchia, B. Partee. R. Turner (eds.), Property Theory, Type Theory, and Semantics, Dordrecht.Google Scholar
  14. Burge, T.: 1975, ‘Knowledge and convention’, The Philosophical Review 84, 249–55.CrossRefGoogle Scholar
  15. Burge, T.: 1978. ‘Belief and synonymy’, The Journal of Philosophy 75, 119–38.Google Scholar
  16. Burge, T.: 1979. ‘Individualism and the mental’, Midwest Studies in Philosophy 4. 73–122.Google Scholar
  17. Carnap, R: 1947, Meaning and Necessity, Chicago.Google Scholar
  18. Chierchia, G. and Turner, R: 1988. ‘Semantics and property theory’. Linguistics and Philosophy, in press.Google Scholar
  19. Chisholm. R.: 1981, The First Person: An Essay on Reference and Intentionality. Minneapolis.Google Scholar
  20. Church. A.: 1950. ‘On Carnap’s analysis of statements of assertions and belief’. Analysis 10, 97–9.Google Scholar
  21. Church, A.: 1951, ‘A formulation of the logic of sense and denotation’. P. Henle, H. H. Kallen, S, K. Langer (eds.), Structure, Method, and Meaning: Essays in Honor of Henry M. Scheffer. Liheral Arts Press, New York, pp. 3–24.Google Scholar
  22. Church, A: 1954, ‘Intensional isomorphism and identity of belief’, Philosophical Studies 5, 65–73.Google Scholar
  23. Church, A: 1973 & 1974, ‘Outline of a revised formulation of the logic sense and denotation’, Naûls 7, 23–33, Naûls 8,135-56.Google Scholar
  24. Churchland, Patricia: 1986, Neurophilosophy, Cambridge, Mass.Google Scholar
  25. Churchland, Paul: 1979, Scientific Realism and the Plasticity of Mind, Cambridge.Google Scholar
  26. Churchland, Paul: 1981, ‘Eliminative materialism and the propositional attitudes’, The Journal of Philosophy 78, 67–90.CrossRefGoogle Scholar
  27. Cocchiarella, N. B.: 1985, ‘Review of Bealer’s Quality and Concept’, The Journal of Symbolic Logic 50, 254–56.Google Scholar
  28. Cocchiarella, N. B.: 1986, Logical Investigations of Predication Theory and the Problem of Universals, Naples.Google Scholar
  29. Davidson, D.: 1964, ‘Theories of meaning and learnable languages’, in Y. Bar-Hillel (ed.), Proceedings of the 1964 Congress for Logic, Methodology and Philosophy of Science, pp.383–94.Google Scholar
  30. Evans, G.: 1977, ‘Pronouns, quantifiers, and relative clauses (I)’, Canadian Journal of Philosophy 7,467–536.Google Scholar
  31. Evans, G.: 1982, The Varieties of Reference, J. McDowell (ed.), Oxford.Google Scholar
  32. Feferman, S.: 1975, ‘A language and axioms for explicit mathematics’, Algebra and Logic, LNM 450, 87–139.Google Scholar
  33. Feferman, S.: 1984, ‘Toward useful type-free theories’, The Journal of Symbolic 49, 75–111.Google Scholar
  34. Fitch, F. B.: 1948, ‘An extension of basic logic’, The Journal of Symbolic Logic 13,95–106.Google Scholar
  35. Flagg, R. C. and Myhill, J.: 1987, ‘An extension of Frege structures’, in D. W. Kueker, E. G. K. Lopez-Escobar and C. H. Smith (eds.), Mathematical Logic and Computer Science, New York, pp. 197–217.Google Scholar
  36. Flagg, R. C. and Myhill, J.: 1987, ‘Implication and analysis in classical Frege structures’, Annals of Pure and Applied Logic 34, 33–85.Google Scholar
  37. Geach, P. T.: 1972, ‘Class and concept’, in P. T. Geach, Logic Matters, Oxford, pp. 226–34.Google Scholar
  38. Gilmore, P. C.: 1974, ‘The consistency of partial set theory without extensionality’, Proceedings of Symposia in Pure Mathematics 8, Part II, pp. 147–53.Google Scholar
  39. Higginbotham, J.: 1985, ‘Indefiniteness and predication’, unpublished manuscript.Google Scholar
  40. Kripke, S.: 1975, ‘Outline of a theory of truth’, The Journal of Philosophy 72,690–716.Google Scholar
  41. Lewis, D.: 1979, ‘Attitudes De Dicta and De Re’, The Philosophical Review 87, 513–43.CrossRefGoogle Scholar
  42. Lewis, D.: 1983, ‘New work for a theory of universals’, Australasian Journal of Philosophy 61,343–77.Google Scholar
  43. Mates, B.: 1950, ‘Synonymity’, University of California Publications in Philosophy 25, 201–26, reprinted in L. Linsky (ed.), Semantics and the Philosophy of Language, Urbana, 1952.Google Scholar
  44. McFetridge, I. G.: 1984, ‘Review of Bealer’s Quality and Concept’, Mind 93, 455–58.Google Scholar
  45. Menzel, C.: 1986, ‘A complete type-free “second-order” logic and its philosophical foundations’, CSLJ-Report 86–40, Stanford.Google Scholar
  46. Myro, G.: 1981, ‘Aspects of acceptability’, Pacific Philosophical Quaterly 62,107–17.Google Scholar
  47. Putnam, H.: 1954, ‘Synonymity and the analysis of belief sentences’, Analysis 14, 114–22.Google Scholar
  48. Quine, W. V. O.: 1960, Word and Object, Cambridge, Mass.Google Scholar
  49. Quine, W. V. O.: 1966, Selected Logic Papers, New York.Google Scholar
  50. Quine, W. V. O.: 1981, ‘Predicate functors revisited’, The Journal of Symbolic Logic 46, 649–52.CrossRefGoogle Scholar
  51. Reinhardt, W.: 1985, ‘An axiomatic theory of properties’, unpublished manuscript.Google Scholar
  52. Salmon, N.: 1986, Frege’s Puzzle, Cambridge, Mass.Google Scholar
  53. Scheffler, I.: 1954, ‘An inscriptional approach to indirect discourse’, Analysis 14,83–90.Google Scholar
  54. Scheffler, I.: 1954, ‘An inscriptional approach to indirect discourse’, Analysis 14,83–90. Scott, D. S.: 1975, ‘Combinators and classes’, Lambda-Calculus and Computer Science Theory, LNCS 37,1-26.Google Scholar
  55. Soames, S.: 1985,. ‘Direct reference and propositional attitudes’, Lecture at the American Philosophical Association Pacific Division Meeting, March 1985.Google Scholar
  56. Strawson, P. F.: 1959, Individuals, London.Google Scholar
  57. Strawson, P. F.: 1974, Subject and Predicate in Logic and Grammar, London.Google Scholar
  58. Turner, R.: 1987, ‘A theory of properties’. The Journal of Symholic Logic 52. 455–62.CrossRefGoogle Scholar
  59. Williams, E.: 1983, ‘Predication’, Linguistic Inquiry 11,203–238.Google Scholar

Copyright information

© D. Reidel Publishing Company 1989

Authors and Affiliations

  • George Bealer
  • Uwe Mönnich

There are no affiliations available

Personalised recommendations