Essays in the Philosophy and History of Logic and Mathematics

✍ Scribed by Roman Murawski

• Publisher: Rodopi
• Year: 2010
• Tongue: English
• Leaves: 328
• Series: Poznan Studies in the Philosophy of the Sciences & the Humanities
• Category: Library

✦ Synopsis

The book is a collection of the author's selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.

✦ Table of Contents

Cover
......Page 1
Title Page
......Page 4
Copyright Page
......Page 5
Table of Contents
......Page 7
Foreword
......Page 8
Part I: Philosophy of Mathematics
......Page 11
1. Cantor’s Philosophy of Set Theory
......Page 12
2. Leibniz’s and Kant’s Philosophical Ideas vs. Hilbert’s Program
......Page 26
3. Truth vs. Provability. Philosophical and Historical Remarks
......Page 37
4. Philosophy of Mathematics in the 20th Century. Main Trends
and Doctrines
......Page 54
5. On New Trends in the Philosophy of Mathematics
......Page 69
6. Remarks on the Structuralistic Epistemology of Mathematics
(with Izabela Bondecka-Krzykowska)
......Page 79
7. From the History of the Concept of Number (with Thomas Bedürftig)
......Page 88
8. Church’s Thesis and Its Epistemological Status
......Page 116
9. Phenomenology and Philosophy of Mathematics
......Page 128
Part II: History of Logic and Mathematics
......Page 140
10. Hoene-Wroński – Genius or Madman?
......Page 141
11. Grassmann’s Contribution to Mathematics
......Page 153
12. Giuseppe Peano and Symbolic Logic
......Page 161
13. E.L. Post and the Development of Logic
......Page 175
14. John von Neumann and Hilbert’s School
......Page 186
15. Contribution of Polish Logicians to Decidability Theory
......Page 201
16. Contribution of Polish Logicians to Predicate Calculus
......Page 222
17. The English Algebra of Logic in the 19th Century
......Page 233
18. The Development of Symbolism in Logic and Its Philosophical
Background (with Thomas Bedürftig)
......Page 258
References
......Page 287
Acknowledgments
......Page 321
Name Index
......Page 322