Review of Montague, "Set Theory and Higher-Order Logic"

Journal of Symbolic Logic 40 (3):459 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272187

Links

PhilArchive



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

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

Review: Richard Montague, J. N. Crossley, M. A. E. Dummett, Set Theory and Higher-Order Logic. [REVIEW]Richard Mansfield - 1975 - Journal of Symbolic Logic 40 (3):459-459.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
The HOROR Theory of Phenomenal Consciousness.Richard Brown - 2015 - Philosophical Studies 172 (7):1783-1794.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
The same-order monitoring theory of consciousness.Uriah Kriegel - 2006 - In Uriah Kriegel & Kenneth Williford (eds.), Self-Representational Approaches to Consciousness. MIT Press. pp. 143--170.
A Consistent Higher‐Order Theory Without a (Higher‐Order) Model.Thomas Forster - 1989 - Mathematical Logic Quarterly 35 (5):385-386.
The inconsistency of higher order extensions of Martin-löf's type theory.Bart Jacobs - 1989 - Journal of Philosophical Logic 18 (4):399 - 422.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Higher-order automated theorem proving.Michael Kohlhase - unknown
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Relativized Grothendieck topoi.Nathanael Leedom Ackerman - 2010 - Annals of Pure and Applied Logic 161 (10):1299-1312.
Varieties of higher-order theory.David Rosenthal - 2004 - In Rocco J. Gennaro (ed.), Higher-Order Theories of Consciousness: An Anthology. John Benjamins.

Analytics

Added to PP
2015-02-05

Downloads
31 (#504,675)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
Bad company generalized.Gabriel Uzquiano - 2009 - Synthese 170 (3):331 - 347.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references