Mathematical and philosophical thought about continuity has changed considerably over the ages. Aristotle insisted that continuous substances are not composed of points, and that they can only be divided into parts potentially. There is something viscous about the continuous. It is a unified whole. This is in stark contrast with the prevailing contemporary account, which takes a continuum to be composed of an uncountably infinite set of points. This vlume presents a collective study of key...

The present work is a systematic study of five frameworks or perspectives articulating mathematical structuralism, whose core idea is that mathematics is concerned primarily with interrelations in abstraction from the nature of objects. The first two, set-theoretic and category-theoretic, arose within mathematics itself. After exposing a number of problems, the Element considers three further perspectives formulated by logicians and philosophers of mathematics: sui generis, treating struct...

This book explores the research of Professor Hilary Putnam, a Harvard professor as well as a leading philosopher, mathematician and computer scientist. It features the work of distinguished scholars in the field as well as a selection of young academics who have studied topics closely connected to Putnam’s work.It includes 12 papers that analyze, develop, and constructively criticize this notable professor's research in mathematical logic, the philosophy of logic and the philosophy...

With this third edition of Nelson Goodman's The Structure of Appear ance, we are pleased to make available once more one of the most in fluential and important works in the philosophy of our times. Professor Geoffrey Hellman's introduction gives a sustained analysis and appreciation of the major themes and the thrust of the book, as well as an account of the ways in which many of Goodman's problems and projects have been picked up and developed by others. Hellman also suggests how The Stru...

Imre Lakatos's Proofs and Refutations is an enduring classic, which has never lost its relevance. Taking the form of a dialogue between a teacher and some students, the book considers various solutions to mathematical problems and, in the process, raises important questions about the nature of mathematical discovery and methodology. Lakatos shows that mathematics grows through a process of improvement by attempts at proofs and critiques of these attempts, and his work continues to inspire ...

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 contempora...

Why narrative is essential to mathematicsCircles Disturbed brings together important thinkers in mathematics, history, and philosophy to explore the relationship between mathematics and narrative. The book's title recalls the last words of the great Greek mathematician Archimedes before he was slain by a Roman soldier—"Don't disturb my circles"—words that seem to refer to two radically different concerns: that of the practical person living in the concrete...

The History of Philosophical and Formal Logic introduces ideas and thinkers central to the development of philosophical and formal logic. From its Aristotelian origins to the present-day arguments, logic is broken down into four main time periods:Antiquity and the Middle Ages (Aristotle and The Stoics)The early modern period (Bolzano, Boole)High modern period (Frege, Peano & Russell and Hilbert)Early 20th century (Godel and Tarski)Each new time...

While most texts on real analysis are content to assume the real numbers, or to treat them only briefly, this text makes a serious study of the real number system and the issues it brings to light. Analysis needs the real numbers to model the line, and to support the concepts of continuity and measure. But these seemingly simple requirements lead to deep issues of set theory—uncountability, the axiom of choice, and large cardinals. In fact, virtually all the concepts of infinite set theory...

Some of our earliest experiences of the conclusive force of an argument come from school mathematics: faced with a mathematical proof, we cannot deny the conclusion once the premises have been accepted. Behind such arguments lies a more general pattern of 'demonstrative arguments' that is studied in the science of logic. Logical reasoning is applied at all levels, from everyday life to advanced sciences, and a remarkable level of complexity is achieved in everyday logical reasoning, even i...

This second edition introduces an additional set of new mathematical problems with their detailed solutions in real analysis. It also provides numerous improved solutions to the existing problems from the previous edition, and includes very useful tips and skills for the readers to master successfully. There are three more chapters that expand further on the topics of Bernoulli numbers, differential equations and metric spaces.Each chapter has a summary of basic points, in which some funda...

The logician Kurt Gödel (1906–1978) published a paper in 1931 formulating what have come to be known as his 'incompleteness theorems', which prove, among other things, that within any formal system with resources sufficient to code arithmetic, questions exist which are neither provable nor disprovable on the basis of the axioms which define the system. These are among the most celebrated results in logic today. In this volume, leading philosophers and mathematicians assess important aspect...