Truth in Mathematics: The Question of Pluralism

作者: Peter Koellner

DOI: 10.1057/9780230245198_5

关键词:

摘要: The discovery of non-Euclidean geometries (in the nineteenth century) undermined claim that Euclidean geometry is one true and instead led to a plurality no which could be said (without qualification) “truer” than others. In similar spirit many have claimed independence results for arithmetic set theory twentieth has there or we are left with systems can this chapter I will investigate such pluralist conceptions theory. begin an examination what perhaps most sophisticated developed version view date—namely, Carnap in Logical Syntax Language—and argue approach problematic pluralism involved too radical. remainder question it would take establish more reasonable pluralism. This involve mapping out some mathematical scenarios (using recent proved jointly Hugh Woodin) arguably maintain been secured.

参考文章(24)
Peter Koellner, W. Hugh Woodin, Large Cardinals from Determinacy Springer Netherlands. pp. 1951- 2119 ,(2010) , 10.1007/978-1-4020-5764-9_24
Thomas Ricketts, Warren Goldfarb, Carnap and the Philosophy of Mathematics ,(1996)
Michael Friedman, Reconsidering Logical Positivism ,(1999)
Charles Parsons, Mathematical Thought and its Objects ,(2009)
S. C. Kleene, Review: Rudolf Carnap, The Logical Syntax of Language Journal of Symbolic Logic. ,vol. 4, pp. 82- 87 ,(1939) , 10.2307/2269065
Robert DiSalle, Understanding Space-Time Cambridge University Press. ,(2006) , 10.1017/CBO9780511487361
Logic Colloquium 2005 (Lecture Notes in Logic) Cambridge University Press. pp. 273- 274 ,(2007) , 10.1017/CBO9780511546464.017
Per Lindström, Aspects of Incompleteness ,(2017)
Curtis A. Wilson, From Kepler's laws, so-called, to universal gravitation: empirical factors. Archive for History of Exact Sciences. ,vol. 6, pp. 89- 170 ,(1970) , 10.1007/BF00328337