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

Contents: Acknowledgements. Conventions. Preface. Biographical sketch. 1 Introduction. 2 The Contributions. 3 Early work in analysis. 4 The Theory of Science . 5. Later mathematical studies. A On Kantian Intuitions. B The Bolzano-Cauchy Theorem.

Not all truths are on a par. The realm of truths is structured: some propositions are only true because others are. The relation that endows the realm of truths with this structure is often called grounding. Grounding has achieved much attention in 21st century metaphysics, but the topic is arguably as old as philosophy itself. -/- This becomes apparent when investigating the works of the 19th-century philosopher Bernard Bolzano, who developed what is perhaps the first comprehensive theory of grounding, (...) drawing on a rich tradition that goes back to Aristotle’s Posterior Analytics. Roski’s book provides, for the first time, a comprehensive study of Bolzano’s theory of grounding in its entirety, paying more attention than previous studies to the interaction between grounding and the consequence-relation of deducibility. -/- . (shrink)

Inhaltsverzeichnis/Table of Contents: Vorbemerkung/Preface. Dagfin FØLLESDAL: Bolzano's Legacy. Jan BERG: Bolzano, the Prescient Encyclopedist. Jan SEBESTIK: Bolzano, Exner and the Origins of Analytical Philosophy. Paul RUSNOCK: Bolzano and the Traditions of Analysis. Peter SIMONS: Bolzano on Collections. Ali BEHBOUD: Remarks on Bolzano's Collections. Mark SIEBEL: Variation, Derivability and Necessity. Edgar MORSCHER: Bolzano's Method of Variation: Three Puzzles. Rolf GEORGE: Bolzano's Programme andObjects. Mark TEXTOR: Bolzano's Sententialism. Wolfgang KÜNNE: Propositions in Bolzano (...) and Frege. Michael DUMMETT: Comments on Wolfgang Künne's Paper. Carsten Uwe GIESKE: Bolzano's Notion of Testifying. (shrink)

Bernard Bolzano (1781–1848) is commonly thought to have attempted to develop a theory of size for infinite collections that follows the so-called part–whole principle, according to which the whole is always greater than any of its proper parts. In this paper, we develop a novel interpretation of Bolzano’s mature theory of the infinite and show that, contrary to mainstream interpretations, it is best understood as a theory of infinite sums. Our formal results show that Bolzano’s infinite sums (...) can be equipped with the rich and original structure of a non-commutative ordered ring, and that Bolzano’s views on the mathematical infinite are, after all, consistent. (shrink)

In der 1970 gegr ndeten Reihe erscheinen Arbeiten, die philosophiehistorische Studien mit einem systematischen Ansatz oder systematische Studien mit philosophiehistorischen Rekonstruktionen verbinden. Neben deutschsprachigen werden auch englischsprachige Monographien ver ffentlicht. Gr ndungsherausgeber sind: Erhard Scheibe (Herausgeber bis 1991), G nther Patzig (bis 1999) und Wolfgang Wieland (bis 2003). Von 1990 bis 2007 wurde die Reihe von J rgen Mittelstra mitherausgegeben.

Here I revisit Bolzano's criticisms of Kant on the nature of logic. I argue that while Bolzano is correct in taking Kant to conceive of the traditional logic as a science of the activity of thinking rather than the content of thought, he is wrong to charge Kant with a failure to identify and examine this content itself within logic as such. This neglects Kant's own insistence that traditional logic does not exhaust logic as such, since it must (...) be supplemented by a transcendental logic that will in fact study nothing other than thought's content. Once this feature of Kant's views is brought to light, a much deeper accord emerges between the two thinkers than has hitherto been appreciated, on both the nature of the content that is at issue in logic and the sense of logic's generality and formality. (shrink)

