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)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

We propose simple nonlinear mathematical models for the legal concept of balancing of interests. Our aim is to bridge the gap between an abstract formalisation of a balancing decision while assuring consistency and ultimately legal certainty across cases. We focus on the conflict between the rights to privacy and to the protection of personal data in Art. 7 and Art. 8 of the EU Charter of Fundamental Rights (EUCh) against the right of access to information derived from Art. 11 (...) EUCh. These competing rights are denoted by ( \(i_1\) ) _right to privacy _ and ( \(i_2\) ) _access to information_; mathematically, their indices are respectively assigned by \(u_1\in [0,1]\) and \(u_2\in [0,1]\) subject to the constraint \(u_1+u_2=1\). This constraint allows us to use one single index _u_ to resolve the conflict through balancing. The outcome will be concluded by comparing the index _u_ with a prior given threshold \(u_0\). For simplicity, we assume that the balancing depends on only selected legal criteria such as the social status of affected person, and the sphere from which the information originated, which are represented as inputs of the models, called legal parameters. Additionally, we take “time” into consideration as a legal criterion, building on the European Court of Justice’s ruling on the right to be forgotten: by considering time as a legal parameter, we model how the outcome of the balancing changes over the passage of time. To catch the dependence of the outcome _u_ by these criteria as legal parameters, data were created by a fully-qualified lawyer. By comparison to other approaches based on machine learning, especially neural networks, this approach requires significantly less data. This might come at the price of higher abstraction and simplification, but also provides for higher transparency and explainability. Two mathematical models for _u_, a time-independent model and a time-dependent model, are proposed, that are fitted by using the data. (shrink)

The contributions to this volume are from participants of the international conference "Kreisel's Interests - On the Foundations of Logic and Mathematics", which took place from 13 to 14 2018 at the University of Salzburg in Salzburg, Austria. The contributions have been revised and partially extended. Among the contributors are Akihiro Kanamori, Göran Sundholm, Ulrich Kohlenbach, Charles Parsons, Daniel Isaacson, and Kenneth Derus. The contributions cover the discussions between Kreisel and Wittgenstein on philosophy of mathematics, Kreisel's Dictum, proof theory, the (...) discussions between Kreisel and Gödel on philosophy of mathematics, some bibliographical facts, and a collection of extracts from Kreisel's letters. (shrink)

Although much research has found girls to be less interested in mathematics than boys are, there are many countries in which the opposite holds. I hypothesize that variation in gender differences in interest are driven by a complex process in which national culture promoting high math achievement drives down interest in math schoolwork, with the effect being amplified among girls due to their higher conformity to peer influence. Predictions from this theory were tested in a study of data (...) on more than 500,000 grade 8 students in 50 countries from the 2011 and 2015 waves of TIMSS. Consistent with predictions, national achievement levels were strongly negatively correlated with national levels of math schoolwork interest and this variation was larger among girls: girls in low-achievement, high-interest countries had especially high interest in math schoolwork, whereas girls in high-achievement, low-interest countries had especially low interest in math schoolwork. Gender differences in math schoolwork interest were also found to be related to gender differences in math achievement, emphasizing the importance of understanding them better. (shrink)

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought. Ettore Carruccio covers the evolution of mathematics from the (...) most ancient times to our own day. In simple and non-technical language, he observes the changes that have taken place in the conception of rational theory, until we reach the lively, delicate and often disconcerting problems of modern logical analysis. The book contains an unusual wealth of detail (including specimen demonstrations) on such subjects as the critique of Euclid's fifth postulate, the rise of non-Euclidean geometry, the introduction of theories of infinite sets, the construction of abstract geometry, and-in a notably intelligible discussion-the development of modern symbolic logic and meta-mathematics. Scientific problems in general and mathematical problems in particular show their full meaning only when they are considered in the light of their own history. This book accordingly takes the reader to the heart of mathematical questions, in a way that teacher, student and layman alike will find absorbing and illuminating. The history of mathematics is a field that continues to fascinate people interested in the course of creativity, and logical inference quite part and in addition to those with direct mathematical interests. Ettore Carruccio, who until his retirement was professor of philosophy at the University of Turin. He has made many contributions to mathematical and logical theory as well as to the history of the science. Isabel Quigly was the literary editor of The Tablet for many years. (shrink)

