Selected Bibliography on Bernard Bolzano's Contributions to Logic and Ontology. First Part: A - C
STUDIES ON BERNARD BOLZANO'S LOGIC AND ONTOLOGY
Abbreviations: WL = Bolzano's Wissenschafslehre (1837)
- Bolzano Als Logiker. Bolzano-Symposion Am 17 Und 18 Dezember 1973. Wien: Verlag der Österreichische Akademie der Wissenschaften, 1974.
Anlässlich des 125. Todestages Bernard Bolzanos (+ 18 Dezember 1848).
Inhalt: Winter Eduard: Religionsphilosophie und Logik bei B. Bolzano 5; Berg Jan: Was ist ein Satz nach Bolzano? 21; Pavlikova Marie: Bolzanos wissenschaftlicher Nachlass in Prag, seine Neuordnung und Bolzanos Manuskripte zur Logik 31; Christian Curt: Ableitbarkeit und Abfolge bei Bolzano 47; Louzil Jaromír: Bolzanos Begriff der Anschauung 63; Morscher Edgar: "Philosophische Logik" bei Bernard Bolzano 77-105.
- "Impact of Bolzano's Epoch on the Development of Science. Conference Papers." Acta Historiae Rerum Naturalium Necnon Technicarum 13 (1982).
Proceedings of the Bernard Bolzano's Bicentenary Conference, Prague, September 7-12, 1981.
Contents: (only the contributions on Bolzano are cited): Zdenèk Ceska: B. Bolzano and the Charles University 3-8; Lubos Novy: Bolzano's contribution to science and society 9-23; Günter Kröber: Bernard Bolzano und das Problem des wissenschfatlich-technischen und sozialen Fortschrittes 103-128; Jan Janko: Veränderungen der Naturgeschichte und ihre Differenziation in der I. Hälfte des 19. Jahrunderts 129-154; Joseph W. Dauben: Progress of mathematics in the early 19th century: Context, contents and consequences 223-260; Jan Berg: A requirement for the logical basis of scientific theories implied by Bolzano's logic of variation 415-425; Karel Berka: B. Bolzano's philosophy of science 427-442; Jonathan Cohen: Bolzano's theory of induction 443-457; Helmut Meltzer: Bernard Bolzano Beitrag zum Gestaltwandel der Logik 479-489;
- "Bolzano Studien." Philosophia Naturalis 24 (1987): 351-499.
Edgar Morscher: Vorwort des Herausgegebers 351; I. Zur Biographie Bolzanos.
Jan Berg, Heinrich Ganthaler, Edgar Morscher: Bolzanos Biographie in tabellarischer Übersicht 353;
II. Grundfragen der Logik und Semantik.
Jan Berg: Bolzano and Situation Semantics: Variations on a Theme of Variation 373; Peter Simons: Bolzano, Tarski, and the Limits of Logic 378;
III. Zur Problemtik der Paradoxien.
Jan Berg: Is Russell's Antinomy Derivable in Bolzano's Logic? 406; Edgar Morscher: "Hintertürln" für Paradoxien in Bolzanos Logik 414;
IV: Wahrscheinlichkeit, Induktion und Syllogistik.
G. Dorn: Zu Bolzanos Wahrscheinlichkeitslehre 423; Jan Berg: Bolzano on Induction 442; Merscher edgar: Bolzanos Syllogistik 447;
V. Beiträge zur Meaphysk Bolzanos.
Rolf George: Bolzano on Time 452; Heinrich von Ganthaler, Peter Simons: Bernard Bolzanos Kosmologischer Gottesbeweis 469: A. Süssbauer: Propositionen und Sachverhalte in der österreichen Philosophie von Bolzano bis Popper 476-498
- Bolzano's Wissenschaftslehre 1837-1987. International Workshop (Firenze, 16-19 September 1987). Firenze: Leo S. Olschki, 1992.
Content: Premessa V; Rolf George: Concepts of Consequence 3; Detlef D. Spalt: Bolzano's Zahlbegriffe. Bislang Übersehene Marksteine Feudal-absolutistischer Mathematik 27; Ettore Casari: An Interpretation of Some Ontological and Semantical Notions in Bolzano's Logic 55; Jan Berg: The Connection Between Bolzano's Logic of Variation and His Theory of Probability 107; Benson Mates: Bolzano and Ancient Pyrrhonism 121; Karel Berka: Bolzanos Lehre vom naturlichen Schliessen 141; Jan Sebestik: The construction of Bolzano's Logical System 163; Carlo Cellucci: Bolzano and Multiple-Conclusion Logic 179; Rudolf Haller: Bolzano and Austrian Philosophy 191; Massimo Mugnai: Leibniz and Bolzano on the Realm of Truths 207; Bob van Rootselaar: Axiomatics in Bolzano's Logico-Mathematical Research 221-230.
- "Bolzano and Analytic Philosophy." Grazer Philosophische Studien 53 (1997): 1-266.
Edited by Wolfgang Künne, Mark Siebel, Mark Textor.
Proceedings of the International Symposium held in Hamburg 3rd-t5th January 1997.
Contents: Preface; VI; Dagfin Føllesdal: Bolzano's Legacy 1; Jan Berg: Bolzano, the Prescient Encyclopedist 13; Jan Sebestik: Bolzano, Exner and the Origins of Analytical Philosophy 33; Paul Rusnock: Bolzano and the Traditions of Analysis 61; Peter Simons: Bolzano on Collections 87; Ali Behboud: Remarks on Bolzano's Collections 109: Mark Siebel: Variation, Derivability and Necessity 117; Edgar Morscher: Bolzano's Method of Variation: Three Puzzles 139; Rolf George: Bolzano's Programme and Abstract Objects 167; Mark Textor: Bolzano's Sententialism 181; Wolfgang Künne: Propositions in Bolzano and Frege 203: Michael Dummett: Comments on Wolfgang Künne's Paper 241; Carsten Uwe Gieske: Bolzano's Notion of Testifying 249-266.
- "Bernard Bolzano." Revue d'Histoire des Sciences 52 (1999): 339-506.
Numéro spécial consacré à la mathématique et à la logique chez Bolzano, rassemblant les contributions suivantes:
Hourya Sinaceur: Introduction 339; Charles Chihara: Frege's and Bolzano's rationalist conceptions of arithmetic 343; Joëlle Proust: Bolzano's theory of representation 363; Johannes Hafner: Bolzanos' criticism of indirect proofs 385; Paul Rusnock: Philosophy of mathematics: Bolzano's responses to Kant and Lagrange 399; Paolo Mancosu: Bolzano and Cournot on mathematical explanation 429; Hourya Sinaceur: Réalisme mathématique, réalisme logique chez Bolzano 457; Jan Sebestik: Forme, variation et déductïbilité dans la logique de Bolzano 479-506.
- "Bernard Bolzano." Études Philosophiques 4 (2000): 433-534.
Sous la direction de Jocelyn Benoist.
Table des matières: Jocelyn Benoist: Présentation 433; Mark Textor: Bolzano et Husserl sur l'analyticité 435; Sandra Lapointe: Analyticité, universalité et quantification chez Bernard Bolzano 455; Claudio Majolino: Variation(s) I. Bolzano et l'équivocité de la variation 471; Ali Benmakhlouf: La proto-sémantique de Bolzano 489; Jocelyn Benoist: Pourquoi il n'y a pas d'ontologie formelle chez Bolzano 505; Jacques Bouveresse: Sur les représentations sans objet 519-534
- "Bernard Bolzano. Philosophie De La Logique Et Théorie De La Connaissance." Philosophiques 30 (2003).
Sous la direction de Sandra Lapointe.
Index: Sandra Lapointe: Introduction: Bernard Bolzano: contexte et actualité 3; Rolf George; Intuitions 19; Jan Sebestik: La dispute de Bolzano avec Kant: fragment d'un dialogue sur la connaissance mathématique 47; Paul Rusnock: Qu'est-ce que la représentation? Bolzano et la philosophie autrichienne 67; Benjamin Schnieder: Bolzano sur la structure des propositions et le rôle sémantique des propriétés 83; Mark Textor: Bolzano sur le temps et la persistance 105; Peter Simons: Bolzano sur les nombres 127; Jocelyn Benoist: Propriété et détermination: Sémantique et ontologie chez Bernard Bolzano 137; Edgar Morscher: La définition bolzanienne de l'analyticité logique: 149; Mark Siebel: La notion bolzanienne de déductibilité 171; Armin Tatzel: La théorie bolzanienne du fondement et de la conséquence 191; Jacques Dubucs et Sandra Lapointe: Preuves par excellence 219; Sandra Lapointe: Bibliographie 235-243.
- "Bernard Bolzano E La Tradizione Filosofica." Discipline Filosofiche 21 (2011): 5-347.
Indice: Stefano Besoli, Luca Guidetti, Venanzio Raspa: Presentazione 5; Luca Guidetti Lo spazio logico dell'espressione. Intorno a B. Bolzano, Proposizione ed espressione 7; Bernard Bolzano: Proposizione ed espressione 13; Jan Patočka: Il posto di Bolzano nella storia della filosofia 27; Andrej Krause: Bolzano e Aristotele 43; Luca Guidetti: Bolzano e gli stoici 61; Massimo Mugnai: Bolzano e Leibniz 93; Stefano Besoli: Bolzano e Kant 109; Gaëtan Pégny: Bolzano e Hegel 153; Wolfgang Künne: Bolzano e Frege 179; Mauro Mariani: Bolzano e Cantor 203; Sandra Lapointe: Bolzano e Husserl 227; Venanzio Raspa: Bolzano e la filosofia austriaca 245; Jan Sebestik: Bolzano e la matematica 287; Peter Simons: Bolzano e la logica 321; Abstracts 343-347.
- "Bolzano and Kant." Grazer Philosophische Studien 85 (2012).
Guest Editor: Sandra Lapointe.
Table of Contents. Sandra Lapointe: Introduction; Sandra Lapointe: Is Logic Formal? Bolzano, Kant and the Kantian Logicians; Nicholas F. Stang: A Kantian Reply to Bolzano's Critique of Kant's Analytic-Synthetic Distinction; Clinton Tolley: Bolzano and Kant on the Place of Subjectivity in a Wissenschaftslehre; Timothy Rosenkoetter: Kant and Bolzano on the Singularity of Intuitions; Waldemar Rohloff: From Ordinary Language to Definition in Kant and Bolzano.
- Adair-Toteff Christopher. "Bolzano's Gesamtausgabe." British Journal for the History of Philosophy 10 (2002): 127-133.
- Bar-Hillel Yehoshua. "Bolzano's Definition of Analytic Propositions." Methodos (1950): 32-55.
Published also in Theoria 16, 1950, pp. 91-117.
Reprinted in: Aspects of language. Essays and lectures on philosophy of language, linguistic philosophy and methodology of linguistics - Jerusalem - The Magnes Press - The Hebrew University, 1970 pp. 3-28.
"In view of recent discussions on the nature of analytic truth, it should be rather interesting to inquire into the treatment which this subject received by the most outstanding logician of the first half of the 19th century, the Austrian philosopher, theologician, and: physicist Bernard Bolzano.
Our investigation will turn upon section 148 of Bolzano's four volumed masterwork Wissenschaftslehre (1837). Only occasionally shall we need to refer to other parts of this work. This section, headed "Analytic or Synthetic Propositions", comprises pages 83-89 of the second volume and is divided into three subsections of less than two pages altogether, followed by four annotations, filling the next five pages. I dwell so long upon these bibliographical particulars only to bring into full light the wealth of systematic and historic material contained in these few pages.
Bolzano's aim, in § 148, was to define a concept which could serve as an adequate explication for what is now commonly termed 'logical truth'. Though this aim is nowhere explicitly stated, there can be no doubt about it, just as Kant before him and many logicians after him doubtless aimed at the same target when they proposed their respective definitions.
Bolzano devotes the greater part of his fourth annotation the discussion of many such attempts made by his predecessors and contemporaries. He mentions Aristotle, Locke, Crusius (the German logician of the first half of the 18th century who was probably the first to use the terms 'analytic' and 'synthetic' in their Kantian senses), Kant and many other minor philosophers. He easily succeeds in proving the inadequateness of Kant's two definitions for analytic', the one given in his Logik and equating, in effect, Analytic (1) with Identical, the other much better known in the introduction to the Critique of Pure Reason, where he proposes to call propositions 'analytic', whose predicate-concept is contained (perhaps in a hidden manner) in the subject-notion. Bolzano points out (p. 87) the vagueness of the term 'contained' and argues that, according to a quite natural interpretation of this term, the proposition « The father of Alexander, King of Macedonia, was King of Macedonia » ought to be analytic, a consequence which Kant certainly did not intend to be drawn.
But to even more refined versions of Kant's definition, given by some of his followers, replacing the vague 'contained' by more concise terms, such as those making use of 'essential characteristics', Bolzano objects that only one type of proposition conforms to them, namely 'A (which is B) is B'. But should not, continues Bolzano, also propositions of the type 'Every object is either B or non-B' be counted among the analytic propositions?
Having thus convinced himself of the inadequateness of all prior approaches, he started to attack the subject along a new and highly original line." (pp. 3-4 of the reprint).
- ———. "Bolzano's Propositional Logic." Archiv für Mathematische Logik und Grundlagenforschung 1 (1952): 65-98.
"Bar-Hillel's papers are two of the most important studies on Bolzano's logic" Jan Berg.
Reprinted in: Aspects of language. Essays and lectures on philosophy of language, linguistic philosophy and methodology of linguistics - Jerusalem - The Magnes Press - The Hebrew University, 1970. pp. 33-68.
"1848 is a remarkable year not only in general history; in the history of human culture and thought it will be remembered also as the birth year of G. Frege, "the greatest logician of the 19th century",(2) and should be remembered as the year in which the death of the greatest logician between Leibniz and Frege, the Czech Bernard Bolzano, occurred. So far, little has been done to evaluate his important contributions to logical theory,(3) and I hope that the present article will help to undo this undeserved wrong.
The purpose of this article is very restricted: only a small part of Bolzano's investigations will be dealt with, i.e. his propositional logic, and even this in a limited degree. This theory is in my opinion not only a master-work of outstanding historical interest, I also believe that it contains many features neglected even by modern symbolic logic and nevertheless worthy of close study. I am convinced that such a study will considerably enrich our logical technique and terminology.
Since our principal aim is to emphasize the impact which Bolzano's ideas should have on contemporary logic, I shall allow myself to depart, sometimes considerably, from his original account and even to disregard parts of his theory unacceptable to us which do not play any decisive role in its construction, all this, of course, after due warning shall have been given.
I shall summarize the contents of §§147, 154-160 of Bolzano's Wissenschaftslehre (1837), with which alone this study is concerned, in 28 definitions and 95 theorems. Most of these theorems will not be proved, for the sake of brevity, but the reader will, in general, be able to supplement the proofs by himself. Many definitions and a few theorems will be illustrated by simple examples. Major departures from Bolzano's original account will be specially mentioned and justified.
In the second part of the study I shall outline the place of Bolzano's contribution within the framework of modern semantics, by its detailed comparison with the corresponding parts of R. Carnap's two volumes of Studies in Semantics. This comparison will give us a certain perspective on the bearing of Bolzano's highly original innovations for modern research, and on the other hand enable us to see clearly the precise nature of some of his shortcomings."
(1) This article has been written as an outcome of conversations with Professor Hugo Bergman of the Hebrew University, Jerusalem, and a joint reading of the relevant passages of Bolzano's Wissenschaftslehre. It is to Professor Bergman that I owe the general ideas on which this paper is based.
(2) According to A. Tarski, Introduction to Logic, 1941, p. 19.
(3) The following is a list of the most important articles dealing mainly with Bolzano's contributions to logic which have appeared in the last two decades:
W. Dubislav Bolzano as Vorlaufer der mathematischen Logik", Philosophisches Jahrbuch der Görres-Gesellschaft, vol. 44 (1931), pp. 448-456.
H. Scholz, "Die Wissenschaftslehre Bolzanos", Semesterberichte, 9. Semester, 1936/37, pp. 1-53.
H. Scholz, "Die Wissenschaftslehre Bolzanos", Abhandlungen der Fries'schen Schule, n. s. vol. 6 (1937), pp. 399-472.
H. R. Smart, "Bolzano's Logic", The Philosophical Review, vol. 53 (1944), pp. 513-533.
I have not been able to get hold of Scholz's second article, but since it is, according to the Journal of Symbolic Logic, only a somewhat broader version of his first article, the loss is probably not too great. My quotations from Scholz will therefore refer always to his first article.
- Behboud Ali. "Remarks on Bolzano's Collections." Grazer Philosophische Studien 53 (1997): 109-115.
- Benmakhlouf Ali. "La Proto-Sémantique De Bolzano." Études Philosophiques 4 (2000): 489-504.
"Ce texte vise à mettre en évidence une proto-sémantique à l'oeuvre dans la Wissenschaftslehre de Bolzano. Cette proto-sémantique est caractérisée par les possibles substitutions entre constituants conceptuels, qui suspendent la question relative aux propriétés d'un concept pour mettre en évidence le contenu conceptuel. Le "conceptualisme" de Bolzano met ainsi fin au discrédit de la logique: les logiciens peuvent maintenant prendre le vrai non seulement comme but mais aussi comme objet d'étude. Cela leur permettra à l'instar de Frege de construire un noyau sémantique dur, mais cela leur permet déjà avec Bolzano d'explorer le domaine de l'objectivité non réelle, en un mot de reprendre en un sens plus abstrait, moins qualifié ontologiquement, les leçons des Premiers analytiques d'Aristote."
- Benoist Jocelyn. Phénomenologie, Sémantique, Ontologie. Husserl Et La Tradition Logique Autrichienne. Paris: Presses Universitaires de France, 1997.
Voir le Chapitre 2: L'héritage de Bolzano: l'analytique formel, pp. 59-81.
- ———. "De Kant À Bolzano: Husserl Et L'analyticité." Revue de Métaphysique et de Morale (1997): 217-238.
Réimprimé dans: J. Benoist: Phénoménologie, sémantique, ontologie. Husserl et la tradition logique autrichienne, Paris, P.U.F., 1997, avec le titre. L'heritage de Bolzano: l'anelytique formel, pp. 59-81.
- ———. L'a Priori Conceptuel. Bolzano, Husserl, Schlick. Paris: Vrin, 1999.
- ———. "Bolzano, Husserl Et L'idée De Grammaire." Études Philosophiques (1999): 521-534.
Réimprimè dans: J. Benoist, Entre acte et sens. Recherches sur la théorie phénoménologique de la signification, Paris, Vrin, 2002, avec le titre: Grammaire ou méréologie des représentations, pp. 33-48.
"Mesurant l'ampleur de la dette qui lie l'auteur des Recherches logiques au philosophe pragois, l'Auteur se propose de rapprocher le projet d'édification d'une grammaire pure logique, chez Husserl, de ce qui constitue l'une de ses sources majeures, à savoir la méréologie des représentations chez Bolzano. Examinant le passage de la composition des représentations à la composition des significations, l'Auteur évalue leur connexité syntaxique et définit la limite du compositionnalisme face aux fondements d'une grammaire."
- ———. "Pourquoi Il N'y a Pas D'ontologie Formelle Chez Bolzano." Études Philosophiques 4 (2000): 505-518.
Réimprimè dans: J. Benoist, Entre acte et sens. Recherches sur la théorie phénoménologique de la signification, Paris, Vrin, 2002, pp. 49-65.
"Souvent aujourd'hui on présente Bolzano comme ayant jeté les bases d'une "ontologie formelle". On lui impute une théorie du "quelque chose en général" qui serait ontologique. Il est vrai que sa théorie combinatoire des représentations en soi permet de rendre compte de la constitution de "quelques choses" de différents degrés, sur un mode récursif. Pourtant, on pourra douter de ce que le réalisme strict qui est celui de Bolzano, et qui s'applique même aux représentations en soi, laisse réellement un espace pour ce qui pourrait être appelé à proprement parler des "objets formels"."
- ———. "Husserl Entre Brentano Et Bolzano: Jugement Et Proposition." Manuscrito 23 (2000): 11-39.
Réimprimè dans: J. Benoist, Entre acte et sens. Recherches sur la théorie phénoménologique de la signification, Paris, Vrin, 2002, pp. 9-29.
"ll est bien connu que, dans la Cinquième Recherche Logique, Husserl critique la théorie brentanienne du jugement. Son problème est de définir le "porteur" de vérité auquel le jugement donne une valeur de vérité. Un tel projet le conduit très près du propositionalisme bolzanien. Alors la théorie phénoménologique de jugement apparaît comme une sorte de compromis entre la psychologie brentanienne de l'acte et une point de vue purement sémantique hérité de Bolzano. La question demeure de savoir si une telle conciliation est possible sans un tournant transcendantal."
- ———. Représentations Sans Objet. Aux Origines De La Phénomenologie Et De La Philosophie Analytique. Paris: Presses Universitaires de France, 2001.
Voir le Chapitre 1: Bolzano et le paradoxe des objets inexistants, pp. 17-41.
- ———. "Husserl and Bolzano." In Phenomenology World-Wide: Foundations, Expanding Dynamisms, Life-Engagements. A Guide for Research and Study, edited by Tymieniecka, Anna-Teresa. 98-100. Dodrecht: Kluwer, 2002.
- ———. Entre Acte Et Sens: Recherches Sur La Théorie Phénoménologique De La Signification. Paris: Vrin, 2002.
Première partie: L'univers du sens: Bolzano pp. 33-86
- ———. "La Réécriture Par Bolzano De L' Esthétique Transcendantale." Revue de Métaphysique et de Morale (2002): 299-315.
"L' Elementarlehre de la Wissenschaftslehre de Bolzano peut être lue comme une sorte de réécriture de l' Elementarlehre de la Critique de la raison pure. Bien sûr, on pourrait avoir l'impression que toute Esthétique Transcendantale fait ici défaut. Des déterminations qui sont supposées intuitives chez Kant sont réinterprétées par Bolzano comme purement conceptuelles. Pourtant, en fait, développant sa propre Esthétique Transcendantale du point de vue d'une sémantique objective, Bolzano invente une nouvelle sorte d'a priori pour la sensibilité - précisément un a priori purement conceptuel."
- ———. "Bolzano Et L'idée De Wissenschaftslehre." In Les Philosophes Et La Science, edited by Wagner, Pierre. 659-678. Paris: Gallimard, 2002.
- ———. "Propriété Et Détermination: Sémantique Et Ontologie Chez Bernard Bolzano." Philosophiques 30 (2003): 137-148.
"The author tries to define the realm of the "metaphysical" in Bolzano's work. He shows how the metaphysics of reality (Wirklichkeit), with both its ingredients: substances and proprieties (Beschaffenheiten), has to be contrasted with the doctrine of the semantic realm (the realm of representations and propositions in themselves). The latter do not belong to ontology, and it is impossible to find something like a "formal ontology" dealing with them in Bolzano's work, viz. a doctrine describing them as "beings". The author deals, from this point of view, with the important distinction made by Bolzano, between proprieties (Beschaffenheiten), that have to be taken in an ontological sense, and determinations (Bestimmungen), that, though related to objects and even beings, do not make sense independently from the existence of some discourse on those objects, and are not ontological entities properly speaking. Thus, the author attempts to highlight the complexity of the relations between the semantic and the ontological level in Bolzano's work: both have to be distinguished accurately, and however remain correlated in a complex way."
- Benthem Johan van. Lessons from Bolzano. Stanford: Center for the Study of Language and Information, Leland Stanford Junior University, 1984.
"Bernard Bolzano's contributions to logic, largely unnoticed in the 19th century, have been receiving ever more attention from modern logicians (cf. Scholz, 1937; Berg, 1962; Corcoran, 1975). As a result, it has already become something of a commonplace to credit Bolzano with the discovery of the notion of logical consequence in the semantic sense. Now, this particular attribution, whether justified or not, would at best establish a historical link between modern logical concerns and Bolzano's work. The purpose of the present note, however, is to bring out three important aspects of that work that are still of contemporary systematic interest. No detailed textual study of Bolzano is needed to substantiate our suggestions. We shall refer to well-documented 'public' aspects of the 'Wissenschaftslehre' (Bolzano, 1837), pointing out their more general logical significance." p. 1
- ———. "The Variety of Consequence, According to Bolzano." Studia Logica 44, no. 4 (1985): 389-403.
"Contemporary historians of logic tend to credit Bernard Bolzano with the invention of the semantic notion of consequence, a full century before Tarski. Nevertheless, Bolzano's work played no significant role in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite revelant themes in Bolzano's work, being a systematic study of possible types of inference, of consistency, as well as their meta-theory. There are certain analogies with Tarski's concerns here, although the main thrust seems to be different, both philosophically and technically. thus, if only obliquely, we also provide some additional historical perspective on Tarski's achievement."
- ———. "Is There Still Logic in Bolzano's Key?". In Bernard Bolzanos Leistungen in Logik, Mathematik Und Physik, edited by Morscher, Edgar. 11-34. Sankt Augustin: Academia Verlag, 2003.
"Bolzano is widely seen as the philosopher of abstract propositions, far removed from psychological blemishes. Nevertheless, many themes in this paper suggest links with the actual reasoning performed by non-Platonic humans like us. We saw this with attention to diverse styles of task-dependent reasoning, with degrees of logicality for the expressions of natural language that we actually use, with inferences transferring information across discourse situations, with global architecture of reasoning styles, or with mixtures of such neatly compartmentalized logical activities as semantic evaluation and proof. When we take all this seriously, it becomes hard not to go one step further, and do something which Frege has forbidden - but probably also Bolzano: take the psychological facts seriously. All the above topics border on cognitive science and the experimental study of human reasoning, and the eventual agenda of modem logic will also have to come to better terms with that than the by now pretty stale slogan of 'anti-psychologism'.
We have surveyed some aspects of Bolzano's logic from a modern standpoint, stressing in particular his different styles of consequence, the essential ternary nature of consequence when language is taken into account, and the mixed notion of consequence in a model. In all three cases we included some new technical observations to show that the issues are still alive. But the more general thrust is this.
Bolzano's work remains interesting for logic today, both in its general sweep, and in some of its details. Partly, it is attractive precisely because it is so non-mainstream, and hence valuable for modern agenda discussions. Its themes crossing logic and philosophy of science reflect current rapprochements, while its thrust also seems to fit with some themes from AI. Classical mathematical logic has had an Austrian icon in Kurt Gödel: modem logic might consider at least having a Czech-Austrian patron saint." (pp. 30-31).
- Berg Jan. Bolzano's Logic. Stockholm: Almqvist & Wiksell, 1962.
Contents: Preface 5; Introduction 7; Abbreviations 12; I. Bolzano's life and work 13; II. A logical frame 33; III. Bolzano's fundamental notions 41; IV. Bolzano's logic of variation 92; V. Other logical theories 146; VI. Bolzano's logic of entailment 151; VII. Bolzano's philosophy of mathematics 165; Bibliography 179; Index of proper names 213-214.
"Bernard Bolzano made essential contributions to, inter alia, theology, logic, and mathematics. For political reasons, however, he was prevented from influencing to a full extent the age in which he lived. As a mathematician his name has survived, although many of his most remarkable results were not published until a century after their conception. As a logician he has begun to appear again in scattered articles and comments. In this study I have tried to give an exposition and evaluation of the main ideas of his logic from a modern viewpoint.
Important parts of Bolzano's theories of logic and semantics were new with him, and when these ideas reappear later they were independent of him. This position, in part outside of the historical development, makes it highly pertinent to compare Bolzano's theories directly with modern logic. When tracing the lineage of some of Bolzano's ideas I have even projected the earlier theories onto a modern scheme of reference.
In the first chapter I shall briefly mention the genesis of Bolzano's main works. But I am not primarily interested in the genetic aspect of Bolzano's theories. Therefore, as often as possible I shall consider Bolzano's various formulations of his ideas as if they were parts of a simultaneous whole.
My analysis of Bolzano's achievements in logic, semantics, and mathematical philosophy is based on his mature production after 1820, when he started writing his magnum opus, the Wissenschaftslehre. The works chiefly consulted are:
(1) Wissenschaftslehre, I-IV (Bolzano (15) mostly abbreviated "WL"). [Names followed by parenthesized numerals refer to the bibliography; see the last paragraph of this introduction.]
(2) Der Briefwechsel B. Bolzano's mit F. Exner (Bolzano (54), "BE").
(3) Erste Begriffe der allgemeinen Grössenlehre (Bolzano (78), "AG").
(4) Reine Zahlenlehre. Erster Abschnitt. Von dem Begriffe, den allgemeinsten Beschaffenheiten und der Bezeichnungsart der Zahlen (Bolzano (79), "RZ").
(5) Unendliche Grössenbegriffe (Bolzano (81), "UG").
(6) Bolzano's Wissenschaftslehre und Religionswissenschaft in einer beurtheilenden Uebersicht (Bolzano (z5), "WU").
(7) Einleitung zur Grössenlehre (Bolzano (83), "EG").
(8) Paradoxien des Unendlichen (Bolzano (45), "PU").
For (3)-(5) and (7) I have utilized Bolzano's unpublished manuscripts. In general I have presupposed that some editions of (1), (2), and (8) are accessible to the reader.
Chapter I presents in a concentrated form some biographical and bibliographical facts about Bolzano. The manuscripts used are described and dated. Some topics lying outside of logic proper and dealt with in published or unpublished works of Bolzano are also touched upon. The most representative portraits of Bolzano - one of which has not been published before - are reproduced.
Chapter II describes the logical machinery to be used in the formalization and the comparative analysis of Bolzano's logic. This chapter may be read cursorily and used as future occasion may require. The system expounds the so-called elementary logic, i.e., classical predicate logic of first order with identity. In view of its simplicity and non-controversial character, elementary logic seems at present to be an expedient object for comparison in research in the history of logic. To be sure, we know nothing for certain about the future of logic; maybe the logics of tomorrow will differ greatly from those of today. However, it is likely that our elementary logic will be translatable into or representable within these conceivable new systems. But there is always the possibility that new systems of logic will promote a deeper understanding of certain features of the objects analysed.
Chapters III-VII expound those aspects of Bolzano's theories of logic, semantics, and mathematical philosophy which seem to me fundamental. Certain sections of these chapters are subdivided into two parts; part A describes Bolzano's ideas and part B offers commentaries on A. In order to shorten the exposition, definitions and arguments are sometimes formalized even in A, and sometimes auxiliary notions not found in Bolzano are introduced with explicit caution. In doing so I have always attempted to stay within or very close to Bolzano's sphere of ideas. This does not mean, of course, that I have always followed the order in which Bolzano presents his definitions and theories in the Wissenschaftslehre or elsewhere. Nor have I stinted myself at times in giving very free paraphrases of Bolzano's mode of expression. In proving theorems I try to reproduce Bolzano's line of thought without copying his manner of speaking. In part B, Bolzano's logic is compared with modern theories. I attempt to show how certain gaps could be filled in and how Bolzano's theories could be elaborated and made more precise. Moreover, under B some forerunners of Bolzano and selected parts of the modern literature concerning him are discussed.
In the annotated bibliography, part A embraces the literature on Bolzano and his own works. References to part A are given by names followed by numerals within parenthesis. References to part B of the bibliography are effected by placing a "B" after the parenthesized numerals. In references to manuscripts, folio numbers are qualified by "r" and "v", meaning, as usual, recto and verso respectively." (Introduction).
- ———. "Bolzano's Notion of Proposition." In Ost Und West in Der Geschichte Des Denkens Und Der Kulturellen Beziehungen. Festschrift Für Eduard Winter Zum 70. Geburtstag. Mit Einem Geleitwort Von A.P. Juskevic, edited by Steinitz, Wolfgang. 519-526. Berlin: Akademie-Verlag, 1966.
- ———. "Bolzano Als Logiker." In Bernard Bolzano. Ein Denker Und Erzieher Im Österreichischen Vormärz. [Von] Eduard Winter in Verbindung Mit Paul Funk Und Jan Berg., edited by Winter, Eduard, Funk, Paul and Berg, Jan. 95-120. Graz, Wien, Köln: Böhlaus in Kommission, 1967.
- ———. "Bolzano's Theory of an Ideal Language." In Contemporary Philosophy in Scandinavia, edited by Paul, Anthony, Olson, Raymond and Wright, Georg Henrik von. 405-415. Baltimore, London: John Hopkins Press, 1972.
"In his logical inquiries Bolzano employed a partly formalized language embracing an ordinary language extended by constants, variables, and certain technical expressions. In the second volume of the Wissenschaftslehre he investigated the relations of this semiformalized philosophical language to colloquial language (WL, sections 127-46, 169 84). He believed that all sentences of colloquial language were 'reducible' to sentences of certain canonical forms expressed in the philosophical language. These canonical sentences were said to mirror their corresponding propositions in the sharpest way.
Had Bolzano's theory of reduction been completely developed it might have resulted in the construction of an ideal language for philosophical analysis. In this ideal language, however, sentences of canonical form would not play quite the same role as the atomic sentence forms on the basis of which more complex forms are built up in modern quantification theory. It seems, on the contrary, that Bolzano intended even the most complicated sentences to have canonical forms or to be reducible to sentences having such form.
This paper attempts a reconstruction of an extensional Bolzanian ideal language on the level of elementary logic. After some preliminary explanations of fundamental notions in Bolzano's logic, the main points of his theory of reduction of sentences are described. Two principles that determine the construction of an elementary Bolzanian ideal language emerge from the exposition. We then move toward building such a language and begin by modifying the standard representation of elementary logic, replacing the universal and existential quantifiers by Hilbert's e-operator. By further modifications of both the syntax and the underlying semantics, a logical language satisfying the two principles is obtained." pp. 405-406.
- ———. "Was Ist Ein Satz Nach Bolzano?". In Bolzano Als Logiker. Bolzano-Symposion. 21-30. Wien: Verlag der Österreichische Akademie der Wissenschaften, 1974.
- ———. "Bolzanos Metaphysik." In West-Begegnung in Österreich: Festschrift Für E. Winter, edited by Oberkofler, G. and Zablinger, E., 27-33. Wien: Hermann Böhlau, 1976.
- ———. "Bolzano's Contribution to Logic and Philosophy of Mathematics." In Logic Colloquium '76, edited by Gandy, Robin O. and Hyland, John Martin. 147-171. Amsterdam: North-Holland, 1977.
"The WL [Wissenschaftslehre] was intended merely as a prelude to Bolzano's work on mathematics. His main ambition was to recreate the whole body of contemporary mathematics in accordance with the vision of an abstract hierarchy of true propositions. For Bolzano this task implied the creation of entirely new foundations for certain branches of mathematics, as may be seen from his highly interesting efforts directed toward basing geometry on topological concepts.
In carrying out this program, most of the means of expression of modern quantification theory were in essence available to Bolzano.
He came very close to modern notions of satisfaction, logical truth, consistency and logical consequence. On the other hand, the formal deductive machinery of quantification theory is practically non-existent in Bolzano's works. This syntactic machinery appears only in Frege, who created the first strictly logistical system at the end of the 19th century. Bolzano's lack of interest in developing particular logical calculi most probably stems from his aspects of logic and mathematics and of science in general.
The notion of calculus in the modern logistical sense was first clearly considered by Leibniz. His basic dream was of an effectively decidable, interpreted calculus embracing all "eternal" truth. Bolzano was justifiably critical of this overambitious program and presented instead his own theory of the Abfolge structure of nonlinguistic propositions, thereby taking his stand away from that line of development in logic which leads to modern syntactic concept formation. A reason for Bolzano's general lack of interest in questions of logical syntax was no doubt his profoundly intensional, non-linguistic approach to logic.
Bolzano's central thesis, that there are abstract objects which differ from both mental occurrences and all kinds of linguistic expressions, has been advocated by later philosophers of the German-speaking countries, inter alia by Lotze, Brentano in his earlier period, Meinong and Frege. Lotze and Frege never refer to Bolzano's work, though, and the others protested their independence of Bolzano. Husserl admits that he received vital influences from Bolzano, but his notions of "ideal" objects derive from Lotze's and not from Bolzano's logic.
Among the great Western philosophers Bolzano is perhaps the least influential. In epistemology, logic and mathematics his most fervent disciples were not able to propagate his ideas with sufficient vigor.
His keen criticism of German idealistic philosophy and his important discoveries in logic: semantics and mathematical philosophy silently died away.
A contributing cause of Bolzano's lack of influence on the development of the philosophical disciplines was, of course, the fact that most of his works were, for political reasons, published anonymously in editions not easily accessible. Furthermore, an immense number of unpublished manuscripts in a partly almost indecipherable handwriting is to be found in archives in Prague and Vienna. Several unfruitful attempts have been made in the last 150 years to bring out more or less complete editions of Bolzano's works. It is to be hoped that the latest venture launched in Stuttgart, West Germany, will prove more successful." (pp. 170-171)
- ———. "A Requirement for the Logical Basis of Scientific Theories Implied by Bolzano's Logic of Variation." Acta Historiae Rerum Naturalium Necnon Technicarum 12 (1982): 415-425.
Bernardo Bolzano (1781-1848) - Bicentenary. Impact of Bolzano's epoch on development of Science - Conference papers, Prague 7-13 September 1981
- ———. "B. Bolzano: Die Überwindung Des Skeptizismus." In Grundprobleme Der Grossen Philosophen. Philosophie Der Neuzeit Iii, edited by Speck, Josef. 46-97. Göttingen, 1983.
- ———. "A Logic of Terms with an Existence =Perator." In Logic and Abstraction. Essays Dedicated to Per Lindström on His Fifthieth Birthday, edited by Furberg, Mats, Wetterström, Thomas and Aberg, Claes. 71-94. Göteborg: Acta Universitatis Gothoburgensis, 1986.
- ———. "Bolzano and Situation Semantics: Variation on a Theme of Variation." Philosophia Naturalis 24 (1987): 373-377.
"The distinction between logical and non-logical notions plays a significant role in Bolzano's theory and he is fully aware of its importance even though he has to admit that various scholars may differ in their opinion on what a logical idea is (WL § 148.3). Tarski has tried to clarify the distinction between logical and non-logical notions (Adam Tarski, What are logical notions? History and Philosophy of Logic, 7, 1986, pp. 143-154). A notion of Euclidean geometry, e.g., is invariant under all similarity transformations, and a topological notion is invariant under all continuous transformations. Analogously, a logical notion may be conceived of as a concept which is invariant under all bijective mappings of the domain of individuals onto itself. (In this sense even the classical reduction problem of critical realism can be solved: A physical notion is a concept invariant under a Galilei or a Lorentz transformation.)
It is possible to vary not only the non-logical ideas-as-such contained in propositions but even some or all logical ideas. Actually, such a variation is implied by the algebraic approach to logic. The propositions of Bolzano correspond to the values of the propositional variables of modern logic.
Bolzano seems to have intended, however, variation exclusively over non-logical ideas-as-such. That he did not allow a variation of the copula is abundantly clear from his way of introducing the notion of variation in his Einleitung zur Grossenlehre (Bolzano (2A7), p. 62). Here he presupposes that only the subject and predicate ideas of a proposition or parts thereof be varied. Furthermore, his proofs of certain variation-logical theorems show that he would not allow a variation of the logical constants of negation, truth, and the copula in the form of an inclusion between ideas-as-such (WL §§ 154.19, 155.21)."
- ———. "Is Russell's Antinomy Derivable in Bolzano's Logic?". Philosophia Naturalis (1987): 406-413.
"In his encyclopedic work Wissenschaftslehre Bernard Bolzano expounded a theory of logical truth which constitutes an outstanding achievement in the history of Western thought. This informal theory is essentially based on a substitutional truth-value semantics without certain existence presuppositions and contains a general proof theory. In his substitutional semantics Bolzano introduced notions such as universal validity, consistency, consequence, analyticity, and probability by means of the technique of variation of concepts. In his proof theory he treated the notion of entailment, which is a generalization of a special case of the relation of logical consequence, and studied proof trees generated by the relation of entailment which exhibit the objective connection between all true propositions. In view of this wealth of important notions it seems worthwhile to investigate the possibility of a consistent reconstruction of Bolzano's logic. In particular, it must be examined how his theory fares with a fundamental set-theoretic antinomy such as that of Russell." (p. 406)
"There is, therefore, no such thing as an idea of all ideas which are not objects of themselves, and Bolzano could scarcely be blamed for having no idea of something which does not exist in any sense at all. Under a reasonable interpretation of Bolzano's theory of ideas-as-such there is no trouble-maker around who could generate an antinomy analogous to that of Russell." (p. 411)
- ———. "Bolzano on Induction." Philosophia Naturalis 24 (1987): 442-446.
"Bolzano combined the fundamental notions of his theory of probability and his proof theory to achieve a logical analysis of the principles of induction. The relation between the conclusion and the premisses of an inference of incomplete induction or analogy is an interior probability relation in Bolzano's sense. The principles of induction endow the relation between the premisses and the conclusion with the character of a relation between ground and consequence. From Bolzano's subsumption of the rule of incomplete induction under the syllogistic rule of Barbara, it follows that this relation is a special case of Bolzanian derivability."
- Berg Jan, and Morscher Edgar. "Bolzanos Biographie in Tabellarischer Übersicht." Philosophia Naturalis 24 (1987): 353-372.
- Berg Jan. "Zur Logischen Und Mathematischen Ontologie. Goseologie Und Resultatismus in Der Analyse Der Grundlagen Der Bolzanoschen Zahlenlehre." In Rechnung Mit Dem Unendlichen, edited by Spalt, Detlef D., 123-155. Basel, 1990.
- ———. Ontology without Ultrafilters and Possible Worlds. An Examination of Bolzano's Ontology. Beiträge Zur Bolzano-Forschung; Vol. 1. Sankt Augustin - Academia Verlag, 1992.
Very important, but also very technical
- ———. "The Connection between Bolzano's Logic of Variation and His Theory of Probability." In Bolzano's Wissenschaftslehre 1837-1987. International Workshop. 107-120. Firenze: Leo S. Olschki, 1992.
- Berg Jan, and Morscher Edgar. Bolzano-Forschung 1989-1991. Sankt Augustin: Academia Verlag, 1992.
- Berg Jan. "The Ontological Foundations of Bolzano's Philosophy of Mathematics." In Logic and Philosophy of Science in Uppsala, edited by Prawitz, dag and Westerstähl, Dag. 265-271. Dordrecht: Kluwer, 1994.
- ———. "Bolzano, the Prescient Encyclopedist." Grazer Philosophische Studien 53 (1997): 13-32.
"In his Wissenschaftslehre Bernard Bolzano tried to lay down a logically satisfactory foundation of mathematics and theory of probability. Thereby he became aware of the distinction between the actual thoughts and judgments of human beings, their linguistic expressions and the abstract propositions (Sätze an sich) and their components ( Vorstellungen an sich). This ontological distinction is fundamental in Bolzano's thinking paired with a universal world view in the sense that philosophy, mathematics, physics and metaphysics should be build upon the same logical foundations. Bolzano's enterprise is sketched in the light of examples from his logical semantics, proof theory, number theory, theory of truth and his variation logic."
- ———. "Kant Über Analytische Und Synthetische Urteile Mit Berûcksichtigung Der Lehren Bolzanos." In Bernard Bolzanos Geistige Erbe Für Das 21. Jahrhundert, edited by Morscher, Edgar. 97-128. Sankt Augustin: Academia Verlag, 1999.
- ———. "Naturphilosophie, Physik Und Mathematik Bei Bolzano." In Bernard Bolzanos Geistige Erbe Für Das 21. Jahrhundert, edited by Morscher, Edgar. 257-265. Sankt Augustin: Academia Verlag, 1999.
- ———. "From Bolzano's Point of View." Monist.An International Quarterly Journal of General Philosophical Inquiry 83, no. 1 (2000): 47-67.
"In the Wissenschaftslehre (1837) Bolzano laid down a logical foundation of mathematics and the theory of probability. By means of the technique of variation of non-logical components in propositions he defined universal validity, logical derivability, and inductive probability. Characteristic features of situation semantics can be represented in the logic of variation. In his proof theory he stated counterparts of Gentzen's cut rule and Hauptsatz.
In mathematical manuscripts he defined natural numbers as properties of bijective sets and real numbers as infinite sequences of rational numbers and accomplished a pioneering specification of infinitesimals. Infinite sets were identified as sets bijective to a proper subset of themselves. In a topological foundation of geometry he defined the notions of a closed, a simple closed, and a connected curve by means of spherical neighborhoods and stated a special case of Jordan's curve theorem. He also defined a notion of continuum and formulated steps toward a recursive definition of spaces with a homogeneous dimension number."
- Berg Jan, and Morscher Edgar. Bolzano-Forschung 1992-1996. Sankt Augustin: Academia Verlag, 2000.
- Berg Jan. "Bolzano's Heuristics." In Bernard Bolzanos Leistungen in Logik, Mathematik Und Physik, edited by Morscher, Edgar. 35-56. Sankt Augustin: Academia Verlag, 2003.
"In the fourth part of the Wissenschaftslehre [WL], contained in the third volume of the original 1837 edition, Bolzano treats heuristics or the "art of discovery", i.e., the "rules to be observed in the search for new truths" (§ 9. Note 3; cf. also § 15.2). The first main section of Bolzano's heuristics embraces the general rules of this discipline (§§ 325 -348).
Logic in Bolzano's sense is a theory of science the objects of which are the different sciences and their linguistic representations (§ 15). According to Bolzano a science is a set of true propositions (Sätze an sich) worthy of representation in a textbook. Logic or the theory of science is a set of rules which are necessary and sufficient for a representation to satisfy certain criteria concerning scientific textbooks (§ 1). In view of this very broad conception of logic it is fairly obvious that heuristics is an integrant part thereof."
This paper was already presented in 1991 at the International Bolzano Symposium in Salzburg, but has never been published since.
- ———. "The Importance of Being Bolzano." In Bernard Bolzanos Leistungen in Logik, Mathematik Und Physik, edited by Morscher, Edgar. 153-166. Sankt Augustin: Academia Verlag, 2003.
"1. Logical consequence
Ever since Aristotle philosophers have occupied themselves with the question whether a given statement follows from another statement. The first published precision of this notion in modern times was undertaken by the Polish logician Alfred Tarski in 1936. Accordingly, a closed formula F is a logical consequence of a set of formulas F if and only if F is true under every interpretation of the nonlogical constants under which all elements of F are true. Logical constants are inter alia connectives of sentential logic (expressed by words like "not", "and", "or", "if - then") and quantifiers of predicate logic (such as "for all" and "there is"); hence, the interpretation of these constants is determined.
But who conceived this notion of logical consequence (mutatis mutandis) already a hundred years earlier?'
Right: The Bohemian philosopher, ontologist, logician, mathematician and theologian Bernard Bolzano!
Upon substitution of abstract nonlinguistic propositions for closed formulas and variants of propositions for interpretations, we get precisely a special case of Tarski's notion of logical consequence. (A variant of a proposition P is a proposition identical with P up to at least one nonlogical component.) Incidentally, at the university of Warsaw Tarski was a student of Lukasiewicz's who lectured inter alia on Bolzano's logic.
Just like Bolzano Tarski admitted being unable to exactly distinguish between logical and nonlogical constants. Not until thirty years later did he formulate a necessary condition for the property of being a logical constant. Furthermore, if all constants of the formal language in question were regarded as logical, the notion of material implication, would emerge. Even this weakest of all notions of consequence was introduced by Bolzano and is playing an important role in some of his deduction rules.
Tarski presupposed a fixed domain as a realm of reference for the interpretations. Even Bolzano did not conceive of a combined quantification over domains and components of propositions. (By introducing a predicate for domains and letting the quantifiers refer to this predicate, however, one can represent all theorems of the model theory developed later on.)
Nowadays we know, of course, that Tarski's notion of logical consequence is unsuitable if the set-theoretic language is enlarged by a generalized existence quantifier expressing that there is an absolutely infinite class C (in the sense that C does not include exactly K elements for any cardinal number K). This esoteric fact of modern set theory cannot, however, diminish our appreciation of Bolzano's achievement.
2. Analytic propositions
A fundamental distinction in Kant's Critique of Pure Reason is that between analytic and synthetic judgements. In modern logical semantics analyticity is often considered a relation between a sentence S, a set of definitions, and a language L. For instance, one can say that S in L is analytic with respect to D if S is a logical consequence of D in L which embraces S and the elements of D.
But who formulated an analogous explication of analyticity within the system of abstract propositions already in the 1830s?
Right: Bernard Bolzano!
6. Situation semantics
In modern so-called situation semantics, established at the beginning of the 1980s by the American logician and linguist Jon Barwise, a notion of consequence is introduced which is stronger than that of Tarski. In situation semantics certain set-theoretic structures are considered models and a situation is a partial submodel thereof. The primitive notion is the confirmation of a sentence in a model by a situation. For example, a sentence of the form of "A or not A" is a logical consequence of any sentence in the sense of Tarski but not a strong consequence of it.
But who discovered this notion of strong consequence even a hundred years earlier?
Right: Bernard Bolzano!
In his logic Bolzano considered not only the variants with respect to the sequence of all nonlogical components of propositions but also the variants with respect to all subsequences. By that counterparts of main laws of situation semantics turn into theorems of Bolzano's logic.
Thus some outstanding achievements of Bolzano's on the fields of logic, semantics, and mathematics have been delineated. The fact that the connection of most of these achievements with modern research remained unknown until the 1960s is due to the circumstance that the study of Bolzano's work took a new turn then and that eventually editions of the often hardly legible manuscripts of the literary remains could be published in the Collected Works of Bernard Bolzano.
Moreover, particularly in Bolzano's logical semantics there are many original ideas which have no precise affinity with modern theories. In addition to that he accomplished extensive investigations into concepts of epistemology, philosophy of nature, physics, metaphysics, ethics, and theology."
- Bergmann Hugo. Das Philosophisches Werk Bernard Bolzano Mit Benutzung Ungedruckter Quellen Kritisch Untersucht. Halle: Max Niemeyer, 1909.
With an Appendix: Bolzanos Beiträge zur philosophischen Grundlegung der Mathematik.
Reprinted Hildesheim, Georg Olms 1970
- ———. "Bolzano Und Brentano." Archiv für Geschichte der Philosophie 48 (1966): 306-311.
- Berka Karel. "The Ideal of Mathematization in B. Bolzano." In Nature Mathematized. Historical and Philosophical Case Studies in Classical Modern Natural Philosophy, edited by Shea, William R., 291-298. Reidel: Kluwer, 1983.
- ———. "Natural Deduction in Bolzano's Wissenschaftslehre." In Intensional Logic, History of Philosophy and Methodology: To Imre Ruzsa on the Occasion of His 65th Birthday, edited by Bodnàr, István M., Maté, András and László, Pólos. 203-212. Budapest: Department of Symbolic Logic, Eotvos University, 1988.
- ———. "Bolzanos Lehre Vom Natürlichen Schliessen." In Bolzano's Wissenschaftslehre 1837-1987. International Workshop. 141-161. Firenze: Leo S. Olschki, 1992.
- ———. "Bernard Bolzano. A Historian of Logic." History of Science and Technology 31 (1998): 121-130.
- Betti Arianna. "De Veritate: Another Chapter. The Bolzano-Lesniewski Connection." In The Lvov-Warsaw School and Contemporary Philosophy, edited by Kijania-Placek, Katarzyna and Wolenski, Jan. 115-137. Dordrecht: Kluwer, 1998.
- ———. "Sempiternal Truth. The Bolzano-Twardowski-Lesniewski Axis." In The Lvov-Warsaw School. The New Generation, edited by Jadacki, Jacek Jusliuz and Pasniczek, Jacek. 371-399. Amsterdam: Rodopi, 2006.
- ———. "The Strange Case of Savonarola and the Painted Fish on the Boizanization of Polish Thought." In Actions, Products, and Things. Brentano and Polish Philosophy, edited by Chrudzimski, Arkadiusz. 55-81. Frankfurt: Ontos Verlag, 2006.
- ———. "Explanation in Metaphysics and Bolzano's Theory of Ground and Consequence." Logique et Analyse 56 (2010): 281-316.
"In "Troubles with Truth-making: Necessitation and Projection." Erkenntnis 64: 61-74 (2006a, and in "Truth-Making without Truth-Makers." Synthese 152: 21-46 (2006b), Benjamin Schnieder criticizes truthmaking as a relation between entities in the world and the truths those entities 'make true'. In (2006b), his criticism exploits a notion of conceptual explanation that is very similar to Bolzano's grounding. In the first part of this paper, I offer an analysis
of Bolzano's grounding. I discuss some open problems and argue that Bolzano's grounding is not a systematization of the ordinary notion of 'because' as others have maintained, but of the technical notion of explanatory proof in the context of an axiomatic conception of (proper) science. On the basis
of this analysis, in the second part, I offer a critical discussion of Schnieder 2006b's arguments against truthmaking. I conclude that the latter are not very effective from a methodological point of view and that Bolzano's original position fares better in this respect; still, truthmaker theorists will be able to defend truthmaking only at a high price."
- Beyer Christian. Von Bolzano Zu Husserl. Eine Untersuchung Über Den Ursprung Der Phänomenologischen Bedeutungslehre. Dordrecht: Kluwer, 1996.
- ———. "Logik, Semantik Und Ontologie: Neuere Literatur Zu Bolzano." Philosophische Rundschau 48 (2001): 231-262.
"This is a quite detailed critical review of four more recent books on Bolzano, dealing in particular with his logic, mereology, metaphysics, semantics and epistemology. The books reviewed include three studies by young German philosophers, notably Frank Krickel (Teil und Inbegriff. Bernard Bolzano's Mereologie / Part and Collection. Bernard Bolzano's Mereology), Mark Siebel (Der Begriff der Ableitbarkeit bei Bolzano / The Concept of Derivability in Bolzano) and Markus Textor (Bolzanos Propositionalismus / Bolzano's Propositionalism). The fourth book is a collection of English-speaking papers on Bolzano and Analytic Philosophy, edited by Wolfgang Künne, Mark Siebel and Markus Textor. It is argued that Bolzano's system is of more than just historical interest to analytic philosophers."
- ———. "Bolzano and Husserl on Singular Existential Statements." In Phenomenology and Analysis. Essays on Central European Philosophy, edited by Chrudzimski, Arkadiusz and Huemer, Wolfgang. 69-88. Frankfurt: Ontos Verlag, 2004.
"Which form does the propositional content take that is judged when a given speaker sincerely utters a sentence in order to assert a singular existential statement? Two thought-provoking answers to this question have been proposed by Bernard Bolzano and, when commenting upon Bolzano's proposal, by Edmund Husserl. In Section 1 of this paper the author clarifies what he means by "singular existential statements". In Section 2 Bolzano's proposed analysis is sketched. In Section 3 the author exposes the earlier Husserl's conception of "logical reflection" and draws upon it to explain why Husserl, around 1900, subscribed to Bolzano's proposal. Following this, he reconstructs and considers in detail the later Husserl's discussion of that proposal and Husserl's own mature theory of singular existential statements as manifested in a 1917/18 lecture series, both of which shed light upon a conception that is of central importance for Husserlian phenomenology: the conception of "noematic sense" (Section 4)."
- Bodnar Joanne. "Bolzano and Husserl. Logic and Phenomenology." 1976.
Unpublished Ph.D. thesis, State University of New York at Buffalo, available at ProQuest Dissertation Express.
Contents: Introduction 1; I. Bolzano's Anti-Psychologism 5; II. Bolzano's Theory of Meaning 41; III. Bolzano's Basic Logical Relations 51; IV. Truth to Bolzano 63; V. Husserl's Anti-Psychologism 76; VI. Husserl's Theory of Meaning 99; VII. Basic Logical Relations in Husserl 113; VIII. Truth to Husserl 128; IX. Recapitulation 144; X. Conclusion 151; Bibliography 164-168.
- Bouveresse Jacques. "Sur Les Représentations Sans Objet." Études Philosophiques 4 (2000): 519-534.
"L'auteur réinscrit l'oeuvre de Bolzano dans le contexte de l'histoire de la philosophie autrichienne. Il montre comment le fameux problème des "représentations sans objet", dont l'école de Brentano s'est tant occupée. trouve sa source dans l'oeuvre du philosophe tchèque. Il compare le traitement bolzanien du problème et les traitements variés essayés dans l'école de Brentano. En définitive, il met en lumière l'originalité de la position wittgensteinienne sur cette question: comme Bolzano (mais contre Brentano), Wittgenstein rejette une interprétation psychologique du problème; mais il refuse aussi (comme Brentano) l'objectivisme sémantique de Bolzano."
- Brandl Johannes L. "Die Objektivität Der Anschauung: Ein Problem in Bolzanos Vorstellungstheorie." In Philosophie Im Geiste Bolzanos, edited by Hieke, Alexander and Neumaier, Otto. 87-108. Sankt Augustin: Academia Verlag, 2003.
- Brisart Robert. "Husserl Et Bolzano: Le Lien Sémantique." Recherches Husserliennes 18 (2002): 3-29.
- Bucci Paolo. "Bernard Bolzano E La Logica Kantiana." Rivista di Filosofia 80 (1989): 241-260.
- ———. "Logica E Organizzazione Del Sapere Nella Dottrina Della Scienza Di Bernard Bolzano." Rivista di Filosofia 85 (1994): 241-259.
- ———. "La Teoria Bolzaniana Delle Spazio E Del Tempo." Rivista di Filosofia 86 (1995): 217-237.
- ———. Husserl E Bolzano. Alle Origini Della Fenomenologia. Milano: Edizioni Unicopli, 2000.
- Bussotti Paolo. "Il Problema Dei Fondamenti Della Matematica Negli Scritti Giovanili Di Bernard Bolzano." Epistemologia 21 (1998): 225-243.
"The main aim of this article is to provide a conceptual summary of the theory of Bernhard Bolzano related to the foundations of mathematics preceding his two great encyclopedic works: the Grössenlehre and the Wissenschaftslehre (both completed in 1837, even if the former was not published while Bolzano was still alive).
In particular the article tries to uphold two theories:
I) Bolzano believed in the existence of a basis concept as regards all mathematical notions and, in particular, in relation to the concepts of number and quantity: the Ganze ("the whole"). The Ganze has a dual meaning: 1) it is a more original entity if related to numbers and quantities, meaning that they can be defined starting from the Ganze; 2) it is more general since some branches of mathematics can work without the notions of number or quantity, though the idea that, given some mathematical entities, their set must exist as well, is still indispensable. The Ganze, therefore, is a form that pervades every branch of mathematics and is filled each time with different content.
The article, moreover, will explain that Bolzano's formalism should not be confused with Hilbert's, which is typical of the end of the nineteenth and beginning of the twentieth century.
II) The logic implied in the early works by Bolzano cannot be considered either extensional or intensional; rather, he tries to base his own speculations on such concepts as the Ganze, where intensional and extensional meanings coexist. Any Ganze, once the elements which constitute it have been determined, can, in fact, be treated as a mere aggregate of objects, and the way by means of which a 'whole' is achieved, however, must necessarily make reference to a certain compository law, to an intention.
Finally a hint to the sources: I have consulted Bolzano's manuscripts (dating to the period 1809-1820) found in Bolzanian Opera omnia, published by Friedrich Fromann Verlag, Stuttgart-Bad Cannstatt."
- Cantù Paola. "Bolzano Et Les Propositions En Soi: Une Théorie Objective Des Vérités." In Propositions Et États De Choses. Entre Être Et Sens, edited by Benoist, Jocelyn. 51-66. Paris: Vrin, 2006.
- Casari Ettore. "L'universo Logico Bolzaniano." Rivista di Filosofia 76 (1985): 339-366.
- ———. "Bemerkungen Über Die Bolzanische Wissenschafstlehre." In Logik Und Grundlagenforschung. Festkolloquium Zum 100. Geburstag Von Heinrich Scholz. 53-66. Münster: Aschendorff, 1986.
- ———. "Remarks on Bolzano's Modalities." In Atti Del Convegno Internazionale Di Storia Della Logica: Le Teorie Della Modalità, edited by Corsi, Giovanna, Mangione, Corrado and Mugnai, Massimo. 319-322. Bologna: CLUEB, 1989.
- ———. "Una Fonte Dimenticata? La Teoria Bolzaniana Del Significato." Rivista di Filosofia 80 (1990): 319-349.
- ———. "An Interpretation of Some Ontological and Semantical Notions in Bolzano's Logic." In Bolzano's Wissenschaftslehre 1837-1987. International Workshop. 55-105. Firenze: Leo S. Olschki, 1992.
"In the following, the attempt is done to clarify some significant features of Bolzano's logical system with particular attention to its development in the Wissenschaftslehre (WL). This system is viewed as a theory trying to identify certain quite general properties, relations and operations of things [Dinge], in the most general and unbiased sense of this word. For sake of simplicity and determinateness of the formulations, the current logical symbolism is used. The point of view of the theory is elementary, that is to say, we always work with particular notions about the things without allowing us any consideration of arbitrary notions about the things. 'x', 'y', 'z', ... are used as variables for things." (p. 55)
- ———. "Sull'origine Dell'"Oggettivo" in Bolzano." In Logica E Teologia. Studi in Onore Di Vittorio Sainati, edited by Fabris, Adriano, Fioravanti, Gianfranco and Moriconi, Enrico. 93-115. Pisa: ETS, 1997.
- ———. "Some Remarks on Bolzano's Notion of a Quality." In Logic and Philosophy in Italy. Some Trends and Perspectives.Essays in Honor of Corrado Mangione, edited by Ballo, Edoardo and Franchella, Miriam. 185-201. Milano: Polimetrica, 2006.
- Castrillo Pilar. "La Teoría Lógica De Franz Bolzano: Una Reacción Contra El Subjetivismo Kantiano." Éndoxa.Series filosóficas 18 (2004): 417-443.
"Objectivism may be taken as a landmark of Austrian philosophy. This tradition begins with Bernard Bolzano. Contrary to the Kantian picture of the working of the human mind as imposing its own structure on nature, Bolzano stresses the objectivity of our grasping the truth, thus liberating cognition from the subjective constraints. To know something means always to know propositions as such. Bolzano's theory states that there are propositions in themselves which are the bearers of truth values and of logical relations."
- Cavaillès Jean. "La Théorie De La Science Selon Bolzano." Deucalion I (1946): 195-202.
Reprinted in: J. Cavaillés - Sur la logique et la théorie de la science - Paris 1947
- Cellucci Carlo. "Bolzano and Multiple-Conclusion Logic." In Bolzano's Wissenschaftslehre 1837-1987. International Workshop. 179-189. Firenze: Leo S. Olschki, 1992.
"The aim of this paper is to assess Bolzano's logical work in the light of contemporary logical developments. This has been done before by others, most recently by van Benthem, (1) but everybody has his own approach and my approach -- whatever its value -- will be somewhat different from the current one. Make no mistake, I am not going to discuss once again to what extent Bolzano anticipated modern logic. On the contrary I will try to show how far he was from moden logic. In order to do so I will compare Bolzano with the tradition of multiple-conclusion logic." (p.179)
(1) J. van Benthem, The Variety of Consequence, According to Bolzano, Studia Logica 44, 1985, pp. 389-403.
- Chattopadhyaya Debi Prasad. "Bolzano and Frege: A Note on Ontology." In Logic. Ontology and Action, edited by Banerjee, K.K., 214-242. Atlantic Highlands: Humenities Press, 1979.
- Chihara Charles. "Frege's and Bolzano's Rationalist Conceptions of Arithmetic." Revue d'Histoire des Sciences 52, no. 3-4 (1999): 343-361.
- Chisholm Roderick. "Bolzano on the Simplicity of the Soul." In Traditionen Und Perspektiven Der Analytischen Philosophie, edited by Gombocz, Wolfgang, Rute, Heiner and Sauer, Werner. Vienna: Hölder-Pichler-Tempsky, 1989.
- ———. "Bernard Bolzano's Philosophy of Mind." Philosophical Topics 19 (1991): 207-216.
"According to Bolzano, the best way to find out what thinking as such requires is to reflect upon our own acts of thought. Such acts can be performed only by substances and the acts themselves do not logically require any multiplicity of parts. But thinkers may be corporeal in the sense of "having" bodies. The only thinker who does not have a body is God. Corporeal thinkers may be rational or non-rational. The so-called lower animals are non-rational. Such entities, unlike rational beings, cannot be called "minds". These conclusions are developed in detail in Bolzano's "Athanasia: Or Grounds for the Immortality of the Soul"."
- Christian Curt, ed. Bernard Bolzano. Leben Und Wirkung. Wien: Verlag der Österreichischen Akademie der Wissenschaften, 1981.
Inhalt: Jaromir Louzil: Bernard Bolzanos Sitten- und Gesellschaftslehre 5; Marie Pavlikova: Bernard Bolzanos Lehrjahre 29; Pavel Krivsky: Das Entstehen, die Herausgabe und das Projekt der 2. Ausgabe von Bolzanos Lehrbuch der Religionswissenschaft 62; Eduard Winter: Das doppelte Gesicht der Religionswissenschaft Bernard Bolzanos 85; Edgar Morscher: Bolzanos Wissenschaftslehre 99; Curt Christian: Bemerkungen zu drei Einwänden gegen Bolzano 127-147.
- Coffa J.Alberto. "Kant, Bolzano and the Emergence of Logicism." Journal of Philosophy 74 (1982): 679-689.
"Logicism is presented as an ingredient in a tradition designed to show that Kant's pure intuition plays no role in the foundation of "a priori" knowledge. Kant had argued for the necessity of the pure intuition from two assumptions: the claim that there is synthetic "a priori" knowledge and "the principle of synthetic judgments", (i.e., the thesis that synthetic judgments must be grounded on intuition). Bolzano was the first one to note that this principle is false and to propose that mathematics be constructed from concepts alone, thus excluding the representations that Kant associated with human sensibility."
- ———. The Semantic Tradition Fro Kant to Carnap. Cambridge: Cambridge University Press, 1991.
See the Second Chapter: Bolzano and the Birth of Semantics pp. 22-40.
- Cohen Jonathan L. "Bolzano's Theory of Induction." In Impact of Bolzano's Epoch on Development of Science - Conference Papers Prague 1981. 443-457. Prague: Ustav ceskoslovenských a svetových dejin CSAV, 1982.
- Corcoran John. "Meanings of Implication." Diálogos 9 (1975): 59-76.
Reprinted in: R. I. G. Hughes (ed.) - A philosophical companion to First-order Logic - pp. 85-100.
"In philosophical and mathematical discourse as well as in ordinary scholarly contexts the term 'implies' is used in several clear senses, many of which have already been noticed and explicated. The first five sections of this article codify and interrelate the most widely recognized meanings. Section 6 discusses a further significant and common use. Section 7 discusses and interrelates Tarski's notion of logical consequence, the "model-theoretic" notion of logical consequence, and Bolzano's two grounding relations. The eighth section employs the use-mention distinction to separate the three common grammatical categories of 'implies'. Section 8 also shows that criteria based on use-mention are not reliable indications of intended usage of 'implies'. The ninth and last section relates the above to the counterfactual and gives reasons for not expecting to find 'implies' used to express counterfactuals. A summary is provided.
Summary and Conclusion: In the first five sections we have distinguished twelve uses of the term 'implies'. At the outset we distinguished: implies 1 (truth-functional), implies2 (logical consequence) and implies3 (logical deducibility). Next we distinguished three elliptical or enthymematic varieties of implication: C-implies1, C-implies2 and C-implies3. In none of these six senses did "A implies B" presuppose the truth of A. Then we discussed the cases wherein "A implies B" is used to mean "The-fact-that-A implies B," which does presuppose the truth of A. We paraphrased the latter as "A is true and A implies 13" where 'implies' indicates any of the previous six senses of the term. Thus, at that point, twelve senses of implies were distinguished, six which do not presuppose the truth of the implying sentence and six which do. Of the six which do, three are enthymematic.
In addition, the three original senses were carefully distinguished and interrelated, and possible causes of confusion were identified.
Then, building on some off-hand observations of Russell, we related the truth-functional use of 'implies' to two further notions which have been used as explications of traditional logical consequence. We also brought in Bolzano's relative implication and his two grounding relations.
We argued briefly that counterfactuals are not normally expressed using 'implies' and that the distinction between use and mention cannot be used as a test for distinguishing different meanings of 'implies'.
Use of 'implies' as a transitive verb taking a human subject has been ignored."