Hostname: page-component-cd9895bd7-gxg78 Total loading time: 0 Render date: 2024-12-19T02:48:48.544Z Has data issue: false hasContentIssue false
  • English
  • Français

EARLY BOLZANO ON GROUND-CONSEQUENCE PROOFS

Published online by Cambridge University Press:  05 July 2016

STEFANIA CENTRONE
STEFANIA CENTRONE*
Affiliation:
CARL VON OSSIETZKY UNIVERSITÄT OLDENBURG FAKULTÄT IV - INSTITUT FÜR PHILOSOPHIE D-26111 OLDENBURG, GERMANYE-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

Abstract

In his early Contributions to a Better-Grounded Presentation of Mathematics (1810) Bernard Bolzano tries to characterize rigorous proofs (strenge Beweise). Rigorous is, prima facie, any proof that indicates the grounds for its conclusion. Bolzano lists a number of methodological constraints all rigorous proofs should comply with, and tests them systematically against a specific collection of elementary inference schemata that, according to him, are evidently of ground-consequence-kind. This paper intends to give a detailed and critical account of the fragmentary logic of the Contributions, and to point out as well some difficulties Bolzano’s attempt runs into, notably as to his methodological ban on ‘kind crossing’.

Keywords

03A0500A3003F07Bernard Bolzanoground-consequencerigorous proofsintermediate concepts
Type
Articles
Information
Bulletin of Symbolic Logic , Volume 22 , Issue 2 , June 2016 , pp. 215 - 237
Copyright
Copyright © The Association for Symbolic Logic 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

