Wittgenstein on equinumerosity and surveyability

Mathieu Marion, Mitsuhiro Okada

Research output: Chapter in Book/Report/Conference proceedingChapter

Abstract

This paper aims to connect two of Wittgenstein's arguments against Logicism. The 'modality argument' is directed at the Frege/Russell-definition of numbers in terms of one-one correlations. According to this argument, it is only when the Fs and Gs are few in number that one can know that they can be one-one correlated without knowing their numbers. Wittgenstein's 'surveyability argument' purports to show that only a limited portion of arithmetic can actually be proven within Principia Mathematica. For proof-constructions within this system quickly become unsurveyable and thereby loose their cogency. As we shall argue, the role of visualisation in proofs plays a fundamental role in both arguments.

Original languageEnglish
Title of host publicationThemes from Wittgenstein and Quine
PublisherBrill
Pages61-78
Number of pages18
Volume89
ISBN (Print)9789401211949, 9789042039124
DOIs
Publication statusPublished - 2014 Dec 19

Fingerprint

visualization
Ludwig Wittgenstein

ASJC Scopus subject areas

  • Arts and Humanities(all)
  • Social Sciences(all)

Cite this

Marion, M., & Okada, M. (2014). Wittgenstein on equinumerosity and surveyability. In Themes from Wittgenstein and Quine (Vol. 89, pp. 61-78). Brill. https://doi.org/10.1163/9789401211949.006

Wittgenstein on equinumerosity and surveyability. / Marion, Mathieu; Okada, Mitsuhiro.

Themes from Wittgenstein and Quine. Vol. 89 Brill, 2014. p. 61-78.

Research output: Chapter in Book/Report/Conference proceedingChapter

Marion, M & Okada, M 2014, Wittgenstein on equinumerosity and surveyability. in Themes from Wittgenstein and Quine. vol. 89, Brill, pp. 61-78. https://doi.org/10.1163/9789401211949.006
Marion M, Okada M. Wittgenstein on equinumerosity and surveyability. In Themes from Wittgenstein and Quine. Vol. 89. Brill. 2014. p. 61-78 https://doi.org/10.1163/9789401211949.006
Marion, Mathieu ; Okada, Mitsuhiro. / Wittgenstein on equinumerosity and surveyability. Themes from Wittgenstein and Quine. Vol. 89 Brill, 2014. pp. 61-78
@inbook{279332aa312645e7adaaafab060c769b,
title = "Wittgenstein on equinumerosity and surveyability",
abstract = "This paper aims to connect two of Wittgenstein's arguments against Logicism. The 'modality argument' is directed at the Frege/Russell-definition of numbers in terms of one-one correlations. According to this argument, it is only when the Fs and Gs are few in number that one can know that they can be one-one correlated without knowing their numbers. Wittgenstein's 'surveyability argument' purports to show that only a limited portion of arithmetic can actually be proven within Principia Mathematica. For proof-constructions within this system quickly become unsurveyable and thereby loose their cogency. As we shall argue, the role of visualisation in proofs plays a fundamental role in both arguments.",
author = "Mathieu Marion and Mitsuhiro Okada",
year = "2014",
month = "12",
day = "19",
doi = "10.1163/9789401211949.006",
language = "English",
isbn = "9789401211949",
volume = "89",
pages = "61--78",
booktitle = "Themes from Wittgenstein and Quine",
publisher = "Brill",

}

TY - CHAP

T1 - Wittgenstein on equinumerosity and surveyability

AU - Marion, Mathieu

AU - Okada, Mitsuhiro

PY - 2014/12/19

Y1 - 2014/12/19

N2 - This paper aims to connect two of Wittgenstein's arguments against Logicism. The 'modality argument' is directed at the Frege/Russell-definition of numbers in terms of one-one correlations. According to this argument, it is only when the Fs and Gs are few in number that one can know that they can be one-one correlated without knowing their numbers. Wittgenstein's 'surveyability argument' purports to show that only a limited portion of arithmetic can actually be proven within Principia Mathematica. For proof-constructions within this system quickly become unsurveyable and thereby loose their cogency. As we shall argue, the role of visualisation in proofs plays a fundamental role in both arguments.

AB - This paper aims to connect two of Wittgenstein's arguments against Logicism. The 'modality argument' is directed at the Frege/Russell-definition of numbers in terms of one-one correlations. According to this argument, it is only when the Fs and Gs are few in number that one can know that they can be one-one correlated without knowing their numbers. Wittgenstein's 'surveyability argument' purports to show that only a limited portion of arithmetic can actually be proven within Principia Mathematica. For proof-constructions within this system quickly become unsurveyable and thereby loose their cogency. As we shall argue, the role of visualisation in proofs plays a fundamental role in both arguments.

UR - http://www.scopus.com/inward/record.url?scp=84937432479&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84937432479&partnerID=8YFLogxK

U2 - 10.1163/9789401211949.006

DO - 10.1163/9789401211949.006

M3 - Chapter

AN - SCOPUS:84937432479

SN - 9789401211949

SN - 9789042039124

VL - 89

SP - 61

EP - 78

BT - Themes from Wittgenstein and Quine

PB - Brill

ER -