Philosophy of mathematics

Essays on Existence and Essence presents a series of writings--including several previously unpublished--by Bob Hale on the topics of ontology and modality.

"e;The old logic put thought in fetters, while the new logic gives it wings.

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject.

Algorithms are the hidden methods that computers apply to process information and make decisions.

Algorithms are the hidden methods that computers apply to process information and make decisions.

Alex Oliver and Timothy Smiley provide a natural point of entry to what for most readers will be a new subject.

Crispin Wright is widely recognised as one of the most important and influential analytic philosophers of the twentieth and twenty-first centuries.

How to Free Your Inner Mathematician: Notes on Mathematics and Life offers readers guidance in managing the fear, freedom, frustration, and joy that often accompany calls to think mathematically.

How to Free Your Inner Mathematician: Notes on Mathematics and Life offers readers guidance in managing the fear, freedom, frustration, and joy that often accompany calls to think mathematically.

Leibniz published the Dissertation on Combinatorial Art in 1666.

Leibniz published the Dissertation on Combinatorial Art in 1666.

Martin Folkes (1690-1754): Newtonian, Antiquary, Connoisseur is a cultural and intellectual biography of the only President of both the Royal Society and the Society of Antiquaries.

Martin Folkes (1690-1754): Newtonian, Antiquary, Connoisseur is a cultural and intellectual biography of the only President of both the Royal Society and the Society of Antiquaries.

How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand?

Are there objects that are "e;thin"e; in the sense that not very much is required for their existence?

Are there objects that are "e;thin"e; in the sense that not very much is required for their existence?

The Scholarship of Teaching and Learning: A Guide for Scientists, Engineers, and Mathematicians shows college and university faculty members how to draw on their disciplinary knowledge and teaching experience to investigate questions about student learning.

The Scholarship of Teaching and Learning: A Guide for Scientists, Engineers, and Mathematicians shows college and university faculty members how to draw on their disciplinary knowledge and teaching experience to investigate questions about student learning.

To what extent are the subjects of our thoughts and talk real?

How is that when scientists need some piece of mathematics through which to frame their theory, it is there to hand?

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems.

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems.

Mathematical and philosophical thought about continuity has changed considerably over the ages.

Algebraic Art explores the invention of a peculiarly Victorian account of the nature and value of aesthetic form, and it traces that account to a surprising source: mathematics.

Algebraic Art explores the invention of a peculiarly Victorian account of the nature and value of aesthetic form, and it traces that account to a surprising source: mathematics.

Niel Bohr's life spans times of revolutionary change, in science and in its impact on society.

Model theory is used in every theoretical branch of analytic philosophy: in philosophy of mathematics, in philosophy of science, in philosophy of language, in philosophical logic, and in metaphysics.

A History of Mathematics: From Mesopotamia to Modernity covers the evolution of mathematics through time and across the major Eastern and Western civilizations.

This book is designed to explain the technical ideas that are taken for granted in much contemporary philosophical writing.

This book is designed to explain the technical ideas that are taken for granted in much contemporary philosophical writing.

Gottlob Frege's Grundgesetze der Arithmetik, or Basic Laws of Arithmetic, was intended to be his magnum opus, the book in which he would finally establish his logicist philosophy of arithmetic.

Abstractionism, which is a development of Frege's original Logicism, is a recent and much debated position in the philosophy of mathematics.

How should we reason in science?

Roy T Cook examines the Yablo paradox--a paradoxical, infinite sequence of sentences, each of which entails the falsity of all others later than it in the sequence--with special attention paid to the idea that this paradox provides us with a semantic paradox that involves no circularity.

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing.

Logic is a field studied mainly by researchers and students of philosophy, mathematics and computing.

Head hits cause brain damage - but not always.

Head hits cause brain damage - but not always.

Our conception of logical space is the set of distinctions we use to navigate the world.

Michael G.

David Bostock presents a critical appraisal of Bertrand Russell's philosophy from 1900 to 1924--a period that is considered to be the most important in his career.

This is the first logically precise, computationally implementable, book-length account of rational belief revision.

During the Victorian era, industrial and economic growth led to a phenomenal rise in productivity and invention.

During the Victorian era, industrial and economic growth led to a phenomenal rise in productivity and invention.

The interplay between computability and randomness has been an active area of research in recent years, reflected by ample funding in the USA, numerous workshops, and publications on the subject.

Is mathematics a highly sophisticated intellectual game in which the adepts display their skill by tackling invented problems, or are mathematicians engaged in acts of discovery as they explore an independent realm of mathematical reality?

Is mathematics a highly sophisticated intellectual game in which the adepts display their skill by tackling invented problems, or are mathematicians engaged in acts of discovery as they explore an independent realm of mathematical reality?

This third edition, now available in paperback, is a follow up to the author's classic Boolean-Valued Models and Independence Proofs in Set Theory,.

Frege's Theorem collects eleven essays by Richard G Heck, Jr, one of the world's leading authorities on Frege's philosophy.

Richard Tieszen presents an analysis, development, and defense of a number of central ideas in Kurt Godel's writings on the philosophy and foundations of mathematics and logic.