Timothy Williamson has maintained that the applicability of classical mathematics in science raises a problem for the endorsement, in non-mathematical domains, of a wide range of non-classical logics. We show that this is false.

Throughout this paper, we are trying to show how and why our Mathematical frame-work seems inappropriate to solve problems in Theory of Computation. More exactly, the concept of turning back in time in paradoxes causes inconsistency in modeling of the concept of Time in some semantic situations. As we see in the first chapter, by introducing a version of “Unexpected Hanging Paradox”,first we attempt to open a new explanation for some paradoxes. In the second step, by applying this paradox, it (...) is demonstrated that any formalized system for the Theory of Computation based on Classical Logic and Turing Model of Computation leads us to a contradiction. We conclude that our mathematical frame work is inappropriate for Theory of Computation. Furthermore, the result provides us a reason that many problems in Complexity Theory resist to be solved.(This work is completed in 2017 -5- 2, it is in vixra in 2017-5-14, presented in Unilog 2018, Vichy). (shrink)

We discuss the semantical categories of base and object implicit in the Curry-Howard theory of types and we derive derive logic and, in particular, the comprehension principle in the classical version of the theory. Two results that apply to both the classical and the constructive theory are discussed. First, compositional semantics for the theory does not demand ‘incomplete objects’ in the sense of Frege: bound variables are in principle eliminable. Secondly, the relation of extensional equality for each type (...) is definable in the Curry-Howard theory. (shrink)

claims that constructive mathematics is inadequate for spacetime physics and hence that constructive mathematics cannot be considered as an alternative to classical mathematics. He also argues that the contructivist must be guilty of a form of a priorism unless she adopts a strong form of anti-realism for science. Here I want to dispute both claims. First, even if there are non-constructive results in physics this does not show that adequate constructive alternatives could not be formulated. Secondly, (...) the constructivist adopts a 'philosophy first' approach that Hellman rejects. This deep difference means that the viability of constructive mathematics cannot yet be decided by determining whether current scientific theories require classical mathematics. We need to decide which approach is most appropriate before we can even determine how we should go about deciding whether we should be constructive or classical mathematicians. (shrink)

This paper sketches a way of supplementing classical mathematics with a motivation for a Brouwerian theory of free choice sequences. The idea is that time is unending, i.e. that one can never come to an end of it, but also indeterminate, so that in a branching time model only one branch represents the ‘actual’ one. The branching can be random or subject to various restrictions imposed by the creating subject. The fact that the underlying mathematics is (...) class='Hi'>classical makes such perhaps delicate issues as the fan theorem no longer problematic. On this model, only intuitionistic logic applies to the Brouwerian free choice sequences, and there it applies not because of any skepticism about classical mathematics, but because there is no ‘end of time’ from the standpoint of which everything about the sequences can be decided. (shrink)

In this work we argue that there is no strong demarcation between pure and applied mathematics. We show this first by stressing non-deductive components within pure mathematics, like axiomatization and theory-building in general. We also stress the “purer” components of applied mathematics, like the theory of the models that are concerned with practical purposes. We further show that some mathematical theories can be viewed through either a pure or applied lens. These different lenses are (...) tied to different communities, which endorse different evaluative standards for theories. We evaluate the distinction between pure and applied mathematics from a late Wittgensteinian perspective. We note that the classical exegesis of the later Wittgenstein’s philosophy of mathematics, due to Maddy, leads to a clear-cut but misguided demarcation. We then turn our attention to a more niche interpretation of Wittgenstein by Dawson, which captures aspects of the aforementioned distinction more accurately. Building on this newer, maverick interpretation of the later Wittgenstein’s philosophy of mathematics, and endorsing an extended notion of meaning as use which includes social, mundane uses, we elaborate a fuzzy, but more realistic, demarcation. This demarcation, relying on family resemblance, is based on how direct and intended technical applications are, the kind of evaluative standards featured, and the range of rhetorical purposes at stake. (shrink)

Many advocates of non-classical logic for reasons external to mathematics claim that their proposed revisions are consistent with the use of classical logic within pure mathematics. Doubts are raised about such claims, concerning the applicability of pure mathematics to natural and social science. -/- .

As far as disputes in the philosophy of pure mathematics goes, these are usually between classical mathematics, intuitionist mathematics, paraconsistent mathematics, and so on. My own view is that of a mathematical pluralist: all these different kinds of mathematics are equally legitimate. Applied mathematics is a different matter. In this, a piece of pure mathematics is applied in an empirical area, such as physics, biology, or economics. There can then certainly (...) be a disputes about what the correct pure mathematics to apply is. Such disputes may be settled by the standard criteria of scientific theory selection (adequacy of empirical predications, simplicity, etc.) But what, exactly is it to apply a piece of pure mathematics? How is mathematics applied? By and large, philosophers of mathematics have cared more about pure mathematics than applied mathematics, and not a lot of thought has gone into this question. In this paper I will address the issue and some of its implications. (shrink)

