The author hurries through the classical mathematicians in short order, highlighting their most significant contributions and their indebtedness to other thinkers. Written in a restrained narrative, this book presupposes throughout a detailed knowledge of mathematical concepts and symbolism. Some curious biographical data are included.--J. E. M.

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)

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.

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

This paper uses the relevant logic, MCQ, of meaning containment to explore mathematics without various classical theses, in particular, without the law of excluded middle.

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)

This paper addresses the question of what is distinctive about classical mathematics. The answer given is that it depends on a certain notion of conditionality, which is best understood as telling us something about the structure of the mathematics in question, and not something about the logical particle ‘if’.

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)

Thomists do not have an account of how modern mathematics relates to classical mathematics or more generally fits into the Aristotelian hierarchy of sciences. Rather than treat primarily of Aquinas’s theses on mathematical abstraction, I turn to considering what modern mathematics is in itself, seen from a broadly classical perspective. I argue that many modern quantities can be considered to be, not quantities as such or in themselves, but derived quantities, i.e., quantities that can be (...) defined wholly in terms of the principles of number or magnitude. I also interpret the parts of modern mathematics that study quantitative change as being properly-speaking parts of natural philosophy, for example, probability theory, statistics, calculus, etc. In conclusion, I consider the place that quantity as such has in the order of the world and why we should expect the world to be highly mathematical, as we have found it to be. (shrink)

This book highlights the emergence of a new mathematical rationality and the beginning of the mathematisation of physics in Classical Islam. Exchanges between mathematics, physics, linguistics, arts and music were a factor of creativity and progress in the mathematical, the physical and the social sciences. Goods and ideas travelled on a world-scale, mainly through the trade routes connecting East and Southern Asia with the Near East, allowing the transmission of Greek-Arabic medicine to Yuan Muslim China. The development of (...) science, first centred in the Near East, would gradually move to the Western side of the Mediterranean, as a result of Europe's appropriation of the Arab and Hellenistic heritage. Contributors are Paul Buell, Anas Ghrab, Hossein Masoumi Hamedani, Zeinab Karimian, Giovanna Lelli, Marouane ben Miled, Patricia Radelet-de Grave, and Roshdi Rashed. (shrink)

Elimination of quantifiers is shown to fail dramatically for a group of well‐known mathematical theories (classically enjoying the property) against a wide range of relevant logical backgrounds. Furthermore, it is suggested that only by moving to more extensional underlying logics can we get the property back.

It is not unreasonable to think that the dispute between classical and intuitionistic mathematics might be unresolvable or 'faultless', in the sense of there being no objective way to settle it. If so, we would have a pretty case of relativism. In this note I argue, however, that there is in fact not even disagreement in any interesting sense, let alone a faultless one, in spite of appearances and claims to the contrary. A position I call classical (...) pluralism is sketched, intended to provide a coherent methodological stance towards the issue. Some reasons to recommend this stance are given, as well as some speculations as to why not everyone might want to follow the recommendation. (shrink)

This work considers the Lagrangian in classical mechanics and in special relativity in a setting of arithmetic, algebra, and topology provided by observer’s mathematics. Certain results and communications pertaining to solutions of these problems are provided. In particular, we show that the standard expressions for Lagrangian take place with probabilities \1.

I characterize Bishop's constructive mathematics as an alternative to classical mathematics, which makes use of the actual infinity. From the history an accurate investigation of past physical theories I obtianed some ones - mainly Lazare Carnot's mechanics and Sadi Carnot's thermodynamics - which are alternative to the dominant theories - e.g. Newtopn's mechanics. The way to link together mathematics to theoretical physics is generalized and some general considerations, in particualr on the geoemtry in theoretical physics, are (...) obtained.that. (shrink)

Classical logic is traditionally introduced by itself, but that makes it seem arbitrary and unnatural. This text introduces classical alongside several nonclassical logics (relevant, constructive, quantative, paraconsistent).

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical (...) logic, particularly the concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

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)

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

We give a precise and modern mathematical characterization of the Newtonian spacetime structure (ℕ). Our formulation clarifies the concepts of absolute space, Newton's relative spaces, and absolute time. The concept of reference frames (which are “timelike” vector fields on ℕ) plays a fundamental role in our approach, and the classification of all possible reference frames on ℕ is investigated in detail. We succeed in identifying a Lorentzian structure on ℕ and we study the classical electrodynamics of Maxwell and Lorentz (...) relative to this structure, obtaining the important result that there exists only one intrinsic generalization of the Lorentz force law which is compatible with Maxwell equations. This is at variance with other proposed intrinsic generalizations of the Lorentz force law appearing in the literature. We present also a formulation of Newtonian gravitational theory as a curve spacetime theory and discuss its meaning. (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)

Provability, Computability and Reflection.

Alfred Tarski’s theory of truth, to which we will also refer as the classical theory,1 has a conspicuous place in mathematics as well as in general philosophy. The place in philosophy appears the more prominent of the two, although it is still somewhat unsettled, and perhaps even controversial.