Mathematical rigor is commonly formulated by mathematicians and philosophers using the notion of proof gap: a mathematical proof is rig­orous when there is no gaps in the mathematical reasoning of the proof. Any philosophical approach to mathematical rigor along this line requires then an account of what a proof gap is. However, the notion of proof gap makes sense only relatively to a given conception of valid mathematical reasoning, i.e., to a given conception of the (...) validity of mathematical inference. A proof gap can in particular be conceived as a failure in drawing a valid mathematical inference. The aim of this paper is to discuss two possible views of the validity of math­ematical inference with respect to their capacity to yield a plausible account of the intuitive notion(s) of proof gap present in mathematical practice. The first view is the one provided by the contemporary standards of mathematical rigor: a mathematical inference is valid if and only if its conclusion can be formally derived from its premises. We will argue that this conception does not lead to a plausible account of the intuitive notion(s) of proof gap. The second view is based on a new account of the validity of inference proposed by Prawitz: an inference is valid if and only if it consists in an operation that provides a ground for its conclusion given (previously obtained) grounds for its premises. We will first specify Prawitz's account to mathematical inference and we will then argue that the resulting ground-based account is able to capture various intuitive notions of proof gap as different types of failure in drawing valid mathematical inferences. We conclude that the ground-based account ap­pears of particular interest for the philosophy of mathematical practice, and we finally raise several challenges facing a full development of a ground-based account of the notions of mathematical rigor, proof gap and the validity of mathematical inference. (shrink)

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent (...) work on Frege's philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community. (shrink)

In these days, there is an increasing technological development in intelligent tutoring systems. This field has become interesting to many researchers. In this paper, we present an intelligent tutoring system for teaching mathematics that help students understand the basics of math and that helps a lot of students of all ages to understand the topic because it's important for students of adding and subtracting. Through which the student will be able to study the course and solve related problems. An evaluation (...) of the intelligent tutoring systems was carried out and the results were encouraging. (shrink)

With democracy in mind, promoting students’ cognitive, personal, and social development can inform and shape the mathematics curriculum and classroom practice with the goal of their becoming more capable, self-reflective, and socially aware human beings. Toward that realization, their mathematics experience could include: heuristics, as it provides a natural language for problem solving; habits of mind, so students can think and act with a more developed “reflective intelligence”; and multiple-centers investigations, where collaborations based on shared mathematical interest can (...) be pursued. In this way, their education would be “a fostering, a nurturing, a cultivating process” that supports the development of democratic society. (shrink)

Philosophy of mathematics is moving in a new direction: away from a foundationalism in terms of formal logic and traditional ontology, and towards a broader range of approaches that are united by a focus on mathematical practice. The scientific research network PhiMSAMP (Philosophy of Mathematics: Sociological Aspects and Mathematical Practice) consisted of researchers from a variety of backgrounds and fields, brought together by their common interest in the shift of philosophy of mathematics towards mathematical practice. Hosted (...) by the Rheinische Friedrich- Wilhelms-Universitat Bonn and funded by the Deutsche Forschungsgemeinschaft (DFG) from 2006-2010, the network organized and contributed to a number of workshops and conferences on the topic of mathematical practice. The refereed contributions in this volume represent the research results of the network and consists of contributions of the network members as well as selected paper versions of presentations at the network's mid-term conference, "Is mathematics special?" (PhiMSAMP-3) held in Vienna 2008. (shrink)

Mathematics used to be portrayed as a deductive science. Stemming from Polya, however, is a philosophical movement which broadens the concept of mathematical reasoning to include inductive or quasi-empirical methods. Interest in inductive methods is a welcome turn from foundationalism toward a philosophy grounded in mathematical practice. Regrettably, though, the conception of mathematical reasoning embraced by quasi-empiricists is still too narrow to include the sort of thought-experiment which Mueller describes as traditional mathematical proof and which (...) Lakatos examines in Proofs and refutations. This paper extends the concept of mathematical reasoning along two further dimensions to accommodate thought-experiment.Keywords: Thought-experiment; Informal proof; Mathematical reasoning. (shrink)

This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.

