In recent years, several remarkable results have shown that certain theorems of finite combinatorics are unprovable in certain logical systems. These developments have been instrumental in stimulating research in both areas, with the interface between logic and combinatorics being especially important because of its relation to crucial issues in the foundations of mathematics which were raised by the work of Kurt Godel. Because of the diversity of the lines of research that have begun to shed light on these issues, (...) there was a need for a comprehensive overview which would tie the lines together. This volume fills that need by presenting a balanced mixture of high quality expository and research articles that were presented at the August 1985 AMS-IMS-SIAM Joint Summer Research Conference, held at Humboldt State University in Arcata, California.With an introductory survey to put the works into an appropriate context, the collection consists of papers dealing with various aspects of 'unprovable theorems and fast-growing functions'. Among the topics addressed are: ordinal notations, the dynamical systems approach to Ramsey theory, Hindman's finite sums theorem and related ultrafilters, well quasiordering theory, uncountable combinatorics, nonstandard models of set theory, and a length-of-proof analysis of Godel's incompleteness theorem. Many of the articles bring the reader to the frontiers of research in this area, and most assume familiarity with combinatorics and/or mathematical logic only at the senior undergraduate or first-year graduate level. (shrink)

For the purposes of this monograph, "by a degree" is meant a degree of recursive unsolvability. A degree [script bold]m is said to be minimal if 0 is the unique degree less than [script bold]m. Each of the six chapters of this self-contained monograph is devoted to the proof of an existence theorem for minimal degrees.

Kurt Gdel was the most outstanding logician of the 20th century and a giant in the field. This book is part of a five volume set that makes available all of Gdel's writings. The first three volumes, already published, consist of the papers and essays of Gdel. The final two volumes of the set deal with Gdel's correspondence with his contemporary mathematicians, this fourth volume consists of material from correspondents from A-G.

This volume presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. The conference and the volume are dedicated to the memory of professor Mario Tourasse Teixeira, an educator and researcher who contributed to the formation of several generations of Brazilian logicians. Contributions were made from leading Brazilian logicians and their Latin-American and European colleagues. All papers were selected by a careful refereeing processs and were revised and updated (...) by their authors for publication in this volume. There are three sections: Advances in Logic, Advances in Theoretical Computer Science, and Advances in Philosophical Logic. Well-known specialists present original research on several aspects of model theory, proof theory, algebraic logic, category theory, connections between logic and computer science, and topics of philosophical logic of current interest. Topics interweave proof-theoretical, semantical, foundational, and philosophical aspects with algorithmic and algebraic views, offering lively high-level research results. (shrink)

On knowledge and practices: a manifesto -- The web of practices -- Agents and frameworks -- Complementarity in mathematics -- Ancient Greek mathematics: a role for diagrams -- Advanced math: the hypothetical conception -- Arithmetic certainty -- Mathematics developed: the case of the reals -- Objectivity in mathematical knowledge -- The problem of conceptual understanding.

INTRODUCTION MATHEMATICAL logic differs from the traditional formal logic so markedly in method, and so far surpasses it in power and subtlety, ...

An inclusive vision of mathematics-- its beauty, its humanity, and its power to build virtues that help us all flourish. For mathematician Francis Su, a society without mathematical affection is like a city without museums. To miss out on mathematics is to live without experiencing some of humanity's most beautiful ideas. In this profound book, written for a diverse audience but especially for those disenchanted by their past experiences, an award-winning mathematician and educator weaves personal reflections, puzzles, and (...) stories to show how mathematics meets basic human desires and cultivates virtues essential for human flourishing. Readers will explore mathematical concepts-- and see how mathematical thinking can even fulfill such longings as for love, play, freedom, justice, and community. Some lessons come from those who have struggled, including philosopher Simone Weil, whose own mathematical contributions were overshadowed by her brother's, and Christopher Jackson, who discovered mathematics as an inmate in a federal prison. Christopher Jackson's letters to the author appear throughout the book and show how this intellectual pursuit can-- and must-- be open to all. (shrink)

