This book is based on two premises: one cannot understand philosophy of mathematics without understanding mathematics and one cannot understand mathematics without doing mathematics. It draws readers into philosophy of mathematics by having them do mathematics. It offers 298 exercises, covering philosophically important material, presented in a philosophically informed way. The exercises give readers opportunities to recreate some mathematics that will illuminate important readings in philosophy of mathematics. Topics include primitive recursive arithmetic, Peano arithmetic, Gödel's theorems, interpretability, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. The book is intended for readers who understand basic properties of the natural and real numbers and have some background in formal logic.

This unique approach maintains that set theory is the primary mechanism for ideological and theoretical unification in modern mathematics, and its technically informed discussion covers a variety of philosophical issues. 1990 edition.

This lively, stimulating account of non-Euclidean geometry by a noted mathematician covers matrices, determinants, group theory, and many other related topics, with an emphasis on the subject's novel, striking aspects. 1955 edition.

This book brings together diverse recent developments exploring the philosophy of mathematics in education. The unique combination of ethnomathematics, philosophy, history, education, statistics and mathematics offers a variety of different perspectives from which existing boundaries in mathematics education can be extended. The ten chapters in this book offer a balance between philosophy of and philosophy in mathematics education. Attention is paid to the implementation of a philosophy of mathematics within the mathematics curriculum.

First published in 2005. Routledge is an imprint of Taylor & Francis, an informa company.

A hands-on introduction to the tools needed for rigorous and theoretical mathematical reasoning Successfully addressing the frustration many students experience as they make the transition from computational mathematics to advanced calculus and algebraic structures, Theorems, Corollaries, Lemmas, and Methods of Proof equips students with the tools needed to succeed while providing a firm foundation in the axiomatic structure of modern mathematics. This essential book: * Clearly explains the relationship between definitions, conjectures, theorems, corollaries, lemmas, and proofs * Reinforces the foundations of calculus and algebra * Explores how to use both a direct and indirect proof to prove a theorem * Presents the basic properties of real numbers * Discusses how to use mathematical induction to prove a theorem * Identifies the different types of theorems * Explains how to write a clear and understandable proof * Covers the basic structure of modern mathematics and the key components of modern mathematics A complete chapter is dedicated to the different methods of proof such as forward direct proofs, proof by contrapositive, proof by contradiction, mathematical induction, and existence proofs. In addition, the author has supplied many clear and detailed algorithms that outline these proofs. Theorems, Corollaries, Lemmas, and Methods of Proof uniquely introduces scratch work as an indispensable part of the proof process, encouraging students to use scratch work and creative thinking as the first steps in their attempt to prove a theorem. Once their scratch work successfully demonstrates the truth of the theorem, the proof can be written in a clear and concise fashion. The basic structure of modern mathematics is discussed, and each of the key components of modern mathematics is defined. Numerous exercises are included in each chapter, covering a wide range of topics with varied levels of difficulty. Intended as a main text for mathematics courses such as Methods of Proof, Transitions to Advanced Mathematics, and Foundations of Mathematics, the book may also be used as a supplementary textbook in junior- and senior-level courses on advanced calculus, real analysis, and modern algebra.

Not only a hero of the scientific revolution, but after his conflict with the church, a hero of science, Galileo is today rivalled in the popular imagination only by Newton and Einstein. But what did Galileo actually do, and what are the sources of the popular image we have of him? This 1998 collection of specially-commissioned essays is unparalleled in the depth of its coverage of all facets of Galileo's work. A particular feature of the volume is the treatment of Galileo's relationship with the church. It will be of interest to philosophers, historians of science, cultural historians and those in religious studies.

First edition published in 1985 as: George Boole: his life and work. Dublin: Boole Press, 1985.

Presenting a critical history of the philosophy of science in the twentieth century, focusing on the transition from logical positivism in its first half to the "new philosophy of science" in its second, Stefano Gattei examines the influence of several key figures, but the main focus of the book are Thomas Kuhn and Karl Popper. Kuhn as the central figure of the new philosophy of science, and Popper as a key philosopher of the time who stands outside both traditions. Gattei makes two important claims about the development of the philosophy of science in the twentieth century; that Kuhn is much closer to positivism than many have supposed, failing to solve the crisis of neopostivism, and that Popper, in responding to the deeper crisis of foundationalism that spans the whole of the Western philosophical tradition, ultimately shows what is untenable in Kuhn's view. Gattei has written a very detailed and fine grained, yet accessible discussion making exceptionally interesting use of archive materials.

The American thinker Charles Sanders Peirce, best known as the founder of pragmatism, has been influential not only in the pragmatic tradition but more recently in the philosophy of science and the study of semiotics, or sign theory. Strands of System provides an accessible overview of Peirce's systematic philosophy for those who are beginning to explore his thinking and its import for more recent trends in philosophy.

First published in 1970. Routledge is an imprint of Taylor & Francis, an informa company.

* Examines the history and philosophy of the mathematical sciences in a cultural context, tracing their evolution from ancient times up to the twentieth century * 176 articles contributed by authors of 18 nationalities * Chronological table of main events in the development of mathematics * Fully integrated index of people, events and topics * Annotated bibliographies of both classic and contemporary sources * Unique coverage of Ancient and non-Western traditions of mathematics

