Skip to main content Accessibility help
×
Home

EARLY BOLZANO ON GROUND-CONSEQUENCE PROOFS

  • STEFANIA CENTRONE (a1)

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’.

Copyright

References

Hide All
Aristotle, , The Complete Works (Barnes, J., editor), vol. I-II, Princeton University Press, Princeton, 1984.
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.
Berg, J., Bolzano’s Logic, Amlquist & Wiksell, Stockholm, 1962.
Berg, J., ‘Einleitung des Herausgebers’ to Bolzano 1803–1810, BGA II B 14, pp. 918, 2009.
Betti, A., Explanation in Metaphysics and Bolzano’s Theory of Ground and Consequence. Logique et Analyse, vol. 53 (2010), pp. 281316.
Bolzano, B., Bernard Bolzano-Gesamtausgabe (Berg, J. et al., editors), Frommann-Holzboog, Stuttgart-Bad Cannstatt, 1969+. [Abbr.: BGA].
Bolzano, B., Philosophische Tagebücher 1803–1810, Zweiter Teil. In: BGA II B 15, pp. 18031810, 2009. [Abbr.: Tb.]
Bolzano, B., Betrachtungen über einige Gegenstände der Elementargeometrie, Karl-Barth, Prague, 1804. [Abbr.: Betrachtungen]. English translation in: Russ 2004, pp. 2281.
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, 82137.
Bolzano, B., Allgemeine Mathesis (1810a). In: BGA II A 5 pp., 1977. [Abbr.: Allg. Math.].
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. 82137.
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. 251278.
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. 279344.
Bolzano, B., Athanasia oder Gründe für die Unsterblichkeit der Seele, Seidel, Sulzbach, 1827, (21838). [Abbr.: Athanasia].
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, 19942006. [Abbr.: RW].
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.
Bolzano, B., Paradoxien des Unendlichen (Tapp, C., editor), Meiner, Hamburg, 2012. [Abbr.: PdU].
Buhl, G., Ableitbarkeit und Abfolge. Kant-Studien, Ergänzungshefte 83 (1961).
Casari, E., Matematica e verità. Rivista di Filosofia, vol. 78 (1987), pp. 329350.
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. 55105, 1992.
Casari, E., Logic and the Laws of Possible Being, in: Logic and Metaphysics (Marsonet, M., Benzi, M., editors), Name edizioni, Genova, pp. 1643, 2004.
Casari, E., 201x. Bolzano’s Logical System, Oxford Univeristy Press, Oxford, forthcoming.
Centrone, S., Logic and Philosophy of Mathematics in the Early Husserl, Springer, Dordrecht, 2010.
Centrone, S., Der Reziprozitätskanon in den Beyträgen und in der Wissenschaftslehre. Zeitschrift für Philosophische Forschung, vol. 64 (2010a), pp. 310330.
Centrone, S., Begründungen bei Bolzano und Husserl. Zeitschrift für Philosophische Forschung, vol. 65 (2011), no. 1, pp. 527.
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. 131.
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. 127157.
Descartes, R., Discours de la méthode (1637), in: Œuvres des Descartes, Vol. IV, , A. & Tannery, P. (editors), Leopold Cerf, Paris, 1902.
Detlefsen, M., Rigor, Re-proof and Bolzano’s Critical Program, in: Construction (Bour, P., et al., editors), King’s College Publications, London, pp. 171184, 2010.
Detlefsen, M., and Arana, A. Purity of Methods. Imprint, vol. 11 (2011), no. 2, pp. 120.
Künne, W., Versuche über Bolzano/Essays on Bolzano, Academia, St. Augustin, 2008.
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.
Mancosu, P., Bolzano and Cournot on mathematical explanation. Revue d’Histoire des Sciences, vol. 52 (1999), pp. 429456.
Mancosu, P., On mathematical explanation, in: The Growth of Mathematical Knowledge (Grosholz, E., Breger, H., editors), Kluwer, Dordrecht, pp. 103119, 2000.
Mancosu, P., Explanation in Mathematics. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/mathematics-explanation/, 2011.
Morscher, E., Bolzano’s Life and Work, Academia, St. Augustin, 2008.
Morscher, E., Bernard Bolzano. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/bolzano/, 2013.
Paoli, F., Bolzano e le dimostrazioni matematiche. Rivista di Filosofia, vol. 83 (1991), pp. 221242.
Roski, S., Bolzano’s Notion of Grounding and the Classical Model of Science, Dissertation, Amsterdam, 2014.
Rusnock, P., Bolzano’s Philosophy and the Emergence of Modern Mathematics, Rodopi, Amsterdam, 2000.
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. 114.
Russ, S., editor, The Mathematical Works of Bernard Bolzano, Oxford University Press, Oxford, 2004.
Sebestik, J., Logique et Mathématique Chez Bolzano, Vrin, Paris, 1992.
Sebestik, J., Bolzano’s Logic. The Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/bolzano-logic/, 2011.

Keywords

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Abstract views

Total abstract views: 0 *
Loading metrics...

* Views captured on Cambridge Core between <date>. This data will be updated every 24 hours.

Usage data cannot currently be displayed