Albert Lautman (1908-1944) was a French philosopher of mathematics whose work played a crucial role in the history of contemporary French philosophy. His ideas have had an enormous influence on key contemporary thinkers including Gilles Deleuze and Alain Badiou, for whom he is a major touchstone in the development of their own engagements with mathematics. Mathematics, Ideas and the Physical Real presents the first English translation of Lautman's published works between 1933 and his death in 1944. Rather (...) than being preoccupied with the relation of mathematics to logic or with the problems of foundation, which have dominated philosophical reflection on mathematics, Lautman undertakes to develop an understanding of the broader structure of mathematics and its evolution. The two powerful ideas that are constants throughout his work, and which have dominated subsequent developments in mathematics, are the concept of mathematical structure and the idea of the essential unity underlying the apparent multiplicity of mathematical disciplines. This collection of his major writings offers readers a much-needed insight into his influence on the development of mathematics and philosophy. (shrink)

Metaphysics, Mathematics, and Meaning brings together Nathan Salmon's influential papers on topics in the metaphysics of existence, non-existence, and fiction; modality and its logic; strict identity, including personal identity; numbers and numerical quantifiers; the philosophical significance of Godel's Incompleteness theorems; and semantic content and designation. Including a previously unpublished essay and a helpful new introduction to orient the reader, the volume offers rich and varied sustenance for philosophers and logicians.

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal (...) science, mathematical ontology: what does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

I explore physics implications of the External Reality Hypothesis (ERH) that there exists an external physical reality completely independent of us humans. I argue that with a sufficiently broad definition of mathematics, it implies the Mathematical Universe Hypothesis (MUH) that our physical world is an abstract mathematical structure. I discuss various implications of the ERH and MUH, ranging from standard physics topics like symmetries, irreducible representations, units, free parameters, randomness and initial conditions to broader issues like consciousness, parallel universes (...) and Gödel incompleteness. I hypothesize that only computable and decidable (in Gödel’s sense) structures exist, which alleviates the cosmological measure problem and may help explain why our physical laws appear so simple. I also comment on the intimate relation between mathematical structures, computations, simulations and physical systems. (shrink)

Reverse mathematics is a program in mathematical logic that seeks to give precise answers to the question of which axioms are necessary in order to prove theorems of "ordinary mathematics": roughly speaking, those concerning structures that are either themselves countable, or which can be represented by countable "codes". This includes many fundamental theorems of real, complex, and functional analysis, countable algebra, countable infinitary combinatorics, descriptive set theory, and mathematical logic. This entry aims to give the reader a broad (...) introduction to the history, methodology, and results of the reverse mathematics program, with a particular focus on its connections to foundational programs such as finitism, constructivism, and predicativism. (shrink)

There is a major debate as to whether there are non-causal mathematical explanations of physical facts that show how the facts under question arise from a degree of mathematical necessity considered stronger than that of contingent causal laws. We focus on Marc Lange’s account of distinctively mathematical explanations to argue that purported mathematical explanations are essentially causal explanations in disguise and are no different from ordinary applications of mathematics. This is because these explanations work not by appealing to what (...) the world must be like as a matter of mathematical necessity but by appealing to various contingent causal facts. (shrink)

Sam Gillespie's The Mathematics of Novelty presents a new account of Alain Badiou and Gilles Deleuze, identifying conceptual impasses in their philosophical ...

The first English collection of the work of Albert Lautman, a major figure in philosophy of mathematics and a key influence on Badiou and Deleuze.

