Classical logic II: Higher-order logic
In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell. pp. 33--54 (2001)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Foundations Without Foundationalism: A Case for Second-Order Logic.Stewart Shapiro - 1991 - Oxford, England: Oxford University Press.
A proof of nominalism: An exercise in successful reduction in logic.Jaakko Hintikka - 2009 - In A. Hieke & H. Leitgeb (eds.), Reduction, Abstraction, Analysis. Ontos.
Higher-Order Logic or Set Theory: A False Dilemma.S. Shapiro - 2012 - Philosophia Mathematica 20 (3):305-323.
Do not claim too much: Second-order logic and first-order logic.Stewart Shapiro - 1999 - Philosophia Mathematica 7 (1):42-64.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Analytics
Added to PP
2009-04-06
Downloads
2 (#1,402,744)
6 months
1 (#452,962)
2009-04-06
Downloads
2 (#1,402,744)
6 months
1 (#452,962)
Historical graph of downloads
Author's Profile
Citations of this work
Shifting Priorities: Simple Representations for Twenty-seven Iterated Theory Change Operators.Hans Rott - 2006 - In David Makinson, Jacek Malinowski & Heinrich Wansing (eds.), Towards Mathematical Philosophy. Dordrecht: Springer. pp. 269–296.
Theories of Abstract Objects without Ad Hoc Restriction.Wen-Fang Wang - 2011 - Erkenntnis 74 (1):1-15.
2003 Annual Meeting of the Association for Symbolic Logic.Andreas Blass - 2004 - Bulletin of Symbolic Logic 10 (1):120-145.
