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
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.
Categories
PhilPapers/Archive ID
LINASA-5
Upload history
Archival date: 2018-08-01
View other versions
Added to PP index
2018-08-01

Total views
37 ( #46,094 of 51,728 )

Recent downloads (6 months)
7 ( #45,171 of 51,728 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.