The theory of logical types

London,: Routledge and Kegan Paul (1971)
  Copy   BIBTEX

Abstract

This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its ...

Categories

Keywords

Reprint years

2011

Call number

BC199.T9.C66 1971

ISBN(s)

0710070268

DOI

10.2307/2218244

Links

PhilArchive



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

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

Book Review:The Theory of Logical Types Irving M. Copi. [REVIEW]John Corcoran & John Richards - 1973 - Philosophy of Science 40 (2):319-.
Type Theory and Homotopy.Steve Awodey - unknown
A counter-example to theatrical type theories.John Dilworth - 2003 - Philosophia 31 (1-2):165-170.
Propositions as [Types].Steve Awodey & Andrej Bauer - unknown
From Domains Towards a Logic of Universals: A Small Calculus for the Continuous Determination of Worlds.Dr Claus Brillowski - unknown
Types in logic and mathematics before 1940.Fairouz Kamareddine, Twan Laan & Rob Nederpelt - 2002 - Bulletin of Symbolic Logic 8 (2):185-245.
Intensional first-order logic with types.Shalom Lappin - unknown
Syntactic calculus with dependent types.Aarne Ranta - 1998 - Journal of Logic, Language and Information 7 (4):413-431.
Type-Logical Semantics.Reinhard Muskens - 2011 - Routledge Encyclopedia of Philosophy Online.

Analytics

Added to PP
2009-01-28

Downloads
117 (#154,481)

6 months
11 (#248,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
Logicism revisited.Alan Musgrave - 1977 - British Journal for the Philosophy of Science 28 (2):99-127.
Truth, Predication and a Family of Contingent Paradoxes.Francesco Orilia & Gregory Landini - 2019 - Journal of Philosophical Logic 48 (1):113-136.
Principia mathematica.A. D. Irvine - 2008 - Stanford Encyclopedia of Philosophy.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references