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)

Many books explain what is known about the universe. This book investigates what cannot be known. Rather than exploring the amazing facts that science, mathematics, and reason have revealed to us, this work studies what science, mathematics, and reason tell us cannot be revealed. In The Outer Limits of Reason, Noson Yanofsky considers what cannot be predicted, described, or known, and what will never be understood. He discusses the limitations of computers, physics, logic, and our own thought processes. (...) Yanofsky describes simple tasks that would take computers trillions of centuries to complete and other problems that computers can never solve; perfectly formed English sentences that make no sense; different levels of infinity; the bizarre world of the quantum; the relevance of relativity theory; the causes of chaos theory; math problems that cannot be solved by normal means; and statements that are true but cannot be proven. He explains the limitations of our intuitions about the world -- our ideas about space, time, and motion, and the complex relationship between the knower and the known. Moving from the concrete to the abstract, from problems of everyday language to straightforward philosophical questions to the formalities of physics and mathematics, Yanofsky demonstrates a myriad of unsolvable problems and paradoxes. Exploring the various limitations of our knowledge, he shows that many of these limitations have a similar pattern and that by investigating these patterns, we can better understand the structure and limitations of reason itself. Yanofsky even attempts to look beyond the borders of reason to see what, if anything, is out there. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with no Object, by J.P. (...) Burgess and G. Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

This paper presents the idea, structure, history, goals, and accomplishments of mathematics and science laboratories as they have been organized and taught at Trinity College. The laboratories are designed to develop specific science and mathematics problem-solving skills, presenting them within the context of humanities-related inquiry (e.g. neural network theory within the context of philosophy of mind). These laboratories are especially valuable in providing humanities students with literacy in advanced science and mathematics materials that, since they are not (...) requisite for humanities majors, humanities students would not be exposed to otherwise. Especially in the case of philosophy, laboratories bear the additional benefit of dissolving insularity, opening up study onto directly relevant fields and enriching and informing philosophical inquiry. The author concludes by considering philosophy’s relationship to science and mathematics, what these relationships imply for how a philosophy education should be structured, and the important role that science and mathematics laboratories play in that education. (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)

Let us begin with the simple observation that applied mathematics can be very tough! It is a common occurrence that basic physical principle instructs us to construct some syntactically simple set of differential equations, but it then proves almost impossible to extract salient information from them. As Charles Peirce once remarked, you can’t get a set of such equations to divulge their secrets by simply tilting at them like Don Quixote. As a consequence, applied mathematicians are often forced to pursue (...) roundabout and shakily rationalized expedients if any useful progress is to be made. Often these provisional and quasi-empirical procedures within applied mathematics loom large in motivating the “anti-realist” or “anti-unificationist” conclusions of Nancy Cartwright and allied authors. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have (...) been expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

The is the Editorial of the 2015 JPBMB Special Issue on Integral Biomathics: Life Sciences, Mathematics and Phenomenological Philosophy.

This chapter argues that the standard conception of Spinoza as a fellow-travelling mechanical philosopher and proto-scientific naturalist is misleading. It argues, first, that Spinoza’s account of the proper method for the study of nature presented in the Theological-Political Treatise (TTP) points away from the one commonly associated with the mechanical philosophy. Moreover, throughout his works Spinoza’s views on the very possibility of knowledge of nature are decidedly sceptical (as specified below). Third, in the seventeenth-century debates over proper methods in the (...) sciences, Spinoza sided with those that criticized the aspirations of those (the physico-mathematicians, Galileo, Huygens, Wallis, Wren, etc) who thought the application of mathematics to nature was the way to make progress. In particular, he offers grounds for doubting their confidence in the significance of measurement as well as their piece-meal methodology (see section 2). Along the way, this chapter offers a new interpretation of common notions in the context of treating Spinoza’s account of motion (see section 3). (shrink)

"_Weaving the World_ is a well-written and lucid overview of Simone Weil's writings on science and mathematics. This book will be of great benefit for anyone who wishes to pursue Weil's thought in depth." —_Eric O. Springsted, President of the American Weil Society_ "_Weaving the World_ is a detailed account of the philosophy of science and knowledge of Simone Weil. It is a very useful contribution to our understanding of one of the deepest and most incandescent thinkers of (...) the twentieth century." —_Martin Andic, University of Massachusetts, Boston_ This clearly written book introduces readers to Simone Weil’s philosophy of science and mathematics. Weil held that, for the ancient Greeks, the ultimate purpose of science and mathematics was the knowledge and love of the divine. Her creative assimilation of this vision led her to a conception of science and mathematics that connects the human person with not only the physical world but also the spiritual and aesthetic aspects of human existence. Vance Morgan sketches an outline of a metaphysical foundation for mathematics and science that, according to Weil, opens the door to a reinvigorated discussion among science, philosophy, art, and religion. (shrink)

