Classical logic II: Higher-order logic
In Lou Goble (ed.), The Blackwell Guide to Philosophical Logic. Blackwell (2001)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,653 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesChristoph Benzmüller, Chad E. Brown & Michael Kohlhase (2004). Higher-Order Semantics and Extensionality. Journal of Symbolic Logic 69 (4):1027 - 1088.
Stewart Shapiro (1999). Do Not Claim Too Much: Second-Order Logic and First-Order Logic. Philosophia Mathematica 7 (1):42-64.
S. Shapiro (2012). Higher-Order Logic or Set Theory: A False Dilemma. Philosophia Mathematica 20 (3):305-323.
Stewart Shapiro (1991). Foundations Without Foundationalism: A Case for Second-Order Logic. Oxford University Press.
S. Awodey & C. Butz (2000). Topological Completeness for Higher-Order Logic. Journal of Symbolic Logic 65 (3):1168-1182.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2009-04-06Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
