Hostname: page-component-7479d7b7d-rvbq7 Total loading time: 0 Render date: 2024-07-08T20:50:13.345Z Has data issue: false hasContentIssue false

Intensional logic in extensional language

Published online by Cambridge University Press:  12 March 2014

Charles Parsons*
Affiliation:
Columbia University, New York, New York 10027

Extract

Frege's conception of reference has been interpreted as calling for a completely extensional language, on the grounds that according to it the reference of a complex expression is a function of the references of its parts. To meet this demand and still allow for oblique contexts, one uses Frege's idea that in an oblique context an expression has as reference what is ordinarily its sense.

A purely extensional formalized intensional logic was constructed in the 1940s by Alonzo Church: his logic of sense and denotation [2], [3]. The ambiguity of the “direct” and “oblique” reference of an expression is avoided. For each denoting expression A there is an expression A denoting its sense, which then replaces A in “oblique” contexts. A consequence of this approach is that for each natural number n, in a context with n-fold embedding of intensional operators A is paraphrased by the result of iterating the operation à n times, so that A is treated as if it were infinitely ambiguous. Church's underlying logic is a simple theory of types, in fact just an expansion of the extensional typed λ-calculus so as to contain ωth-order predicate logic.

In this paper we study a variant of Church's logic that admits a possible-worlds semantics, i.e. a version of Church's Alternative (2) [3, pp. 4–5], [4]. This type of logic has been perspicuously formulated by David Kaplan [11], [12], and we follow his version.

In §1 we formulate Kaplan's logic L-Church-O with two alterations: the typed λ-calculus is replaced by combinators, and unlike Kaplan (but like Church) we allow concepts (that is, senses) that are not concepts of anything.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 1982

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

[1]Anderson, C. Anthony, Some new axioms for the logic of sense and denotation: alternative (0), Noûs, vol. 14 (1980), pp. 217234.CrossRefGoogle Scholar
[2]Church, Alonzo, A formulation of the logic of sense and denotation ( abstract), this Journal, vol. 12 (1946), p. 31.Google Scholar
[3]Church, Alonzo, A formulation of the logic of sense and denotation, Structure, method, and meaning: Essays in honor of H.M. Sheffer, Liberal Arts Press, New York, 1951, pp. 324.Google Scholar
[4]Church, Alonzo, Outline of a revised formulation of the logic of sense and denotation, Noûs, vol. 7 (1973), pp. 2433; vol. 8 (1974), pp. 135–156.CrossRefGoogle Scholar
[5]Church, Alonzo, Russellian simple type theory, Proceedings and Addresses of the American Philosophical Association, vol. 47 (19731974), pp. 2133.CrossRefGoogle Scholar
[6]Curry, Haskell B., Hindley, J. Roger and Seldin, Jonathan P., Combinatory logic, vol. II, North-Holland, Amsterdam, 1972.Google Scholar
[7]Davidson, Donald, Theories of meaning and learnable languages, Logic, methodology, and philosophy of science: Proceedings of the 1964 International Congress (Bar-Hillel, Y., editor), North-Holland, Amsterdam, 1965, pp. 383394.Google Scholar
[8]Gallin, Daniel, Intensional and higher-order modal logic, North-Holland, Amsterdam, 1975.Google Scholar
[9]Hindley, J. Roger, Lercher, Bruce and Seldin, Jonathan P., An introduction to combinatory logic, Cambridge University Press, 1972.Google Scholar
[10]Kaplan, David, Quantifying in, Synthese, vol. 19 (1968), pp. 178214.CrossRefGoogle Scholar
[11]Kaplan, David, The language of Church-O, unpublished notes, 1974.Google Scholar
[12]Kaplan, David, How to Russell a Frege-Church, The Journal of Philosophy, vol. 72 (1975), pp. 716729.CrossRefGoogle Scholar
[13]Montague, Richard, Universal grammar, Theoria, vol. 36 (1970), pp. 373398; reprinted in Formal philosophy (R. H. Thomason, editor), Yale University Press, New Haven, 1974.CrossRefGoogle Scholar
[14]Parsons, Charles, The logic of sense and denotation and Montague's intensional logic (abstract), this Journal, vol. 46 (1981), p. 684.Google Scholar
[15]Parsons, Charles, The logic of sense and denotation and Montague's intensional logic, Sixth International Congress of Logic, Methodology, and Philosophy of Science, Hannover 1979, Abstracts, section 5, pp. 140142.Google Scholar
[16]Parsons, Terence, Frege's hierarchies of indirect senses and the paradox of analysis, Midwest studies in philosophy VI: The foundations of analytic philosophy, University of Minnesota Press, Minneapolis, 1981, pp. 3757.Google Scholar