The paper is the final, fifth part of a series of studies introducing the new conceptions of “Hilbert mathematics” and “ontomathematics”. The specific subject of the present investigation is the proper philosophical sense of both, including philosophy of mathematics and philosophy of physics not less than the traditional “first philosophy” (as far as ontomathematics is a conservative generalization of ontology as well as of Heidegger’s “fundamental ontology” though in a sense) and history of philosophy (deepening Heidegger’s destruction of (...) it from the pre-Socratics to the Pythagoreans). Husserl’s phenomenology and Heidegger’s derivative “fundamental ontology” as well as his later doctrine after the “turn” are the starting point of the research as established and well known approaches relative to the newly introduced conception of ontomathematics, even more so that Husserl himself started criticizing his “Philosophy of arithmetic” as too naturalistic and psychological turning to “Logical investigations” and the foundations of phenomenology. Heidegger’s “Aletheia” is also interpreted ontomathematically: as a relation of locality and nonlocality, respectively as a motion from nonlocality to locality if both are physically considered. Aristotle’s ontological revision of Plato’s doctrine is “destructed” further from the pre-Socratics' “Logos” or Heideger’s “Language” (after the “turn”) to the Pythagoreans “Numbers” or “Arithmetics” as an inherent and fundamental philosophical doctrine. Then, a leap to contemporary physics elucidates the essence of ontomathematics overcoming the Cartesian abyss inherited from Plato’s opposition of “ideas” versus “things”, and now unifying physics and mathematics, particularly allowing for the “creation from nothing” instead of the quasi-scientific myth of the “Big Bang”. Furthermore, ontomathematics needs another interpretation of arithmetic, propositional logic and set theory in the foundations of mathematics, where the latter two ones are both identified with Boolean algebra, and the former is considered to be a “half of Boolean algebra” in the exact meaning to be equated to it after doubling by a dual anti-isometric counterpart of Peano arithmetic. That unified algebraic realization of the foundations of mathematics is related to Hilbert mathematics in both “narrow and wide senses” where the latter is isomorphic to the qubit Hilbert space, thus underlying all the physical world by the newly introduced substance of quantum information being physically dimensionless and generalizing classical information measured in bits. The substance of information, whether classical or quantum, visualizes the way of the unification of physics and mathematics by merging their foundations in Hilbert arithmetic and Hilbert mathematics: thus how ontomathetics is a “first philosophy”. The relation of ontomathematics to the Socratic “human problematics”, furthermore being fundamental for Western philosophy in Modernity, is discussed. Ontomathematics implies its “substitution” by abstract information (or by “subjectless choice” relevant to it), thus “obliterating the human outline on the ocean beach sand” (by Michel Foucault’s metaphor). A reflection back from the viewpoint of mathematic to Western philosophy as the philosophy of locality ends the study. (shrink)

The reconstruction of Leibniz’s metaphysics that Deleuze undertakes in The Fold provides a systematic account of the structure of Leibniz’s metaphysics in terms of its mathematical foundations. However, in doing so, Deleuze draws not only upon the mathematics developed by Leibniz—including the law of continuity as reflected in the calculus of infinite series and the infinitesimal calculus—but also upon developments in mathematics made by a number of Leibniz’s contemporaries—including Newton’s method of fluxions. He also draws upon a number (...) of subsequent developments in mathematics, the rudiments of which can be more or less located in Leibniz’s own work—including the theory of functions and singularities, the Weierstrassian theory of analytic continuity, and Poincaré’s theory of automorphic functions. Deleuze then retrospectively maps these developments back onto the structure of Leibniz’s metaphysics. While the Weierstrassian theory of analytic continuity serves to clarify Leibniz’s work, Poincaré’s theory of automorphic functions offers a solution to overcome and extend the limits that Deleuze identifies in Leibniz’s metaphysics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. This essay is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

This paper argues that modal realism has a problem with mathematical impossibilities. Due to the peculiar way it treats both propositions and mathematical objects, modal realism cannot distinguish the content of different mathematically impossible beliefs. While one might be happy to identify all logically impossible beliefs, there are many different mathematically impossible beliefs, none of which is a belief in a logical contradiction. The fact that it cannot distinguish these beliefs speaks against adopting modal realism.

"This book is interesting and well-written. The research methods were explained clearly and conclusions were summarized nicely. It is a relatively quick read at only 130 pages. Anyone who has been told, or who has told others, that mathematicians make better thinkers should read this book." MAA Reviews "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have (...) with basic syllogisms and deductions." CHOICE connect "The authors particularly attend to protecting positive correlations against the self-selection interpretation, merely that logical minds elect studying more mathematics. Here, one finds a stimulating survey of the systemic difficulties people have with basic syllogisms and deductions." CHOICE Connect For centuries, educational policymakers have believed that studying mathematics is important, in part because it develops general thinking skills that are useful throughout life. This 'Theory of Formal Discipline' (TFD) has been used as a justification for mathematics education globally. Despite this, few empirical studies have directly investigated the issue, and those which have showed mixed results. Does Mathematical Study Develop Logical Thinking? describes a rigorous investigation of the TFD. It reviews the theory's history and prior research on the topic, followed by reports on a series of recent empirical studies. It argues that, contrary to the position held by sceptics, advanced mathematical study does develop certain general thinking skills, however these are much more restricted than those typically claimed by TFD proponents. Perfect for students, researchers and policymakers in education, further education and mathematics, this book provides much needed insight into the theory and practice of the foundations of modern educational policy. (shrink)

