Two centuries ago Bernard Bolzano published his Contributions to a more well-founded presentation of mathematics which Goethe praised as “an opusculum of very high value”. Bolzano still seems to accept the traditional principle that that intension and extension of a concept stand in an inverse relation . In particular he claims that the concept of a genus proximum is always a component of the concept of the species which are subordinated to it. However, this does not harmonize with his simultaneous (...) assumption that there are simple species-concepts. In section 1 of this paper I shall try to bring to light this tension in Bolzanos Contributions. In section 2 I shall try to reconstruct Bolzano ’s arguments to the effect that the properties an object must have if it is to fall under a certain concept are not always components of that concept. In section 3 I shall try to reconstructs his arguments against the Canon in his Theory of Science .In seinen vor zwei Jahrhunderten erschienenen Beyträgen zu einer begründeteren Darstellung der Mathematik, die Goethe als „ein Werkchen von besonderem Werte“ pries, scheint Bernard Bolzano den traditionellen Lehrsatz der Reziprozität noch zu akzeptieren, demzufolge Inhalt und Umfang eines Begriffs in inversem Verhältnis stehen. Insbesondere akzeptiert er die traditionelle These, dass der Begriff eines genus proximum immer ein Bestandteil der Begriffe der Spezies dieses Genus ist. Diese Annahme schient aber im Gegensatz zu seiner gleichzeitigen Akzeptanz der These zu stehen, dass es einfache Spezies-Begriffe gibt. Im Paragraphen 1 bespreche ich diese Frage. Im Paragraphen 2 versuche ich, einige der Argumente zu rekonstruieren, die Bolzano in seiner Wissenschaftslehre zur Widerlegung der These verwendet, dass die Begriffe der Beschaffenheiten, die ein Gegenstand haben muss, um unter einen bestimmten Begriff zu fallen, immer Teile dieses Begriffs sind. Im Paragraphen 3 präsentiere ich die wichtigsten Argumente Bolzanos, die in der Wissenschaftslehre dafür verwendet werden, um den Kanon Allgemeingültigkeit abzusprechen. (shrink)

This work has been selected by scholars as being culturally important and is part of the knowledge base of civilization as we know it. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity has a copyright on the body of the work. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and (...) made generally available to the public. To ensure a quality reading experience, this work has been proofread and republished using a format that seamlessly blends the original graphical elements with text in an easy-to-read typeface. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This volume examines the notion of an analytic proof as a natural deduction, suggesting that the proof's value may be understood as its normal form--a concept with significant implications to proof-theoretic semantics.

The seventeenth century saw dramatic advances in mathematical theory and practice. With the recovery of many of the classical Greek mathematical texts, new techniques were introduced, and within 100 years, the rules of analytic geometry, geometry of indivisibles, arithmatic of infinites, and calculus were developed. Although many technical studies have been devoted to these innovations, Mancosu provides the first comprehensive account of the relationship between mathematical advances of the seventeenth century and the philosophy of mathematics of the period. Starting with (...) the Renaissance debates on the certainty of mathematics, Mancosu leads the reader through the foundational issues raised by the emergence of these new mathematical techniques, including the influence of the Aristotelian conception of science in Cavalieri and Guldin, the foundational relevance of Descartes' Geometrie, the relation between geometrical and epistemological theories of the infinite, and the Leibnizian calculus and the opposition to infinitesimalist procedures. In the process Mancosu draws a sophisticated picture of the subtle dependencies between technical development and philosophical reflection in seventeenth century mathematics. (shrink)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain (...) in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Two hundred years ago Bernard Bolzano published a booklet on the philosophy of mathematics that is the first major step forward in this area since Pascal’s De l’esprit géométrique. Following Aristotelian lines Bolzano distinguishes in his opusculum two kinds of proofs, those that simply show that something is the case, and those that explain why something is the case. In his Wissenschaftslehre this contrast reappears as that between derivability and consecutivity . Husserl takes up some of Bolzano’s key concepts in (...) his Prolegomena to Pure Logic. In this paper I discuss, among other things, the question whether consecutivity can be regarded as a special case of derivability, as Husserl seems to think, and I contrast Bolzano’s rejection of any appeal to self-evidence with Husserl’s reliance on this notion.Genau vor zweihundert Jahren erschienen Bernard Bolzano Beyträge zu einer begründeteren Darstellung der Mathematik. Dieses Büchlein ist der erste Meilenstein in der Geschichte der Philosophie der Mathematik seit Pascals De l’esprit géométrique. Im Anschluss an Aristoteles unterscheidet Bolzano in seinem Opusculum zwei Arten von Beweisen: solche, die nur dartun, dass etwas der Fall ist, und solche, die erklären warum etwas der Fall ist. Im seiner Wissenschaftslehre erscheint dieser Kontrast als der zwischen Ableitbarkeit und Abfolge. Husserl übernimmt einige von Bolzanos Grundbegriffen in seinen Prolegomena zur reinen Logik. In diesem Aufsatz diskutiere ich u.a. die Frage, ob Abfolge ein Spezialfall von Ableitbarkeit ist, wie Husserl anzunehmen scheint, und ich kontrastiere Bolzanos Ablehnung jeder Berufung auf Evidenz mit Husserls Einstellung. (shrink)

In this paper I show that proofs by contradiction were a serious problem in seventeenth century mathematics and philosophy. Their status was put into question and positive mathematical developments emerged from such reflections. I analyse how mathematics, logic, and epistemology are intertwined in the issue at hand. The mathematical part describes Cavalieri's and Guldin's mathematical programmes of providing a development of parts of geometry free of proofs by contradiction. The logical part shows how the traditional Aristotelean doctrine that perfect demonstrations (...) are causal demonstrations influenced the reflection on proofs by contradiction. The main protagonist of this part is Wallis. Finally, I analyse some epistemological developments arising from the Cartesian tradition. In particular, I look at Arnauld's programme of providing an epistemologically motivated reformulation of Geometry free of proofs by contradiction. The conclusion explains in which sense these epistemological reflections can be compared with those informing contemporary intuitionism. (shrink)

Einleitungsband. 1. T. Biographie -- 2. T. Bolzano-Bibliographie und Editionsprinzipien der Gesamtausgabe. (v. <1-2>). Supplement <1-2> -- Reihe I, Schriften -- Bd. 2. Erbauungsreden für Akademiker -- Bd. 6. Lehrbuch der Religionswissenschaft, Erster Teil. (2 v.) -- Bd. 7. Lehrbuch der Religionswissenschaft, Zweiter Teil. (2 v.) -- Bd. 8. Lehrbuch der Religionswissenschaft, Dritter Teil. (v. <1-4 >) -- Bd. 11. Wissenschaftslehre (3 v.) -- Bd. 12. Wissenschaftslehre. (3 v.) -- Bd. 13. Wissenschaftslehre. (3 v.) -- Bd. 14. Wissenschaftslehre. (v. <1-3>) (...) -- Bd. 16. Vermischte Schriften, 1839-1840. (2 v.) -- Bd. 18. Mathematisch-physikalische und philosophische Schriften, 1842-1843 -- Bd. 19. Über die Perfectibilität des Katholizismus. (2 v.) --. (shrink)