Mathematical correspondence offers a rich heritage for the history of mathematics and science, as well as cultural history and other areas. It naturally covers a vast range of topics, and not only of a scientific nature; it includes letters between mathematicians, but also between mathematicians and politicians, publishers, and men or women of culture. Wallis, Leibniz, the Bernoullis, D'Alembert, Condorcet, Lagrange, Gauss, Hermite, Betti, Cremona, Poincaré and van der Waerden are undoubtedly authors of great interest and their letters (...) are valuable documents, but the correspondence of less well-known authors, too, can often make an equally important contribution to our understanding of developments in the history of science. Mathematical correspondences also play an important role in the editions of collected works, contributing to the reconstruction of scientific biographies, as well as the genesis of scientific ideas, and in the correct dating and interpretation of scientific writings. This volume is based on the symposium “Mathematical Correspondences and Critical Editions,” held at the 6th International Conference of the ESHS in Lisbon, Portugal in 2014. In the context of the more than fifteen major and minor editions of mathematical correspondences and collected works presented in detail, the volume discusses issues such as • History and prospects of past and ongoing edition projects, • Critical aspects of past editions, • The complementary role of printed and digital editions, • Integral and partial editions of correspondence, • Reproduction techniques for manuscripts, images and formulae, and the editorial challenges and opportunities presented by digital technology. (shrink)

"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)

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)

Philosophers and mathematicians have different ideas about the difference between pure and applied mathematics. This should not surprise us, since they have different aims and interests. For mathematicians, pure mathematics is the interesting stuff, even if it has lots of physics involved. This has the consequence that picturesque examples play a role in motivating and justifying mathematical results. Philosophers might find this upsetting, but we find a parallel to mathematician’s attitudes in ethics, which, I argue, is a much better (...) model for how philosophers should think about these issues. (shrink)

This essay will inform the reader about Kant’s views on mathematics and aesthetics. It will also critically discuss these views and offer further suggestions and personal opinions from the author’s side. Kant (1724-1804) was not a mathematician, nor was he an artist. One must even admit that he had little understanding of higher mathematics and that he did not have much of a theory that could be called a “philosophy of mathematics” either. But he formulated a very influential aesthetic theory (...) that is contained in his “Critique of the Power of Aesthetic Judgment” (1790), and his views on mathematics, especially those that compare it with philosophy, are distinctive and worthy of our attention. Hence, combining mathematics and aesthetics, asking whether mathematics can be beautiful and why and how it can or cannot be so called, according to Kant’s theory, will be particularly interesting. This essay has three parts: it discusses mathematics, aesthetics, and the aesthetics of mathematics, primarily in Kantian perspectives but also in ways that critically evaluate those perspectives. (shrink)

Recent scholarship has helped to demythologise the life and work of Georg Philipp Friedrich von Hardenberg who, as the poet “Novalis”, had come to instantiate the nineteenth-century’s stereotype of the romantic poet. Among Hardenberg’s interests that seem to sit uneasily with this literary persona were his interests in science and mathematics, and especially in the idea, traceable back to Leibniz, of a mathematically based computational approach to language. Hardenberg’s approach to language, and his attempts to bring mathematics to bear on (...) poetry, is examined in relation to debates that developed late in the eighteenth century over the relation of language to thought—debates which share many features with contemporary ones in this area. (shrink)

