Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-25T19:10:00.602Z Has data issue: false hasContentIssue false
  • English
  • Français

Contextual definitions in nonextensional languages

Published online by Cambridge University Press:  12 March 2014

Gustav Bergmann
Gustav Bergmann*
Affiliation:
The State University of Iowa
Get access Rights & Permissions [Opens in a new window]

Extract

The purpose of this note is to contribute to the discussion of nonextensional languages that is now in progress. A formal language, L, that contains, besides the lower functional calculus, predicates and predicate variables of higher type will here be called nonextensional if the sentence

Type
Articles
Information
The Journal of Symbolic Logic , Volume 13 , Issue 3 , December 1948 , pp. 140
Copyright
Copyright © Association for Symbolic Logic 1948

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

1 The logical syntax of language, pp. 89–90. Carnap neglects to close the right side of (3) for the predicate variable. This leads to a difficulty if, in case ‘Ψ(χ)’ is false, a predicate ‘χ1’ for which ‘Ψ(χ1)’ is true is substituted for the variable.