On Second Order Logic

Philosophical Inquiry 39 (1):59-62 (2015)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

ISBN(s)

1105235X

DOI

10.5840/philinquiry20153915

Other Versions

No versions found

Links

PhilArchive

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

On second-order logic.George S. Boolos - 1975 - Journal of Philosophy 72 (16):509-527.
Second-Order Logic.Jeffrey Ketland - unknown
Second-order Logic.John Corcoran - 2001 - In C. Anthony Anderson & Michael Zelëny, Logic, meaning, and computation: essays in memory of Alonzo Church. Boston: Kluwer Academic Publishers. pp. 61–76.
Plurals and Second-Order Logic.Salvatore Florio & Øystein Linnebo - 2021 - In Salvatore Florio & Øystein Linnebo, The Many and the One: A Philosophical Study of Plural Logic. Oxford, England: Oxford University Press. pp. 104-120.
Logicism and Second-Order Logic.George S. Boolos - 2020 - In Alexander Miller, Logic, Language, and Mathematics: Themes From the Philosophy of Crispin Wright. Oxford, England and New York, NY, USA: Oxford University Press. pp. 96-115.
Forcing for Second-Order Logic.Peter Fritz & Sam Roberts - forthcoming - Journal of Philosophical Logic.
Second-order Logic Revisited.Otavio Bueno - unknown
Categoricity and Consistency in Second-Order Logic.Jouko Väänänen - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):20-27.
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.

Analytics

Added to PP
2015-09-04

Downloads
50 (#1,179,004)

6 months
8 (#1,341,310)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Photo of Jouko A Vaananen
Jouko A Vaananen
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

Completeness in the theory of types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Informal Rigour and Completeness Proofs.Georg Kreisel - 1967 - In Imre Lakatos, Problems in the philosophy of mathematics. Amsterdam,: North-Holland Pub. Co.. pp. 138--157.
The independence of the continuum hypothesis.Paul Cohen - 1963 - Proc. Nat. Acad. Sci. USA 50 (6):1143-1148.
Second-order logic and foundations of mathematics.Jouko Väänänen - 2001 - Bulletin of Symbolic Logic 7 (4):504-520.
On second-order characterizability.T. Hyttinen, K. Kangas & J. Vaananen - 2013 - Logic Journal of the IGPL 21 (5):767-787.

Add more references