Bulletin of Symbolic Logic 16 (1):1-36 (2010)

Peter Koellner
Harvard University
In this paper we investigate strong logics of first and second order that have certain absoluteness properties. We begin with an investigation of first order logic and the strong logics ω-logic and β-logic, isolating two facets of absoluteness, namely, generic invariance and faithfulness. It turns out that absoluteness is relative in the sense that stronger background assumptions secure greater degrees of absoluteness. Our aim is to investigate the hierarchies of strong logics of first and second order that are generically invariant and faithful against the backdrop of the strongest large cardinal hypotheses. We show that there is a close correspondence between the two hierarchies and we characterize the strongest logic in each hierarchy. On the first-order side, this leads to a new presentation of Woodin's Ω-logic. On the second-order side, we compare the strongest logic with full second-order logic and argue that the comparison lends support to Quine's claim that second-order logic is really set theory in sheep's clothing.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2178/bsl/1264433796
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,259
Through your library

References found in this work BETA

Ontological Relativity.W. V. Quine - 1968 - Journal of Philosophy 65 (7):185-212.
Nominalist Platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
Completeness in the Theory of Types.Leon Henkin - 1950 - Journal of Symbolic Logic 15 (2):81-91.
Philosophy of Logic.Willard V. O. Quine - 1986 - Philosophy 17 (3):392-393.
Plural Quantification Exposed.Øystein Linnebo - 2003 - Noûs 37 (1):71–92.

View all 16 references / Add more references

Citations of this work BETA

Infinity and a Critical View of Logic.Charles Parsons - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (1):1-19.
Structural-Abstraction Principles.Graham Leach-Krouse - 2015 - Philosophia Mathematica:nkv033.

View all 12 citations / Add more citations

Similar books and articles

Toward Model-Theoretic Modal Logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.
A Defense of Second-Order Logic.Otávio Bueno - 2010 - Axiomathes 20 (2-3):365-383.
Pure Second-Order Logic with Second-Order Identity.Alexander Paseau - 2010 - Notre Dame Journal of Formal Logic 51 (3):351-360.
Deciding Regular Grammar Logics with Converse Through First-Order Logic.Stéphane Demri & Hans De Nivelle - 2005 - Journal of Logic, Language and Information 14 (3):289-329.
First Order Common Knowledge Logics.Frank Wolter - 2000 - Studia Logica 65 (2):249-271.
Externalism, Internalism, and Logical Truth.Corine Besson - 2009 - Review of Symbolic Logic 2 (1):1-29.
Negationless Intuitionism.Enrico Martino - 1998 - Journal of Philosophical Logic 27 (2):165-177.


Added to PP index

Total views
70 ( #165,832 of 2,518,720 )

Recent downloads (6 months)
1 ( #408,070 of 2,518,720 )

How can I increase my downloads?


My notes