A Semantic Analysis of Russellian Simple Type Theory

In Paul Needham & Jan Odelstad (eds.), Changing Positions, Essays Dedicated to Lars Lindahl on the Occassion of His Fiftieth Birthday. Uppsala: (1986)
  Copy   BIBTEX

Abstract

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types.

Author's Profile

Sten Lindström
Uppsala University

Analytics

Added to PP
2018-08-01

Downloads
146 (#75,153)

6 months
44 (#77,919)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?