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

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)

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)

What has been called ‘the unreasonable effectiveness of mathematics’ sets a challenge for philosophers. Some have responded to that challenge by arguing that mathematics is essentially anthropocentric in character whereas others have pointed to the range of structures that mathematics offers. Here a middle way is offered that focuses on the moves that have to be made in both the mathematics and the relevant physics in order to bring the two into appropriate relation. This relation can (...) be captured via the inferential conception of the applicability of mathematics which is formulated in terms of immersion inference and interpretation. In particular the roles of idealizations and of surplus structure in science and mathematics respectively are brought to the fore and captured via an approach to models and theories that emphasizes the partiality of the available information: the partial structures approach. The discussion as a whole is grounded in a number of case studies drawn from the history of quantum physics and extended to contest recent claims that the explanatory role of certain mathematical structures in scientific practice supports a realist attitude towards them. The overall conclusion is that the effectiveness of mathematics does not seem unreasonable at all once close attention is paid to how it is actually applied in practice. (shrink)

Mathematics plays a central role in much of contemporary science, but philosophers have struggled to understand what this role is or how significant it might be for mathematics and science. In this book Christopher Pincock tackles this perennial question in a new way by asking how mathematics contributes to the success of our best scientific representations. In the first part of the book this question is posed and sharpened using a proposal for how we can determine the (...) content of a scientific representation. Several different sorts of contributions from mathematics are then articulated. Pincock argues that each contribution can be understood as broadly epistemic, so that what mathematics ultimately contributes to science is best connected with our scientific knowledge. In the second part of the book, Pincock critically evaluates alternative approaches to the role of mathematics in science. These include the potential benefits for scientific discovery and scientific explanation. A major focus of this part of the book is the indispensability argument for mathematical platonism. Using the results of part one, Pincock argues that this argument can at best support a weak form of realism about the truth-value of the statements of mathematics. The book concludes with a chapter on pure mathematics and the remaining options for making sense of its interpretation and epistemology. Thoroughly grounded in case studies drawn from scientific practice, this book aims to bring together current debates in both the philosophy of mathematics and the philosophy of science and to demonstrate the philosophical importance of applications of mathematics. (shrink)

Naturalism in Mathematics investigates how the most fundamental assumptions of mathematics can be justified. One prevalent philosophical approach to the problem--realism--is examined and rejected in favor of another approach--naturalism. Penelope Maddy defines this naturalism, explains the motivation for it, and shows how it can be successfully applied in set theory. Her clear, original treatment of this fundamental issue is informed by current work in both philosophy and mathematics, and will be accessible and enlightening to readers from both (...) disciplines. (shrink)

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

Develops a structuralist understanding of mathematics, as an alternative to set- or type-theoretic foundations, that respects classical mathematical truth while ...

Mathematics is regarded as our most developed science, and yet philosophical troubles surface as soon as we inquire about its subject matter partly because mathematics itself says nothing about the metaphysical nature of its objects. Taking mathematics at face value seems to favour the Platonist view according to which mathematics concerns causally inert objects existing outside space‐time, but this view seems to preclude any account of how we acquire mathematical knowledge without using some mysterious intellectual intuition. (...) In this book, I defend a version of mathematical realism, motivated by the indispensability of mathematics in science, according to which (1) mathematical objects exist independently of us and our constructions, (2) much of contemporary mathematics is true, and (3) mathematical truths obtain independently of our beliefs, theories, and proofs. The ontological component of my realism is a form of structuralism according to which mathematical objects are featureless, abstract positions in structures, or patterns, and like geometric points, their identities are fixed only through their relationships to each other. Structuralism is also part of my epistemology in that material objects ‘fit’ simple patterns, and in doing so, they ‘fill’ the positions of simple mathematical structures. We may perceive the arrangements of objects but we cannot perceive their positions i.e. the abstract, non‐spatiotemporal mathematical objects, and the problem then consists in explaining how we can form beliefs about them. Answering this question introduces a central notion of my epistemology, that of a posit: by representing and designing patterned objects our ancestors posited geometric objects as sui generis and started describing them by describing the patterns in which they are positions. Since positing mathematical objects, like positing new scientific entities, is an activity similar to making up a story, one might wonder how such an activity can lead to mathematical knowledge and truth, but I believe that our ancestors were justified in introducing mathematical objects and we are justified in retaining them, by pragmatic and global considerations: mathematics has proved immensely fruitful for science, technology, and practical life, and doing without it is now virtually impossible. This account of justification introduces a further problem: if our justification for believing in mathematical truths is global and pragmatic, then it might turn out that one is not justified in accepting a mathematical claim unless it is accepted by science, and this is clearly at odds with the practice of mathematics where we hardly ever invoke such global considerations in order to justify a mathematical claim. In mathematics, we usually employ a local conception of evidence made up mainly of a priori proofs. However, arguing from the perspective of a Quinean epistemic holism, I claim that this feature of the practice should not make us conclude that mathematics is an a priori science, disconnected evidentially from both observation and natural science, for observation is relevant to mathematics, and technological and scientific success forms a vital part of our justification for believing in the truth of mathematics. (shrink)

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