Projections of future climate change cannot rely on a single model. It has become common to rely on multiple simulations generated by Multi-Model Ensembles (MMEs), especially to quantify the uncertainty about what would constitute an adequate model structure. But, as Parker points out (2018), one of the remaining philosophically interesting questions is: “How can ensemble studies be designed so that they probe uncertainty in desired ways?” This paper offers two interpretations of what General Circulation Models (GCMs) are and how MMEs (...) made of GCMs should be designed. In the first interpretation, models are combinations of modules and parameterisations; an MME is obtained by “plugging and playing” with interchangeable modules and parameterisations. In the second interpretation, models are aggregations of expert judgements that result from a history of epistemic decisions made by scientists about the choice of representations; an MME is a sampling of expert judgements from modelling teams. We argue that, while the two interpretations involve distinct domains from philosophy of science and social epistemology, they both could be used in a complementary manner in order to explore ways of designing better MMEs. (shrink)

Mathematics as a Science of Patterns is the definitive exposition of 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 (...) defence of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist. Resnik's distinctive philosophy of mathematics is here presented in an accessible and systematic form: it will be of value not only to specialists in this area, but to philosophers, mathematicians, and logicians interested in the relationship between these three disciplines, or in truth, realism, and epistemology. (shrink)

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues.

Imre Lakatos' philosophical and scientific papers are published here in two volumes. Volume I brings together his very influential but scattered papers on the philosophy of the physical sciences, and includes one important unpublished essay on the effect of Newton's scientific achievement. Volume 2 presents his work on the philosophy of mathematics (much of it unpublished), together with some critical essays on contemporary philosophers of science and some famous polemical writings on political and educational issues.

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 mathematics--the view (...) that mathematics is about things that really exist. (shrink)

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this work (...) is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)

Mathematics is as much a part of our humanity as music and art. And it is our mathematics that might be understandable, even familiar, to a distant race and might provide the basis for mutual communication. This book discusses, in a conversational way, the role of mathematics in the search for extraterrestrial intelligence. The author explores the science behind that search, its history, and the many questions associated with it, including those regarding the nature of language and the philosophical/psychological (...) motivation behind this search. (shrink)

Kant famously distinguishes between the methods of mathematics and of metaphysics, holding that metaphysicians err when they avail themselves of the mathematical method. Nonetheless, in the Metaphysical Foundations of Natural Science, he insists that mathematics and metaphysics must jointly ground ‘proper natural science’. This article examines the distinctive contributions and unity of mathematics and metaphysics to the foundations of the science of body. I argue that the two are distinct insofar as they involve distinctive sorts of grounding (...) relations – mathematics pertains to formal grounding, while metaphysics concerns material grounding – while they are unified insofar as they treat motion, the fundamental determination of the science of body. (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)

There is a wide range of realist but non-Platonist philosophies of mathematics—naturalist or Aristotelian realisms. Held by Aristotle and Mill, they played little part in twentieth century philosophy of mathematics but have been revived recently. They assimilate mathematics to the rest of science. They hold that mathematics is the science of X, where X is some observable feature of the (physical or other non-abstract) world. Choices for X include quantity, structure, pattern, complexity, relations. The article lays out and (...) compares these options, including their accounts of what X is, the examples supporting each theory, and the reasons for identifying the science of X with (most or all of) mathematics. Some comparison of the options is undertaken, but the main aim is to display the spectrum of viable alternatives to Platonism and nominalism. It is explained how these views answer Frege’s widely accepted argument that arithmetic cannot be about real features of the physical world, and arguments that such mathematical objects as large infinities and perfect geometrical figures cannot be physically realized. (shrink)

Does mathematics ever play an explanatory role in science? If so then this opens the way for scientific realists to argue for the existence of mathematical entities using inference to the best explanation. Elsewhere I have argued, using a case study involving the prime-numbered life cycles of periodical cicadas, that there are examples of indispensable mathematical explanations of purely physical phenomena. In this paper I respond to objections to this claim that have been made by various philosophers, and I (...) discuss potential future directions of research for each side in the debate over the existence of abstract mathematical objects. (shrink)

This book identifies the organizing concepts of physical and biological phenomena by an analysis of the foundations of mathematics and physics.

Economics today cannot predict the likely outcome of specific events any better than it could in the time of Adam Smith. This is Alexander Rosenberg's controversial challenge to the scientific status of economics. Rosenberg explains that the defining characteristic of any science is predictive improvability--the capacity to create more precise forecasts by evaluating the success of earlier predictions--and he forcefully argues that because economics has not been able to increase its predictive power for over two centuries, it is not (...) a science. (shrink)

The important role of mathematical representations in scientific thinking has received little attention from cognitive scientists. This study argues that neglect of this issue is unwarranted, given existing cognitive theories and laws, together with promising results from the cognitive historical analysis of several important scientists. In particular, while the mathematical wizardry of James Clerk Maxwell differed dramatically from the experimental approaches favored by Michael Faraday, Maxwell himself recognized Faraday as “in reality a mathematician of a very high order,” and his (...) own work as in some respects a re‐representation of Faraday’s field theory in analytic terms. The implications of the similarities and differences between the two figures open new perspectives on the cognitive role of mathematics as a learned mode of representation in science. (shrink)

