Some philosophical remarks on the theory of types in intensional logic

Erkenntnis 17 (1):85 - 112 (1982)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,283

External links

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

Through your library

Similar books and articles

An Expressive First-Order Logic with Flexible Typing for Natural Language Semantics.Chris Fox & Shalom Lappin - 2004 - Logic Journal of the Interest Group in Pure and Applied Logics 12 (2):135--168.
An approach to intensional logic.Imre Ruzsa - 1981 - Studia Logica 40 (3):269 - 287.
A comparison of two intensional logics.Edward N. Zalta - 1988 - Linguistics and Philosophy 11 (1):59-89.
Intensional models for the theory of types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.

Analytics

Added to PP
2009-01-28

Downloads
30 (#535,945)

6 months
7 (#439,760)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

From a Logical Point of View.Willard Van Orman Quine - 1953 - Cambridge: Harvard University Press.
Tractatus logico-philosophicus.Ludwig Wittgenstein - 1922 - Filosoficky Casopis 52:336-341.
Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.
Mathematical Logic as Based on the Theory of Types.Bertrand Russell - 1908 - American Journal of Mathematics 30 (3):222-262.
How to Russell a Frege-Church.David Kaplan - 1975 - Journal of Philosophy 72 (19):716-729.

Add more references