The paper continues the consideration of Hilbert mathematics to mathematics itself as an additional “dimension” allowing for the most difficult and fundamental problems to be attacked in a new general and universal way shareable between all of them. That dimension consists in the parameter of the “distance between finiteness and infinity”, particularly able to interpret standard mathematics as a particular case, the basis of which are arithmetic, set theory and propositional logic: that is as a special “flat” (...) case of Hilbert mathematics. The following four essential problems are considered for the idea to be elucidated: Fermat’s last theorem proved by Andrew Wiles; Poincaré’s conjecture proved by Grigori Perelman and the only resolved from the seven Millennium problems offered by the Clay Mathematics Institute (CMI); the four-color theorem proved “machine-likely” by enumerating all cases and the crucial software assistance; the Yang-Mills existence and mass gap problem also suggested by CMI and yet unresolved. They are intentionally chosen to belong to quite different mathematical areas (number theory, topology, mathematical physics) just to demonstrate the power of the approach able to unite and even unify them from the viewpoint of Hilbert mathematics. Also, specific ideas relevant to each of them are considered. Fermat’s last theorem is shown as a Gödel insoluble statement by means of Yablo’s paradox. Thus, Wiles’s proof as a corollary from the modularity theorem and thus needing both arithmetic and set theory involves necessarily an inverse Grothendieck universe. On the contrary, its proof in “Fermat arithmetic” introduced by “epoché to infinity” (following the pattern of Husserl’s original “epoché to reality”) can be suggested by Hilbert arithmetic relevant to Hilbert mathematics, the mediation of which can be removed in the final analysis as a “Wittgenstein ladder”. Poincaré’s conjecture can be reinterpreted physically by Minkowski space and thus reduced to the “nonstandard homeomorphism” of a bit of information mathematically. Perelman’s proof can be accordingly reinterpreted. However, it is valid in Gödel (or Gödelian) mathematics, but not in Hilbert mathematics in general, where the question of whether it holds remains open. The four-color theorem can be also deduced from the nonstandard homeomorphism at issue, but the available proof by enumerating a finite set of all possible cases is more general and relevant to Hilbert mathematics as well, therefore being an indirect argument in favor of the validity of Poincaré’s conjecture in Hilbert mathematics. The Yang-Mills existence and mass gap problem furthermore suggests the most general viewpoint to the relation of Hilbert and Gödel mathematics justifying the qubit Hilbert space as the dual counterpart of Hilbert arithmetic in a narrow sense, in turn being inferable from Hilbert arithmetic in a wide sense. The conjecture that many if not almost all great problems in contemporary mathematics rely on (or at least relate to) the Gödel incompleteness is suggested. It implies that Hilbert mathematics is the natural medium for their discussion or eventual solutions. (shrink)

