Russellian Simple Type Theory

Proceedings and Addresses of the American Philosophical Association 47:21 - 33 (1973)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/3129899

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Quantified Multimodal Logics in Simple Type Theory.Christoph Benzmüller & Lawrence C. Paulson - 2013 - Logica Universalis 7 (1):7-20.
On the binding group in simple theories.Ziv Shami & Frank O. Wagner - 2002 - Journal of Symbolic Logic 67 (3):1016-1024.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Coordinatisation by Binding Groups and Unidimensionality in Simple Theories.Ziv Shami - 2004 - Journal of Symbolic Logic 69 (4):1221 - 1242.
Type Theory and Homotopy.Steve Awodey - unknown
A note on Lascar strong types in simple theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
Lascar strong types in some simple theories.Steven Buechler - 1999 - Journal of Symbolic Logic 64 (2):817-824.
A correspondence between Martin-löf type theory, the ramified theory of types and pure type systems.Fairouz Kamareddine & Twan Laan - 2001 - Journal of Logic, Language and Information 10 (3):375-402.
On Almost Orthogonality in Simple Theories.Itay Ben-Yaacov & Frank O. Wagner - 2004 - Journal of Symbolic Logic 69 (2):398 - 408.
Russell's theory of definite descriptions.Stephen Schiffer - 2005 - Mind 114 (456):1135-1183.
The Paradox of Knowability from a Russellian Perspective.Pierdaniele Giaretta - 2009 - Prolegomena 8 (2):141-158.
Russell's way out of the paradox of propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Defending Existentialism?Marian David - 2009 - In Maria Elisabeth Reicher (ed.), States of Affairs. Ontos Verlag. pp. 167--209.

Analytics

Added to PP
2011-05-29

Downloads
69 (#232,586)

6 months
12 (#202,587)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
Modal logic and philosophy.Sten Lindström & Krister Segerberg - 2007 - In Patrick Blackburn, Johan van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Amsterdam, the Netherlands: Elsevier. pp. 1149-1214.

View all 17 citations / Add more citations

References found in this work

No references found.

Add more references