000 04038nam a22003735i 4500
001 282329
003 MX-SnUAN
005 20160429154144.0
007 cr nn 008mamaa
008 150903s2007 ne | o |||| 0|eng d
020 _a9781402042652
_99781402042652
024 7 _a10.1007/9781402042652
_2doi
035 _avtls000334694
039 9 _a201509030805
_bVLOAD
_c201404300255
_dVLOAD
_y201402041155
_zstaff
040 _aMX-SnUAN
_bspa
_cMX-SnUAN
_erda
050 4 _aB67
100 1 _aCook, Roy T.
_eeditor.
_9308891
245 1 4 _aThe Arché Papers on the Mathematics of Abstraction /
_cedited by Roy T. Cook.
264 1 _aDordrecht :
_bSpringer Netherlands,
_c2007.
300 _brecurso en línea.
336 _atexto
_btxt
_2rdacontent
337 _acomputadora
_bc
_2rdamedia
338 _arecurso en línea
_bcr
_2rdacarrier
347 _aarchivo de texto
_bPDF
_2rda
490 0 _aThe Western Ontario Series in Philosophy of Science,
_x1566-659X ;
_v71
500 _aSpringer eBooks
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é.
590 _aPara consulta fuera de la UANL se requiere clave de acceso remoto.
710 2 _aSpringerLink (Servicio en línea)
_9299170
776 0 8 _iEdición impresa:
_z9781402042645
856 4 0 _uhttp://remoto.dgb.uanl.mx/login?url=http://dx.doi.org/10.1007/978-1-4020-4265-2
_zConectar a Springer E-Books (Para consulta externa se requiere previa autentificación en Biblioteca Digital UANL)
942 _c14
999 _c282329
_d282329