We propose a characterization of mathematical experiments in terms of a setup, a process with an outcome, and an interpretation. Using a broad notion of process, this allows us to consider arithmetic calculations and geometric constructions as components of mathematical experiments. Moreover, we argue that mathematical experiments should be considered within a broader context of an experimental research project. Finally, we present a particular case study of the genesis of a geometric construction to illustrate the experimental use of hand drawings (...) and computers in mathematical practice. (shrink)

It is commonly suggested that evolutionary considerations generate an epistemological challenge for moral realism. At first approximation, the challenge for the moral realist is to explain our having many true moral beliefs, given that those beliefs are the products of evolutionary forces that would be indifferent to the moral truth. An important question surrounding this challenge is the extent to which it generalizes. In particular, it is of interest whether the Evolutionary Challenge for moral realism is equally a challenge for (...) mathematical realism. It is widely thought not to be. In this paper, I argue that the Evolutionary Challenge for moral realism is equally a challenge for mathematical realism. Along the way, I substantially clarify the Evolutionary Challenge, discuss its relation to more familiar epistemological challenges, and broach the problem of moral disagreement. The paper should be of interest to ethicists because it places pressure on anyone who rejects moral realism on the basis of the Evolutionary Challenge to reject mathematical realism as well. And the paper should be of interest to philosophers of mathematics because it presents a new epistemological challenge for mathematical realism that bears, I argue, no simple relation to Paul Benacerraf's familiar challenge. (shrink)

This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of (...) class='Hi'>mathematics--the view that mathematics is about things that really exist. (shrink)

The philosophical analysis of mathematical explanations concerns itself with two different, although connected, areas of investigation. The first area addresses the problem of whether mathematics can play an explanatory role in the natural and social sciences. The second deals with the problem of whether mathematical explanations occur within mathematics itself. Accordingly, this entry surveys the contributions to both areas, it shows their relevance to the history of philosophy and science, it articulates their connection, and points to the philosophical (...) pay-offs to be expected by deepening our understanding of the topic. (shrink)

The first history of postwar mathematics, offering a new interpretation of the rise of abstraction and axiomatics in the twentieth century. Why did abstraction dominate American art, social science, and natural science in the mid-twentieth century? Why, despite opposition, did abstraction and theoretical knowledge flourish across a diverse set of intellectual pursuits during the Cold War? In recovering the centrality of abstraction across a range of modernist projects in the United States, Alma Steingart brings mathematics back into the (...) conversation about midcentury American intellectual thought. The expansion of mathematics in the aftermath of World War II, she demonstrates, was characterized by two opposing tendencies: research in pure mathematics became increasingly abstract and rarified, while research in applied mathematics and mathematical applications grew in prominence as new fields like operations research and game theory brought mathematical knowledge to bear on more domains of knowledge. Both were predicated on the same abstractionist conception of mathematics and were rooted in the same approach: modern axiomatics. For American mathematicians, the humanities and the sciences did not compete with one another, but instead were two complementary sides of the same epistemological commitment. Steingart further reveals how this mathematical epistemology influenced the sciences and humanities, particularly the postwar social sciences. As mathematics changed, so did the meaning of mathematization. Axiomatics focuses on American mathematicians during a transformative time, following a series of controversies among mathematicians about the nature of mathematics as a field of study and as a body of knowledge. The ensuing debates offer a window onto the postwar development of mathematics band Cold War epistemology writ large. As Steingart's history ably demonstrates, mathematics is the social activity in which styles of truth-here, abstraction-become synonymous with ways of knowing. (shrink)

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. (...) In Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. (shrink)

Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The book presents the fundamental topics in mathematical logic and presents clear and complete proofs throughout the text. Such proofs are used to develop the language of propositional logic and the language of first-order logic, including the notion of a formal deduction. The text also covers Tarski’s definition of truth and the computability concept. It (...) also provides coherent proofs of Godel’s completeness and incompleteness theorems. Moreover, the text was written with the student in mind and thus, it provides an accessible introduction to mathematical logic. In particular, the text explicitly shows the reader how to prove the basic theorems and presents detailed proofs throughout the book. Most undergraduate books on mathematical logic are written for a reader who is well-versed in logical notation and mathematical proof. This textbook is written to attract a wider audience, including students who are not yet experts in the art of mathematical proof. (shrink)