This book offers a defence of mathematical fictionalism, according to which we have no reason to believe that there are any mathematical objects. Perhaps the most pressing challenge to mathematical fictionalism is the indispensability argument for the truth of our mathematical theories (and therefore for the existence of the mathematical objects posited by those theories). According to this argument, if we have reason to believe anything, we have reason to believe that the claims of our best empirical theories are (at (...) least approximately) true. But since claims whose truth would require the existence of mathematical objects are indispensable in formulating our best empirical theories, it follows that we have good reason to believe in the mathematical objects posited by those mathematical theories used in empirical science, and therefore to believe that the mathematical theories utilized in empirical science are true. Previous responses to the indispensability argument have focused on arguing that mathematical assumptions can be dispensed with in formulating our empirical theories. This book, by contrast, offers an account of the role of mathematics in empirical science according to which the successful use of mathematics in formulating our empirical theories need not rely on the truth of the mathematics utilized. (shrink)

Mathematics is one of the most successful human endeavors—a paradigm of precision and objectivity. It is also one of our most puzzling endeavors, as it seems to deliver non-experiential knowledge of a non-physical reality consisting of numbers, sets, and functions. How can the success and objectivity of mathematics be reconciled with its puzzling features, which seem to set it apart from all the usual empirical sciences? This book offers a short but systematic introduction to the philosophy of (...) class='Hi'>mathematics. Readers are introduced to all of the classical approaches to the field, including logicism, formalism, intuitionism, empiricism, and structuralism. The book also contains accessible introductions to some more specialized issues, such as mathematical intuition, potential infinity, the iterative conception of sets, and the search for new mathematical axioms. The exposition is always closely informed by ongoing research in the field and sometimes draws on the author’s own contributions to this research. This means that Gottlob Frege—a German mathematician and philosopher widely recognized as one of the founders of analytic philosophy—figures prominently in the book, both through his own views and his criticism of other thinkers. (shrink)

Here the author of How to Solve It explains how to become a "good guesser." Marked by G. Polya's simple, energetic prose and use of clever examples from a wide range of human activities, this two-volume work explores techniques of guessing, inductive reasoning, and reasoning by analogy, and the role they play in the most rigorous of deductive disciplines.

Mathematical proof is the primary form of justification for mathematical knowledge, but in order to count as a proper justification for a piece of mathematical knowl- edge, a mathematical proof must be rigorous. What does it mean then for a mathematical proof to be rigorous? According to what I shall call the standard view, a mathematical proof is rigorous if and only if it can be routinely translated into a formal proof. The standard view is almost an orthodoxy among contemporary (...) mathematicians, and is endorsed by many logicians and philosophers, but it has also been heavily criticized in the philosophy of mathematics literature. Progress on the debate between the proponents and opponents of the standard view is, however, currently blocked by a major obstacle, namely the absence of a precise formulation of it. To remedy this deficiency, I undertake in this paper to provide a precise formulation and a thorough evaluation of the standard view of mathematical rigor. The upshot of this study is that the standard view is more robust to criticisms than it transpires from the various arguments advanced against it, but that it also requires a certain conception of how mathematical proofs are judged to be rigorous in mathematical practice, a conception that can be challenged on empirical grounds by exhibiting rigor judgments of mathematical proofs in mathematical practice conflicting with it. (shrink)

Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...) the material covered in Part I and introduces some of the newer ideas and the more profound results of logical research in the twentieth century. Subsequent chapters introduce the study of formal number theory, with surveys of the famous incompleteness and undecidability results of Godel, Church, Turing, and others. The emphasis in the final chapter reverts to logic, with examinations of Godel's completeness theorem, Gentzen's theorem, Skolem's paradox and nonstandard models of arithmetic, and other theorems. Unabridged republication of the edition published by John Wiley & Sons, Inc. New York, 1967. Preface. Bibliography. Theorem and Lemma Numbers: Pages. List of Postulates. Symbols and Notations. Index. (shrink)

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

Husserl and Mathematics explains the development of Husserl's phenomenological method in the context of his engagement in modern mathematics and its foundations. Drawing on his correspondence and other written sources, Mirja Hartimo details Husserl's knowledge of a wide range of perspectives on the foundations of mathematics, including those of Hilbert, Brouwer and Weyl, as well as his awareness of the new developments in the subject during the 1930s. Hartimo examines how Husserl's philosophical views responded to these changes, (...) and offers a pluralistic and open-ended picture of Husserl's phenomenology of mathematics. Her study shows Husserl's phenomenology to be a method capable of both shedding light on and internally criticizing scientific practices and concepts. (shrink)

