000727900 000__ 03899cam\a2200493Ii\4500
000727900 001__ 727900
000727900 005__ 20230306140942.0
000727900 006__ m\\\\\o\\d\\\\\\\\
000727900 007__ cr\cn\nnnunnun
000727900 008__ 150626s2015\\\\sz\\\\\\ob\\\\000\0\eng\d
000727900 020__ $$a9783319171098$$qelectronic book
000727900 020__ $$a3319171097$$qelectronic book
000727900 020__ $$z9783319171081
000727900 035__ $$aSP(OCoLC)ocn911911992
000727900 035__ $$aSP(OCoLC)911911992
000727900 040__ $$aN$T$$beng$$erda$$epn$$cN$T$$dN$T$$dGW5XE$$dIDEBK$$dYDXCP$$dEBLCP$$dUPM$$dAZU
000727900 049__ $$aISEA
000727900 050_4 $$aQA10
000727900 08204 $$a511.3$$223
000727900 1001_ $$aBenis-Sinaceur, Hourya,$$eauthor.
000727900 24510 $$aFunctions and generality of logic$$h[electronic resource] :$$breflections on Dedekind's and Frege's logicisms /$$cHourya Benis-Sinaceur, Marco Panza, Gabriel Sandu.
000727900 264_1 $$aCham :$$bSpringer,$$c2015.
000727900 300__ $$a1 online resource.
000727900 336__ $$atext$$btxt$$2rdacontent
000727900 337__ $$acomputer$$bc$$2rdamedia
000727900 338__ $$aonline resource$$bcr$$2rdacarrier
000727900 4901_ $$aLogic, epistemology and the unity of science,$$x2214-9783 ;$$vvolume 37
000727900 504__ $$aIncludes bibliographical references.
000727900 5050_ $$aChapter 1: Is Dedekind a logicist?; Hourya Benis Sinaceur -- Chapter 2: Functions and Expressions; Marco Panza -- Chapter 3: Frege, Russell, Ramsey on arbitrary functions; Gabriel Sandu.
000727900 506__ $$aAccess limited to authorized users.
000727900 520__ $$aThis book examines three connected aspects of Frege's logicism: the differences between Dedekind's and Frege's interpretation of the term 'logic' and related terms and reflects on Frege's notion of function, comparing its understanding and the role it played in Frege's and Lagrange's foundational programs. It concludes with an examination of the notion of arbitrary function, taking into account Frege's, Ramsey's and Russell's view on the subject. Composed of three chapters, this book sheds light on important aspects of Dedekind's and Frege's logicisms. The first chapter explains how, although he shares Frege's aim at substituting logical standards of rigor to intuitive imports from spatio-temporal experience into the deductive presentation of arithmetic, Dedekind had a different goal and used or invented different tools. The chapter highlights basic dissimilarities between Dedekind's and Frege's actual ways of doing and thinking. The second chapter reflects on Frege's notion of a function, in comparison with the notions endorsed by Lagrange and the followers of the program of arithmetization of analysis. It remarks that the foundational programs pursued by Lagrange and Frege are crucially different and based on a different idea of what the foundations of mathematics should be like. However, despite this contrast, the notion of function plays similar roles in the two programs, and this chapter emphasizes the similarities. The third chapter traces the development of thinking about Frege's program in the foundations of mathematics, and includes comparisons of Frege's, Russell's and Ramsey's views. The chapter discusses earlier papers written by Hintikka, Sandu, Demopoulos and Trueman. Although the chapter's main focus is on the notion of arbitrary correlation, it starts out by discussing some aspects of the connection between this notion and Dedekind Theorem.
000727900 588__ $$aOnline resource; title from PDF title page (viewed June 29, 2015).
000727900 60010 $$aCantor, Georg,$$d1845-1918.
000727900 60010 $$aFrege, Gottlob,$$d1848-1925.
000727900 650_0 $$aAlgebraic logic.
000727900 650_0 $$aAlgebraic functions.
000727900 650_0 $$aLogic, Symbolic and mathematical.
000727900 7001_ $$aPanza, Marco,$$eauthor.
000727900 7001_ $$aSandu, Gabriel,$$eauthor.
000727900 830_0 $$aLogic. epistemology and the unity of science ;$$vv. 37.
000727900 852__ $$bebk
000727900 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-17109-8$$zOnline Access$$91397441.1
000727900 909CO $$ooai:library.usi.edu:727900$$pGLOBAL_SET
000727900 980__ $$aEBOOK
000727900 980__ $$aBIB
000727900 982__ $$aEbook
000727900 983__ $$aOnline
000727900 994__ $$a92$$bISE