A number of issues connected with the nature of applied mathematics are discussed. Among the claims are these: mathematics "hooks onto" the world by providing models or representations, not by describing the world; classic platonism is to be preferred to structuralism; and several issues in the philosophy of science are intimately connected to the nature of applied mathematics.

Körner's notion of vagueness, its relation to ostension and the alledged gulf between logic and experience are examined. Ostension is seen not to cause vagueness ~ there are precise concepts of mathematics which can be ostensively introduced. A distinction is drawn between classical logic not applying to the vague world and not applying to the vague language. The claims about logic and the vague world are unverifiable claims about existence. Körner's attempt to elimmate the seeming incompatibility between vague (...) language and logic leads to a Protagorean relativism which is rejected. It is denied that the incompatibility between vagueness and classical logic causes a gulf between two sublanguages; instead, ordinary language is held to contain both and so to be inconsistent. (shrink)

The nature of modern constructive mathematics, and its applications, actual and potential, to classical and quantum physics, are discussed.

Körner's notion of vagueness, its relation to ostension and the alledged gulf between logic and experience are examined. Ostension is seen not to cause vagueness ~ there are precise concepts of mathematics which can be ostensively mtroduced. A distinction is drawn between classical logic not applymg to the vague world and not applymg to the vague language. The claims about logic and the vague world are unverifiable claims about existence. Körner's attempt to elimmate the seeming incompatibility between vague (...) language and logic leads to a Protagorean relativism which is rejected. It is denied that the incompatibility between vagueness and classical logic causes a gulf between two sublanguages; mstead, ordinary language is held to contam both and so to be inconsistent. (shrink)

Is the mathematical description of the Universe quantum, classical, both or neither? The mandated assumption of rationalism is that if an argument is inconsistent, it is flawed for a conclusion. However, suppose the structural basis of the Universe is fundamentally inconsistent. In that case, paradoxes in the frameworks of logic and mathematics would not be anomalies. A geometric model with a counter-rational framework of inconsistent relationships is applied to analyze Hardy’s paradox, the fine structure constant, and the (...) general relationship between the correlated quantum and classical EPR-type structures. The model conjectures that the well-studied paradoxes found in theoretical arguments and empirically in EPR phenomena are not anomalies and instead point to a new framework for modelling universal structures that incorporates inconsistency. (shrink)

A serious flaw in Hartry Field’s instrumental account of applied mathematics, namely that Field must overestimate the extent to which many of the structures of our mathematical theories are reflected in the physical world, underlies much of the criticism of this account. After reviewing some of this criticism, I illustrate through an examination of the prospects for extending Field’s account to classical equilibrium statistical mechanics how this flaw will prevent any significant extension of this account beyond field (...) theories. I note in the conclusion that this diagnosis of Field’s program also points the way to modifications that may work. (shrink)

The classical (set-theoretic) concept of structure has become essential for every contemporary account of a scientific theory, but also for the metatheoretical accounts dealing with the adequacy of such theories and their methods. In the latter category of accounts, and in particular, the structural metamodels designed for the applicability of mathematics have struggled over the last decade to justify the use of mathematical models in sciences beyond their 'indispensability' in terms of either method or concepts/entities. In this paper, (...) I argue that these metamodels employ structures of different natures and epistemologies, and this diversity does pose a serious problem to the intended justification. (shrink)

Applied Natural Science: Environmental Issues and Global Perspectives will provide the reader with a complete insight into the natural-scientific pattern of the world, covering the most important historical stages of the development of various areas of science, methods of natural-scientific research, general scientific and philosophical concepts, and the fundamental laws of nature. The book analyzes the main scientific trends and developments of modern natural science and also discusses important aspects of environmental protection. Topics include: the problem of "the two (...) cultures": the mathematization of natural sciences and the informatization of society; the non-linear nature of the processes occurring in nature and society; application of the second law of thermodynamics to describe the development of biological systems; global problems of the biosphere; theory and practice of stable organic paramagnetic materials; polymers and the natural environment. Key features include: an interdisciplinary approach in considering scientific and technical problems; a discussion of general scientific trends in modern natural science, including globalization challenges in nature and society, the organic chemistry of stable paramagnetic materials, the fundamentals of the environmental chemistry of polymeric materials, etc.; a justification of applying classical (non-equilibrium) thermodynamics to studying the behavior of open (including biological) systems. (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)

Many philosophers have claimed that there is a tension between the impenetrability of matter and the possibility of contact between continuous bodies. This tension has led some to claim that impenetrable continuous bodies could not ever be in contact, and it has led others to posit certain structural features to continuous bodies that they believe would resolve the tension. Unfortunately, such philosophical discussions rarely borrow much from the investigation of actual matter. This is probably largely because actual matter is not (...) continuous, and so it might seem as if discussion of the structure of continuous bodies is merely within the realm of philosophical thought experiments rather than actual scientific investigation. However, classical continuum mechanics models actual matter as if it were continuous, and it has implications about the structure of continuous bodies and about what contact and impenetrability are. This paper describes the relevant notions from classical continuum mechanics so as to resolve the alleged tension between contact and impenetrability. (shrink)

