Most previous research on human cognition has focused on problem-solving, and has confined its investigations to the laboratory. As a result, it has been difficult to account for complex mental processes and their place in culture and history. In this startling - indeed, disco in forting - study, Jean Lave moves the analysis of one particular form of cognitive activity, - arithmetic problem-solving - out of the laboratory into the domain of everyday life. In so doing, she shows how mathematics (...) in the 'real world', like all thinking, is shaped by the dynamic encounter between the culturally endowed mind and its total context, a subtle interaction that shapes 1) Both tile human subject and the world within which it acts. The study is focused on mundane daily, activities, such as grocery shopping for 'best buys' in the supermarket, dieting, and so on. Innovative in its method, fascinating in its findings, the research is above all significant in its theoretical contributions. Have offers a cogent critique of conventional cognitive theory, turning for an alternative to recent social theory, and weaving a compelling synthesis from elements of culture theory, theories of practice, and Marxist discourse. The result is a new way of understanding human thought processes, a vision of cognition as the dialectic between persons-acting, and the settings in which their activity is constituted. The book will appeal to anthropologists, for its novel theory of the relation of cognition to culture and context; to cognitive scientists and educational theorists; and to the 'plain folks' who form its subject, and who will recognize themselves in it, a rare accomplishment in the modern social sciences. (shrink)

This truly philosophical book takes us back to fundamentals - the sheer experience of proof, and the enigmatic relation of mathematics to nature. It asks unexpected questions, such as 'what makes mathematics mathematics?', 'where did proof come from and how did it evolve?', and 'how did the distinction between pure and applied mathematics come into being?' In a wide-ranging discussion that is both immersed in the past and unusually attuned to the competing philosophical ideas of contemporary mathematicians, it shows that (...) proof and other forms of mathematical exploration continue to be living, evolving practices - responsive to new technologies, yet embedded in permanent facts about human beings. It distinguishes several distinct types of application of mathematics, and shows how each leads to a different philosophical conundrum. Here is a remarkable body of new philosophical thinking about proofs, applications, and other mathematical activities. (shrink)

The transformation of mathematics from ancient Greece to the medieval Arab-speaking world is here approached by focusing on a single problem proposed by Archimedes and the many solutions offered. In this trajectory Reviel Netz follows the change in the task from solving a geometrical problem to its expression as an equation, still formulated geometrically, and then on to an algebraic problem, now handled by procedures that are more like rules of manipulation. From a practice of mathematics based on the localized (...) solution we see a transition to a practice of mathematics based on the systematic approach. With three chapters ranging chronologically from Hellenistic mathematics, through late Antiquity, to the medieval world, Reviel Netz offers an alternate interpretation of the historical journey of pre-modern mathematics. (shrink)

We apply Benacerraf’s distinction between mathematical ontology and mathematical practice to examine contrasting interpretations of infinitesimal mathematics of the seventeenth and eighteenth century, in the work of Bos, Ferraro, Laugwitz, and others. We detect Weierstrass’s ghost behind some of the received historiography on Euler’s infinitesimal mathematics, as when Ferraro proposes to understand Euler in terms of a Weierstrassian notion of limit and Fraser declares classical analysis to be a “primary point of reference for understanding the eighteenth-century theories.” Meanwhile, scholars like (...) Bos and Laugwitz seek to explore Eulerian methodology, practice, and procedures in a way more faithful to Euler’s own. Euler’s use of infinite integers and the associated infinite products are analyzed in the context of his infinite product decomposition for the sine function. Euler’s principle of cancellation is compared to the Leibnizian transcendental law of homogeneity. The Leibnizian law of continuity similarly finds echoes in Euler. We argue that Ferraro’s assumption that Euler worked with a classical notion of quantity is symptomatic of a post-Weierstrassian placement of Euler in the Archimedean track for the development of analysis, as well as a blurring of the distinction between the dual tracks noted by Bos. Interpreting Euler in an Archimedean conceptual framework obscures important aspects of Euler’s work. Such a framework is profitably replaced by a syntactically more versatile modern infinitesimal framework that provides better proxies for his inferential moves. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are vulnerable (...) to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

