| 书目名称 | Functions and Generality of Logic |
| 副标题 | Reflections on Dedek |
| 编辑 | Hourya Benis-Sinaceur,Marco Panza,Gabriel Sandu |
| 视频video | |
| 概述 | Contributes to a better understanding of Frege‘s logicism.Clearly describes the differences between Frege’s and Dedekind’s Logicism.Identifies an 18th century foundational tradition as motivation for |
| 丛书名称 | Logic, Epistemology, and the Unity of Science |
| 图书封面 |  |
| 描述 | .This 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 |
| 出版日期 | Book 2015 |
| 关键词 | Conceptions of Functions in Mathematics and Logic; Dedekind logicist; Functions and Expressions; Genera |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-319-17109-8 |
| isbn_softcover | 978-3-319-36782-8 |
| isbn_ebook | 978-3-319-17109-8Series ISSN 2214-9775 Series E-ISSN 2214-9783 |
| issn_series | 2214-9775 |
| copyright | Springer International Publishing Switzerland 2015 |
发表于 2025-3-21 17:24:00