Gert H. Muller The growth of the number of publications in almost all scientific areas, as in the area of logic, is taken as a sign of our scientifically minded culture, but it also has a terrifying aspect. In addition, given the rapidly growing sophistica tion, specialization and hence subdivision of logic, researchers, students and teachers may have a hard time getting an overview of the existing literature, partic ularly if they do not have an extensive library available in their (...) neighbourhood: they simply do not even know what to ask for! More specifically, if someone vaguely knows that something vaguely connected with his interests exists some where in the literature, he may not be able to find it even by searching through the publications scattered in the review journals. Answering this challenge was and is the central motivation for compiling this Bibliography. The Bibliography comprises the following six volumes : I. Classical Logic W. Rautenberg II. Non-classical Logics W. Rautenberg III. Model Theory H. -D. Ebbinghaus IV. Recursion Theory P. G. Hinman V. Set Theory A. R. Blass VI. Proof Theory; Constructive Mathematics J. E. Kister; D. van Dalen & A. S. Troelstra. (shrink)

The point of departure for this article is Werner Heisenberg’s remark, made in 1929: “It is not surprising that our language [or conceptuality] should be incapable of describing processes occurring within atoms, for … it was invented to describe the experiences of daily life, and these consist only of processes involving exceedingly large numbers of atoms. … Fortunately, mathematics is not subject to this limitation, and it has been possible to invent a mathematical scheme—the quantum theory [quantum mechanics]—which seems (...) entirely adequate for the treatment of atomic processes.” The cost of this discovery, at least in Heisenberg’s and related interpretations of quantum mechanics, is that, in contrast to classical mechanics, the mathematical scheme in question no longer offers a description, even an idealized one, of quantum objects and processes. This scheme only enables predictions, in general, probabilistic in character, of the outcomes of quantum experiments. As a result, a new type of the relationships between mathematics and physics is established, which, in the language of Eugene Wigner adopted in my title, indeed makes the effectiveness of mathematics unreasonable in quantum but, as I shall explain, not in classical physics. The article discusses these new relationships between mathematics and physics in quantum theory and their implications for theoretical physics—past, present, and future. (shrink)

A draft of a possible comparison between the use made of mathematics in classical field theories and in quantum mechanics is presented. Hilbert’s space formalism, although not only elegant and powerful but intuitive as well, does not give us a spatio-temporal representation of physical events. The picture of the electromagnetic field as an entity which is real in itself– i.e., as a wave without support – fostered by the emergence of special relativity can be seen as the first (...) step, favored by many physicists and philosophers, of a gradual “escape” from intuition into a purely mathematical representation of the external world. After the introduction, in recent theoretical physics, of fiber bundle formalism the classical notion of field acquires a new spatio-temporal intuitiveness. This intuitiveness is clearly foreshadowed in the Kantian and Meinongian analysis of the notion of magnitude. At the end of the paper we show that, contrary to what happens in quantum mechanics, mathematics plays a truly explicative role in general relativity, without any loss of spatio-temporal intuitiveness. (shrink)

This book examines the role of acts of choice in classical and intuitionistic mathematics. Featuring fifteen papers - both new and previously published - it offers a fresh analysis of concepts developed by the mathematician and philosopher L.E.J. Brouwer, the founder of intuitionism. The author explores Brouwer's idealization of the creative subject as the basis for intuitionistic truth, and in the process he also discusses an important, related question: to what extent does the intuitionistic perspective succeed in avoiding (...) the classical realistic notion of truth? The papers detail realistic aspects in the idealization of the creative subject and investigate the hidden role of choice even in classical logic and mathematics, covering such topics as bar theorem, type theory, inductive evidence, Beth models, fallible models, and more. In addition, the author offers a critical analysis of the response of key mathematicians and philosophers to Brouwer's work. These figures include Michael Dummett, Saul Kripke, Per Martin-Löf, and Arend Heyting. This book appeals to researchers and graduate students with an interest in philosophy of mathematics, linguistics, and mathematics. (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)

Despite its long history and stunning experimental successes, the mathematical foundation of perturbative quantum field theory is still a subject of ongoing research. This book aims at presenting some of the most recent advances in the field, and at reflecting the diversity of approaches and tools invented and currently employed. Both leading experts and comparative newcomers to the field present their latest findings, helping readers to gain a better understanding of not only quantum but also classical field theories. Though (...) the book offers a valuable resource for mathematicians and physicists alike, the focus is more on mathematical developments. This volume consists of four parts: The first Part covers local aspects of perturbative quantum field theory, with an emphasis on the axiomatization of the algebra behind the operator product expansion. The second Part highlights Chern-Simons gauge theories, while the third examines (semi-)classical field theories. In closing, Part 4 addresses factorization homology and factorization algebras. (shrink)

I sketch an application of a semantically anti-realist understanding of the classical sequent calculus to the topic of mathematics. The result is a semantically anti-realist defence of a kind of mathematical realism. In the paper, I begin the development of the view and compare it to orthodox positions in the philosophy of mathematics.

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