Hostname: page-component-7bb8b95d7b-5mhkq Total loading time: 0 Render date: 2024-09-21T12:33:18.826Z Has data issue: false hasContentIssue false
  • English
  • Français

A theory of properties

Published online by Cambridge University Press:  12 March 2014

Ray Turner
Ray Turner*
Affiliation:
Department of Computer Science, University of Essex, Colchester C04 3SQ, England
Get access Rights & Permissions [Opens in a new window]

Extract

Frege's attempts to formulate a theory of properties to serve as a foundation for logic, mathematics and semantics all dissolved under the weight of the logicial paradoxes. The language of Frege's theory permitted the representation of the property which holds of everything which does not hold of itself. Minimal logic, plus Frege's principle of abstraction, leads immediately to a contradiction. The subsequent history of foundational studies was dominated by attempts to formulate theories of properties and sets which would not succumb to the Russell argument. Among such are Russell's simple theory of types and the development of various iterative conceptions of set. All of these theories ban, in one way or another, the self-reference responsible for the paradoxes; in this sense they are all “typed” theories. The semantical paradoxes, involving the concept of truth, induced similar nightmares among philosophers and logicians involved in semantic theory. The early work of Tarski demonstrated that no language that contained enough formal machinery to respresent the various versions of the Liar could contain a truth-predicate satisfying all the Tarski biconditionals. However, recent work in both disciplines has led to a re-evaluation of the limitations imposed by the paradoxes.

In the foundations of set theory, the work of Gilmore [1974], Feferman [1975], [1979], [1984], and Aczel [1980] has clearly demonstrated that elegant and useful type-free theories of classes are feasible. Work on the semantic paradoxes was given new life by Kripke's contribution (Kripke [1975]). This inspired the recent work of Gupta [1982] and Herzberger [1982]. These papers demonstrate that much room is available for the development of theories of truth which meet almost all of Tarski's desiderata.

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 2 , June 1987 , pp. 455 - 472
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Aczel, P. [1980], Frege structures and the notions of proposition, truth and set, The Kleene symposium (Barwise, J.et al., editors), North-Holland, Amsterdam, pp. 31–39.CrossRefGoogle Scholar
Barwise, J. and Perry, R. [1983], Situations and attitudes, M. I. T. Press, Cambridge, Massachusetts.Google Scholar
Bealer, G. [1982], Quality and concept, Oxford University Press, Oxford.CrossRefGoogle Scholar
Beeson, M. J. [1985], Foundations of constructive mathematics, Springer-Verlag, Berlin.CrossRefGoogle Scholar
Chierchia, G. [1985], Formal semantics and the grammar of predication, Linguistic Inquiry, vol. 16, pp. 417–443.Google Scholar
Chierchia, G. and Turner, R. [1985], Semantics and property theory, Linguistics and Philosophy (to appear).Google Scholar
Feferman, S. [1975], A language and axioms for explicit mathematics, Algebra and logic, Lecture Notes in Mathematics, vol. 450, Springer-Verlag, Berlin, pp. 87–139.CrossRefGoogle Scholar
Feferman, S. [1979], Constructive theories of functions and classes, Logic Colloquium '78 (Boffa, M.et al., editors), North-Holland, Amsterdam, pp. 159–224.Google Scholar
Feferman, S. [1984], Toward useful type-free theories. I, this Journal, vol. 49, pp. 75–111.Google Scholar
Flagg, B. and Myhill, J. [1985], Notes on a type-free system extending ZFC (manuscript).Google Scholar
Gilmore, P. C. [1974], The consistency of partial set theory without extensionality, Axiomatic set theory, Proceedings of Symposia in Pure Mathematics, vol. 13, part II, American Mathematical Society, Providence, Rhode Island, pp. 147–153.CrossRefGoogle Scholar
Gupta, A. [1982], Truth and paradox, Journal of Philosophical Logic, vol. 11, pp. 1–60.CrossRefGoogle Scholar
Herzberger, H. [1982], Notes on naive semantics, Journal of Philosophical Logic, vol. 11, pp. 61–102.CrossRefGoogle Scholar
Kamp, H. [1983], A scenic tour through the land of naked infinitives (manuscript).Google Scholar
Kripke, S. [1975], Outline of a theory of truth, The Journal of Philosophy, vol. 72, pp. 690–716.CrossRefGoogle Scholar
Turner, R. [1984], Formal semantics and type-free theories, Proceedings of the fifth Amsterdam symposium on formal semantics (to appear).Google Scholar