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)

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

Bolzano's Sätze an sich and Frege's Gedanken are obviously close relatives. The paper underlines both similarities and dissimilarities between the psychological and semantical roles assigned to structured truth-evaluable contents in Bolzano's and Frege's theories. In particular, their different accounts of propositional identity are compared, and it is argued that Dummett's recent criticism of Frege's account is grist to Bolzano's mill.

In a series of publications beginning in the 1980s, John Etchemendy has argued that the standard semantical account of logical consequence, due in its essentials to Alfred Tarski, is fundamentally mistaken. He argues that, while Tarski's definition requires us to classify the terms of a language as logical or non-logical, no such division is guaranteed to deliver the correct extension of our pre-theoretical or intuitive consequence relation. In addition, and perhaps more importantly, Tarski's account is claimed to be incapable of (...) explaining an essential modal/epistemological feature of consequence, namely, its necessity and apriority. Bernard Bolzano (1781-1848) is widely recognized as having anticipated Tarski's definition in his Wissenschaftslehre (or Theory of Science ) of 1837. Because of the similarities between his account and Tarski's, Etchemendy's arguments have also been extended to cover Bolzano. The purpose of this article is to consider Bolzano's theory in the light of these criticisms. We argue that, due to important differences between Bolzano's and Tarski's theories, Etchemendy's objections do not apply immediately to Bolzano's account of consequence. Moreover, Bolzano's writings contain the elements of a detailed philosophical response to Etchemendy. (shrink)

In this work Dummett discusses, section by section, Frege's masterpiece The Foundations of Arithmetic and Frege's treatment of real numbers in the second volume ...

Philosophers from Hume, Kant, and Wittgenstein to the recent realists and antirealists have sought to answer the question, What are concepts? This book provides a detailed, systematic, and accessible introduction to an original philosophical theory of concepts that Christopher Peacocke has developed in recent years to explain facts about the nature of thought, including its systematic character, its relations to truth and reference, and its normative dimension. Particular concepts are also treated within the general framework: perceptual concepts, logical concepts, and (...) the concept of belief are discussed in detail. The general theory is further applied in answering the question of how the ontology of concepts can be of use in classifying mental states, and in discussing the proper relation between philosophical and psychological theories of concepts. Finally, the theory of concepts is used to motivate a nonverificationist theory of the limits of intelligible thought. Peacocke treats content as broad rather than narrow, and his account is nonreductive and non-Quinean. Yet Peacocke also argues for an interactive relationship between philosophical and psychological theories of concepts, and he plots many connections with work in cognitive psychology. (shrink)

The distinction between concept and intuition is of the utmost importance for understanding Kant’s critical philosophy. For, as Kant himself claimed, all the distinctive claims of this philosophy rest on, and develop out of, a detailed account of the way all our cognition of things requires both intuitions and concepts.

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)

Kant's question 'How are synthetic judgments a priori possible?' pre- cipitated the Critique of Pure Reason. Question and answer notwith- standing, Mill and others persisted in doubting that such judgments were possible at all. At length some of Kant's own clearest purported.

In Bolzano's view, a proposition is necessarily true iff it is derivable from true propositions that include no intuition (Anschauung). This analysis is historically important because it displays close similarities to Quine's and Kripke's ideas. Its systematic significance, however, is reduced by the fact that derivability is defined with recourse to the method of variation, which we are allowed to apply even to propositions containing none of the respective variables. This liberality leads to the result that, according to Bolzano's analysis, (...) every truth is necessarily true. Even by introducing his condition of relevance (shared variables), Bolzano cannot avoid that some propositions come out as necessarily true which are merely contingently true. (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.

This work is the long awaited sequel to the author’s classic Frege: Philosophy of Language. But it is not exactly what the author originally planned. He tells us that when he resumed work on the book in the summer of 1989, after a long interruption, he decided to start afresh. The resulting work followed a different plan from the original drafts. The reader does not know what was lost by their abandonment, but clearly much was gained: The present work may (...) be the most compactly organized of Dummett’s philosophical books, and its value as commentary on Frege is enhanced by its being organized as a study of Die Grundlagen der Arithmetik and selected parts of Grundgesetze. Moreover, since Dummett has been thinking and writing about Frege for forty years, we have a single, mature chronological stage of his thought. (shrink)

This essay presents a new interpretation of Bolzano's account of necessary truth as set out in ?182 of the Theory of Science. According to this interpretation, Bolzano's conception is closely related to that of Leibniz, with some important differences. In the first place, Bolzano's conception of necessary truth embraces not only what Leibniz called metaphysical or brute necessities but also moral necessities (truths grounded in God's choice of the best among all metaphysical possibilities). Second, in marked contrast to Leibniz, Bolzano (...) maintains that there is still plenty of room for contingency even on this broader conception of necessity. (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.