Search

My first aim in this paper is to use time diagrams in the style of Brentano to analyze constructions in Brouwer's separable mathematics more precisely. I argue that constructions must involve not only pairing and projecting as basic operations guaranteed by the intuition of twoity, as sometimes assumed in the literature, but also a recalling operation. My second aim is to argue that Brouwer's views on the intuition of twoity and arithmetic lead to an ontological explosion. Redeveloping the constructions of natural numbers and systems sketched in an appendix to Brouwer's Cambridge lectures, I observe that the only plausible way he can make some elementary arithmetic in his separable mathematics is by allowing for the same canonical number to be determined by multiple separable entities, resulting in an overabundant mathematical ontology. [ABSTRACT FROM AUTHOR]

We classify two of Bertrand Russell's theories of events within the point-free ontology. The first of such approaches was presented informally by Russell in 'The World of Physics and the World of Sense' (Lecture IV in Our Knowledge of the External World of 1914). Based on this theory, Russell sketched ways to construct instants as collections of events. This paper formalizes Russell's approach from 1914. We will also show that in such a reconstructed theory, we obtain all axioms of Russell's second theory from 1936 and all axioms of Thomason's theory of events from 1989. Russell's work certainly influenced the works of Stanisław Leśniewski, his student Alfred Tarski, and Czesław Lejewski – prominent members of the Lvov-Warsaw School (LWS). We see our work in the tradition of the research of Leśniewski and Tarski. Building on the technical tools developed in this environment and in the spirit of the traditional research of the LWS, we engage here, in particular, with two classic works by Russell on fundamental ontology. [ABSTRACT FROM AUTHOR]

The problem of precise characterisation of traditional forms of reasoning applied in mathematics was independently investigated and successfully resolved by Jaśkowski and Gentzen in 1934. However, there are traces of earlier interests in this field exhibited by the members of the Lvov-Warsaw School. We focus on the results obtained by Jaśkowski and Leśniewski. Jaśkowski provided the first formal system of natural deduction in 1926. Leśniewski also demonstrated in some of his papers how to construct proofs in accordance with intuitively correct principles. [ABSTRACT FROM AUTHOR]

Towards the end of his 1930 paper on boundary numbers and domains of sets Zermelo briefly discusses the questions of consistency and of the existence of an unbounded sequence of strongly inaccessible cardinals, deferring a detailed discussion to a later paper which never appeared. In a report to the Emergency Community of German Science from December 1930 about investigations in progress he mentions that some of the intended extensions of these topics had been worked out and were nearly ready for publication. Using manuscripts from his Nachlass, we exhibit essential features of these extensions. [ABSTRACT FROM AUTHOR]

I trace the development of arguments for the consistency of non-Euclidean geometries and for the independence of the parallel postulate, showing how the arguments become more rigorous as a formal conception of geometry is introduced. I analyse the kinds of arguments offered by Jules Hoüel in 1860-1870 for the unprovability of the parallel postulate and for the existence of non-Euclidean geometries, especially his reaction to the publication of Beltrami's seminal papers, showing that Beltrami was much more concerned with the existence of non-Euclidean objects than he was with the formal consistency of non-Euclidean geometries. The final step towards rigorous consistency proofs is taken in the 1880s by Henri Poincaré. It is the formal conception of geometry, stripping the geometric primitive terms of their usual meanings, that allows the introduction of a modern fully rigorous consistency proof. [ABSTRACT FROM AUTHOR]

The paper examines the roots of Husserlian phenomenology in Weierstrass's approach to analysis. After elaborating on Weierstrass's programme of arithmetization of analysis, the paper examines Husserl's Philosophy of Arithmetic as an attempt to provide foundations to analysis. The Philosophy of Arithmetic consists of two parts; the first discusses authentic arithmetic and the second symbolic arithmetic. Husserl's novelty is to use Brentanian descriptive analysis to clarify the fundamental concepts of arithmetic in the first part. In the second part, he founds the symbolic extension of the authentically given arithmetic with stepwise symbolic operations. In the process of doing so, Husserl comes close to defining the modern concept of computability. The paper concludes with a brief comparison between Husserl and Frege. While Frege chose to subject arithmetic to logical analysis, Husserl wants to clarify arithmetic as it is given to us. Both engage in a kind of analysis, but while Frege analyses within Begriffsschrift, Husserl analyses our experiences. The difference in their methods of analysis is what ultimately grows into two separate schools in philosophy in the 20th century. [ABSTRACT FROM AUTHOR]