In 1817, in the preface to his Rein analytischer Beweis, Bernard Bolzano revealed that he had decided to postpone the publication of any subsequent instalment of his Beyträge zu einer begründeteren Darstellung der Mathematik because of the few and ‘superficial’ reviews of its first instalment, published in 1810. Bolzano’s transcriptions of the only two known reviews of this book are conserved at the Literární archiv Památníku národního písemnictví / Muzea literatury, in Prague, together with another manuscript on his (...) Beyträge, the provenance of which was unknown to Bolzano’s scholars until recently. In this paper it is shown that this latter manuscript is a draft of an announcement that was published at the time and that was indeed written at least to some extent by Bolzano himself. This hitherto unknown announcement of Bolzano’s Beyträge not only solves the mystery surrounding that manuscript, but also helps to date the publication of this book more precisely and provides an unusual insight into what we must take Bolzano himself to have considered most noteworthy about his work, namely his study on logic. The paper includes a transcription of the manuscript and an English translation of the announcement. (shrink)

Bolzano hat seine Wahrscheinlichkeitslehre in 15 Punkten im § 14 des zweiten Teils seiner Religionswissenschaft sowie in 20 Punkten im § 161 des zweiten Bandes seiner Wissenschaftslehre niedergelegt. (Ich verweise auf die Religionswissenschaft mit 'RW II', auf die Wissenschaftslehre mit 'WL II'.) In der RW II (vgl. p. 37) ist seine Wahrscheinlichkeitslehre eingebettet in seine Ausführungen "Über die Natur der historischen Erkenntniß, besonders in Hinsicht auf Wunder", und die Lehrsätze, die er dort zusammenstellt, dienen dem ausdrücklichen Zweck, mit mathematischem (...) Rüstzeug Lehrmeinungen entgegentreten zu können, gemäß denen Wundererzählungen keine Glaubwürdigkeit zukommen könne. In der WL II (vgl. p. 171) führt Bolzano im großen und ganzen dieselben Lehrsätze an wie in der RW II, entwickelt nun aber die Wahrscheinlichkeitslehre innerhalb seiner Lehre von den Sätzen an sich. Dabei orientiert er sich zwar durchaus an den Lehrsätzen in den damaligen "Schriften über die Wahrscheinlichkeitsrechnung" (vg. WL II, p. 190), korrigiert aber dort, wo es ihm nötig erscheint (vgl. WL II, pp. 187–191), und leistet so im Grunde eine Reformulierung des elementaren Teils der Wahrscheinlichkeitslehre seiner Zeit innerhalb seiner logischen Theorie von den Sätzen an sich. — Ich bezwecke hier keine historische Studie über Bolzanos Wahrscheinlichkeitslehre, obwohl es von Interesse sein mag, herauszuschälen, worin Bolzano mit welchen Wahrscheinlichkeitstheoretikern seiner Zeit übereinstimmt, und worin nicht, insbesondere welche Schwächen von Bolzanos Wahrscheinlichkeitslehre Schwächen aller damaligen Wahrscheinlichkeitslehren waren. Eine wichtige systematische Studie über Bolzanos Wahrscheinlichkeitslehre bestünde — wie von Berg (1962, pp. 148-149) ansatzweise begonnen — in einer exakten Rekonstruktion seiner Wahrscheinlichkeitslehre innerhalb eines konsistenten logischen Systems der Sätze an sich. Ich werde im folgenden etwas bei weitem Bescheideneres, doch möglicherweise durchaus Fruchtbares versuchen, nämlich die Lehrsätze von Bolzanos Wahrscheinlichkeitslehre in die Sprache einer heutigen Wahrscheinlichkeitstheorie zu übersetzen und die übersetzten Lehrsätze dort herzuleiten, soweit dies möglich ist. Man könnte dann in einem zweiten Schritt, der hier nicht mehr unternommen wird, untersuchen, inwieweit jene Thesen, die den Herleitungstest überstanden haben, jenen Zweck erfüllen, den Bolzano ihnen ursprünglich zugedacht hat: als mathematisches Rüstzeug für seine Argumentationen gegen die Auffassung zu dienen, Wundererzählungen könnten nicht glaubwürdig sein. (shrink)