This work stresses the illogical manner in which mathematics has developed, the question of applied mathematics as against 'pure' mathematics, and the challenges to the consistency of mathematics' logical structure that have occurred in the twentieth century.

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

Mathematical Thinking in Modern Life: Epistemology, Cognition, and Practical Application is a research-based interdisciplinary essay that explains mathematics not merely as a school subject, but as a framework for disciplined reasoning in modern life. The paper connects philosophy of mathematics, theology, cognitive reasoning, and practical numeracy by examining whether mathematics is discovered or invented, how humans use estimation and proportional reasoning, and why innumeracy creates vulnerability in finance, policy, and daily decision-making. It also applies these ideas to (...) concrete examples such as percentage asymmetry, scale distortion, tax planning, and the historical “20 percent rule” associated with Joseph in Egypt. Overall, the report presents mathematics as both an intellectual discipline and a form of practical self-defense against confusion, manipulation, and poor judgment. (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.

This important book by a major American philosopher brings together eleven essays treating problems in logic and the philosophy of mathematics.

Part of the ambiguity lies in the various points of view from which this question might be considered. The crudest di erence lies between the point of view of the working mathematician and that of the logician concerned with the foundations of mathematics. Now some of my fellow mathematical logicians might protest this distinction, since they consider themselves to be just more of those \working mathematicians". Certainly, modern logic has established itself as a very respectable branch of mathematics, (...) and there are quite a few highly technical journals in logic, such as The Journal of Sym-. (shrink)

Pluralist mathematical realism, the view that there exists more than one mathematical universe, has become an influential position in the philosophy of mathematics. I argue that, if mathematical pluralism is true (and we have good reason to believe that it is), then mathematical realism cannot (easily) be justified by arguments from the indispensability of mathematics to science. This is because any justificatory chain of inferences from mathematical applications in science to the total body of mathematical theorems can cover (...) at most one mathematical universe. Indispensability arguments may thus lose their central role in the debate about mathematical ontology. (shrink)

The present article aims at showing that it is possible to construct a realist philosophy of mathematics which commits one neither to dream the dreams of Platonism nor to reduce the word ''realism'' to mere noise. It is argued that mathematics is a science of patterns, where patterns are not objects (or properties of objects), but aspects, or aspects of aspects, etc. of objects. (The notion of aspect originates from ideas sketched by Wittgenstein in the Philosophical Investigations.).

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)

Realists persuaded by indispensability arguments af- firm the existence of numbers, genes, and quarks. Van Fraassen's empiricism remains agnostic with respect to all three. The point of agreement is that the posits of mathematics and the posits of biology and physics stand orfall together. The mathematical Platonist can take heart from this consensus; even if the existence of num- bers is still problematic, it seems no more problematic than the existence of genes or quarks. If the two positions just (...) described were the only ones possible, there could be no objection to this melding of numbers with genes and quarks. However, the position I call contrastive empiricism (Sober 1990a) stands opposed to both realism and to Van Fraassen's em- piricism. As it turns out, contrastive empiricism entails that coalesc- ing mathematics with empirical science is highly problematic. I believe that there is an important kernel of truth in abductive ar- guments for genes and quarks. But no counterpart argument exists for the case of numbers. Of course, the existence of this third way would be uninteresting, if contrastive empiricism were wholly implausible. However, I will argue that contrastive empiricism captures what makes sense in standard versions of realism and empiricism, while avoiding the excesses of each. This third way is a middle way; it cannot be dismissed out of hand. (shrink)

