The Fact Semantics for Ramified Type Theory and the Axiom of Reducibility

Notre Dame Journal of Formal Logic 48 (2):237-251 (2007)
  Copy   BIBTEX

Abstract

This paper uses an atomistic ontology of universals, individuals, and facts to provide a semantics for ramified type theory. It is shown that with some natural constraints on the sort of universals and facts admitted into a model, the axiom of reducibility is made valid

Categories

Keywords

Reprint years

DOI

10.1305/ndjfl/1179323266

Links

PhilArchive



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

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

A modern elaboration of the ramified theory of types.Twan Laan & Rob Nederpelt - 1996 - Studia Logica 57 (2-3):243 - 278.
Liar, reducibility and language.Pierdaniele Giaretta - 1998 - Synthese 117 (3):355-374.
Russell's substitutional theory of classes and relations.Gregory Landini - 1987 - History and Philosophy of Logic 8 (2):171-200.
Amending Frege’s Grundgesetze der Arithmetik.Fernando Ferreira - 2005 - Synthese 147 (1):3-19.
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.
Cut-elimination for simple type theory with an axiom of choice.G. Mints - 1999 - Journal of Symbolic Logic 64 (2):479-485.
Leon Chwistek, The Principles of the Pure Type Theory , translated by Adam Trybus with an Introductory Note by Bernard Linsky.Adam Trybus - 2012 - History and Philosophy of Logic 33 (4):329-352.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
On the logic of reducibility: Axioms and examples. [REVIEW]Karl-Georg Niebergall - 2000 - Erkenntnis 53 (1-2):27-61.
First-order, Curry-typed logic for natural language semantics.Shalom Lappin - unknown
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 the axiom of reducibility.W. V. Quine - 1936 - Mind 45 (180):498-500.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
The existential theory of the poset of R.e. Degrees with a predicate for single jump reducibility.Steffen Lempp & Manuel Lerman - 1992 - Journal of Symbolic Logic 57 (3):1120-1130.

Analytics

Added to PP
2010-08-24

Downloads
51 (#304,551)

6 months
17 (#142,297)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Edwin Mares
Victoria University of Wellington

Citations of this work

Bertrand Russell.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.
The Axiom of Reducibility.Russell Wahl - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1).
Preface: Principia Mathematica at 100.Nicholas Griffin & Bernard Linsky - 2011 - Russell: The Journal of Bertrand Russell Studies 31 (1).

Add more citations

References found in this work

Predicative Logics.Allen Hazen - 1989 - Journal of Symbolic Logic 54 (3):1092-1094.
Russell's 1925 logic.A. P. Hazen & J. M. Davoren - 2000 - Australasian Journal of Philosophy 78 (4):534 – 556.

Add more references