This collection presents significant contributions from an international network project on mathematical cultures, including essays from leading scholars in the history and philosophy of mathematics and mathematics education.​ Mathematics has universal standards of validity. Nevertheless, there are local styles in mathematical research and teaching, and great variation in the place of mathematics in the larger cultures that mathematical practitioners belong to. The reflections on mathematical cultures collected in this book are of interest to mathematicians, philosophers, (...) historians, sociologists, cognitive scientists and mathematics educators. (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 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.

Mathematical thinking skills are very important in mathematics, both to learn math or as learning goals. Thinking skills can be seen from the description given answers in solving mathematical problems faced. Mathematical thinking skills can be seen from the types, levels, and process. Proportionally questions given to students at universities in Indonesia (semester I, III, V, and VII). These questions are a matter of description that belong to the higher-level thinking. Students choose 5 of 8 given problem. (...) Qualitatively, the answers were analyzed by descriptive to see the tendency to think mathematically used in completing the test. The results show that students tend to choose the issues relating to the calculation. They are more use cases, examples and not an example, to evaluate the conjecture and prove to belong to the numeric argumentation. Used mathematical thinking students are very personal (intelligence, interest, and experience), and the situation (problems encountered). Thus, the level of half of the students are not guaranteed and shows the level of mathematical thinking. (shrink)

How far should our realism extend? For many years philosophers of mathematics and philosophers of ethics have worked independently to address the question of how best to understand the entities apparently referred to by mathematical and ethical talk. But the similarities between their endeavours are not often emphasised. This book provides that emphasis. In particular, it focuses on two types of argumentative strategies that have been deployed in both areas. The first—debunking arguments—aims to put pressure on realism by emphasising (...) the seeming redundancy of mathematical or moral entities when it comes to explaining our judgements. In the moral realm this challenge has been made by Gilbert Harman and Sharon Street; in the mathematical realm it is known as the 'Benacerraf-Field' problem. The second strategy—indispensability arguments—aims to provide support for realism by emphasising the seeming intellectual indispensability of mathematical or moral entities, for example when constructing good explanatory theories. This strategy is associated with Quine and Putnam in mathematics and with Nicholas Sturgeon and David Enoch in ethics. Explanation in Ethics and Mathematics addresses these issues through an explicitly comparative methodology which we call the 'companions in illumination' approach. By considering how argumentative strategies in the philosophy of mathematics might apply to the philosophy of ethics, and vice versa, the papers collected here break new ground in both areas. For good measure, two further companions for illumination are also broached: the philosophy of chance and the philosophy of religion. Collectively, these comparisons light up new questions, arguments, and problems of interest to scholars interested in realism in any area. (shrink)

Differences between the sexes in education is something of particular interest in much research. This study sought to investigate the possible differences between the sexes in math performance, and to deeply examine the causal factors for those differences. Beginning from the administration of the BECOMA-On (Online Evaluation Battery of Mathematics Skills) to 3,795 5th year primary students aged 10-11, in 16 Spanish autonomous communities and the 2 autonomous cities of Ceuta and Melilla. The results for each sex were compared (...) to their perceptions of self-efficacy about completing the test items, and with their interest in and motivation for mathematics. Statistically significant differences were seen in the variables examined. The boys were generally more engaged with science and technical subjects. Generalizing from studies such as this aims to more thoroughly explore, and improve this situation. (shrink)

What is new here is the detailed discussion of several important results in the classical foundations of mathematics and of the relation of logic to mathematics. As regards logical questions, the central thesis of Wittgenstein's later philosophy is well known, both from the earlier posthumous volume and from the writings of his many disciples. In the Investigations the thesis is applied to the "logic of our expressions" in everyday contexts; here he discusses in the same spirit the more specialized language (...) used in talking about the foundations of mathematics. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that (...) the basic theory faces. The final view appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (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)

Many mathematicians have a rich internal world of mental imagery. Using elementary mathematical skills, this study probes the mathematical imagination's sensorimotor foundations. Mental imagery is perturbed using body position: having the head and vestibular system in different positions with respect to gravity. No two mathematicians described the same imagery. Eight out of 11 habitually visualize, one uses sensorimotor imagery, and two do not habitually used mental imagery. Imagery was both intentional and partly autonomous. For example, coordinate planes rotated, (...) drifted, wobbled, or slid down from vertical to horizontal. Parabolae slid into place or, on one side, a parabola arm reached upward in gravity. The sensorimotor foundation of imagery was evidenced in several ways. The imagery was placed with respect to the body. Further, the imagery had a variety of relationships to the body, such as the body being the coordinate system or the coordinate system being placed in front of the eyes for easy viewing by the mind's eye. The mind's eye, mind's arm, and awareness almost always obeyed the geometry of the real eye and arm. The imagery and body behaved as a dyad, so that the imagery moved or placed itself for the convenience of the mind's eye or arm, which in turn moved to follow the imagery. With eyes closed, participants created a peripersonal imagery space, along with the peripersonal space of the unseen environment. Although mathematics is fundamentally abstract, imagery was sometimes concrete or used a concrete substrate or was placed to avoid being inside concrete objects, such as furniture. Mathematicians varied in the numbers of components of mental imagery and the ways they interacted. The autonomy of the imagery was sometimes of mathematical interest, suggesting that the interaction of imagery habits and autonomy can be a source of mathematical creativity. (shrink)

The chapters in this timely volume aim to answer the growing interest in Arthur Schopenhauer’s logic, mathematics, and philosophy of language by comprehensively exploring his work on mathematical evidence, logic diagrams, and problems of semantics. Thus, this work addresses the lack of research on these subjects in the context of Schopenhauer’s oeuvre by exposing their links to modern research areas, such as the “proof without words” movement, analytic philosophy and diagrammatic reasoning, demonstrating its continued relevance to current discourse (...) on logic. -/- Beginning with Schopenhauer’s philosophy of language, the chapters examine the individual aspects of his semantics, semiotics, translation theory, language criticism, and communication theory. Additionally, Schopenhauer’s anticipation of modern contextualism is analyzed. The second section then addresses his logic, examining proof theory, metalogic, system of natural deduction, conversion theory, logical geometry, and the history of logic. Special focus is given to the role of the Euler diagrams used frequently in his lectures and their significance to broader context of his logic. In the final section, chapters discuss Schopenhauer’s philosophy of mathematics while synthesizing all topics from the previous sections, emphasizing the relationship between intuition and concept. -/- Aimed at a variety of academics, including researchers of Schopenhauer, philosophers, historians, logicians, mathematicians, and linguists, this title serves as a unique and vital resource for those interested in expanding their knowledge of Schopenhauer’s work as it relates to modern mathematical and logical study. (shrink)

This book explores the persistence of Pythagorean ideas in theoretical physics. It shows that the Pythagorean position is both philosophically deep and scientifically interesting. However, it does not endorse pure Pythagoreanism; rather, it defends the thesis that mind and mathematical structure are the grounds of reality. The book begins by examining Wigner's paper on the unreasonable effectiveness of mathematics in the natural sciences. It argues that, whilst many issues surrounding the applicability of mathematics disappear upon examination, there are some (...) core issues to do with the effectiveness of mathematics in fundamental physics which remain. The core issues are the existence of the laws of nature and our minds ability to fathom them, the use of formal mathematics in discovering things about the quantum world, the fact that deep mathematics is needed to describe fundamental physics, and the asymptotic nature of the quest for knowledge. These issues are the focus of the book. The author seeks to explain them within a metaphysical framework that takes mind and mathematical structure as its fundamental principles. The framework - called quantum monadology - combines ideas from Leibnizian monadology, set theory, and consistent histories quantum theory. (shrink)

The foundations of mathematics include mathematical logic, set theory, recursion theory, model theory, and Gödel's incompleteness theorems. Professor Wolf provides here a guide that any interested reader with some post-calculus experience in mathematics can read, enjoy, and learn from. It could also serve as a textbook for courses in the foundations of mathematics, at the undergraduate or graduate level. The book is deliberately less structured and more user-friendly than standard texts on foundations, so will also be attractive to those (...) outside the classroom environment wanting to learn about the subject. (shrink)

Well-Structured Mathematical Logic does for logic what Structured Programming did for computation: make large-scale work possible. From the work of George Boole onward, traditional logic was made to look like a form of symbolic algebra. In this work, the logic undergirding conventional mathematics resembles well-structured computer programs. A very important feature of the new system is that it structures the expression of mathematics in much the same way that people already do informally. In this way, the new system is (...) simultaneously machine-parsable and user-friendly, just as Structured Programming is for algorithms. Unlike traditional logic, the new system works with you, not against you, as you use it to structure--and understand--the mathematics you work with on a daily basis. The book provides a complete guide to its subject matter. It presents the major results and theorems one needs to know in order to use the new system effectively. Two chapters provide tutorials for the reader in the new way that symbols move when logical calculations are performed in the well-structured system. Numerous examples and discussions are provided to illustrate the system's many results and features. Well-Structured Mathematical Logic is accessible to anyone who has at least some knowledge of traditional logic to serve as a foundation, and is of interest to all who need a system of pliant, user-friendly mathematical logic to use in their work in mathematics and computer science. (shrink)

MATHEMATICAL RESOLUTIONS OF ZENO’s PARADOXES of motion have been offered on a regular basis since the paradoxes were first formulated. In this paper I will argue that such mathematical “solutions” miss, and always will miss, the point of Zeno’s arguments. I do not think that any mathematical solution can provide the much sought after answers to any of the paradoxes of Zeno. In fact all mathematical attempts to resolve these paradoxes share a common feature, a feature (...) that makes them consistently miss the fundamental point which is Zeno’s concern for the one-many relation, or it would be better to say, lack of relation. This takes us back to the ancient dispute between the Eleatic school and the Pluralists. The first, following Parmenide’s teaching, claimed that only the One or identical can be thought and is therefore real, the second held that the Many of becoming is rational and real.1 I will show that these mathematical “solutions” do not actually touch Zeno’s argument and make no metaphysical contribution to the problem of understanding what is motion against immobility, or multiplicity against identity, which was Zeno’s challenge. I would like to point out at this stage that my contention. (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)

Mathematics is a struggle for many. To make it more accessible, behavioral and educational scientists are redesigning how it is taught. To a similar end, a few rogue mathematicians and computer scientists are doing something more radical: they are redesigning mathematics itself, improving its ergonomic features. Charles Peirce, an important contributor to ordinary symbolic logic, also introduced a rigorous but non-symbolic, graphical alternative to it that is easier to picture. In the spirit of this iconic logic, George Spencer-Brown founded iconic (...) mathematics. Performing iconic arithmetic, algebra, and even trigonometry, resembles doing calculations on an abacus, which is still popular in education today, has aided humanity for millennia, helps even when it is merely imagined, and ameliorates severe disability in basic computation. Interestingly, whereas some intellectually disabled individuals excel in very complex numerical tasks, others of normal intelligence fail even in very simple ones. A comparison of their wider psychological profiles suggests that iconic mathematics ought to suit the very people traditional mathematics leaves behind. (shrink)

a Mathematicians, like Proust and everyone else, are at their best when writing about their first lovea (TM) a ] They are among the very best we have; and their best is very good indeed. a ] One approaches this book with high hopes. Happily, one is not disappointed. a ]In paperback it might well have become a best seller. a ]read it. From The Mathematical Intelligencer Mathematics is shaped by the consistent concerns and styles of powerful minds a (...) three of which are represented here. Kaca (TM)s work is marked by deep commitment and breadth of inquiry. Rota is the easiest of these authors to reada ]a delight: witty and urbane, with a clear and interesting agenda and an astonishing intellectual range. To read him is to be a part of a pleasant and rewarding conversation. Jacob T. Schwartz attacks problems ina ]computer science, mathematical economics, computer and instructional a ] No matter how slippery the problem, Schwartz manages to capture a substantial chunk of it in his mathematical net. a Mathematics Magazine This is a volume of essays and reviews that delightfully explore mathematics in all its moods a from the light and the witty, and humorous to serious, rational, and cerebral. Topics include: logic, combinatorics, statistics, economics, artificial intelligence, computer science, and applications of mathematics broadly. You will also find history and philosophy covered, including discussion of the work of Ulam, Kant, Heidegger among others. (shrink)