This book is focused on the first three parts of Bolzano's Theory of Science and introduces a more systematic reconsideration of Bolzano's logical thought. In undertaking this task, the book is intended as an exploration, not so much of the more specifically discursive aspects of Bolzano's logical thought - already amply studied - as much as on identifying the singularly coherent and systematic nature of the logic presented in Bolzano's work.

In §12 of his 1837 magnum opus, the Wissenschaftslehre, Bolzano remarks that “In the new logic textbooks one reads almost constantly that ‘in logic one must consider not the material of thought but the mere form of thought, for which reason logic deserves the title of a purely formal science’” (WL §12, 46).1 The sentence Bolzano quotes is his own summary of others’ philosophical views; he goes on to cite Jakob, Hoffbauer, Metz, and Krug as examples of thinkers (...) who held that logic abstracts from the matter of thought and considers only its form. Although Bolzano does not mention Kant by name here, Kant does of course hold that “pure general logic”, what Bolzano would consider logic in the traditional sense (the theory of propositions, representations, inferences, etc.), is formal. As Kant remarks in the Introduction to the 2nd edition of Kritik der reinen Vernunft , (pure general) logic is “justified in abstracting – is indeed obliged to abstract – from all objects of cognition and all of their differences; and in logic, therefore, the understanding has to do with nothing further than itself and its own form” (KrV, Bix).2. (shrink)

The paper discusses some changes in Bolzano's definition of mathematics attested in several quotations from the Beyträge, Wissenschaftslehre and Grössenlehre: is mathematics a theory of forms or a theory of quantities? Several issues that are maintained throughout Bolzano's works are distinguished from others that were accepted in the Beyträge and abandoned in the Grössenlehre. Changes are interpreted as a consequence of the new logical theory of truth introduced in the Wissenschaftslehre, but also as a consequence of the overcome (...) of Kant's terminology, and of the radicalization of Bolzano's anti‐Kantianism. Bolzano's evolution is understood as a coherent move, once the criticism expressed in the Beyträge on the notion of quantity is compared with a different and larger notion of quantity that Bolzano developed already in 1816. This discussion is enriched by the discovery that two unknown texts mentioned by Bolzano in the Beyträge can be identified with works by von Spaun and Vieth respectively. Bolzano's evolution is interpreted as a radicalization of the criticism of the Kantian definition of mathematics and as an effect of Bolzano's unaltered interest in the Leibnizian notion of mathesis universalis. As a conclusion, the author claims that Bolzano never abandoned his original idea of considering mathematics as a scientia universalis, i.e. as the science of quantities in general, and suggests that the question of ideal elements in mathematics, apart from being a main reason for the development of a new logical theory, can also be considered as a main reason for developing a different definition of quantity. (shrink)

Bolzano was the first to establish an explicit distinction between the deductive methods that allow us to recognise the certainty of a given truth and those that provide its objective ground. His conception of the relation between what we, in this paper, call "subjective consequence", i.e., the relation from epistemic reason to consequence and "objective consequence", i.e., grounding however allows for an interpretation according to which Bolzano advocates an "explicativist" conception of proof: proofs par excellence are those that (...) reflect the objective order of grounding. In this paper, we expose the problems involved by such a conception and argue in favour of a more rigorous demarcation between the ontological and the epistemological concern in the elaboration of a theory of demonstration. (shrink)

Bolzano holds that every sentence can be paraphrased into a sentence of the form "A has b". Bolzano's arguments for this claim are reconstructed and discussed. Since they crucially rely on Bolzano's notion of paraphrase, this notion is investigated in detail. Bolzano has usually been taken to require that in a correct paraphrase the sentence to be paraphrased and the paraphrasing sentence express the same proposition. In view of Bolzano's texts and systematical considerations this interpretation (...) is rejected: Bolzano only holds that the sentence to be paraphrased and the paraphrasing sentence must be equipollent ("gleichgeltend"). It is shown that even this modest view of paraphrase does not help Bolzano in sustaining his claim that all sentences have the form "A has b". (shrink)

