Essays in the Philosophy and History of Logic and Mathematics.

Murawski, Roman.

Essays in the Philosophy and History of Logic and Mathematics. - 1st ed. - 1 online resource (327 pages) - Poznań Studies in the Philosophy of the Sciences and the Humanities Ser. . - Poznań Studies in the Philosophy of the Sciences and the Humanities Ser. .

Intro -- ESSAYS IN THE PHILOSOPHYAND HISTORY OF LOGIC AND MATHEMATICS -- CONTENTS -- Foreword -- Part I: Philosophy of Mathematics -- 1. Cantor's Philosophy of Set Theory -- 2. Leibniz's and Kant's Philosophical Ideas vs. Hilbert's Program -- 3. Truth vs. Provability. Philosophical and Historical Remarks -- 4. Philosophy of Mathematics in the 20th Century. Main Trends and Doctrines -- 5. On New Trends in the Philosophy of Mathematics -- 6. Remarks on the Structuralistic Epistemology of Mathematics (with Izabela Bondecka-Krzykowska) -- 7. From the History of the Concept of Number (with Thomas Bedürftig) -- 8. Church's Thesis and Its Epistemological Status -- 9. Phenomenology and Philosophy of Mathematics -- Part II: History of Logic and Mathematics -- 10. Hoene-Wroński - Genius or Madman? -- 11. Grassmann's Contribution to Mathematics -- 12. Giuseppe Peano and Symbolic Logic -- 13. E.L. Post and the Development of Logic -- 14. John von Neumann and Hilbert's School -- 15. Contribution of Polish Logicians to Decidability Theory -- 16. Contribution of Polish Logicians to Predicate Calculus -- 17. The English Algebra of Logic in the 19th Century -- 18. The Development of Symbolism in Logic and Its Philosophical Background (with Thomas Bedürftig) -- References -- Acknowledgments -- Name Index.

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.

9789042030916


Mathematics -- Philosophy.;Mathematics -- Philosophy -- History -- 20th century.;Logic -- History.;Logic, Symbolic and mathematical.


Electronic books.

QA9.2.M87 2010

160.9