On second-order logic

Journal of Philosophy 72 (16):509-527 (1975)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Other Versions

reprint Boolos, George (1998) "On second-order logic". In Jeffrey, Richard, Logic, Logic, and Logic, pp. 37-53: Harvard University Press (1998)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,937

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

On Second Order Logic.Jouko Väänänen - 2015 - Philosophical Inquiry 39 (1):59-62.
Second-order Logic.John Corcoran - 2001 - In C. Anthony Anderson & Michael Zelëny (eds.), Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 61–76.
Second-Order Logic, Foundations, and Rules.Stewart Shapiro - 1990 - Journal of Philosophy 87 (5):234.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
Boolean-Valued Second-Order Logic.Daisuke Ikegami & Jouko Väänänen - 2015 - Notre Dame Journal of Formal Logic 56 (1):167-190.
Second-order logic is logic.Michèle Indira Friend - 1997 - Dissertation, St. Andrews

Analytics

Added to PP
2009-01-28

Downloads
519 (#53,988)

6 months
21 (#140,658)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
Abstract objects.Gideon Rosen - 2008 - Stanford Encyclopedia of Philosophy.
The Logic and Meaning of Plurals. Part I.Byeong-Uk Yi - 2005 - Journal of Philosophical Logic 34 (5-6):459-506.

View all 89 citations / Add more citations

References found in this work

No references found.

Add more references