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)
Download Edit this record How to cite View on PhilPapers
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.
PhilPapers/Archive ID
Revision history
Archival date: 2018-08-01
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index

Total views
13 ( #37,578 of 38,850 )

Recent downloads (6 months)
1 ( #39,205 of 38,850 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.