000 04224nam a22004935i 4500
001 978-1-4020-4265-2
003 DE-He213
005 20161121230724.0
007 cr nn 008mamaa
008 100301s2007 ne | s |||| 0|eng d
020 _a9781402042652
_9978-1-4020-4265-2
024 7 _a10.1007/978-1-4020-4265-2
_2doi
050 4 _aQA1-939
072 7 _aPB
_2bicssc
072 7 _aMAT000000
_2bisacsh
082 0 4 _a510
_223
245 1 4 _aThe Arché Papers on the Mathematics of Abstraction
_h[electronic resource] /
_cedited by Roy T. Cook.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2007.
300 _aXXXVIII, 454 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aThe Western Ontario Series in Philosophy of Science,
_x1566-659X ;
_v71
505 0 _aThe Philosophy and Mathematics of Hume’s Principle -- Is Hume’s Principle Analytic? -- Is Hume’s Principle Analytic? -- Frege, Neo-Logicism and Applied Mathematics -- Finitude and Hume’s Principle -- On Finite Hume -- Could Nothing Matter? -- On the Philosophical Interest of Frege Arithmetic -- The Logic of Abstraction -- “Neo-Logicist” Logic is not Epistemically Innocent -- Aristotelian Logic, Axioms, and Abstraction -- Frege’s Unofficial Arithmetic -- Abstraction and the Continuum -- Reals by Abstraction -- The State of the Economy: Neo-Logicism and Inflation -- Frege Meets Dedekind: A Neo-Logicist Treatment of Real Analysis -- Neo-Fregean Foundations for Real Analysis: Some Reflections on Frege’s Constraint -- Basic Law V and Set Theory -- New V, ZF, and Abstraction -- Well- and Non-Well-Founded Fregean Extensions -- Abstraction & Set Theory -- Prolegomenon to Any Future Neo-Logicist Set Theory: Abstraction and Indefinite Extensibility -- Neo-Fregeanism: An Embarrassment of Riches -- Iteration one More Time.
520 _aThis volume collects together a number of important papers concerning both the method of abstraction generally and the use of particular abstraction principles to reconstruct central areas of mathematics along logicist lines. Gottlob Frege's original logicist project was, in effect, refuted by Russell's paradox. Crispin Wright has recently revived Frege’s enterprise, however, providing a philosophical and technical framework within which a reconstruction of arithmetic is possible. While the Neo-Fregean project has recieved extensive attention and discussion, the present volume is unique in presenting a thorough going examination of the mathematical aspects of the neo-logicist project (and the particular philosophical issues arising from these technical concerns). Attention is focused on extending the Neo-Fregean treatment to all of mathematics, with the reconstruction of real analysis from various cut - or cauchy-sequence-related abstraction principles and the reconstruction of set theory from various restricted versions of Basic Law V as case studies. As a result, the volume provides a test of the scope and limits of the neo-logicist project, detailing what has been accomplished and outlining the desiderata still outstanding. All papers in the anthology have their origins in presentations at Arché events, thus providing a volume that is both a survey of the cutting edge in research on the technical aspects of abstraction and a catalogue of the work in this area that has been supported in various ways by Arché.
650 0 _aMathematics.
650 0 _aLogic.
650 0 _aPhilosophy and science.
650 0 _aMathematical logic.
650 1 4 _aMathematics.
650 2 4 _aMathematics, general.
650 2 4 _aPhilosophy of Science.
650 2 4 _aLogic.
650 2 4 _aMathematical Logic and Foundations.
700 1 _aCook, Roy T.
_eeditor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9781402042645
830 0 _aThe Western Ontario Series in Philosophy of Science,
_x1566-659X ;
_v71
856 4 0 _uhttp://dx.doi.org/10.1007/978-1-4020-4265-2
912 _aZDB-2-SHU
950 _aHumanities, Social Sciences and Law (Springer-11648)
999 _c503007
_d503007