Biomimicry studies natural systems and attempts to use the gained knowledge and understanding to solve human problems. Can biomimicry, if applied in urban planning, help to make our cities more sustainable or, precisely, more friendly for walkable and 15-minute city models? Various researchers identify the following features of natural systems as form fits function, catalysis of cooperation, local contextuality, continuity of development, diversity, integrity, redundancy, decentralization, multifunctionality, and less energy consumption (e.g. TOD if the energy needed for transportation is considered), (...) hierarchy, fractality, etc. The presented research has two objectives: analyze the possibility of describing and evaluating the degree of expression of the features of natural systems in urban spatial structures to use them for comparison, benchmarking, or creation of a biomimicry index; evaluate if cities with more strongly expressed biomimicry features could be considered more walkable and close to the 15-minute city concept. To give answers to the above-presented questions Riga, Vilnius, and Tallinn were investigated. They represent both certain similarities and differences in terms of history, urban planning, political context, size, etc. A simulative mathematical graph model was used as the main tool to describe and analyze complex urban structures based on spatial configurations. Various graph centralities were employed to describe and compare the expression of natural systems’ features in the selected cities. OSM data was used to overlap graph models with such information as the density of inhabitants, concentrations of various points of interest in order to evaluate walkability and 15-minute city friendliness. The research results could be seen as an important step for better understanding of informal principles of biomimicry that can help transform urban areas. (shrink)