Despite the importance of mathematics in our educational systems little is known about how abstract mathematical thinking emerges. Under the uniting thread of mathematical development, we hope to connect researchers from various backgrounds to provide an integrated view of abstract mathematical cognition. Much progress has been made in the last 20 years on how numeracy is acquired. Experimental psychology has brought to light the fact that numerical cognition stems from spatial cognition. The findings from neuroimaging and single cell recording (...) experiments converge to show that numerical representations take place in the intraparietal sulcus. Further research has demonstrated that supplementary neural networks might be recruited to carry out subtasks; for example, the retrieval of arithmetic facts is done by the angular gyrus. Now that the neural networks in charge of basic mathematical cognition are identified, we can move onto the stage where we seek to understand how these basics skills are used to support the acquisition and use of abstract mathematical concepts. (shrink)

Logical paradoxes – like the Liar, Russell's, and the Sorites – are notorious. But in Paradoxes and Inconsistent Mathematics, it is argued that they are only the noisiest of many. Contradictions arise in the everyday, from the smallest points to the widest boundaries. In this book, Zach Weber uses “dialetheic paraconsistency” – a formal framework where some contradictions can be true without absurdity – as the basis for developing this idea rigorously, from mathematical foundations up. In doing so, Weber (...) directly addresses a longstanding open question: how much standard mathematics can paraconsistency capture? The guiding focus is on a more basic question, of why there are paradoxes. Details underscore a simple philosophical claim: that paradoxes are found in the ordinary, and that is what makes them so extraordinary. (shrink)

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly (...) the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

Therefore, the text is divided into three parts: an introduction into mathematical logic (Chapter 1), model theory (Chapters 2 and 3), and the model theoretic ...

An introduction to Mathematical Logic using a unique pedagogical approach in which the students implement the underlying conceps as well as almost all the mathematical proofs in the Python programming language. The textbook is accompanied by an extensive collection of programming tasks, code skeletons, and unit tests. The covered mathematical material includes Propositional Logic and first-order Predicate Logic, culminating in a proof of Gödel's Completeness Theorem. A "sneak peak" into Gödel's Incompleteness Theorem is also provided.

This chapter discusses the complex conditions for the emergence of 19th-century symbolic logic. The main scope will be on the mathematical motives leading to the interest in logic; the philosophical context will be dealt with only in passing. The main object of study will be the algebra of logic in its British and German versions. Special emphasis will be laid on the systems of George Boole and above all of his German follower Ernst Schröder.

This is the first book-length analysis of the techniques and procedures of ancient mathematical commentaries. It focuses on examples in Chinese, Sanskrit, Akkadian and Sumerian, and Ancient Greek, presenting the general issues by constant detailed reference to these commentaries, of which substantial extracts are included in the original languages and in translation, sometimes for the first time. This makes the issues accessible to readers without specialized training in mathematics or in the languages involved. The result is a much richer (...) understanding than was hitherto possible of the crucial role of commentaries in the history of mathematics in four different linguistic areas, of the nature of mathematical commentaries in general, of the contribution that the study of mathematical commentaries can make to the history of science and to the study of commentaries in general, and of the ways in which mathematical commentaries are like and unlike other kinds of commentaries. (shrink)

A discussion of Plato's evaluation of mathematics as an intellectual discipline, and his reasons for training his philosopher-rulers to be mathematical experts.

This book uses Ludwig Wittgenstein's philosophical methodology to solve a problem that has perplexed thinkers for thousands of years: 'how come (abstract) mathematics applies so wonderfully well to the (concrete, physical) world?' The book is distinctive in several ways. First, it gives the reader a route into understanding important features of Wittgenstein's writings and lectures by using his methodology to tackle this long-standing and seemingly intractable philosophical problem. More than this, though, it offers an outline of important (sometimes little-known) (...) aspects of the development of mathematical thought through the ages, and an engagement of Wittgenstein's philosophy with this and with contemporary philosophy of mathematics on its own terms. A clear overview of all this in the context of Wittgenstein's philosophy of mathematics is interesting in its own right; it is also just what is needed to solve the problem of mathematics and world. (shrink)