In this paper I argue that Bolzano's concept of deducibility and Tarski's concept of logical consequence differ with respect to their philosophical intent. I distinguish between epistemic and ontic approaches to logic, and argue that Bolzano's deducibility presupposes an epistemic approach, while Tarski's logical consequence presupposes an ontic approach.

Throughout his career, Bolzano presents his account of knowledge and science as an alternative to 'the Critical philosophy' of Kant and his followers. The aim of this essay is to evaluate the success of Bolzano's own account—and especially, its heavy emphasis on the objectivity of cognitive content—in enabling him to escape what he takes to be the chief shortcomings of the 'subjective idealist philosophy'. I argue that, because Bolzano's own position can be seen to be beset by (...) problems that are both recognizably similar to, and possibly even worse than, those that he takes to afflict Kant's account of the elements of our knowledge, Bolzano's attempt to fully overcome the alleged vices of Kant's idealism by 'extruding' semantic content from the mind must be judged to be less than satisfactory. (shrink)

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

"Provides translations of Bolzano's most important work on grounding, including previously untranslated material"--.

In his earlyContributions to a Better-Grounded Presentation of Mathematics Bernard Bolzano tries to characterizerigorous proofs.Rigorousis,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 theContributions, and to point out as (...) well some difficulties Bolzano’s attempt runs into, notably as to his methodological ban on ‘kind crossing’. (shrink)

What I propose is to reconsider the interpretation of Bolzano’s concept of analytic propositions which was offered thirty years ago by Bar-Hillel. The claim of Bar-Hillel was that, in a late addition to his book, The Theory of Science, Bolzano actually had been radically improving his concept of analyticity, thus creating some inconsistencies with the previous, uncorrected version. This allows us to equate the new Bolzanian definition of analytic with what was to be defined, a century later, as (...) logical truth by W. V. Quine. Bar-Hillel’s interpretation has been uncritically accepted by commentators, although the historical issue has been rightly challenged by J. Berg. What I want to show is that, in spite of a surface analogy between Bolzano’s phrasing of the definition of ‘logical analytic’ and Quine’s definition, certain considerations should lead us to call that parallel into question. Attractive as it may be for a Quinian, such a view of Bolzano’s analytic can be shown as incompatible with the leading ideas of his philosophy of logic. Furthermore, there is enough evidence in other sections of the Theory of Science to show that Bolzano’s criterion of analyticity is grounded on purely semantical properties and is part of a general account of logical properties in terms of the mapping of propositions to corresponding models. (shrink)

Bolzano incorporated Kant's distinction between intuitions and concepts into the doctrine of propositions by distinguishing between conceptual (Begriffssätze an sich) and intuitive propositions (Anschauungssätze an sich). An intuitive proposition contains at least one objective intuition, that is, a simple idea that represents exactly one object; a conceptual proposition contains no objective intuition. After Bolzano, philosophers dispensed with the distinction between conceptual and intuitive propositions. So why did Bolzano attach philosophical importance to it? I will argue that, ultimately, (...) the value of the distinction lies in the fact that conceptual and intuitive truths have different objective grounds: if a conceptual truth is grounded at all, its ground is a conceptual truth. The difference in grounds between conceptual and intuitive truths motivates Bolzano's criticism of Kant's view that intuition plays the fundamental role in mathematics, a conceptual science by Bolzano's lights. (shrink)

Quine's well-known ‘Two Dogmas of Empiricism’ (1951) plays a key role in the debate about the analytic-synthetic distinction. Taking to task the ideas of Carnap in particular, Quine shows that logical positivism works with a concept of scientific rationality that is based dogmatically on, among other things, the opposition analytic-synthetic.

At a time when they had largely fallen into disrepute Bolzano reactivated the distinctions between ‚clear‘ and ‚obscure‘, ‚distinct‘ and ‚confused‘ ideas. In the central sections of this paper I offer a critical reconstruction of the explanations of these pairs of opposita which are to be found in vol. III of Bolzano's monumental Wissenschaftslehre . I then provide a detailed account of its Leibnizian counterparts that were well-known to the ‚Bohemian Leibniz‘, and finally I evaluate Bolzano's criticism (...) thereof. (shrink)