One of the chief concerns of the young Descartes was with what he, and others, termed “physico-mathematics”. This signalled a questioning of the Scholastic Aristotelian view of the mixed mathematical sciences as subordinate to natural philosophy, non explanatory, and merely instrumental. Somehow, the mixed mathematical disciplines were now to become intimately related to natural philosophical issues of matter and cause. That is, they were to become more ’physicalised’, more closely intertwined with natural philosophising, regardless of which species of natural (...) philosophy one advocated. A curious, short-lived yet portentous epistemological conceit lay at the core of Descartes’ physico-mathematics—the belief that solid geometrical results in the mixed mathematical sciences literally offered windows into the realm of natural philosophical causation—that in such cases one could literally “see the causes”. Optics took pride of place within Descartes’ physico-mathematics project, because he believed it offered unique possibilities for the successful vision of causes. This paper traces Descartes’ early physico-mathematical program in optics, its origins, pitfalls and its successes, which were crucial in providing Descartes resources for his later work in systematic natural philosophy. It explores how Descartes exploited his discovery of the law of refraction of light—an achievement well within the bounds of traditional mixed mathematical optics—in order to derive—in the manner of physico-mathematics—causal knowledge about light, and indeed insight about the principles of a “dynamics” that would provide the laws of corpuscular motion and tendency to motion in his natural philosophical system. (shrink)

Mathematics does not constitute reality but encodes its observable regularities. The apparent “unreasonable effectiveness” of mathematics has often been taken as evidence of its primacy. This essay argues that such effectiveness is a structural consequence of patterned reality, not a metaphysical mystery. This work is a step in a broader exploration of the limits of knowability.

Can there be mathematical explanations of physical phenomena? In this paper, I suggest an affirmative answer to this question. I outline a strategy to reconstruct several typical examples of such explanations, and I show that they fit a common model. The model reveals that the role of mathematics is explicatory. Isolating this role may help to re-focus the current debate on the more specific question as to whether this explicatory role is, as proposed here, also an explanatory one.

In the Republic, mathematics turns students' souls from sensibles to intelligibles. While there has been plenty of discussion of the transition from sensibles to mathematics, the transition from mathematics to dialectic has received less attention. I argue that Plato sees mathematics as usefully flawed in a way that leads students to dialectic, just as the limits of perception led students to mathematics. Students recognise this not through the five mathematical subjects themselves, but through the "synoptic (...) view" with which their studies culminate. The synoptic view reveals not just the methodological unity of mathematics, but also the inherent limitations—its reliance on sensible images and hypotheses—that only dialectic can overcome. (shrink)

This paper supersedes Mathematics as the Unique Top-Down Projection of Intelligence: A Structural Theorem from Cognitional Mechanics and Noology (DOI: 10.5281/zenodo.19968224), which itself superseded the first edition of the programme (January 2026, DOI: 10.5281/zenodo.18280992). The first edition identified mathematical structures as stabilised residues of irreversible, non-commutative operational histories and positioned the framework as a meta-theoretical explanatory layer operating above existing mathematical foundations. The second edition established the stronger claim that mathematics is the unique top-down projection of the operational (...) structure of intelligence, with the induced mathematical category M uniquely determined up to identity automorphism and the projection map surjective with structurally undefined inverse. -/- The present work marks a foundational transition: it re-establishes all structural results of the second edition under Operatiology (DOI: 10.5281/zenodo.20350414), the framework that supersedes Cognitional Mechanics as the executive layer derived from Noology Version 2 (DOI: 10.5281/zenodo.18690463). The prior premise that the minimal operational structure is identified with M_3(C) is removed. The projection source is now the abstract rank-3 operational closure C^(3)_Πd itself, established within Tier-2 by Operatiology, without presupposing its identification with any specific algebraic structure. That identification is a separate Tier-3 question and does not enter any argument of the present work. -/- Under this clarified foundation, the central theorems are re-established: the projection Π_math from C^(3)_Πd to M is surjective with structurally undefined inverse; Aut(M) = {id}; and M is the unique fixed point of the Πd-saturation closure operator acting on Tier-3 formal structures. The prior corpus citations from the Cognitional Mechanics framework are retained for historical continuity only; no result derived by means of M_3(C) is invoked in any proof or definition. The sole logical foundation of the present paper is Operatiology, derived from Noology Version 2. -/- A new result absent from the second edition is introduced: an internal operational distance d_op on M, measuring the index family type required for operational determination of each mathematical structure. This yields a five-layer classification: Layer 1 (finite index families, algebra); Layer 2 (countable type, discrete infinite structures); Layer 3 (power-set type, continuous and geometric structures); Layer 4 (unrestricted type, axiomatic and functorial structures); Layer 5 (maximal type, large-cardinal and higher-categorical structures). Algebra occupies Layer 1 as the unique mathematical domain closest to C^(3)_Πd. The prior Operatiology mathematics series covering number systems, analytic structures, and set theory is positioned within this hierarchy. -/- Consequences include the dissolution of the Platonist-formalist dichotomy; the structural impossibility of alternative mathematics; the reinterpretation of mathematical effectiveness in physics as a tautology; and the reclassification of foundational competition among ZFC, category theory, and type theory as a compression-efficiency competition internal to Tier-3, evaluated from above by C^(3)_Πd. -/- Published on May 24, 2026 DOI:10.5281/zenodo.20362852. (shrink)