The primary concern of this thesis is to investigate the explicit philosophy of mathematics in the work of Henri Poincare. In particular, I argue that there is a well-founded doctrine which grounds both Poincare's negative thesis, which is based on constructivist sentiments, and his positive thesis, via which he retains a classical conception of the mathematical continuum. The doctrine which does so is one which is founded on the Kantian theory of synthetic a priori intuition. I begin, therefore, (...) by outlining Kant's theory of the synthetic a priori, especially as it applies to mathematics. Then, in the main body of the thesis, I explain how the various central aspects of Poincare's philosophy of mathematics - e.g. his theory of induction; his theory of the continuum; his views on impredicativiti his theory of meaning - must, in general, be seen as an adaptation of Kant's position. My conclusion is that not only is there a well-founded philosophical core to Poincare's philosophy, but also that such a core provides a viable alternative in contemporary debates in the philosophy of mathematics. That is, Poincare's theory, which is secured by his doctrine of a priori intuitions, and which describes a position in between the two extremes of an "anti-realist" strict constructivism and a "realist" axiomatic set theory, may indeed be true. (shrink)

This article focuses on defective conditionals ? namely indicative conditionals whose antecedents are false and whose truth-values therefore cannot be determined. The problem is to decide which formal connective can adequately represent this usage. Classical logic renders defective conditionals true whereas traditional mathematics dismisses them as irrelevant. This difference in treatment entails that, at the propositional level, classical logic validates some sentences that are intuitively false in plane geometry. With two proofs, I show that the same flaw (...) is shared by a family of trivalent logics. I go on to examine the strict conditional and its derivatives. This family is the only one to avoid the faulty inference but it does so without addressing the status of the truth-value assigned to defective conditionals. (shrink)

Mark Wilson argues that in order to make physical first-order properties suitable for inclusion in the bottom levels of a logical hierarchy of properties, their proper treatment must take into account the methods of applied mathematics. I agree that the methods of applied mathematics are essential for studying physical properties, and in my response focus on the nature of the logical hierarchy and on the requirements of classical logic.Mark Wilson argumenta que um tratamento adequado para (...) tornar as propriedades físicas de primeira ordem apropriadas para inclusão nos níveis inferiores de uma hierarquia de propriedades lógicas deve levar em consideração os métodos da matemática aplicada. Concordo que os métodos da matemática aplicada são essenciais para estudar as propriedades físicas, e em minha réplica enfoco a natureza da hierarquia lógica e os requisitos da lógica clássica. (shrink)