In a short article, published in an earlier volume of Philosophy 1 under the title “Philosophy and Mathematics,” I tried to explain the current conception of pure mathematics as the study of abstract structure by construction and elaboration of appropriate axiomatic formalisms. In the present paper I propose to consider certain philosophical problems, of interest to philosophers and mathematicians alike, which have their origin in the relation between such formalisms and any applications to experience that they may possess. Consideration (...) of problems of this kind is no new undertaking, and in Reichenbach's Wahrscheinlichkeitslehre , for instance, a considerable amount of space is devoted to the Anwendungsproblem or problem of application of the formal calculus under consideration. Most such discussions, however, are at bottom an appendage to an account of the formalism itself, and the author's interest is primarily mathematical. The result is that the philosophical issues involved are not given due weight; and it is these philosophical issues that I wish to discuss in the present paper. (shrink)

This monograph aims to mathematically codify the notion of "moral systems" and define a sensible distance between them. It consists of three parts, aimed at an audience with varying interests and mathematical backgrounds. The first part steers philosophical, formally defining moral systems and several related concepts. The second part studies black box algorithms, including questions of inference and metric construction. The third part explores the technical construction of metrics amongst conditional probability distributions.

The use of mathematics in economics has been widely discussed. The philosophical discussion on what mathematics is remains unsettled on why it can be applied to the study of the real world. We propose to get back to some philosophical conceptions that lead to a language-like role for the mathematical analysis of economic phenomena and present some problems of interest that can be better examined in this light. Category theory provides the appropriate tools for these analytical approach.