Content, according to Bolzano, is intransparent: our knowledge of certain essential features of the contents of our contentful mental acts is often severely limited. In this paper, I identify various intransparency theses Bolzano is committed to and present and evaluate the defence he offers for his view. I argue that while his intransparency theses may be correct, his defence is unsuccessful. Moreover, I argue that improving on his defence would require substantially modifying his general epistemology of content.

This chapter has two aims. The first aim is to present an overview of Bolzano's universe from the point of view of his metaphysics and its relationship to logic, relying fundamentally on Bolzano's Wissenschaftslehre. The author's preferred reading of Bolzano is one according to which he is a 'platonistic nominalist': a platonist about propositions and a nominalist about properties. Bolzano's nominalistic tendencies are particularly conspicuous in his mereological analyses, which play a major role in every aspect (...) of his philosophy. The author's second aim is to answer the open question of whether in Bolzano there is any 'ontology of truth'. This chapter argues for a negative answer. Bolzano does not make room for any special object which plays the role of the counterpart of a truth-bearer, or at least his propositions do not connect semantically in a direct way to anything that would count as such a special object. (shrink)

La filosofia austriaca presenta tratti di originalità nei suoi esponenti: anzitutto B. Bolzano, F. Brentano e la sua scuola. Grazie all’influenza di Herbart essa rimane estranea all’idealismo e al neokantismo e sviluppa temi poi decisivi nel novecento come la fenomenologia e la filosofia analitica.

This paper discusses a novel response to two closely related regress arguments from Bolzano’s Theory of Science and Carroll’s What the Tortoise Said to Achilles. Bolzano’s argument aims to refute the thesis that full grounds must include propositions involving notions such as entailment, grounding or lawhood which link the respective grounds to their groundee. This thesis is motivated, Bolzano’s argument is reconstructed, and a response based on self-referential linking propositions is developed and defended against objections concerning self-reference (...) and Curry’s paradox. Finally, the idea is applied to a reading of Carroll’s dialogue and a corresponding solution to the so-called infinite regress problem of inference is proposed. (shrink)

What I propose is to reconsider the interpretation of Bolzano’s concept of analytic propositions which was offered thirty years ago by Bar-Hillel. The claim of Bar-Hillel was that, in a late addition to his book, The Theory of Science, Bolzano actually had been radically improving his concept of analyticity, thus creating some inconsistencies with the previous, uncorrected version. This allows us to equate the new Bolzanian definition of analytic with what was to be defined, a century later, as (...) logical truth by W. V. Quine. Bar-Hillel’s interpretation has been uncritically accepted by commentators, although the historical issue has been rightly challenged by J. Berg. What I want to show is that, in spite of a surface analogy between Bolzano’s phrasing of the definition of ‘logical analytic’ and Quine’s definition, certain considerations should lead us to call that parallel into question. Attractive as it may be for a Quinian, such a view of Bolzano’s analytic can be shown as incompatible with the leading ideas of his philosophy of logic. Furthermore, there is enough evidence in other sections of the Theory of Science to show that Bolzano’s criterion of analyticity is grounded on purely semantical properties and is part of a general account of logical properties in terms of the mapping of propositions to corresponding models. (shrink)

The dissemination and reception of Bernard Bolzano's ideas were not only mediated by his personal circumstances and context but also by the vicissitudes of his work. This paper traces the fate of his works from his death in 1848 to the publication of the first volume of his Gesamtausgabe in 1969, and it does so with the help of one of the last published volumes of this edition, namely the Bolzano‐Gesamtbibliographie 1804–1999. As the paper shows, this book is (...) more than a mere list of publications and constitutes a highly valuable resource for anyone interested in Bolzano studies, the use of which is explained in detail. (shrink)