The twentieth century has witnessed an unprecedented 'crisis in the foundations of mathematics', featuring a world-famous paradox, a challenge to 'classical' mathematics from a world-famous mathematician, a new foundational school, and the profound incompleteness results of Kurt Gödel. In the same period, the cross-fertilization of mathematics and philosophy resulted in a new sort of 'mathematical philosophy', associated most notably with Bertrand Russell, W. V. Quine, and Gödel himself, and which remains at the focus of Anglo-Saxon philosophical discussion. The present collection (...) brings together in a convenient form the seminal articles in the philosophy of mathematics by these and other major thinkers. It is a substantially revised version of the edition first published in 1964 and includes a revised bibliography. The volume will be welcomed as a major work of reference at this level in the field. (shrink)

This book offers an up-to-date overview of the research on philosophy of mathematics education, one of the most important and relevant areas of theory. The contributions analyse, question, challenge, and critique the claims of mathematics education practice, policy, theory and research, offering ways forward for new and better solutions. The book poses basic questions, including: What are our aims of teaching and learning mathematics? What is mathematics anyway? How is mathematics related to society in the 21st century? How do students (...) learn mathematics? What have we learnt about mathematics teaching? Applied philosophy can help to answer these and other fundamental questions, and only through an in-depth analysis can the practice of the teaching and learning of mathematics be improved. The book addresses important themes, such as critical mathematics education, the traditional role of mathematics in schools during the current unprecedented political, social, and environmental crises, and the way in which the teaching and learning of mathematics can better serve social justice and make the world a better place for the future. (shrink)

Reverse mathematics is a program in the foundations of mathematics founded by Friedman and developed extensively by Simpson and others. The aim of RM is to find the minimal axioms needed to prove a theorem of ordinary, that is, non-set-theoretic, mathematics. As suggested by the title, this paper deals with two RM-phenomena, namely, splittings and disjunctions. As to splittings, there are some examples in RM of theorems A, B, C such that A↔, that is, A can be split into two (...) independent parts B and C. As to disjunctions, there are examples in RM of theorems D, E, F such that D↔, that is, D can be written as the disjunction of two independent parts E and F. By contrast, we show in this paper that there is a plethora of splittings and disjunctions in Kohlenbach’s higher-order RM. (shrink)

First-order logic. The origin of modern foundational studies. Frege's system and the paradoxes. The teory of types. Zermelo-Fraenkel set theory. Hilbert's program and Godel's incompleteness theorems. The foundational systems of W.V. Quine. Categorical algebra.

This paper explores the connections between K. Wynn's well-known experiments in cognitive psychology and later Wittgenstein's views on the philosophy of mathematics.

ACMES is a multidisciplinary conference series that focuses on epistemological and mathematical issues relating to computation in modern science. This volume includes a selection of papers presented at the 2015 and 2016 conferences held at Western University that provide an interdisciplinary outlook on modern applied mathematics that draws from theory and practice, and situates it in proper context. These papers come from leading mathematicians, computational scientists, and philosophers of science, and cover a broad collection of mathematical and philosophical topics, including (...) numerical analysis and its underlying philosophy, computer algebra, reliability and uncertainty quantification, computation and complexity theory, combinatorics, error analysis, perturbation theory, experimental mathematics, scientific epistemology, and foundations of mathematics. By bringing together contributions from researchers who approach the mathematical sciences from different perspectives, the volume will further readers' understanding of the multifaceted role of mathematics in modern science, informed by the state of the art in mathematics, scientific computing, and current modeling techniques. (shrink)

This Element aims to present an outline of mathematics and its history, with particular emphasis on events that shook up its philosophy. It ranges from the discovery of irrational numbers in ancient Greece to the nineteenth- and twentieth-century discoveries on the nature of infinity and proof. Recurring themes are intuition and logic, meaning and existence, and the discrete and the continuous. These themes have evolved under the influence of new mathematical discoveries and the story of their evolution is, to a (...) large extent, the story of philosophy of mathematics. (shrink)

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.

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)