Because Bertrand Russell adopted much of the logical symbolism of Peano, because Russell always had a high regard for the great Italian mathematician, and because Russell held the logicist thesis so strongly, many English-speaking mathematicians have been led to classify Peano as a logicist, or at least as a forerunner of the logicist school. An attempt is made here to deny this by showing that Peano's primary interest was in axiomatics, that he never used the mathematical logic developed (...) by him for the reduction of mathematical concepts to logical concepts, and that, instead, he denied the validity of such a reduction. (shrink)

Structuralism is a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects. Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction. The items making up any particular system exemplifying the structure in question are of no importance; all that matters is that they satisfy certain general conditions—typically spelled out in axioms defining the structure or structures (...) of interest—characteristic of the branch of mathematics in question. Thus, in the basic case of arithmetic, the famous “axioms” of Richard Dedekind (taken over by Giuseppe Peano, as he acknowledged) were conditions in a definition of a “simply infinite system”, with an initial item, each item having a unique next one, no two with the same next one, and all items finitely many steps from the initial one. (The latter condition is guaranteed by the axiom of mathematical induction.) All such systems are structurally identical, and, in a sense to be made more precise, the shared structure is what mathematics investigates. (In other cases, multiple structures are allowed, as in abstract algebra with its many groups, rings, fields, and so forth.) This structuralist view of arithmetic thus contrasts with the absolutist view, associated with Gottlob Frege and Bertrand Russell, that natural numbers must in fact be certain definite objects, namely classes of equinumerous concepts or classes. (shrink)

Depending on what one means by the main connective of logic, the -if..., then... -, several systems of logic result: classic and modal logics, intuitionistic logic or relevance logic. This book presents the underlying ideas, the syntax and the semantics of these logics. Soundness and completeness are shown constructively and in a uniform way. Attention is paid to the interdisciplinary role of logic: its embedding in the foundations of mathematics and its intimate connection with philosophy, in particular the philosophy of (...) language. Set theory is presented both as a conditio sine qua non for logic and as a interesting exact ontology. The study of infinite sets yields perplexing results. Formalization of informal number theory results in formal number theory; Godel's incompleteness is treated. At appropriate places attention is paid to paradoxes, intuitionism, conditionals, the historical development of logic, to logic programming and automated theorem proving for classical logic.". (shrink)