Resonance examines some building blocks of epistemology as a prelude to the careful analysis of the foundations of probability. The concept of resonance is introduced to shed light on the philosophical problems of induction, consciousness, intelligence and free will. The same concept is later applied to provide support for a new philosophical theory of probability. Although based on existing ideas and theories, the epistemological concept of resonance is investigated for the first time in this book. The best-known philosophical theories of probability, frequency and subjective, are shown to be unrealistic and dissociated from the two main branches of statistics: frequency statistics and Bayesian statistics. Written in an accessible style, this book can be enjoyed by philosophers, statisticians and mathematicians, and also by anyone looking to expand their understanding of the disciplines of epistemology and probability. Contents: IntroductionPhilosophy of Probability:Main Philosophies of ProbabilitySkepticismThe Frequency Philosophy of ProbabilityThe Subjective Philosophy of ProbabilityThe Logical Philosophy of ProbabilityCommon IssuesEpistemology:EpistemologyReligionScienceScience of Probability:The Science of ProbabilityDecision MakingFrequency StatisticsBayesian StatisticsMiscellanea:On IdeologiesParadoxes, Wagers and RulesTeaching ProbabilityMathematical Methods of Probability and Statistics Readership: Philosophers, statisticians and mathematicians, and readers who are interested in the fields of epistemology and probability.

Moritz Pasch (1843-1930) is justly celebrated as a key figure in the history of axiomatic geometry. Less well known are his contributions to other areas of foundational research. This volume features English translations of 14 papers Pasch published in the decade 1917-1926. In them, Pasch argues that geometry and, more surprisingly, number theory are branches of empirical science; he provides axioms for the combinatorial reasoning essential to Hilbert’s program of consistency proofs; he explores "implicit definition" (a generalization of definition by abstraction) and indicates how this technique yields an "empiricist" reconstruction of set theory; he argues that we cannot fully understand the logical structure of mathematics without clearly distinguishing between decidable and undecidable properties; he offers a rare glimpse into the mind of a master of axiomatics, surveying in detail the thought experiments he employed as he struggled to identify fundamental mathematical principles; and much more. This volume will: Give English speakers access to an important body of work from a turbulent and pivotal period in the history of mathematics, help us look beyond the familiar triad of formalism, intuitionism, and logicism, show how deeply we can see with the help of a guide determined to present fundamental mathematical ideas in ways that match our human capacities, will be of interest to graduate students and researchers in logic and the foundations of mathematics.

*Vol. 9: A History of the Philosophy of Law in the Civil Law World, 1600-1900; Vol. 10: The Philosophers' Philosophy of Law from the Seventeenth Century to Our Days.*

Author: Damiano Canale,Paolo Grossi,Hasso Hofmann,Patrick Riley

Publisher: Springer Science & Business Media

ISBN: 9048129648

Category: Philosophy

Page: 740

View: 3889

A collection of papers presented at the conference on Probability Theory - Philosophy, Recent History and Relations to Science, University of Roskilde, Denmark, September 16-18, 1998. Since the measure theoretical definition of probability was proposed by Kolmogorov, probability theory has developed into a mature mathematical theory. It is today a fruitful field of mathematics that has important applications in philosophy, science, engineering, and many other areas. The measure theoretical definition of probability and its axioms, however, are not without their problems; some of them even puzzled Kolmogorov. This book sheds light on some recent discussions of the problems in probability theory and their history, analysing their philosophical and mathematical significance, and the role pf mathematical probability theory in other sciences.

As the founder of phenomenology, Edmund Husserl has been hugely influential in the development of contemporary continental philosophy. In The Philosophy of Husserl, Burt Hopkins shows that the unity of Husserl’s philosophical enterprise is found in the investigation of the origins of cognition, being, meaning, and ultimately philosophy itself. Hopkins challenges the prevailing view that Husserl’s late turn to history is inconsistent with his earlier attempts to establish phenomenology as a pure science and also the view of Heidegger and Derrida, that the limits of transcendental phenomenology are historically driven by ancient Greek philosophy. Part 1 presents Plato’s written and unwritten theories of eidê and Aristotle’s criticism of both. Part 2 traces Husserl’s early investigations into the formation of mathematical and logical concepts and charts the critical necessity that leads from descriptive psychology to transcendentally pure phenomenology. Part 3 investigates the movement of Husserl’s phenomenology of transcendental consciousness to that of monadological intersubjectivity. Part 4 presents the final stage of the development of Husserl’s thought, which situates monadological intersubjectivity within the context of the historical a priori constitutive of all meaning. Part 5 exposes the unwarranted historical presuppositions that guide Heidegger’s fundamental ontological and Derrida’s deconstructive criticisms of Husserl’s transcendental phenomenology. The Philosophy of Husserl will be required reading for all students of phenomenology.

The continuing philosophical interest in the famous 'Protocol Sentence Debate' in the Vienna Circle of Logical Positivists is, to a large measure, due to the focus on the epistemological issues in the dispute, and the neglect of differences among the leading players in their philosophical views of logic and language. In Protocols, Truth and Convention, the current understanding of the debate is advanced by developing the contemporaneous views of logic and language held by the principal disputants. Rudolf Carnap and Moritz Schlick. It is argued - largely on the basis of unpublished manuscripts and correspondence - that, despite apparent differences in their respective conceptions of language, there are nonetheless striking similarities, particularly with respect to the conventionality of language. Nonetheless, one key issue - concerning the syntacticism inherent in Carnap's early Thirties' philosophy - separates the two viewpoints in the clash over protocols. Finally, it is argued that Carnap's syntacticism is untenable, a conclusion that Carnap himself finally reached in the closing exchanges of the protocol sentence controversy.