Sentences of Type Theory: The Only Sentences Preserved Under Isomorphisms

Journal of Symbolic Logic 56 (3):932-948 (1991)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,310

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

Wissensaussage und die unmöglichkeit ihrer objektivierung.Ota Weingerger - 1975 - Grazer Philosophische Studien 1 (1):101-120.
Questions.Peter Hanks - 2006 - In Donald M. Borchert (ed.), Encyclopedia of Philosophy, Vol. 10. Detroit et al.: Thomson Gale. pp. 32-37.
Self-Knowledge and Moore's Paradox.David M. Rosenthal - 1995 - Philosophical Studies 77 (2-3):195 - 209.
Time, Tense, Truth.Katalin Farkas - 2008 - Synthese 160 (2):269 - 284.
E-Type Anaphora as NP-Deletion.Paul Elbourne - 2001 - Natural Language Semantics 9 (3):241-288.
Proof Theory For Finitely Valid Sentences.J. Degen - 2001 - Reports on Mathematical Logic:47-59.
Second-Order Type Isomorphisms Through Game Semantics.Joachim de Lataillade - 2008 - Annals of Pure and Applied Logic 151 (2-3):115-150.
Bait and Switch Philosophy.Chris Daly - 2015 - Analysis 75 (3):372-379.
Analytic/Synthetic and Semantic Theory.Leonard Linsky - 1970 - Synthese 21 (3-4):439 - 448.

Analytics

Added to PP
2016-06-30

Downloads
10 (#881,601)

6 months
1 (#415,900)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Strength of Mac Lane Set Theory.A. R. D. Mathias - 2001 - Annals of Pure and Applied Logic 110 (1-3):107-234.
Estruturas, Modelos e os Fundamentos da Abordagem Semântica.Jonas R. Becker Arenhart & Fernando T. F. Moraes - 2010 - Principia: An International Journal of Epistemology 14 (1):15-30.

Add more citations

References found in this work

Principia Mathematica.A. N. Whitehead & B. Russell - 1927 - Annalen der Philosophie Und Philosophischen Kritik 2 (1):73-75.
Théorie des Ensembles.N. Bourbaki - 1946 - Journal of Symbolic Logic 11 (3):91-91.

Add more references