Aristotle, , The Complete Works (Barnes, J., editor), vol. I-II, Princeton University Press, Princeton, 1984.Google Scholar
Arnauld, A. and Nicole, P., La Logique, ou l’art de penser, C. Savreux, Paris, 1682. English translation: Logic or the Art of Thinking, Cambridge University Press, Cambridge, 1996.Google Scholar
Berg, J., Bolzano’s Logic, Amlquist & Wiksell, Stockholm, 1962.Google Scholar
Berg, J., ‘Einleitung des Herausgebers’ to Bolzano 1803–1810, BGA II B 14, pp. 9–18, 2009.Google Scholar
Betti, A., Explanation in Metaphysics and Bolzano’s Theory of Ground and Consequence. Logique et Analyse, vol. 53 (2010), pp. 281–316.Google Scholar
Bolzano, B., Bernard Bolzano-Gesamtausgabe (Berg, J. et al., editors), Frommann-Holzboog, Stuttgart-Bad Cannstatt, 1969+. [Abbr.: BGA].Google Scholar
Bolzano, B., Philosophische Tagebücher 1803–1810, Zweiter Teil. In: BGA II B 15, pp. 1803–1810, 2009. [Abbr.: Tb.]Google Scholar
Bolzano, B., Betrachtungen über einige Gegenstände der Elementargeometrie, Karl-Barth, Prague, 1804. [Abbr.: Betrachtungen]. English translation in: Russ 2004, pp. 22–81.Google Scholar
Bolzano, B., Beyträge zu einer begründeteren Darstellung der Mathematik. Erste Lieferung, Caspar Widtmann, Prague, 1810. Reprint: Darmstadt: Wissenschaftliche Buchgesellschaft 1974. [Abbr.: BM]. English translation in: Russ 2004, 82–137.Google Scholar
Bolzano, B., Allgemeine Mathesis (1810a). In: BGA II A 5 pp., 1977. [Abbr.: Allg. Math.].Google Scholar
Bolzano, B., Der binomische Lehrsatz und als Folgerung aus ihm der polynomische, und die Reihen, die zur Berechnung der Logarithmen und Exponentialgrössen dienen, genauer als bisher erwiesen, C. W. Enders, Prague, 1816. English translation in: Russ 2004, pp. 82–137.Google Scholar
Bolzano, B., Rein analytischer Beweis des Lehrsatzes daß je zwey Werthen, die ein entgegengesetzetes Resultat gewähren, wenigstens eine reelle Wurzel der Gleichung liege, Gottlieb Haase, Prague, 1817. English translation in: Russ 2004, pp. 251–278.Google Scholar
Bolzano, B., Die drey Probleme der Rectification, der Complanation und der Cubirung ohne Betrachtung des unendlich Kleinen, ohne die Annahmen des Archimedes, und Ohne irgend eine nicht streng erweisliche Voraussetzung gelöst, P. G. Kummer, Leipzig 1817a. English translation in: Russ 2004, pp. 279–344.Google Scholar
Bolzano, B., Athanasia oder Gründe für die Unsterblichkeit der Seele, Seidel, Sulzbach, 1827, (21838). [Abbr.: Athanasia].Google Scholar
Bolzano, B., Lehrbuch der Religionswissenschaft, ein Abdruck der Vorlesungshefte eines ehemaligen Religionslehrers an einer katholischen Universität, von einigen Schüler gesammelt und herausgegeben, Seidel, Sulzbach, 1834. Critical edition: Lehrbuch der Religionswissenschaft, BGA I 6–8, 1994–2006. [Abbr.: RW].Google Scholar
Bolzano, B., Wissenschaftslehre. Versuch einer ausführlichen und größtentheils neuen Darstellung der Logik mit steter Rücksicht auf deren bisherige Bearbeiter, Bd 1–4, Seidel, Sulzbach, 1837. Critical edition: Wissenschaftslehre, BGA I 11-14, 1985–2000. [Abbr.: WL]. English translation: P. Rusnock and R. George (editors), Bernard Bolzano: Theory of Science, vol. 1–4, Oxford University Press, Oxford, 2014.Google Scholar
Bolzano, B., Paradoxien des Unendlichen (Tapp, C., editor), Meiner, Hamburg, 2012. [Abbr.: PdU].Google Scholar
Buhl, G., Ableitbarkeit und Abfolge. Kant-Studien, Ergänzungshefte 83 (1961).Google Scholar
Casari, E., Matematica e verità. Rivista di Filosofia, vol. 78 (1987), pp. 329–350.Google Scholar
Casari, E., An Interpretation of Some Ontological and Semantical Notions in Bolzano’s Logic, in: Florence Centre for the History and Philosophy of Science (editor), Bolzano’s Wissenschaftslehre 1837–1987, Olschki, Firenze, pp. 55–105, 1992.Google Scholar
Casari, E., Logic and the Laws of Possible Being, in: Logic and Metaphysics (Marsonet, M., Benzi, M., editors), Name edizioni, Genova, pp. 16–43, 2004.Google Scholar
Casari, E., 201x. Bolzano’s Logical System, Oxford Univeristy Press, Oxford, forthcoming.Google Scholar
Centrone, S., Logic and Philosophy of Mathematics in the Early Husserl, Springer, Dordrecht, 2010.Google Scholar
Centrone, S., Der Reziprozitätskanon in den Beyträgen und in der Wissenschaftslehre. Zeitschrift für Philosophische Forschung, vol. 64 (2010a), pp. 310–330.Google Scholar
Centrone, S., Begründungen bei Bolzano und Husserl. Zeitschrift für Philosophische Forschung, vol. 65 (2011), no. 1, pp. 5–27.Google Scholar
Centrone, S., Strenge Beweise und das Verbot der metábasis eis állo génos. Eine Untersuchung zu Bernard Bolzanos Beyträgen zu einer begründeteren Darstellung der Mathematik. History and Philosophy of Logic, vol. 33 (2012), pp. 1–31.CrossRefGoogle Scholar
Centrone, S., Das Problem der apagogischen Beweise in Bolzano’s Beyträgen und in seiner Wissenschaftslehre. History and Philosophy of Logic, vol. 33 (2012a), pp. 127–157.Google Scholar
Descartes, R., Discours de la méthode (1637), in: Œuvres des Descartes, Vol. IV, , A. & Tannery, P. (editors), Leopold Cerf, Paris, 1902.Google Scholar
Detlefsen, M., Rigor, Re-proof and Bolzano’s Critical Program, in: Construction (Bour, P., et al., editors), King’s College Publications, London, pp. 171–184, 2010.Google Scholar
Detlefsen, M., and Arana, A. Purity of Methods. Imprint, vol. 11 (2011), no. 2, pp. 1–20.Google Scholar
Künne, W., Versuche über Bolzano/Essays on Bolzano, Academia, St. Augustin, 2008.Google Scholar
Leibniz, G. W., Nouveaux Essais (1704). In:, Akademie-Ausgabe VI.6, Akademie Verlag, Berlin, 1962. English translation: New Essays on Human Understanding (Remnan, P. and Bennett, J., editors), Cambridge University Press, Cambridge, 1996.Google Scholar
Mancosu, P., Bolzano and Cournot on mathematical explanation. Revue d’Histoire des Sciences, vol. 52 (1999), pp. 429–456.Google Scholar
Mancosu, P., On mathematical explanation, in: The Growth of Mathematical Knowledge (Grosholz, E., Breger, H., editors), Kluwer, Dordrecht, pp. 103–119, 2000.Google Scholar
Mancosu, P., Explanation in Mathematics. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/mathematics-explanation/, 2011.Google Scholar
Morscher, E., Bolzano’s Life and Work, Academia, St. Augustin, 2008.Google Scholar
Morscher, E., Bernard Bolzano. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/bolzano/, 2013.Google Scholar
Paoli, F., Bolzano e le dimostrazioni matematiche. Rivista di Filosofia, vol. 83 (1991), pp. 221–242.Google Scholar
Roski, S., Bolzano’s Notion of Grounding and the Classical Model of Science, Dissertation, Amsterdam, 2014.Google Scholar
Rusnock, P., Bolzano’s Philosophy and the Emergence of Modern Mathematics, Rodopi, Amsterdam, 2000.Google Scholar
Rusnock, P. and Sebestik, J., The Beyträge at 200: Bolzano’s quiet Revolution in the Philosophy of Mathematics. Journal for the History of Analytical Philosophy, vol. 1 (2013), no. 8, pp. 1–14.Google Scholar
Russ, S., editor, The Mathematical Works of Bernard Bolzano, Oxford University Press, Oxford, 2004.Google Scholar
Sebestik, J., Logique et Mathématique Chez Bolzano, Vrin, Paris, 1992.Google Scholar
Sebestik, J., Bolzano’s Logic. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/bolzano-logic/, 2011.Google Scholar