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

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

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

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

First published in 1903, Principles of Mathematics was Bertrand Russell’s first major work in print. It was this title which saw him begin his ascent towards eminence. In this groundbreaking and important work, Bertrand Russell argues that mathematics and logic are, in fact, identical and what is commonly called mathematics is simply later deductions from logical premises. Highly influential and engaging, this important work led to Russell’s dominance of analytical logic on wester...

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

Is mathematics a discovery or an invention? Do numbers truly exist? What sort of reality do formulas describe?The complexity of mathematics - its abstract rules and obscure symbols - can seem very distant from the everyday. There are those things that are real and present, it is supposed, and then there are mathematical concepts: creations of our mind, mysterious tools for those unengaged with the world. Yet, from its most remote history and deepest purpos...

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