The systematic mapping of the interplay of ontology and epistemology in the context of present day philosophy of mathematics constitutes an important heuristic goal. In order to achieve it, we must analyze and reinterpret the position of mathematics in philosophy." -- Back cover.

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

A Mathematical Introduction to Logic, Second Edition, offers increased flexibility with topic coverage, allowing for choice in how to utilize the textbook in a course. The author has made this edition more accessible to better meet the needs of today's undergraduate mathematics and philosophy students. It is intended for the reader who has not studied logic previously, but who has some experience in mathematical reasoning. Material is presented on computer science issues such as computational complexity and database queries, with (...) additional coverage of introductory material such as sets. Increased flexibility of the text, allowing instructors more choice in how they use the textbook in courses. Reduced mathematical rigour to fit the needs of undergraduate students. (shrink)

The Fourth Edition of this long-established text retains all the key features of the previous editions, covering the basic topics of a solid first course in ...

In §69.b of BT Heidegger attempts an existential genetic analysis of science, i.e. a phenomenology of the conceptual process of the constitution of the logical view of science (science seen as theory) starting from the Dasein. It attempts to do so by examining the special intentional-existential modification of (human) being-in-the-world, which is called the "mathematical projection of nature"; that is, by examining that special modification of our being, which places us in the state of experience that presents the world to (...) us as taught by, e.g., Galileo and Newton. The idea he puts forward is that modern mathematical physics and the corresponding experience of the real is the result of the mathematical projection of nature. Modern science, Heidegger says, stands out because it is mathematical. But we cannot get the answer to what this mathematicality consists in from mathematics, because mathematics is only a special manifestation of mathematicality. Here is what Heidegger means by "mathematicality" and, accordingly by "mathematical projection of nature." If one were to let two bodies of different weights fall simultaneously from the top of the tower of Pisa, Heidegger notes, both Galileo and an Aristotelian would see that the two bodies would reach the ground with as little time difference as possible, and not at exactly the same moment. Galileo, however, does something decisive: he claims that under conditions that would be impossible to ensure (if we removed absolutely all resistance to the motion of the bodies), the two bodies would reach the ground absolutely simultaneously. This is not something that he or the Aristotelian sees happening empirically. How, then, does Galileo insist so firmly on his position? How exactly does it happen that he has before him such a view of things? Heidegger's answer is that Galileo is mathematically projecting nature. In his Dialogues Galileo says "I conceive with my mind" (mente concipio) a body thrown to move on an infinitely extending horizontal plane, having eliminated from its path every possible obstacle. Finally, I argue that from the detailed interpretation of Heidegger's points of the mathematical and of the notion of mathematical projection of nature, we can arrive at the conclusions I had arrived at in my doctoral dissertation (2000) as regards the meaning and function of thought experiments in physics as seen from a Husserlian phenomenological point of view as intentional acts. In a nutshell, in thought experiments physics constitutes the special metaphysics (to use the Kantian term) of the primordial ontological region it investigates as well as attempts to make natural sense of the mathematical formalism in cases it proves necessary. (shrink)

This fundamental and straightforward text addresses a weakness observed among present-day students, namely a lack of familiarity with formal proof. Beginning with the idea of mathematical proof and the need for it, associated technical and logical skills are developed with care and then brought to bear on the core material of analysis in such a lucid presentation that the development reads naturally and in a straightforward progression. Retaining the core text, the second edition has additional worked examples which users have (...) indicated a need for, in addition to more emphasis on how analysis can be used to tell the accuracy of the approximations to the quantities of interest which arise in analytical limits. (shrink)

This book examines the interface between mathematics and applied sciences. The editor examines the present and future needs for the interaction between various science and engineering areas. This edited book brings together the cutting-edge research on mathematics, combining various fields of science and engineering. The book begins with an introduction to computing and modeling. Next, computation and modeling trends are covered, along with chapters on structural static and vibration problems, heat conduction and diffusion problems, and fluid dynamics problems. (...) Soft computing and machine intelligence based modeling are also discussed, along with bio medical problems. The book concludes with a chapter on modeling in mining, electrical, electronics, and chemical problems. This book is a reference for students and researchers in various fields of engineering such as computer, mechanical, civil, aerospace, electrical, and chemical, as well as and other sciences such as applied mathematics, physics, chemistry, and life sciences. (shrink)