A basic thesis of Neokantian epistemology and philosophy of science contends that the knowing subject and the object to be known are only abstractions. What really exists, is the relation between both. For the elucidation of this “knowledge relation ("Erkenntnisrelation") the Neokantians of the Marburg school used a variety of mathematical metaphors. In this con-tribution I reconsider some of these metaphors proposed by Paul Natorp, who was one of the leading members of the Marburg school. It is shown that (...) Natorp's metaphors are not unrelated to those used in some currents of contemporary epistemology and philosophy of science. (shrink)

Philosophers of mathematics have become increasingly interested in the explanatory role of mathematics in empirical science, in the context of new versions of the Quinean ‘Indispensability Argument’ which employ inference to the best explanation for the existence of abstract mathematical objects. However, little attention has been paid to analysing the nature of the explanatory relation involved in these mathematical explanations in science (MES). In this paper, I attack the only articulated account of MES in the literature (an account (...) sketched by Mark Steiner), according to which a genuine MES incorporates an explanatory proof of the mathematical result being used. The central case study involves an explanation for why bees build the cells of their honeycombs in the shape of hexagons. I make a distinction between two kinds of MES, mathematics-driven explanation in science and science-driven mathematical explanation, and argue that it is the second category which is both scientifically and philosophical more central. I conclude that the explanatory relation involved in MES is genuinely scientific and hence that the phenomenon of MES poses a challenge to general accounts of scientific explanation. (shrink)

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.The logical systems presented are:- Propositional calculus (including binary decision diagrams);- Predicate calculus;- Resolution;- Hoare (...) logic;- Z;- Temporal logic.Answers to exercises (for instructors only) as well as Prolog source code for algorithms may be found via the Springer London web site: http://www.springer.com/978-1-85233-319-5 Mordechai Ben-Ari is an associate professor in the Department of Science Teaching of the Weizmann Institute of Science. He is the author of numerous textbooks on concurrency, programming languages and logic, and has developed software tools for teaching concurrency. In 2004, Ben-Ari received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education. (shrink)

Most philosophers of mathematics try to show either that the sort of knowledge mathematicians have is similar to the sort of knowledge specialists in the empirical sciences have or that the kind of knowledge mathematicians have, although apparently about objects such as numbers, sets, and so on, isn't really about those sorts of things as well. Jody Azzouni argues that mathematical knowledge really is a special kind of knowledge with its own special means of gathering evidence. He analyses the linguistic (...) pitfalls and misperceptions philosophers in this field are often prone to, and explores the misapplications of epistemic principles from the empirical sciences to the exact sciences. What emerges is a picture of mathematics both sensitive to mathematical practice, and to the ontological and epistemological issues that concern philosophers. (shrink)

Mathematics plays a central role in modern science. However, it is very common an instrumental and utilitarian view of math leading to the underestimation of its scientific nature. We propose some consideration to emphasize a different idea on the fundamental role of math in modern science.

Preface -- 1. Propositional logic : proofs from axioms and inference rules -- 2. First order logic : proofs with quantifiers -- 3. Set theory : proofs by detachment, contraposition, and contradiction -- 4. Mathematical induction : definitions and proofs by induction -- 5. Well-formed sets : proofs by transfinite induction with already well-ordered sets -- 6. The axiom of choice : proofs by transfinite induction -- 7. applications : Nobel-Prize winning applications of sets, functions, and relations -- 8. Solutions (...) to some odd-numbered exercises. (shrink)

This is a book that no one but Weyl could have written--and, indeed, no one has written anything quite like it since.

Professor Michael Edgeworth McIntyre is an eminent scientist who has also had a part-time career as a musician. From a lifetime's thinking, he offers this extraordinary synthesis exposing the deepest connections between science, music, and mathematics, while avoiding equations and technical jargon. He begins with perception psychology and the dichotomization instinct and then takes us through biological evolution, human language, and acausality illusions all the way to the climate crisis and the weaponization of the social media, and beyond that (...) into the deepest parts of theoretical physics - demonstrating our unconscious mathematical abilities. He also has an important message of hope for the future. Contrary to popular belief, biological evolution has given us not only the nastiest, but also the most compassionate and cooperative parts of human nature. This insight comes from recognizing that biological evolution is more than a simple competition between selfish genes. Rather, he suggests, in some ways it is more like turbulent fluid flow, a complex process spanning a vast range of timescales. Professor McIntyre is a Fellow of the Royal Society of London (FRS) and has worked on problems as diverse as the Sun's magnetic interior, the Antarctic ozone hole, jet streams in the atmosphere, and the psychophysics of violin sound. He has long been interested in how different branches of science can better communicate with each other and with the public, harnessing aspects of neuroscience and psychology that point toward the deep 'lucidity principles' that underlie skilful communication. (shrink)

What role does mathematics play in cognitive science today, what role should mathematics play in cognitive science tomorrow? The cautious short answers are: to the factual question, a rather modest role, except in peripheral areas; to the normative question, a far greater role, as the periphery’s place is reevaluated and as both cognitive science and mathematics grow. This paper aims at providing more detailed, perhaps more contentious answers.