Concise, accessible sketches of the views of Plato, Aristotle, Leibniz, and Kant highlight this study of the general structure and foundation of pure and applied mathematics. Author Stephan Körner dedicates two chapters apiece — one expository and one critical — to each of the three ... read more
See Sample Pages! Click here to look inside this book.
Customers who bought this book also bought:
Our Editors also recommend:
Introduction to Mathematical Philosophy by Bertrand Russell Seminal work focuses on concepts of number, order, relations, limits and continuity, propositional functions, descriptions and classes, more. Clear, accessible excursion into realm where mathematics and philosophy meet.
Playing with Infinity by Rózsa Péter Popular account ranges from counting to mathematical logic and covers many concepts related to infinity: graphic representation of functions; pairings, other combinations; prime numbers; logarithms, circular functions; more. 216 illustrations.
Prelude to Mathematics by W. W. Sawyer 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.
Great Ideas of Modern Mathematics by Jagjit Singh Internationally famous expositor discusses differential equations, matrices, groups, sets, transformations, mathematical logic, and other important areas in modern mathematics. He also describes their applications to physics, astronomy, and other fields. 1959 edition.
Mathematics: The Man-Made Universe by Sherman K. Stein Highly readable volume covers number theory, topology, set theory, geometry, algebra, and analysis, plus the primes, fundamental theory of arithmetic, probability, and more. Solutions manual available upon request. 1994 edition.
First Course in Mathematical Logic by Patrick Suppes, Shirley Hill Rigorous introduction is simple enough in presentation and context for wide range of students. Symbolizing sentences; logical inference; truth and validity; truth tables; terms, predicates, universal quantifiers; universal specification and laws of identity; more.
Good Thinking: The Foundations of Probability and Its Applications by Irving John Good This in-depth treatment of probability theory by a famous British statistician explores Keynesian principles and surveys such topics as Bayesian rationality, corroboration, hypothesis testing, and mathematical tools for induction and simplicity. 1983 edition.
Logic for Mathematicians by J. Barkley Rosser Examination of essential topics and theorems assumes no background in logic. "Undoubtedly a major addition to the literature of mathematical logic." — Bulletin of the American Mathematical Society. 1978 edition.
Set Theory and the Continuum Hypothesis by Paul J. Cohen This exploration of a notorious mathematical problem is the work of the man who discovered the solution. The award-winning author employs intuitive explanations and detailed proofs in this self-contained treatment. 1966 edition. Copyright renewed 1994.
The Axiom of Choice by Thomas J. Jech Comprehensive and self-contained text examines the axiom's relative strengths and consequences, including its consistency and independence, relation to permutation models, and examples and counterexamples of its use. 1973 edition.
Mathematical Logic: A First Course by Joel W. Robbin This self-contained text will appeal to readers from diverse fields and varying backgrounds. Topics include 1st-order recursive arithmetic, 1st- and 2nd-order logic, and the arithmetization of syntax. Numerous exercises; some solutions. 1969 edition.
Models and Ultraproducts : An Introduction by A. B. Slomson, J. L. Bell This first-year graduate text assumes only an acquaintance with set theory to explore homogeneous universal models, saturated structure, extensions of classical first-order logic, and other topics. 1974 edition.
Topoi: The Categorial Analysis of Logic by Robert Goldblatt A classic exposition of a branch of mathematical logic that uses category theory, this text is suitable for advanced undergraduates and graduate students and accessible to both philosophically and mathematically oriented readers.
Natural Deduction: A Proof-Theoretical Study by Dag Prawitz The author of this study formulated the theories behind intuitionistic type theory and modern proof-theoretic semantics. He explains the principles of his proof-theoretical system, and he illustrates its applications to natural deduction. 1965 edition.
The Elements of Mathematical Logic by Paul C. Rosenbloom This excellent introduction to mathematical logic provides a sound knowledge of the most important approaches, stressing the use of logical methods. "Reliable." — The Mathematical Gazette. 1950 edition.
A Profile of Mathematical Logic by Howard DeLong This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.
Basic Concepts of Mathematics and Logic by Michael C. Gemignani Intended as a first look at mathematics at the college level, this text emphasizes logic and set theory — counting, numbers, functions, ordering, probabilities, and other components of higher mathematics.
Mathematical Logic by Stephen Cole Kleene Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.
Introduction to Logic by Patrick Suppes Part I of this coherent, well-organized text deals with formal principles of inference and definition. Part II explores elementary intuitive set theory, with separate chapters on sets, relations, and functions. Ideal for undergraduates.
Foundations and Fundamental Concepts of Mathematics by Howard Eves Third edition of popular undergraduate-level text offers historic overview, readable treatment of mathematics before Euclid, Euclid's Elements, non-Euclidean geometry, algebraic structure, formal axiomatics, sets, more. Problems, some with solutions. Bibliography.
First-Order Logic by Raymond M. Smullyan This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in "analytic" or "cut free" methods. The focus is on the tableau point of view. Includes 144 illustrations.
Computability and Unsolvability by Prof. Martin Davis Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.
Boolean Reasoning: The Logic of Boolean Equations by Frank Markham Brown Concise text begins with overview of elementary mathematical concepts and outlines theory of Boolean algebras; defines operators for elimination, division, and expansion; covers syllogistic reasoning, solution of Boolean equations, functional deduction. 1990 edition.
Concise, accessible sketches of the views of Plato, Aristotle, Leibniz, and Kant highlight this study of the general structure and foundation of pure and applied mathematics. Author Stephan Körner dedicates two chapters apiece — one expository and one critical — to each of the three main modern schools of thought on mathematical philosophy: the formalists, the logicists, and the intuitionists. After critically examining the propositions and theories of each philosophy, Körner presents a new position concerning the relation between mathematical theories, empirical data, and philosophical presuppositions. The Review of Metaphysics praised this volume as "a lucid and stimulating essay which combines accuracy and sophistication with a minimum of technical language." Compact but comprehensive, this nontechnical introduction will appeal to professionals, students, and other readers interested in the intersection of philosophical problems with pure and applied mathematics.
Reprint of the Hutchinson & Co., Ltd., London, 1968 edition.
This book was printed in the United States of America.
Dover books are made to last a lifetime. Our US book-manufacturing partners produce the highest quality books in the world and they create jobs for our fellow citizens. Manufacturing in the United States also ensures that our books are printed in an environmentally friendly fashion, on paper sourced from responsibly managed forests.