Philosophy of Mathematics is an excellent introductory text. This student friendly book discusses the great philosophers and the importance of mathematics to their thought. It includes the following topics: * the mathematical image * platonism * picture-proofs * applied mathematics * Hilbert and Godel * knots and nations * definitions * picture-proofs and Wittgenstein * computation, proof and conjecture. The book is ideal for courses on philosophy of mathematics and logic.
Stimulating, thought-provoking text by one of the 20th century's most creative philosophers makes accessible such topics as probability, measurement and quantitative language, causality and determinism, theoretical laws and concepts, more.
Ausdifferenzierung und Transfer zwischen Medizin und Literatur (1600–1900)
Author: Nicolas Pethes,Sandra Richter
Publisher: Walter de Gruyter
Category: Literary Criticism
The volume examines the interrelationships between the history of medicine and literature from the 17th until the 19th centuries. The papers in the volume analyse these interrelationships using the styles of medical and literary texts, which show how the dimensions of knowledge and of representation determine each other – for example in the case of narrative structures in medical case histories or a diagnostic narrative stance in a novel.
Bringing Together Philosophy of Mathematics, Sociology of Mathematics, and Mathematics Education
Author: Bart van Kerkhove,jean paul van bendegem
Publisher: Springer Science & Business Media
In the eyes of the editors, this book will be considered a success if it can convince its readers of the following: that it is warranted to dream of a realistic and full-fledged theory of mathematical practices, in the plural. If such a theory is possible, it would mean that a number of presently existing fierce oppositions between philosophers, sociologists, educators, and other parties involved, are in fact illusory.
This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent (and astonishing) facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities.
This revised and considerably expanded 2nd edition brings together a wide range of topics, including modal, tense, conditional, intuitionist, many-valued, paraconsistent, relevant, and fuzzy logics. Part 1, on propositional logic, is the old Introduction, but contains much new material. Part 2 is entirely new, and covers quantification and identity for all the logics in Part 1. The material is unified by the underlying theme of world semantics. All of the topics are explained clearly using devices such as tableau proofs, and their relation to current philosophical issues and debates are discussed. Students with a basic understanding of classical logic will find this book an invaluable introduction to an area that has become of central importance in both logic and philosophy. It will also interest people working in mathematics and computer science who wish to know about the area.
In case you are considering to adopt this book for courses with over 50 students, please contact [email protected] for more information. This introduction to mathematical logic starts with propositional calculus and first-order logic. Topics covered include syntax, semantics, soundness, completeness, independence, normal forms, vertical paths through negation normal formulas, compactness, Smullyan's Unifying Principle, natural deduction, cut-elimination, semantic tableaux, Skolemization, Herbrand's Theorem, unification, duality, interpolation, and definability. The last three chapters of the book provide an introduction to type theory (higher-order logic). It is shown how various mathematical concepts can be formalized in this very expressive formal language. This expressive notation facilitates proofs of the classical incompleteness and undecidability theorems which are very elegant and easy to understand. The discussion of semantics makes clear the important distinction between standard and nonstandard models which is so important in understanding puzzling phenomena such as the incompleteness theorems and Skolem's Paradox about countable models of set theory. Some of the numerous exercises require giving formal proofs. A computer program called ETPS which is available from the web facilitates doing and checking such exercises. Audience: This volume will be of interest to mathematicians, computer scientists, and philosophers in universities, as well as to computer scientists in industry who wish to use higher-order logic for hardware and software specification and verification.
Collection of the most interesting recent writings on the philosophy of mathematics written by highly respected researchers from philosophy, mathematics, physics, and chemistry Interdisciplinary book that will be useful in several fields—with a cross-disciplinary subject area, and contributions from researchers of various disciplines
This study addresses a central theme in current philosophy: Platonism vs Naturalism and provides accounts of both approaches to mathematics, crucially discussing Quine, Maddy, Kitcher, Lakoff, Colyvan, and many others. Beginning with accounts of both approaches, Brown defends Platonism by arguing that only a Platonistic approach can account for concept acquisition in a number of special cases in the sciences. He also argues for a particular view of applied mathematics, a view that supports Platonism against Naturalist alternatives. Not only does this engaging book present the Platonist-Naturalist debate over mathematics in a comprehensive fashion, but it also sheds considerable light on non-mathematical aspects of a dispute that is central to contemporary philosophy.
The Existence of God: A Philosophical Introduction assesses classical and contemporary arguments concerning the existence of God. It is an ideal introduction to philosophy of religion and an excellent starting point for anyone interested in arguments about the existence of God.
This introduction to the philosophy of mathematics focuses on contemporary debates in an important and central area of philosophy. The reader is taken on a fascinating and entertaining journey through some intriguing mathematical and philosophical territory, including such topics as the realism/anti-realism debate in mathematics, mathematical explanation, the limits of mathematics, the significance of mathematical notation, inconsistent mathematics and the applications of mathematics. Each chapter has a number of discussion questions and recommended further reading from both the contemporary literature and older sources. Very little mathematical background is assumed and all of the mathematics encountered is clearly introduced and explained using a wide variety of examples. The book is suitable for an undergraduate course in philosophy of mathematics and, more widely, for anyone interested in philosophy and mathematics.
Famous classic has introduced countless readers to symbolic logic with its thorough and precise exposition. Starts with simple symbols and conventions and concludes with the Boole-Schroeder and Russell-Whitehead systems. No special knowledge of mathematics necessary. "One of the clearest and simplest introductions to a subject which is very much alive." — Mathematics Gazette.
Includes, beginning Sept. 15, 1954 (and on the 15th of each month, Sept.-May) a special section: School library journal, ISSN 0000-0035, (called Junior libraries, 1954-May 1961). Also issued separately.
Mathematics as a Science of Patterns is the definitive exposition of a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defence of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist. Resnik's distinctive philosophy of mathematics is here presented in an accessible and systematic form: it will be of value not only to specialists in this area, but to philosophers, mathematicians, and logicians interested in the relationship between these three disciplines, or in truth, realism, and epistemology.
Hao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Gödel. A Logical Journey is a continuation of Wang's Reflections on Gödel and also elaborates on discussions contained in From Mathematics to Philosophy. A decade in preparation, it contains important and unfamiliar insights into Gödel's views on a wide range of issues, from Platonism and the nature of logic, to minds and machines, the existence of God, and positivism and phenomenology. The impact of Gödel's theorem on twentieth-century thought is on par with that of Einstein's theory of relativity, Heisenberg's uncertainty principle, or Keynesian economics. These previously unpublished intimate and informal conversations, however, bring to light and amplify Gödel's other major contributions to logic and philosophy. They reveal that there is much more in Gödel's philosophy of mathematics than is commonly believed, and more in his philosophy than his philosophy of mathematics. Wang writes that "it is even possible that his quite informal and loosely structured conversations with me, which I am freely using in this book, will turn out to be the fullest existing expression of the diverse components of his inadequately articulated general philosophy." The first two chapters are devoted to Gödel's life and mental development. In the chapters that follow, Wang illustrates the quest for overarching solutions and grand unifications of knowledge and action in Gödel's written speculations on God and an afterlife. He gives the background and a chronological summary of the conversations, considers Gödel's comments on philosophies and philosophers (his support of Husserl's phenomenology and his digressions on Kant and Wittgenstein), and his attempt to demonstrate the superiority of the mind's power over brains and machines. Three chapters are tied together by what Wang perceives to be Gödel's governing ideal of philosophy: an exact theory in which mathematics and Newtonian physics serve as a model for philosophy or metaphysics. Finally, in an epilog Wang sketches his own approach to philosophy in contrast to his interpretation of Gödel's outlook.
This book offers an up-to-date overview of the research on philosophy of mathematics education, one of the most important and relevant areas of theory. The contributions analyse, question, challenge, and critique the claims of mathematics education practice, policy, theory and research, offering ways forward for new and better solutions. The book poses basic questions, including: What are our aims of teaching and learning mathematics? What is mathematics anyway? How is mathematics related to society in the 21st century? How do students learn mathematics? What have we learnt about mathematics teaching? Applied philosophy can help to answer these and other fundamental questions, and only through an in-depth analysis can the practice of the teaching and learning of mathematics be improved. The book addresses important themes, such as critical mathematics education, the traditional role of mathematics in schools during the current unprecedented political, social, and environmental crises, and the way in which the teaching and learning of mathematics can better serve social justice and make the world a better place for the future.
A century ago, Georg Cantor demonstrated the possibility of a series of transfinite infinite numbers. His methods, unorthodox for the time, enabled him to derive theorems that established a mathematical reality for a hierarchy of infinities. Cantor's innovation was opposed, and ignored, by the establishment; years later, the value of his work was recognized and appreciated as a landmark in mathematical thought, forming the beginning of set theory and the foundation for most of contemporary mathematics. As Cantor's sometime collaborator, David Hilbert, remarked, "No one will drive us from the paradise that Cantor has created." This volume offers a guided tour of modern mathematics' Garden of Eden, beginning with perspectives on the finite universe and classes and Aristotelian logic. Author Mary Tiles further examines permutations, combinations, and infinite cardinalities; numbering the continuum; Cantor's transfinite paradise; axiomatic set theory; logical objects and logical types; and independence results and the universe of sets. She concludes with views of the constructs and reality of mathematical structure. Philosophers with only a basic grounding in mathematics, as well as mathematicians who have taken only an introductory course in philosophy, will find an abundance of intriguing topics in this text, which is appropriate for undergraduate-and graduate-level courses.
Many students have trouble the first time they take a mathematics course in which proofs play a significant role. This new edition of Velleman's successful text will prepare students to make the transition from solving problems to proving theorems by teaching them the techniques needed to read and write proofs. The book begins with the basic concepts of logic and set theory, to familiarize students with the language of mathematics and how it is interpreted. These concepts are used as the basis for a step-by-step breakdown of the most important techniques used in constructing proofs. The author shows how complex proofs are built up from these smaller steps, using detailed 'scratch work' sections to expose the machinery of proofs about the natural numbers, relations, functions, and infinite sets. To give students the opportunity to construct their own proofs, this new edition contains over 200 new exercises, selected solutions, and an introduction to Proof Designer software. No background beyond standard high school mathematics is assumed. This book will be useful to anyone interested in logic and proofs: computer scientists, philosophers, linguists, and of course mathematicians.
Platonism and Circularity; Translations of Paul Finsler's Papers on Set Theory with Introductory Comments
Author: Paul Finsler
Publisher: Springer Science & Business Media
This English translation of Paul Finsler's papers on set theory reflects the central concerns of his investigations, namely the philosophical, foundational, and combinatorial approaches. Each section contains an introduction to the field by the editors, and a technical background is not necessary.