Paolo Mancosu
Paolo Mancosu provides an original investigation of historical and systematic aspects of the notions of abstraction and infinity and their interaction. A familiar way of introducing concepts in mathematics rests on so-called definitions by abstraction. An example of this is Hume's Principle, which introduces the concept of number by stating that two concepts have the same number if and only if the objects falling under each one of them can be put in one-one correspondence. This principle is at the core of neo-logicism.
In the first two chapters of the book, Mancosu provides a historical analysis of the mathematical uses and foundational discussion of definitions by abstraction up to Frege, Peano, and Russell. Chapter one shows that abstraction principles were quite widespread in the mathematical practice that preceded Frege's discussion of them and the second chapter provides the first contextual analysis of Frege's discussion of abstraction principles in section 64 of the Grundlagen. In the second part of the book, Mancosu discusses a novel approach to measuring the size of infinite sets known as the theory of numerosities and shows how this new development leads to deep mathematical, historical, and philosophical problems. The final chapter of the book explore how this theory of numerosities can be exploited to provide surprisingly novel perspectives on neo-logicism.
Table of Contents
Introduction
1. The mathematical practice of definitions by abstraction from Euclid to Frege (and beyond)
2. The logical and philosophical reflection on definitions by abstraction: From Frege to the Peano school and Russell
3. Measuring the size of infinite collections of natural numbers: Was Cantor's theory of infinite number inevitable?
4. In good company? On Hume's Principle and the assignment of numbers to infinite concepts
本帖隐藏的内容
原版 PDF:PDF 压缩包:
- Abstraction and Infinity.pdf
如果你喜欢我分享的书籍,请关注我:
https://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=5975757
订阅我的文库:
【金融 + 经济 + 商学 + 国际政治】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3257
【数学 + 统计 + 计算机编程】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3258
【历史 + 心理学 + 社会自然科学】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3259