According to a grand narrative that long ago ceased to be told, there was a seventeenth century Scientific Revolution, during which a few heroes conquered nature thanks to mathematics. This grand narrative began with the exhibition of quantitative laws that these heroes, Galileo and Newton for example, had disclosed: the law of falling bodies, according to which the speed of a falling body is proportional to the square of the time that has elapsed since the beginning of its fall; (...) the law of gravitation, according to which two bodies are attracted to one another in proportion to the sum of their masses and in inverse proportion to the square of the distance separating them -- according to his own preferences, each narrator added one or two quantitative laws of this kind. The essential feature was not so much the examples that were chosen, but, rather, the more or less explicit theses that accompanied them. First, mathematization would be taken as the criterion for distinguishing between a qualitative Aristotelian philosophy and the new quantitative physics. Secondly, mathematization was founded on the metaphysical conviction that the world was created pondere, numero et mensura, or that the ultimate components of natural things are triangles, circles, and other geometrical objects. This metaphysical conviction had two immediate consequences: that all the phenomena of nature can be in principle submitted to mathematics and that mathematical language is transparent; it is the language of nature itself and has simply to be picked up at the surface of phenomena. Finally, it goes without saying that, from a social point of view, the evolution of the sciences was apprehended through what has been aptly called the "relay runner model," according to which science progresses as a result of individual discoveries. Grand narratives such as this are perhaps simply fictions doomed to ruin as soon as they are clearly expressed. In any case, the very assumption on which this grand narrative relies can be brought into question: even in the canonical domain of mechanics, the relevant epistemological units crucial to understanding the dynamics of the Scientific Revolution are perhaps not a few laws of motion, but a complex set of problems embodied in mundane objects. Moreover, each of the theses just mentioned was actually challenged during the long period of historiographical reappraisal, out of which we have probably not yet stepped. Against the sharp distinction between a qualitative Aristotelian philosophy and the new quantitative physics, numerous studies insist that Rome wasn't built in a day, so to speak. Since Antiquity, there have always been mixed sciences; the emergence of pre-classical mechanics depends on both medieval treatises and the practical challenges met by Renaissance engineers. It is indeed true that, for Aristotle, mathematics merely captures the superficial properties of things, but the Aristotelianisms were many during the Renaissance and the Early Modern period, with some of them being compatible with the introduction of mathematics in natural philosophy. In addition, the gap between the alleged program of mathematizing nature and its effective realization was underlined as most natural phenomena actually escaped mathematization; at best they were enrolled in what Thomas Kuhn began to rehabilitate under the appellation of the "Baconian sciences," i.e., empirical investigations aiming at establishing isolated facts, without relating them to any overarching theory. Hence, mathematization of nature cannot pretend to capture a historical fact: at most, it expresses an indeterminate task for generations to come. On top of these first two considerations, and against the thesis of the neutrality of the mathematical language, it was urged that mathematics is not "only a language" and that, exactly as other symbolic means or cognitive tools, it has its own constraints. For example, it has been thoroughly explained that the Euclidean theory of proportions both guides and frustrates the Galilean analysis of motion; its shortages were particularly clear with respect to the expression of continuity, which is crucial in the case of motion. Consequently, when calculus was invented and applied to the analysis of motion, it was not a transposition that left things as they stood. Even more clearly than in the case of a translation from one natural language to another, the shift from one symbolic language to another entails that certain possibilities are opened while others are closed. The cognitive constraints imposed by established mathematical theories, as seen in the theory of proportions or calculus, were not the only ones to be studied in relation to mathematization. Certain schemes dependent on the grammar of natural languages, e.g., the scheme of contrariety, or certain symbolic means of representation, e.g. geometrical diagrams and numerical tables, were also subject to such scrutiny. Lastly, it was insisted that, even if we concede the existence of scientific geniuses, mathematics is largely produced by intellectual communities and embedded within social practices. More attention was consequently paid to the forms of communication in given mathematical networks, or to the teaching of the discipline in, for example, Jesuit colleges and universities. The set of mathematical practices specific to specialized craftsmen, highly-qualified experts and engineers began to be studied in its own right. All these reflections may have helped us change our perspectives on the question of mathematization. It seems, however, that they were instead set aside, both because of a general distrust towards sweeping narratives that are always subject to the suspicion that they overlook the unyielding complexity of real history, and because of a shift in our interests. The more obscure and idiosyncratic they are, an alchemist, a patron of the sciences or a lunatic collector is nowadays honored in journals of the history of sciences. As for the general issues involved in the question of mathematization, they are rejected as obsolete, or reserved for specialized journals in the history of mathematics. Consequently, before presenting the essays of this fascicle, I would like to say a few words in favor of a renewed study of the forms of mathematization in the history of the early sciences. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Husserl and Mathematics by Mirja HartimoAndrea StaitiMirja Hartimo. Husserl and Mathematics. Cambridge: Cambridge University Press, 2021. Pp. 214. Hardback, $99.99.Mirja Hartimo has written the first book-length study of Husserl's evolving views on mathematics that takes his intellectual context into full consideration. Most importantly, Hartimo's historically informed approach to the topic benefits from her extensive knowledge of Husserl's library. Throughout the book, she provides references to (...) texts and articles that Husserl read, marked, and annotated, although regrettably, very few of these sources are quoted explicitly in his published works. The overall picture that emerges from Hartimo's book shows that Husserl continued to read and engage with mathematics throughout his career, and, even though extensive discussions of mathematical issues are not frequent in his later works, some of the ideas he develops, for instance, in The Crisis of the European Sciences and Transcendental Phenomenology, can be read against the backdrop of the developments of mathematics in his time.Chapter 1 sets the method for the rest of the book. Hartimo emphasizes the importance of a methodological device that takes center stage in Husserl's work from the 1920s onward: Besinnung. Hartimo claims that Besinnung is a method to reactivate the "goals and purposes" (21) that originally motivated scientists engaging in a particular line of research. According to Husserl, as specialized research progresses and becomes standard practice, such original goals and purposes might be blurred by other concerns. When applied to mathematics, Besinnung thus amounts to a reflection "on what mathematicians should do, on what the genuine goal of their activities should be" (21–22). Hartimo argues that this kind of approach to mathematics comes close to Penelope Maddy's naturalism, which takes its departure from what mathematicians are actually doing and then proceeds to inquire into the ontological status of mathematical objects and theories. Hartimo identifies particularly in David Hilbert, a colleague of Husserl's at Göttingen, a vivid embodiment of what Husserl considered to be exemplary work oriented toward the ideal goal of mathematics.In chapters 2 and 3, Hartimo expands upon Husserl's conception of what the true goal of mathematics should be. She does so, first, by addressing the classical topic of Husserl's psychologism in his first (and only) work entirely devoted to mathematics, The Philosophy of Arithmetic, and Frege's well-known critical review of it. In Hartimo's rendition, Husserl criticizes Frege for his attempt to provide formal definitions of basic notions, such as equality. For Husserl, such basic notions are intuitively available and require no definition—rather, they should be put to work to clarify vague notions. Frege, in return, attacks what he takes to be Husserl's wishy-washy psychological account of numbers, which revolves around the concrete act of collecting items and abstracting from their specific contents. Ultimately, Hartimo argues, Husserl takes Frege's criticism to heart and in his later Prolegomena no longer pursues a psychological foundation of number, but rather emphasizes the distinction between the subjective and the objective sides of mathematics, with philosophers studying the former and mathematicians focusing on the latter. While Hartimo's verdict on the philosophical yield of the debate is in line with the standard interpretation of Frege's review as prompting Husserl's antipsychologistic turn, she makes a remark that might be worthy of further discussion: "While for Husserl the debate was about logicism, Frege shifts the debate to be about psychologism and here commentators have followed Frege's example" (50). It would be interesting to imagine what a Fregean reply to Husserl's view about the uselessness of formal definitions for basic notions like equality might look like. In any case, Hartimo's reconstruction makes it clear that, however motivated, Husserl's rejection of psychologism does not amount to an acceptance of logicism.In chapter 3, Hartimo puts forward two of her central claims: (1) Husserl was a structuralist about mathematics; and (2) for Husserl, the goal of modern mathematics is encapsulated in the concept of definiteness. According to (1), mathematics is about the formal structures of systems, which can be isolated and compared. Definiteness, in turn, is the property of systems... (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of (...) those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

