In his Foundations of a General Theory of Manifolds, Georg Cantor praised Bernard Bolzano as a clear defender of actual infinity who had the courage to work with infinite numbers. At the same time, he sharply criticized the way Bolzano dealt with them. Cantor’s concept was based on the existence of a one-to-one correspondence, while Bolzano insisted on Euclid’s Axiom of the whole being greater than a part. Cantor’s set theory has eventually prevailed, and became a formal basis of contemporary (...) mathematics, while Bolzano’s approach is generally considered a step in the wrong direction. In the present paper, we demonstrate that a fragment of Bolzano’s theory of infinite quantities retaining the part-whole principle can be extended to a consistent mathematical structure. It can be interpreted in several possible ways. We obtain either a linearly ordered ring of finite and infinitely great quantities, or a partially ordered ring containing infinitely small, finite and infinitely great quantities. These structures can be used as a basis of the infinitesimal calculus similarly as in non-standard analysis, whether in its full version employing ultrafilters due to Abraham Robinson, or in the recent “cheap version” avoiding ultrafilters due to Terence Tao. (shrink)

The essay revisits the puzzle of the ‘passage’ of time in relation to EPR-type measurements and asks what philosophical consequences can be drawn from them. Some argue that the lack of invariance of temporal order in the measurement of a space-like related EPR pair, under relativistic motion, casts serious doubts on the ‘reality’ of the lapse of time. Others argue thatcertain features of quantum mechanics establisha tensed theory of time – understood here as Possibilism or the growing block universe. The (...) paper analyzes the employment of frame-invariant entropic clocks in a relativistic setting and argues that tenselessness does not imply timelessness. But this conclusion does not support a tensed theory of time, which requires a preferred foliation. It is argued that the only reliable inference from the EPR example and the use of entropic clocks is an inference not just to a Leibnizian order of the succession of events but a frame-invariant order according to some selected clocks. (shrink)

In the course of the last few decades, Bolzano has emerged as an important player in accounts of the history of philosophy. This should be no surprise. Few authors stand at a more central junction in the development of modern thought. Bolzano's contributions to logic and the theory of knowledge alone straddle three of the most important philosophical traditions of the 19th and 20th centuries: the Kantian school, the early phenomenological movement and what has come to be known as analytical (...) philosophy. This paper identifies three Bolzanian theoretical innovations that warrant his inclusion in the analytical tradition: the commitment to ‘logical realism’, the adoption of a substitutional procedure for the purpose of defining logical properties and a new theory of a priori cognition that presents itself as an alternative to Kant's. All three innovations concur to deliver what counts as the most important development of logic and its philosophy between Aristotle and Frege. In the final part of the paper, I defend Bolzano against a common objection and explain that these theoretical innovations are also supported by views on syntax, which though marginal are both workable and philosophically interesting. (shrink)

Le but de cet article est de présenter et d’évaluer la théorie de la fondation de Bernard Bolzano, c’est-à-dire sa théorie du concept exprimé et de la relation mise en jeu par « parce que ». Dans la première partie , le concept de fondation est distingué et mis en relation avec trois autres concepts : le concept de raison épistémique, le concept de causalité et le concept de déductibilité . Dans la seconde partie , je reconstruis la théorie bolzanienne (...) de la fondation sous forme axiomatique et j’en offre une discussion critique.The aim of the paper is to present and evaluate Bernard Bolzano’s theory of grounding, i.e. his theory of the concept expressed and the relation brought into play by ‘because’. In the first part the concept of grounding is distinguished from and related to three other concepts : the concept of an epistemic reason, the concept of causality and the concept of deducibility . In its second part Bolzano’s positive account of grounding is reconstructed in axiomatic form and critically discussed. (shrink)

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the formal sciences. (...) We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)

This volume will be of particular interest to researchers working in the history, and in the philosophy, of logic and mathematics, and more generally, to ...

The aim of the paper is to present and evaluate Bolzano's theory of grounding, that is, his theory of the concept expressed and the relation brought into play by 'because'. In the first part of the paper (Sections 1-4) the concept of grounding is distinguished from and related to three other concepts: the concept of an epistemic reason}, the concept of causality, and the concept of deducibility (i.e., logical consequence). In its second part (Sections 5-7) Bolzano's positive account of grounding (...) is reconstructed in axiomatic form and critically discussed. (shrink)

An overview of contemporary part-whole theories, with reference to both their axiomatic developments and their philosophical underpinnings.

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but non-singular logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets, we arrive at a Russellian paradox when characterizing the semantics of mass nouns. Likewise, a semantics of mass nouns based upon predicate logic (...) and mereological sums is too weak, since it cannot characterize the “intermediary” construals that sentences containing mass nouns may receive. We then develop an account where mass nouns are treated as non-singular terms, which may refer to several things at once. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: “The silverware that is on the table comes from Italy”. We show that this account provides a satisfactory semantics for a wide range of sentences, including cases often seen as difficult, like “The gold on the table weighs seven ounces” (Bunt 1985) and “All phosphorus is either red or black” (Roeper 1983). (shrink)