For some time now, academic philosophers of mathematics have concentrated on intramural debates, the most conspicuous of which has centered on Benacerraf's epistemological challenge. By the late 1980s, something of a consensus had developed on how best to respond to this challenge. But answering Benacerraf leaves untouched the more advanced epistemological question of how the axioms are justified, a question that bears on actual practice in the foundations of set theory. I suggest that the time is ripe for philosophers of (...) mathematics to turn outward, to take on a problem of real importance for mathematics itself. (shrink)

This book provides an accessible, critical introduction to the three main approaches that dominated work in the philosophy of mathematics during the twentieth century: logicism, intuitionism and formalism.

A concise yet rigorous introduction to logic and discrete mathematics. This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical (...) logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications. Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual. Key Features: Suitable for a variety of courses for students in both Mathematics and Computer Science. Extensive, in-depth coverage of classical logic, combined with a solid exposition of a selection of the most important fields of discrete mathematics Concise, clear and uncluttered presentation with numerous examples. Covers some applications including cryptographic systems, discrete probability and network algorithms. Logic and Discrete Mathematics: A Concise Introduction is aimed mainly at undergraduate courses for students in mathematics and computer science, but the book will also be a valuable resource for graduate modules and for self-study. (shrink)

200 years ago, on August 5, 1802, Niels Henrik Abel was born on Finnøy near Stavanger on the Norwegian west coast. During a short life span, Abel contributed to a deep transition in mathematics in which concepts replaced formulae as the basic objects of mathematics. The transformation of mathematics in the 1820s and its manifestation in Abel’s works are the themes of the author’s PhD thesis. After sketching the formative instances in Abel’s well-known biography, this article illustrates two aspects of (...) the transformation which concern the introduction of concept based mathematics and the related shift in standards of mathematical rigor. Furthermore, the article outlines some of the many bicentennial celebrations in Norway and gives a short, thematic introduction to the literature on Abel and his work. (shrink)

In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, Russell’s (...) method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

PurposeGraham Priest has recently argued that the distinctive trait of classical mathematics is that the conditional of its underlying logic—that is, classical logic—is extensional. In this article, I aim to present an alternate explanation of the specificity of classical mathematics.MethodI examine Priest's argument for his claim and show its shortcomings. Then I deploy a model-theoretic presentation of logics that allows comparing them, and the mathematics based on them, more fine-grainedly.ResultsSuch a model-theoretic presentation of logics suggests that the specific character of (...) classical logic consists in the structure that it confers to its truth values and in the structure of the evaluation indices of its formulas, and that this trait is useful to explain the specific character of the logics and the mathematics based on them.ConclusionThe extensionality of the conditional in classical logic is a by-product of other structural features of a logic, which are more likely to be what gives a kind of mathematics based on it its specific character. (shrink)

Thomas Urquhart (1611–1660), celebrated for his English translation of Rabelais’ Gargantua et Pantagruel, has earned some notoriety for his eccentric, putatively incomprehensible early book on trigonometry The Trissotetras (1645). The Trissotetras was too impractical to succeed in its own day as a textbook, since it lacked both trigonometric tables and sample calculations. But its current bad reputation is based on literary authors’ amplifications of the verdict prefaced to its 19th century reprinting by one mathematician, William Wallace, who lacked the background (...) to appreciate the book’s historical context. Considering that context (including seventeenth century ‘copious’ prose, and medieval logic and ‘art of memory’), the bad reputation is undeserved: the book is mathematically clear, clever (e.g. in superimposing 16 problems into one diagram), and complete. The Trissotetras may thus be viewed as simply one more of Urquhart’s polymathic projects and involvements – which included education, rise of the middle class, religious and class conflicts, development of science and mathematics, search for patronage, universal language construction, and development of English prose – which serve to make him a lively and instructive intellectual Everyman for his time. (shrink)