This paper examines the quantification theory of *9 of Principia Mathematica. The focus of the discussion is not the philosophical role that section *9 plays in Principia's full ramified type-theory. Rather, the paper assesses the system of *9 as a quantificational theory for the ordinary predicate calculus. The quantifier-free part of the system of *9 is examined and some misunderstandings of it are corrected. A flaw in the system of *9 is discovered, but it is shown that with a minor repair the system is semantically complete. Finally, the system is contrasted with the system of *8 of Principia's second edition. [ABSTRACT FROM AUTHOR]

The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume's Principle seems to provide, in the derivation of Frege's Theorem, comes largely from the 'logic' assumed rather than from Hume's Principle. It is shown that Hume's Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts of arithmetic are logically derivable from Hume's Principle. And that hardly counts as a vindication of logicism. [ABSTRACT FROM AUTHOR]

We investigate two notions of independence—(usual) independence and complete independence—applied to the Peano axioms for the sequence of natural numbers. We review the results that, although they are independent, the Peano axioms are not completely independent. The standard proof that the Peano axioms are not completely independent is algebraic, in the sense that it makes essential reference to the relationship between several mathematical structures that satisfy, or do not satisfy, these axioms. We then present an alternative logical proof, which makes no essential references to the relationship between mathematical structures. There is a completely independent set of axioms for the sequence of natural numbers, but it is based on primitives different from those originally adopted by Peano. Therefore, we present a new completely independent set of axioms based on the same set of primitives as the one originally adopted by Peano. [ABSTRACT FROM AUTHOR]

We discuss the concept of a cardinal number and its history, focussing on Cantor's work and its reception. J'ay fait icy a peu pres comme Euclide, qui ne pouvant pas bien >faire< entendre absolument ce que c'est que raison prise dans le sens des Geometres, definit bien ce que c'est que memes raisons. (Leibniz)1 [ABSTRACT FROM AUTHOR]

Bertrand Russell's 1906 article 'The Theory of Implication' contains an algebraic weak completeness proof for classical propositional logic. Russell did not present it as such. We give an exposition of the proof and investigate Russell's view of what he was about, whether he could have appreciated the proof for what it is, and why there is no parallel of the proof in Principia Mathematica. [ABSTRACT FROM AUTHOR]

Hans Hahn's long-neglected philosophy of mathematics is reconstructed here with an eye to his anticipation of the doctrine of logical pluralism. After establishing that Hahn pioneered a post-Tractarian conception of tautologies and attempted to overcome the traditional foundational dispute in mathematics, Hahn's and Carnap's work is briefly compared with Karl Menger's, and several significant agreements or differences between Hahn's and Carnap's work are specified and discussed. [ABSTRACT FROM AUTHOR]

For Ivor Grattan-Guinness on the occasion of his retirement. The work of Augustus De Morgan on symbolic logic in the mid-nineteenth century is familiar to historians of logic and mathematics alike. What is less well known is his work on probability and, more specifically, the use of probabilistic ideas and methods in his logic. The majority of De Morgan's work on probability was undertaken around 1837 - 1838, with his earliest publications on logic appearing from 1839, a period which culminated with the publication of his Formal Logic in 1847. This article examines the overlap between his work on probability theory and logic during the earliest period of his interest in both. [ABSTRACT FROM AUTHOR]

The article discusses real meaning or ultimate significance of a famous theorem comprise a major vein of philosophical writing about mathematics. It mentions Deduction Theorem is an another result from mathematical logic; and setting of sentential logic to larger classes of algebraic structures. It mentions about compound formulas built up recursively from atoms with propositional connectives.