In this paper, we propose a weak regularity principle which is similar to both weak König's lemma and Ramsey's theorem. We begin by studying the computational strength of this principle in the context of reverse mathematics. We then analyze different ways of generalizing this principle.

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

Modal logic is the study of modalities - expressions that qualify assertions about the truth of statements - like the ordinary language phrases necessarily, possibly, it is known/believed/ought to be, etc., and computationally or mathematically motivated expressions like provably, at the next state, or after the computation terminates. The study of modalities dates from antiquity, but has been most actively pursued in the last three decades, since the introduction of the methods of Kripke semantics, and now impacts on a wide (...) range of disciplines, including the philosophy of language and linguistics ('possible words' semantics for natural language), constructive mathematics (intuitionistic logic), theoretical computer science (dynamic logic, temporal and other logics for concurrency), and category theory (sheaf semantics). This volume collects together a number of the author's papers on modal logic, beginning with his work on the duality between algebraic and set-theoretic modals, and including two new articles, one on infinitary rules of inference, and the other about recent results on the relationship between modal logic and first-order logic. Another paper on the 'Henkin method' in completeness proofs has been substantially extended to give new applications. Additional articles are concerned with quantum logic, provability logic, the temporal logic of relativistic spacetime, modalities in topos theory, and the logic of programs. (shrink)

The subject of this paper is the philosophical problem of accounting for the relationship between mathematics and non-mathematical reality. The first section, devoted to the importance of the problem, suggests that many of the reasons for engaging in philosophy at all make an account of the relationship between mathematics and reality a priority, not only in philosophy of mathematics and philosophy of science, but also in general epistemology/metaphysics. This is followed by a (rather brief) survey of the (...) major, traditional philosophies of mathematics indicating how each is prepared to deal with the present problem. It is shown that (the standard formulations of) some views seem to deny outright that there is a relationship between mathematics and any non-mathematical reality; such philosophies are clearly unacceptable. Other views leave the relationship rather mysterious and, thus, are incomplete at best. The final, more speculative section provides the direction of a positive account. A structuralist philosophy of mathematics is outlined and it is proposed that mathematics applies to reality though the discovery of mathematical structures underlying the non-mathematical universe. (shrink)

Let mathematical justification be the kind of justification obtained when we prove theorems. Are Gettier cases possible for this kind of justification? At first sight we might think not: The standard for mathematical justification is proof and, since proof is bound at the hip with truth, there is no possibility of having an epistemically lucky justification of a true mathematical proposition. In this paper, I challenge this idea by arguing that there is conception of mathematical justification which is fallibilist (in (...) addition to infallibilist accounts). I argue that for the fallibilist conception, non-trivial Gettier cases are possible (and indeed actual). I indicate some upshots for mathematical practice, in particular, regarding folklore theorems and pluralism. (shrink)

By analysing several characteristic mathematical models: natural and real numbers, Euclidean geometry, group theory, and set theory, I argue that a mathematical model in its final form is a junction of a set of axioms and an internal partial interpretation of the corresponding language. It follows from the analysis that (i) mathematical objects do not exist in the external world: they are imagined objects, some of which, at least approximately, exist in our internal world of activities or we can realize (...) or represent them there; (ii) mathematical truths are not truths about the external world but specifications (formulations) of mathematical conceptions; (iii) mathematics is first and foremost our imagined tool by which, with certain assumptions about its applicability, we explore nature and synthesize our rational cognition of it. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...) to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)