Mancosu, P., Generalizing classical and effective model theory in theories of operations and classes, Annas of Pure and Applied Logic 52 249-308 . In this paper I propose a family of theories of operations and classes with the aim of developing abstract versions of model-theoretic results. The systems are closely related to those introduced and already used by Feferman for developing his program of ‘explicit mathematics’. The theories in question are two-sorted, with one kind of variable for (...) individuals and the other for classes. The individual variables range over a domain closed under pairing and containing, among other things, natural numbers and operations.All the theories used assume a common group of axioms that insure that the individuals in the domain satisfy the conditions for a partial combinatory algebra with pairing. We also assume a class of natural numbers and a class induction axiom on . Finally there are various class existence axioms. I work mainly with three theories, FMT0, FMT and FMTΩ, which differ from each other both in their class existence axioms as well as in some further applicative axioms.These theories have various interpretations in which every object is explicitly presented by some means of definition as well as classical, or ‘standard’, set-theoretical interpretation. The systems are formulated in a flexible general language which can be used to prove abstract theorems of mathematics , thereby generalizing recursive, hyperarithmetic and admissible versions of classical mathematics.The aim of my work is to give an abstract development of portions of model theory in the afore-mentioned theories, in a way to look as much as possible like classical mathematics. Thus, FMT0 generalizes portions of countable and recursive model theory; FMT further generalizes portions of countable and hyperarithmetical model theory and finally FMTΩ provides a generalization of the classical L-completeness theorem and of an admissible version of L-completeness due to Bruce and Keisler. This continues the development of the program mentioned above, originating with Feferman. (shrink)

This book intends to show that, in philosophy of mathematics, radical naturalism (or physicalism), nominalism and strict finitism (which does not assume the reality of infinity in any format, not even potential infinity) can account for the applications of classical mathematics in current scientific theories about the finite physical world above the Planck scale. For that purpose, the book develops some significant applied mathematics in strict finitism, which is essentially quantifier-free elementary recursive arithmetic (with real (...) numbers encoded as elementary recursive Cauchy sequences of rational numbers). Applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry (sufficient for the basic applications in classical quantum mechanics and general relativity). The fact that so much applied mathematics can be developed within such a weak, strictly finitisitc system is perhaps surprising in itself. It also shows that the applications of those classical theories to the finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. The first chapter of the book contains an informal introduction to its philosophical motivation and technical strategy. The book is intended for students and researchers in philosophy of mathematics. -/- Contents -/- Preface 1 Introduction 2 Strict Finitism 3 Calculus 4 Metric Space 5 Complex Analysis 6 Integration 7 Hilbert Space 8 Semi-Riemann Geometry References Index. (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)

One of Michael Dummett's most striking contributions to the philosophy of mathematics is an argument to show that the correct logic to apply in mathematical reasoning is not classical but intuitionistic. In this article I wish to cast doubt on Dummett's conclusion by outlining an alternative, motivated by consideration of a well-known result of Kurt Gödel, to the standard view of the relationship between classical and intuitionistic arithmetic. I shall suggest that it is hard to find a (...) perspective from which to arbitrate between the competing views. (shrink)

Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there (...) exists and classical negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