The aim of this paper is twofold: (1) to show the principal aspects of the way in which Newton conceived his mathematical concepts and methods and applied them to rational mechanics in his Principia; (2) to explain how the editors of the Geneva Edition interpreted, clarified, and made accessible to a broader public Newton’s perfect but often elliptic proofs. Following this line of inquiry, we will explain the successes of Newton’s mechanics, but also the problematic aspects of his perfect geometrical (...) methods, more elegant, but less malleable than analytical procedures, of which Newton himself was one of the inventors. Furthermore, we will also consider the way in which Newtonianism was spread before in England and afterwards on continental Europe. In this respect the Geneva Edition plays a fundamental role because of its complete apparatus of notes, and because it appeared only thirteen years after the publication of the third edition of the Principia (1726). Finally, we will also confront some problems connected to the metaphysics of calculus. Therefore, the case of Newton is one of those in which, starting from mathematics applied to physics, it is possible to connect an impressive series of fundamental arguments such as the role of mathematics in science; the comparison between Newton’s geometrical methods and analytical methods; the way in which Newtonianism was spread as well as the philosophical implications of Newton’s mathematical concepts. (shrink)

Additional theorizing about mathematical practice is needed in order to ground appeals to truly useful notions of the virtues in mathematics. This paper aims to contribute to this theorizing, first, by characterizing mathematical practice as being epistemic and “objectual” in the sense of Knorr Cetina The practice turn in contemporary theory, Routledge, London, 2001). Then, it elaborates a MacIntyrean framework for extracting conceptions of the virtues related to mathematical practice so understood. Finally, it makes the case that Wittgenstein’s methodology for (...) examining mathematics and its practice is the most appropriate one to use for the actual investigation of mathematical practice within this MacIntyrean framework. At each stage of thinking through mathematical practice by these means, places where new virtue-theoretic questions are opened up for investigation are noted and briefly explored. (shrink)

ABSTRACT. The paper compares the views of Edmund Husserl (1859-1938) and Charles Sanders Peirce (1839-1914) on mathematics around the turn of the century. The two share a view that mathematics is an independent and theoretical discipline. Both think that it is something unrelated to how we actually think, and hence independent of psychology. For both, mathematics reveals the objective and formal structure of the world, and both think that modern mathematics is a Platonist enterprise. Husserl and Peirce also share a (...) teleological conception of the development of mathematics: both view it to evolve towards a goal. This is where the primary difference between the two can be found: while for Husserl the goal of mathematics is to characterize definite manifolds, for Peirce it is to discover the real potential world as expressed by his conception of continuum. Peirce elaborates the continuum with the notion ‘potential aggregate,’ a totality of the series of uncountable sets (each created by Cantor’s theorem) briefly discussed and compared to Husserl’s notion of definite manifolds. (shrink)

Volume 9 of the Routledge History of Philosophy surveys ten key topics in the Philosophy of Science, Logic and Mathematics in the Twentieth Century. Each article is written by one of the world's leading experts in that field. The papers provide a comprehensive introduction to the subject in question, and are written in a way that is accessible to philosophy undergraduates and to those outside of philosophy who are interested in these subjects. Each chapter contains an extensive bibliography of the (...) major writings in the field. Among the topics covered are the philosophy of logic; Ludwig Wittgenstein's Tractatus; a survey of logical positivism; the philosophy of physics and of science; probability theory and cybernetics. (shrink)

In The Explanatory Dispensability of Idealizations, Sam Baron suggests a possible strategy enabling the indispensability argument to break the symmetry between mathematical claims and idealization assumptions in scientific models. Baron’s distinction between mathematical and non-mathematical idealization, I claim, is in need of a more compelling criterion, because in scientific models idealization assumptions are expressed through mathematical claims. In this paper I argue that this mutual dependence of idealization and mathematics cannot be read in terms of symmetry and that Baron’s non-causal (...) notion of mathematical difference-making is not effective in justifying any symmetry-breaking between mathematics and idealization. The function of making a difference that Baron attributes to mathematics cannot be referred to physical facts, but to the features of quantities, such as step lengths or time intervals taken into account in the models. It appears, indeed, that it does not follow from Baron’s argument that idealizations do not help to carry the explanatory load at least for two reasons: mathematics is not independent of idealizations in modelling and idealizations help mathematics to carry the explanatory load of a model in different degrees. (shrink)

