- ホーム
- > 洋書
- > 英文書
- > Philosophy
Full Description
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.
Contents
Jan Woleński: Foreword
Philosophy of Mathematics
Cantor's Philosophy of Set Theory
Leibniz's and Kant's Philosophical Ideas vs. Hilbert's Program
Truth vs. Provability. Philosophical and Historical Remarks
Philosophy of Mathematics in the 20th Century. Main Trends and Doctrines
On New Trends in the Philosophy of Mathematics
Remarks on the Structuralistic Epistemology of Mathematics (with Izabela Bondecka-Krzykowska)
From the History of the Concept of Number (with Thomas Bedürftig)
Church's Thesis and Its Epistemological Status
Phenomenology and Philosophy of Mathematics
History of Logic and Mathematics
Hoene-Wroński - Genius or Madman?
Grassmann's Contribution to Mathematics
Giuseppe Peano and Symbolic Logic
E.L. Post and the Development of Logic
John von Neumann and Hilbert's School
Contribution of Polish Logicians to Decidability Theory
Contribution of Polish Logicians to Predicate Calculus
The English Algebra of Logic in the 19th Century
The Development of Symbolism in Logic and Its Philosophical Background (with Thomas Bedürftig)
References
Acknowledgments
Name Index