A logic-enriched type theory is a type theory extended with a primitive mechanism for forming and proving propositions. We construct two LTTs, named and , which we claim correspond closely to the classical predicative systems of second order arithmetic and . We justify this claim by translating each second order system into the corresponding LTT, and proving that these translations are conservative. This is part of an ongoing research project to investigate how LTTs may be used to formalise different (...) approaches to the foundations of mathematics.The two LTTs we construct are subsystems of the logic-enriched type theory , which is intended to formalise the classical predicative foundation presented by Herman Weyl in his monograph Das Kontinuum. The system has also been claimed to correspond to Weyl’s foundation. By casting and as LTTs, we are able to compare them with . It is a consequence of the work in this paper that is strictly stronger than .The conservativity proof makes use of a novel technique for proving one LTT conservative over another, involving defining an interpretation of the stronger system out of the expressions of the weaker. This technique should be applicable in a wide variety of different cases outside the present work. (shrink)

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent (...) calculus. When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing (...) that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem. Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs. Originally published in 1978. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These paperback editions preserve the original texts of these important books while presenting them in durable paperback editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent (...) calculus. When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties. (shrink)

In this work, a neo-classical relativistic mechanics theory is presented where the spin of an electron is an inherent part of its world space-time path as a point particle. The fourth-order equation of motion corresponds to the same covariant Lagrangian function in proper time as in special relativity except for an additional spin energy term. The theory provides a hidden-variable model of the electron where the dynamic variables give a complete description of its motion, giving a classical mechanics (...) explanation of the electron’s spin, its dipole moments, and Schrödinger’s zitterbewegung, These features are also described mathematically by quantum mechanics theory, of course, but without any physical picture of an underlying reality. The total motion of the electron can be decomposed into a sum of a local spin motion about a point and a global motion of this point, called here the spin center. The global motion is sub-luminal and described by Newton’s Second Law in proper time, the time for a clock fixed at the spin center, while the total motion occurs at the speed of light c, consistent with the eigenvalues of Dirac’s velocity operators having magnitude c. The local spin motion is an inherent perpetual motion, which for a free electron is periodic at the ultra-high zitterbewegung frequency and its path is circular in a spin-center reference frame. In an electro-magnetic field, this spin motion generates magnetic and electric dipole energies through the Lorentz force on the electron’s point charge. The electric dipole energy corresponds to the spin-orbit coupling term involving the electric field that appears in the corrected Pauli non-relativistic Hamiltonian, which has long been used to explain the doublet structure of the spectral lines of the excited hydrogen atom. Pauli’s spin-orbit term is usually derived, however, from his magnetic dipole energy term, including also the effect of Thomas precession, which halves this energy. The magnetic dipole energy from Pauli’s and Dirac’s theory is twice that in the neo-classical theory, a discrepancy that has not been resolved. By defining a spin tensor as the angular momentum of the electron’s total motion about its spin center, the fundamental equations of motion can be re-written in an identical form to those of the Barut–Zanghi electron theory. This allows the equations of motion to be expressed in an equivalent form involving operators applied to a state function of proper time satisfying a neo-classical Dirac–Schrödinger spinor equation. This state function produces the dynamic variables from the same operators as in Dirac’s theory for the electron but without any probability implications. It leads to a neo-classical wave function that satisfies Dirac’s relativistic wave equation for the free electron by applying the Lorentz transformation to express proper time in the state function in terms of an observer’s space-time coordinates, showing that there is a close connection between the neo-classical theory and quantum mechanics theory for the electron’s dynamics. (shrink)

We give an overview of the role of equicontinuity of sequences of real-valued functions on [0,1] and related notions in classical mathematics, intuitionistic mathematics, Bishop’s constructive mathematics, and Russian recursive mathematics. We then study the logical strength of theorems concerning these notions within the programme of Constructive Reverse Mathematics. It appears that many of these theorems, like a version of Ascoli’s Lemma, are equivalent to fan-theoretic principles.

This essay proposes that mathematical biology can be used as a fruitful exemplar for the introduction of scientific principles to history. After reviewing the antecedents of the application of mathematics to biology, in particular evolutionary biology, I describe in detail a mathematical model of cultural diffusion based on an analogy with population genetics. Subsequently, as a case study, this model is used to investigate the dynamics of the early modern European witch-crazes in Bavaria, England, Hungary and Finland. In the (...) second part of the article, I sketch the methodological significance of this type of 'scientific history' and, in particular, I identify three lessons that mathematical biology can contribute to historiography. The first lesson is on the fundamental distinction between agent's purposes and structural social processes. I argue that mathematical modeling can be fruitfully applied to describe social processes, while agents' purposes ought to be addressed following an hermeneutic tradition. The second lesson is on the aim of mathematical modeling. Here I argue that the object of modeling, rather than being the prediction or retrodiction of events , is the understanding of the factors involved in the dynamics of social processes . Finally, the third lesson is on the new understanding of science after the collapse of the standard view. In summary, while mathematical modeling can provide an extremely powerful approach to clarify the dynamics of certain macro-historical processes, scientific methods ought to be regarded as a complement, not a substitute, to classical historiography. (shrink)

