Is there an antinomy in the theory of types?

International Logic Review: Rassegna Internazionale di Logica 5:126 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Links

PhilArchive



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

External links

  • This entry has no external links. Add one.
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

Review: A. Dumitriu, The Antinomy of the Theory of Types. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (1):194-194.
The Antinomy of the Theory of Types and Solution of Logico-Mathematical Paradoxes'.A. Dumitriu - 1974 - International Logic Review 5 (1):83-102.
Is There an Antinomy in the Theory of Types?'.M. Feher - 1972 - International Logic Review 3 (1):126-8.
The antinomy of designation.Gordon Matheson - 1959 - Philosophy of Science 26 (3):260-269.
Personal freedom within the third antinomy.Charles David Mattern - 1941 - Philadelphia,: Philadelphia.
Logical Proof of Antinomy: A Trinitarian Interpretation of the Law of Identity.Michael C. Rhodes - 2005 - Theandros 2 (3).
The antinomy of the variable.Aleksandar Kellenberg - 2010 - Dialectica 64 (2):225-236.
On Putnam and his models.Timothy Bays - 2001 - Journal of Philosophy 98 (7):331-350.
An interpretation of martin‐löf's constructive theory of types in elementary topos theory.Anne Preller - 1992 - Mathematical Logic Quarterly 38 (1):213-240.
Der gesuchte Widerstreit: die Antinomie in Kants Kritik der praktischen Vernunft.Bernhard Milz - 2002 - New York: W. de Gruyter.
Goldmann, Kant, and the Antinomies of Democratic Politics.Dick Howard - forthcoming - Philosophical Forum.
Finite forcing, existential types and complete types.Joram Hirschfeld - 1980 - Journal of Symbolic Logic 45 (1):93-102.
Children as Projects and Persons: A Liberal Antinomy.Robert S. Taylor - 2009 - Social Theory and Practice 35 (4):555-576.
Type Theory and Homotopy.Steve Awodey - unknown

Analytics

Added to PP
2014-02-15

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references