A dilemma put forward by Schein (1993) and Rayo (2002) suggests that, in order to characterize the semantics of plurals, we should not use predicate logic, but plural logic, a formal language whose terms may refer to several things at once. We show that a similar dilemma applies to mass nouns. If we use predicate logic and sets when characterizing their semantics, we arrive at a Russellian paradox. And if we use predicate logic and mereoogical ums, the semantics turns out (...) to be too weak. We then develop an account where mass nouns are treated as non-singular terms. This semantics is faithful to the intuition that, if there are eight pieces of silverware on a table, the speaker refers to eight things at once when he says: "The silverware that is on the table comes from Italy." We show that this account provides a satisfactory semantics for a wide range of sentences. (shrink)

Dans cet article, l’auteur présente la théorie bolzanienne du nombre. Il établit, sur la base d’une comparaison avec Frege, que la conception bolzanienne rencontre toutes les exigences d’une telle théorie tout en présentant plusieurs traits originaux, comme par exemple le fait qu’elle s’articule sur la base d’une théorie des « collections » , qui lui confèrent un intérêt philosophique certain. Tout en indiquant au passage un problème inhérent à la notion bolzanienne de Reihe, l’auteur présente la conception bolzanienne des nombres (...) naturels, reconstruit sa théorie des nombres abstraits et montre comment Bolzano est en mesure d’établir le lien entre ces derniers et leur application aux ensembles concrets d’objets.In this article, the author exposes Bolzano’s theory of numbers. He shows, on the basis of a comparison with Frege, that Bolzano’s conception not only meets all the requisites of such a theory but also exhibits original features, such as for instance the fact that it is grounded in a theory of “collections” , which impart it with undeniable philosophical interest. After indicating one problem relating to the Bolzanian notion of a Reihe, the author presents Bolzano’s conception of natural numbers, reconstructs his theory of abstract numbers and expounds the connection between the latter and their application to concrete sets of things. (shrink)

Alongside his groundbreaking work in logic, Bernard Bolzano (1781?1848) made important contributions to ontology, notably with his theory of collections. Recent work has done much to elucidate Bolzano's conceptions, but his notion of a sum has proved stubbornly resistant to complete understanding. This paper offers a new interpretation of Bolzano's concept of a sum. I argue that, although Bolzano's presentation is defective, his conception is unexceptionable, and has important applications, notably in his work on the foundations of arithmetic.

Bernard Bolzano , one of the leading figures of the Bohemian Enlightenment, made important contributions both to mathematics and philosophy which were virtually unknown in his lifetime and are still largely unacknowledged today. As a mathematician, he was a pioneer in the clarification and rigorization of mathematical analysis; as a philosopher, he may be considered a forerunner of the analytic movement later to emerge with Frege and Russell.Rusnock's account of Bolzano's work is laid out in five chapters and two appendices. (...) The introductory first chapter consists of an overview of Bolzano's philosophy and his account of scientific theories. For Bolzano, the importance of such theories—as in mathematics—is their formal structure. Unlike his philosophical predecessors, Bolzano held that the goal of scientific presentation is not to maximize certainty, but rather to set out the objective order of truth.Chapter 2 is an analysis of Bolzano's early work, Contributions to a Better Founded Presentation of Mathematics, in which a number of his characteristic doctrines concerning mathematics are adumbrated. In sharp contradistinction to Kant, Bolzano thought that the methodology of mathematics is logic, and that mathematics should be founded independently of epistemology. In the Contributions Bolzano formulates a ‘thoroughgoing refutation of Kant's account of mathematical knowledge’, repudiating in particular …. (shrink)

Traditionally one main emphasis of the quantum mechanical measurement theory is on the question how the pure state of the compound system 'measured system + measuring apparatus' is transformed into the 'mixture' of all possible results of that measurement, weighted with their probability: the so-called “disappearance of the interference terms”. It is argued in this note that in reality there is no such transformation, so that there is no need to account for such a transformation theoretically. _German_ Gewöhnlich liegt ein (...) Hauptgewicht der quantenmechanischen Messtheorie auf der Frage des Übergangs vom,reinen Fall' des Gesamtsystems,gemessenes System + Messgerät' in das,Gemenge' aus allen möglichen Messergebnissen, gewichtet mit ihren Wahrscheinlichkeiten: Das sog.,,Verschwinden der Interferenzterme“. In dieser Notiz wird die Meinung vertreten, dass es einen solchen Übergang faktisch nicht gibt, so dass es nicht notwendig ist, eine theoretische Erklärung für den Übergang zu geben. (shrink)