This extensive work is both a systematization of past developments, and an extension to new areas, of the application of mathematical apparatus to the study of logical systems; it does not aim to include all such metamathematical devices, Gödel-numbering for example, but to emphasize algebraic and topological ones. The first part surveys required algebraic and topological notions; in the second part they are applied to classical logic—propositional and predicate calculi; in the final section, modal and intuitionistic, non-classical (...) logics come under scrutiny. The reader should come prepared with a working knowledge of the forementioned areas of mathematics; but the pace is leisurely, and the book tries to be self-contained. It succeeds admirably and may become the standard examination of the topic.—P. J. M. (shrink)

Resolution is an effective deduction procedure for classical logic. There is no similar "resolution" system for non-classical logics (though there are various automated deduction systems). The paper presents resolution systems for intuistionistic predicate logic as well as for modal and temporal logics within the framework of labelled deductive systems. Whereas in classical predicate logic resolution is applied to literals, in our system resolution is applied to L(abelled) R(epresentation) S(tructures). Proofs are discovered by a refutation procedure (...) defined on LRSs, that imposes a hierarchy on clause sets of such structures together with an inheritance discipline. This is a form of Theory Resolution. For intuitionistic logic these structures are called I(ntuitionistic) R(epresentation) S(tructures). Their hierarchical structure allows the restriction of unification of individual variables and/or constants without using Skolem functions. This structures must therefore be preserved when we consider other (non-modal) logics. Variations between different logics are captured by fine tuning of the inheritance properties of the hierarchy. For modal and temporal logics IRS's are extended to structures that represent worlds and/or times. This enables us to consider all kinds of combined logics. (shrink)

The most puzzling and intriguing aspect of intuitionism as a philosophy of mathematics is its claim that classical deductive reasoning in mathematics is illegitimate. The two most well-known proponents of this position are L. E. J. Brouwer and Michael Dummett. Both of their criticisms of the use of classical logic in mathematics have, by and large, been taken to depend on the thesis that the principle of bivalence does not apply to mathematical statements; and the (...) difference between these criticisms is taken to consist in their grounds for this thesis. Brouwer bases this thesis on an account of the nature of mathematics: it is an activity of mental construction essentially independent of language. Dummett, in contrast, bases the thesis on his anti-realist view of the nature of meaning. ;My first principal argument in this essay shows that the conception of anti-realism just outlined is problematic as a reading of Dummett. To begin with, Dummett explicitly rejects, not only the evidentiary restrictions of this conception, but also, more seriously, the use of specific epistemological theses in a philosophical account of meaning. Moreover, I give an alternative account of anti-realism, consisting of alternative interpretations of the manifestation requirement and of the rejection of realist truth conditions, that do not rely on an epistemology of meaning, and hence, a fortiori, not on evidential restrictions. ;My second principal argument in this essay consists of drawing a consequence of this conception of anti-realism, namely, that the failure of bivalence cannot, by itself, support a cogent criticism of classical logic. The basic reason is that, given my view of anti-realism, the claim that the legitimacy of applying classical reasoning to a class of statements depends on whether bivalence applies to that class already implies that the system of deductive reasoning applying to these statements is non-classical. Hence an argument against classical logic based on this claim is question-begging. ;Finally, I conclude by showing that Dummett's criticism of classical reasoning, as reconstructed by my third argument, fails. (shrink)

Measurement is said to be the basis of exact sciences as the process of assigning numbers to matter (things or their attributes), thus making it possible to apply the mathematically formulated laws of nature to the empirical world. Mathematics and empiria are best accorded to each other in laboratory experiments which function as what Nancy Cartwright calls nomological machine: an arrangement generating (mathematical) regularities. On the basis of accounts of measurement errors and uncertainties, I will argue for two claims: (...) 1) Both fundamental laws of physics, corresponding to ideal nomological machine, and phenomenological laws, corresponding to material nomological machine, lie, being highly idealised relative to the empirical reality; and also laboratory measurement data do not describe properties inherent to the world independently of human understanding of it. 2) Therefore the naive, representational view of measurement and experimentation should be replaced with a more pragmatic or practice-based view. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework (...) for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called ?premonition of continuity? (Peirce, 1976, Vol. 3, p. 87, c. 1897).

We consider the restriction of classical principles like Excluded Middle, Markov’s Principle, König’s Lemma to arithmetical formulas of degree 2. For any such principle, we find simple mathematical statements which are intuitionistically equivalent to it, provided we restrict universal quantifications over maps to computable maps.