The dissertation provides a reconstruction of Bernard Bolzano's theory of grounding (both in early and late works) against the background of a classical conception of science and scientific explanation.

Inhaltsverzeichnis/Table of Contents Themenschwerpunkt/Special Topic: Bolzano & Kant Gastherausgeber/Guest Editor: Sandra Lapointe 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 Weitere Artikel/Further (...) Articles Christian Damböck: Wilhelm Diltheys empirische Philosophie und der rezente Methodenstreit in der analytischen Philosophie Bernd Prien: Socially Constituted Actions and Objects Daniel Enrique Kalpokas: Two Dogmas of Coherentism Jon Cogburn & Jeff W. Roland: Strong, therefore Sensitive. Misgivings about DeRose¿s Contextualism Andre Abath: Brewer¿s Switching Argument Essay-Wettbewerb/Essay Competition Amadeus Magrabi: The Value of Feelings for Decision-Making Stefan Reining: Do Pain-Accompanying Emotions Mislead Us?¿Considerations in the Light of Reactive Dissociation Phenomena Peter Königs: Patriotism. A Case Study in the Philosophy of Emotions Besprechungsaufsatz/Review Essay Christopher Gauker: What Do Your Senses Say? On Burge¿s Theory of Perception Diskussion/Discussion Georg Brun: Adequate Formalization and De Morgan¿s Argument Buchnotizen/Critical Notes. (shrink)

This paper sets forth Bolzano’s little-known 1843 account of beauty. Bolzano accepted the thesis that beauty is what rewards contemplation with pleasure. The originality of his proposal lies in his claim that the source of this pleasure is a special kind of cognitive process, namely, the formation of an adequate concept of the object’s attributes through the successful exercise of the observer’s proficiency at obscure and confused cognition. To appreciate this proposal we must understand how Bolzano explicated (...) a number of concepts in his Wissenschaftslehre. I argue that Bolzano was ahead of his time and anticipated some of the results of recent empirical psychological research on the relations between beauty, affect, and processing fluency. Bolzano’s remarks on ugliness and on relations between pure and mixed beauty are also of contemporary interest. The upshot is that Bolzano’s account of beauty is neither as derivative nor ‘dark’ as some of his commentators have claimed. (shrink)

Bolzano's theory of collections (Inbegriffe) has usually been taken as a rudimentary set theory. More recently, Frank Krickel has claimed it is a mereology. I find both interpretations wanting. Bolzano's theory is, as I show, extremely broad in scope; it is in fact a general theory of collective entities, including the concrete wholes of mereology, classes-as-many, and many empirical collections. By extending Bolzano's ideas to embrace the three factors of kind, components and mode of combination, one may (...) develop a coherent general account of collections. But it is most difficult to take Bolzano's view to fit modern set theory. So while Krickel's positive thesis is rejected, his negative thesis is confirmed. (shrink)

It is sometimes mentioned that Bernard Bolzano’s work on grounding anticipates many insights of the current debate on metaphysical grounding. The present paper discusses a certain part of Bolzano’s theory of grounding that has thus far not been discussed in the literature. This part does not so much anticipate what are nowadays common assumptions about grounding, but rather goes beyond them. Central to the discussion will be a thesis of Bolzano’s by which he tries to establish a (...) connection between grounding and unification. The paper spells out this thesis in detail and discusses the assumptions on which it rests. Next to this mainly historical aim, the paper also presents reasons why philosophers who are not interested in the historical Bolzano should find the thesis interesting by relating it to a certain view on unification and explanation that has been put forward by Kim. A final part of the paper provides a critical evaluation of the thesis against the background of current accounts of grounding. (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)

In this paper, I provide a thorough discussion and reconstruction of Bernard Bolzano’s theory of grounding and a detailed investigation into the parallels between his concept of grounding and current notions of normal proofs. Grounding (Abfolge) is an objective ground-consequence relation among true propositions that is explanatory in nature. The grounding relation plays a crucial role in Bolzano’s proof-theory, and it is essential for his views on the ideal buildup of scientific theories. Occasionally, similarities have been pointed out (...) between Bolzano’s ideas on grounding and cut-free proofs in Gentzen’s sequent calculus. My thesis is, however, that they bear an even stronger resemblance to the normal natural deduction proofs employed in proof-theoretic semantics in the tradition of Dummett and Prawitz. (shrink)

