What can a categoricity theorem tell us?

Toby Meadows

Research output: Contribution to journalArticle

4 Citations (Scopus)

Abstract

The purpose of this paper is to investigate categoricity arguments conducted in second order logic and the philosophical conclusions that can be drawn from them. We provide a way of seeing this result, so to speak, through a first order lens divested of its second order garb. Our purpose is to draw into sharper relief exactly what is involved in this kind of categoricity proof and to highlight the fact that we should be reserved before drawing powerful philosophical conclusions from it.
Original languageEnglish
Pages (from-to)524-544
Number of pages21
JournalReview of Symbolic Logic
Volume6
Issue number3
Early online date1 Jul 2013
DOIs
Publication statusPublished - Sep 2013

Fingerprint

Second-order Logic
Lens
First-order
Theorem
Drawing
Relief
Garb

Cite this

What can a categoricity theorem tell us? / Meadows, Toby.

In: Review of Symbolic Logic, Vol. 6, No. 3, 09.2013, p. 524-544.

Research output: Contribution to journalArticle

Meadows, Toby. / What can a categoricity theorem tell us?. In: Review of Symbolic Logic. 2013 ; Vol. 6, No. 3. pp. 524-544.
@article{eae1729539f44fea94f61c5ae7a6d280,
title = "What can a categoricity theorem tell us?",
abstract = "The purpose of this paper is to investigate categoricity arguments conducted in second order logic and the philosophical conclusions that can be drawn from them. We provide a way of seeing this result, so to speak, through a first order lens divested of its second order garb. Our purpose is to draw into sharper relief exactly what is involved in this kind of categoricity proof and to highlight the fact that we should be reserved before drawing powerful philosophical conclusions from it.",
author = "Toby Meadows",
year = "2013",
month = "9",
doi = "10.1017/S1755020313000178",
language = "English",
volume = "6",
pages = "524--544",
journal = "Review of Symbolic Logic",
issn = "1755-0203",
publisher = "Cambridge University Press",
number = "3",

}

TY - JOUR

T1 - What can a categoricity theorem tell us?

AU - Meadows, Toby

PY - 2013/9

Y1 - 2013/9

N2 - The purpose of this paper is to investigate categoricity arguments conducted in second order logic and the philosophical conclusions that can be drawn from them. We provide a way of seeing this result, so to speak, through a first order lens divested of its second order garb. Our purpose is to draw into sharper relief exactly what is involved in this kind of categoricity proof and to highlight the fact that we should be reserved before drawing powerful philosophical conclusions from it.

AB - The purpose of this paper is to investigate categoricity arguments conducted in second order logic and the philosophical conclusions that can be drawn from them. We provide a way of seeing this result, so to speak, through a first order lens divested of its second order garb. Our purpose is to draw into sharper relief exactly what is involved in this kind of categoricity proof and to highlight the fact that we should be reserved before drawing powerful philosophical conclusions from it.

U2 - 10.1017/S1755020313000178

DO - 10.1017/S1755020313000178

M3 - Article

VL - 6

SP - 524

EP - 544

JO - Review of Symbolic Logic

JF - Review of Symbolic Logic

SN - 1755-0203

IS - 3

ER -