Compares Mario Pieri's work on the foundations of mathematics to the works of Christina von Staudt, Giuseppe Peano, David Hilbert and Alfred Tarski. Von Staudt's projective geometry; Peano's symbolic logic and axiomatization of arithmetic; Hilbert's 1899 `Grundlagen der Geometrie'; Tarsk's geometry based on the notion of equidistance.

The abstract status of Kant's account of his 'general logic' is explained in comparison with Gödel's general definition of a formal logical system and reflections on 'abstract' ('absolute') concepts. Thereafter, an informal reconstruction of Kant's general logic is given from the aspect of the principles of contradiction, of sufficient reason, and of excluded middle. It is shown that Kant's composition of logic consists in a gradual strengthening of logical principles, starting from a weak principle of contradiction that tolerates a sort of contradictions in predication, and then proceeding to the (constructive) principle of sufficient reason, and to a classical-like logic, which includes the principle of excluded middle. A first-order formalisation is applied to this reconstruction, which reveals implicit modalities in Kant's account of logic, and confirms the implementability of Kant's logic into a sound and complete formal system. [ABSTRACT FROM AUTHOR]

There is a well-documented paradigm-shift in eighteenth century Jesuit philosophy and science, at the very least in Central Europe: traditional scholastic version(s) of Aristotelianism were replaced by early modern rationalism (Wolff's systematisation of Leibnizian philosophy) and early modern science and mathematics. In the field of probability, this meant that the traditional Jesuit engagement with probability, uncertainty, and truthlikeness (in particular, as applied to moral theology) could translate into mathematical language, and can be analysed against the background of the accounts of probability, pre-mathematical Jesuit logic, Wolff's conceptual analysis, and Bernoullian mathematisation. The works of two Jesuit philosophers, Berthold Hauser and Sigismund Storchenau, can be related to this context. The core of their logic of (epistemic) probability is the account of negation (or 'contradiction') and implication (or 'argument'), in particular, the algorithms for computing the reliability of one piece of evidence when compared to the respective counter-evidence and for computing the probability of a conclusion given the probability of its premises. [ABSTRACT FROM AUTHOR]

A personal narrative is presented which explores the author's study on Topos Theory in mathematics in Montreal, Quebec.

According to the received view (Bochenski, Kneale), from the end of the fourteenth to the second half of nineteenth century, logic enters a period of decadence. If one looks at this period, the richness of the topics and the complexity of the discussions that characterized medieval logic seem to belong to a completely different world: a simplified theory of the syllogism is the only surviving relic of a glorious past. Even though this negative appraisal is grounded on good reasons, it overlooks, however, a remarkable innovation that imposes itself at the beginning of the sixteenth century: the attempt to connect the two previously separated disciplines of logic and mathematics. This happens along two opposite directions: the one aiming to base mathematical proofs on traditional (Aristotelian) logic; the other attempting to reduce logic to a mathematical (algebraical) calculus. This second trend was reinforced by the claim, mainly propagated by Hobbes, that the activity of thinking was the same as that of performing an arithmetical calculus. Thus, in the period of what Bochenski characterizes as 'classical logic', one may find the seeds of a process which was completed by Boole and Frege and opened the door to the contemporary, mathematical form of logic. [ABSTRACT FROM AUTHOR]

On Zermelo's view, any mathematical theory presupposes a non-empty domain, the elements of which enjoy equal status; furthermore, mathematical axioms must be chosen from among those propositions that reflect the equal status of domain elements. As for which propositions manage to do this, Zermelo's answer is, those that are 'symmetric', meaning 'invariant under domain permutations'. We argue that symmetry constitutes Zermelo's conceptual analysis of 'general proposition'. Further, although others are commonly associated with the extension of Klein's Erlanger Programme to logic, Zermelo's name has a place in that story. [ABSTRACT FROM AUTHOR]

It is controversial whether Wittgenstein's philosophy of mathematics is of critical importance for mathematical proofs, or is only concerned with the adequate philosophical interpretation of mathematics. Wittgenstein's remarks on the infinity of prime numbers provide a helpful example which will be used to clarify this question. His antiplatonistic view of mathematics contradicts the widespread understanding of proofs as logical derivations from a set of axioms or assumptions. Wittgenstein's critique of traditional proofs of the infinity of prime numbers, specifically those of Euler and Euclid, not only offers philosophical insight but also suggests substantive improvements. A careful examination of his comments leads to a deeper understanding of what proves the infinity of primes. [ABSTRACT FROM AUTHOR]

This article aims first at showing that Russell's general doctrine according to which all mathematics is deducible 'by logical principles from logical principles' does not require a preliminary reduction of all mathematics to arithmetic. In the Principles, mechanics (part VII), geometry (part VI), analysis (part IV-V) and magnitude theory (part III) are to be all directly derived from the theory of relations, without being first reduced to arithmetic (part II). The epistemological importance of this point cannot be overestimated: Russell's logicism does not only contain the claim that mathematics is no more than logic, it also contains the claim that the differences between the various mathematical sciences can be logically justified - and thus, that, contrary to the arithmetization stance, analysis, geometry and mechanics are not merely outgrowths of arithmetic. The second aim of this article is to set out the neglected Russellian theory of quantity. The topic is obviously linked with the first, since the mere existence of a doctrine of magnitude, in a work dated from 1903, is a sign of a distrust vis-à-vis the arithmetization programme. After having shown that, despite the works of Cantor, Dedekind and Weierstrass, many mathematicians at the end of the 19th Century elaborated various axiomatic theories of the magnitude, I will try to define the peculiarity of the Russellian approach. I will lay stress on the continuity of the logicist's thought on this point: Whitehead, in the Principia, deepens and generalizes the first Russellian 1903 theory. [ABSTRACT FROM AUTHOR]

Tarski, Carnap and Quine spent the academic year 1940–1941 together at Harvard. In their autobiographies, both Carnap and Quine highlight the importance of the conversations that took place among them during the year. These conversations centred around semantical issues related to the analytic/synthetic distinction and on the project of a finitist/nominalist construction of mathematics and science. Carnap's Nachlaß in Pittsburgh contains a set of detailed notes, amounting to more than 80 typescripted pages, taken by Carnap while these discussions were taking place. In my article, I present a survey of these notes with special emphasis on Tarski's rejection of the analytic/synthetic distinction, the passage from typed languages to first-order languages, Tarski's finitism/nominalism, and the construction of a finitist language for mathematics and science. [ABSTRACT FROM AUTHOR]

In the 1920s, Ackermann and von Neumann, in pursuit of Hilbert's programme, were working on consistency proofs for arithmetical systems. One proposed method of giving such proofs is Hilbert's epsilon-substitution method. There was, however, a second approach which was not reflected in the publications of the Hilbert school in the 1920s, and which is a direct precursor of Hilbert's first epsilon theorem and a certain ‘general consistency result’ due to Bernays. An analysis of the form of this so-called ‘failed proof’ sheds further light on an interpretation of Hilbert's programme as an instrumentalist enterprise with the aim of showing that whenever a ‘real’ proposition can be proved by ‘ideal’ means, it can also be proved by ‘real’, finitary means. [ABSTRACT FROM AUTHOR]

Hermann Grassmann's Ausdehnungslehre of 1844 and his Lehrbuch der Arithmetik of 1861 are landmark works in mathematics; the former not only developed new mathematical fields but also both contributed to the setting of modern standards of rigor. Their very modernity, however, may obscure features of Grass-mann's view of the foundations of mathematics that were not adopted since. Grassmann gave a key role to the learning of mathematics that affected his method of presentation, including his emphasis on making initial assumptions explicit. In order to better understand this less well-known aspect of his work it will help to examine why some commentators have overlooked his theme of unifying logic, pedagogy and foundations, while others have recognised it. [ABSTRACT FROM AUTHOR]

The article focuses on the mechanical reductionism of William Stanley Jevons, a philosopher of science. It highlights the inability of Jevons to define the concept of unit which affected his intellectual programme related to mathematics, physics and economics. It explores his achievements in developing statistical tools which support his economic theory.

The article discusses the analysis of Gottlob Frege and David Hilbert on formalist doctrine which is consistent to an arbitrary set of mathematical sentences in sufficient condition for truth and for the existence of the described concepts. Frege and Hilbert used the formalist approach and the axiomatic method with later work in foundations with speculation. In addition, the concept was based on the neglected revision of Hilbert idea on the existence of mathematical sentences.