Bernard Bolzano criticised Kant's philosophy so vehemently that his pupil Franz Prihonsky called him "Anti-Kant". One of his criticisms concerns Kant's cosmological antinomies. The context of this critique is the problem of limits of knowledge. Kant wanted to prove that there are such boundaries, and to show where these are located. In this paper we will (i) schematize Kant's antinomies (to see what Bolzano really criticised on them) and (ii) summarize Bolzano's criticism, which is distributed over his (...) and his student's work. At the beginning we will work out the (more fundamental) theoretical differences between Kant's and Bolzano's philosophy to see what roles these play in the construction of the antinomies. (shrink)

The notion of testifying (or testimony) is the central notion of Bolzano's theory of communication. In his Wissenschaftslehre (Theory of Science) Bolzano gives an analysis of this notion. It shows surprising parallels to Paul Grice's attempt to define "A meantNN something by x". I will begin with an explanation of some parts of the analysis and continue with an investigation of the relationship between Bolzano's analysis and that of Grice. In conclusion I would like to present some (...) evidence supporting the hypothesis that several of the virtues of Grice's theory had already been developed by Bolzano, whose approach even has the advantage of a better definition than Grice's, as Bolzano's analysis provides a better basis for defining a notion of successful communication of information. (shrink)

In his little-known essay published posthumously in 1849, Über die Eintheilung der schönen Künste, Bernard Bolzano proposes an explication of the concept of beautiful art as well as a classification of these arts. Bolzano’s divisions allowed him not only to provide a principled and comprehensive classification of actual, well-established arts, but also to anticipate kinds of beautiful art that would not exist or be widely recognized until decades after his death, such as moving pictures, abstract paintings, and what (...) he called ‘the arts of pure thought’. (shrink)

Bolzano holds that every sentence can be paraphrased into a sentence of the form "A has b". Bolzano's arguments for this claim are reconstructed and discussed. Since they crucially rely on Bolzano's notion of paraphrase, this notion is investigated in detail. Bolzano has usually been taken to require that in a correct paraphrase the sentence to be paraphrased and the paraphrasing sentence express the same proposition. In view of Bolzano's texts and systematical considerations this interpretation (...) is rejected: Bolzano only holds that the sentence to be paraphrased and the paraphrasing sentence must be equipollent ("gleichgeltend"). It is shown that even this modest view of paraphrase does not help Bolzano in sustaining his claim that all sentences have the form "A has b". (shrink)

De la pensée de Bolzano, l’objectivisme sémantique est certainement l’aspect le plus largement commenté. Mais son œuvre maîtresse, la Wissenschaftslehre, comprend aussi bien la version la plus aboutie de cet objectivisme qu’une partie proprement épistémologique, la « Théorie de la Connaissance ». Si l’épistémologie bolzanienne repose sur la désubjectivation des éléments de la connaissance, la théorie de la perception présente dans cette Wissenschaftslehre prête au sujet connaissant un rôle actif dans l’élaboration du réel perceptif.

A theory of aesthetic normativity states what makes it the case that the fact that an item is beautiful is reason to appreciate it. Aesthetic hedonists characteristically hold that the fact that an item is beautiful is reason to appreciate it because anyone always has reason to do what yields pleasure. Bernard Bolzano was an aesthetic hedonist who is best interpreted as offering a mixed theory of aesthetic normativity. The fact that an item is beautiful is reason to appreciate (...) it because anyone always has reason to do what yields pleasure and because anyone also has reason to do what fosters virtue, the capacity to act well. The argument for this interpretation knits together Bolzano’s aesthetics, his ethics, and his philosophy of science. In doing so, this argument opens up a new perspective on aesthetic normativity. (shrink)