The days when Frege was more footnoted than read are now long gone; still, until very recently he has been read rather selectively. No doubt many had an inkling that there’s more to Frege than the sense/reference distinction; but few, one suspects, thought that his philosophy of mathematics was as fertile and intriguing as the present collection demonstrates. Perhaps, as Paul Benacerraf’s essay in this collection suggests, logical positivism should be held partly responsible for the neglect of this aspect of (...) Frege’s thought, since it contributed to the following common impression of Frege’s philosophy of mathematics: Frege’s project was to reduce arithmetic to logic, in order to provide an empiricist account of mathematical knowledge; Russell’s paradox showed that this was not possible, and that the best that can be done is to reduce arithmetic to set theory; so, Frege’s logicism is demonstrably a philosophical dead end. (shrink)

Bonaventura Cavalieri has been the subject of numerous scholarly publications. Recent students of Cavalieri have placed his geometry of indivisibles in the context of early modern mathematics, emphasizing the role of new geometrical objects, such as, for example, linear and plane indivisibles. In this paper, I will complement this recent trend by focusing on how Cavalieri manipulates geometrical objects. In particular, I will investigate one fundamental activity, namely, superposition of geometrical objects. In Cavalieri’s practice, superposition is a means of both (...) manipulating geometrical objects and drawing inferences. Finally, I will suggest that an integrated approach, namely, one which strives to understand both objects and activities, can illuminate the history of mathematics. (shrink)

Sand drawings are introduced in relation to the fieldwork of British anthropologists John Layard and Bernard Deacon early in the twentieth century, and the status of sand drawings as mathematics is discussed in the light of Wittgenstein’s idea that “in mathematics process and result are equivalent”. Included are photographs of the illustrations in Layard’s own copy of Deacon’s “Geometrical Drawings from Malekula and other Islands of the New Hebrides” (1934). This is a brief companion to my article “Wittgenstein on string (...) figures as mathematics” (2022), published in the journal Philosophical Investigations. (shrink)

The article offers an analysis of Simone Weil's philosophy of mathematics. Weil's reflection starts from a critique of Bourbaki's programme, led by her brother André: the "mechanical attention" Bourbaki considered an advantage of their treatment of mathematics was for her responsible for the incomprehensibility of modern algebra, and even a cause of alien-ation and social oppression. On the contrary, she developed her pivotal concept of 'atten-tion' with the aim of approaching mathematical problems in order to make "progress in another more (...) mysterious dimension". In the Pythagorean 'crisis of incommensurables', Weil saw the possibility of defining the relationships between things in terms that are not exclusively numerical. This implies drawing an analogy between mathematical relation-ships and God's relationship with mankind (logos), the basis of a 'supernatural' reformu-lation of the entire scientific understanding of the world. The consequence is a critique of machinism and the possibility to contrast algorithmic reason with a "supernatural reason". (shrink)

"With exceptional clarity, but with no evasion of essential ideas, the author outlines the fundamental structure of mathematics."--Carl B. Boyer, Brooklyn College. This enlightening survey of mathematical concept formation holds a natural appeal to philosophically minded readers, and no formal training in mathematics is necessary to appreciate its clear exposition. Contents include examinations of arithmetic and geometry; the rigorous construction of the theory of integers; the rational numbers and their foundation in arithmetic; and the rigorous construction of elementary arithmetic. Advanced (...) topics encompass the principle of complete induction; the limit and point of accumulation; operating with sequences and differential quotient; remarkable curves; real numbers and ultrareal numbers; and complex and hypercomplex numbers. 1959 ed. 27 Figures. Index. (shrink)