For the given logical calculus we investigate the proportion of the number of true formulas of a certain length n to the number of all formulas of such length. We are especially interested in asymptotic behavior of this fraction when n tends to infinity. If the limit exists it is represented by a real number between 0 and 1 which we may call the density of truth for the investigated logic. In this paper we apply this approach to the intuitionistic (...) logic of one variable with implication and negation. The result is obtained by reducing the problem to the same one of Dummett's intermediate linear logic of one variable (see [2]). Actually, this paper shows the exact density of intuitionistic logic and demonstrates that it covers a substantial part (more than 93%) of classical prepositional calculus. Despite using strictly mathematical means to solve all discussed problems, this paper in fact, may have a philosophical impact on understanding how much the phenomenon of truth is sporadic or frequent in random mathematics sentences. (shrink)

We analyze the developments in mathematical rigor from the viewpoint of a Burgessian critique of nominalistic reconstructions. We apply such a critique to the reconstruction of infinitesimal analysis accomplished through the efforts of Cantor, Dedekind, and Weierstrass; to the reconstruction of Cauchy’s foundational work associated with the work of Boyer and Grabiner; and to Bishop’s constructivist reconstruction of classical analysis. We examine the effects of a nominalist disposition on historiography, teaching, and research.

The classic guide to tapping the practical benefits of an age-old book of wisdom--revised to captivate today's spiritual seekersBased on the revered Chinese philosophy with a 5,000-year-old tradition, the I Ching, or Book of Changes, is rich in revelations. An eminent expert on the powers of the subconscious, Dr. Joseph Murphy opens the guiding force of this ancient text to anyone with an appreciation of the possibilities. With the help of three coins--ordinary pennies will do-- readers will learn to apply (...) their intuitive abilities to receive the I Ching's answers. With a practical outlook, this hands-on guide presents simple techniques for enlisting the I Ching's aid in everyday problem-solving and decision-making. Murphy explains the I Ching hexagram system, revealing its roots in human psychology and the principle of constant change. Demystifying obscure terms and symbols, the author leads the way to consulting the I Ching for clarity and guidance in times of confusion and crisis. By combining basic mathematical formulas with spiritual awareness, readers will realize the miracle-working potential of their own mind and connect with the I Ching's truths. As a result, they'll gain vital insights into questions about career, family, romance, financial security, and life goals. And they'll discover the wonder of genuine peace of mind. SECRETS OF THE I CHING, does not claim to predict the future. But it does provide the tools to mark any future with the promise of greater personal and spiritual fulfillment. (shrink)

Intractability is a growing concern across the cognitive sciences: while many models of cognition can describe and predict human behavior in the lab, it remains unclear how these models can scale to situations of real-world complexity. Cognition and Intractability is the first book to provide an accessible introduction to computational complexity analysis and its application to questions of intractability in cognitive science. Covering both classical and parameterized complexity analysis, it introduces the mathematical concepts and proof techniques that can be (...) used to test one's intuition of tractability. It also describes how these tools can be applied to cognitive modeling to deal with intractability, and its ramifications, in a systematic way. Aimed at students and researchers in philosophy, cognitive neuroscience, psychology, artificial intelligence, and linguistics who want to build a firm understanding of intractability and its implications in their modeling work, it is an ideal resource for teaching or self-study. (shrink)

While many different mechanisms contribute to the generation of spatial order in biological development, the formation of morphogenetic fields which in turn direct cell responses giving rise to pattern and form are of major importance and essential for embryogenesis and regeneration. Most likely the fields represent concentration patterns of substances produced by molecular kinetics. Short range autocatalytic activation in conjunction with longer range “lateral” inhibition or depletion effects is capable of generating such patterns (Gierer and Meinhardt, 1972). Non-linear reactions are (...) required, and mathematical criteria were derived to design molecular models capable of pattern generation. The classical embryological feature of proportion regulation can be incorporated into the models. The conditions are mathematically necessary for the simplest two-factor case, and are likely to be a fair approximation in multi-component systems in which activation and inhibition are systems parameters subsuming the action of several agents. Gradients, symmetric and periodic patterns, in one or two dimensions, stable or pulsing in time, can be generated on this basis. Our basic concept of autocatalysis in conjunction with lateral inhibition accounts for self-regulatory biological features, including the reproducible formation of structures from near-uniform initial conditions as required by the logic of the generation cycle. Real tissue form, for instance that of budding Hydra, may often be traced back to local curvature arising within an initially relatively flat cell sheet, the position of evagination being determined by morphogenetic fields. Shell theory developed for architecture may also be applied to such biological processes. (shrink)

We propose in this paper to construct modal logics based on mathematical morphology. The contribution of this paper is twofold. First we show that mathematical morphology can be used to define modal operators in the context of normal modal logics. We propose definitions of modal operators as algebraic dilations and erosions, based on the notion of adjunction. We detail the particular case of morphological dilations and erosions, and of there compositions, as opening and closing. An extension to the fuzzy case (...) is also proposed. Then we show how this can be interpreted for spatial reasoning by using qualitative symbolic representations of spatial relationships (topological and metric ones) derived from mathematical morphology. This allows to establish some links between numerical and symbolic representations of spatial knowledge. (shrink)