Halin in 1965 proved that if a graph has [Formula: see text] many pairwise disjoint rays for each [Formula: see text] then it has infinitely many pairwise disjoint rays. We analyze the complexity of this and other similar results in terms of computable and proof theoretic complexity. The statement of Halin’s theorem and the construction proving it seem very much like standard versions of compactness arguments such as König’s Lemma. Those results, while not computable, are relatively simple. They only use (...) arithmetic procedures or, equivalently, finitely many iterations of the Turing jump. We show that several Halin-type theorems are much more complicated. They are among the theorems of hyperarithmetic analysis. Such theorems imply the ability to iterate the Turing jump along any computable well ordering. Several important logical principles in this class have been extensively studied beginning with work of Kreisel, H. Friedman, Steel and others in the 1960s and 1970s. Until now, only one purely mathematical example was known. Our work provides many more and so answers Question 30 of Montalbán’s Open Questions in Reverse Mathematics in 2011. Some of these theorems including ones in Halin in 1965 are also shown to have unusual proof theoretic strength as well. (shrink)

In the 21st century, digitalization is a global challenge of mankind. Even for the public, it is obvious that our world is increasingly dominated by powerful algorithms and big data. But, how computable is our world? Some people believe that successful problem solving in science, technology, and economies only depends on fast algorithms and data mining. Chances and risks are often not understood, because the foundations of algorithms and information systems are not studied rigorously. Actually, they are deeply rooted in (...) logics, mathematics, computer science and philosophy. Therefore, this book studies the foundations of mathematics, computer science, and philosophy, in order to guarantee security and reliability of the knowledge by constructive proofs, proof mining and program extraction. We start with the basics of computability theory, proof theory, and information theory. In a second step, we introduce new concepts of information and computing systems, in order to overcome the gap between the digital world of logical programming and the analog world of real computing in mathematics and science. The book also considers consequences for digital and analog physics, computational neuroscience, financial mathematics, and the Internet of Things (IoT). (shrink)

Val Plumwood charged classical logic not only with the invalidity of some of its laws, but also with the support of systemic oppression through naturalization of the logical structure of dualisms. In this paper I show that the latter charge - unlike the former - can be carried over to classical mathematics, and I propose a new conception of inconsistent mathematics - queer incomaths - as a liberatory activity meant to undermine said naturalization.

Many long-standing problems pertaining to contemporary philosophy of mathematics can be traced back to different approaches in determining the nature of mathematical entities which have been dominated by the debate between realists and nominalists. Through this discussion conceptualism is represented as a middle solution. However, it seems that until the 20th century there was no third position that would not necessitate any reliance on one of the two points of view. Fictionalism, on the other hand, observes mathematical entities in a (...) radically different way. This is reflected in the claim that the concepts being used in mathematics are nothing but a product of human fiction. This paper discusses the relationship between fictionalism and two traditional viewpoints within the discussion which attempts to successfully determine the ontological status of universals. One of the main points, demonstrated with concrete examples, is that fictionalism cannot be classified as a nominalist position. Since fictionalism is observed as an independent viewpoint, it is necessary to examine its range as well as the sustainability of the implications of opinions stated by their advocates. (shrink)

This book reports on cutting-edge concepts related to Bourbaki’s notion of structures mères. It merges perspectives from logic, philosophy, linguistics and cognitive science, suggesting how they can be combined with Bourbaki’s mathematical structuralism in order to solve foundational, ontological and epistemological problems using a novel category-theoretic approach. By offering a comprehensive account of Bourbaki’s structuralism and answers to several important questions that have arisen in connection with it, the book provides readers with a unique source of information and inspiration for (...) future research on this topic. (shrink)

This lively introductory text exposes the student in the humanities to the world of discrete mathematics. A problem-solving based approach grounded in the ideas of George Pólya are at the heart of this book. Students learn to handle and solve new problems on their own. A straightforward, clear writing style and well-crafted examples with diagrams invite the students to develop into precise and critical thinkers. Particular attention has been given to the material that some students find challenging, such as proofs. (...) This book illustrates how to spot invalid arguments, to enumerate possibilities, and to construct probabilities. It also presents case studies to students about the possible detrimental effects of ignoring these basic principles. The book is invaluable for a discrete and finite mathematics course at the freshman undergraduate level or for self-study since there are full solutions to the exercises in an appendix. (shrink)