David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Studia Logica 44 (4):389 - 403 (1985)
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 rôle in the genesis of modern logical semantics. The purpose of this paper is to point out three highly original, and still quite relevant 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.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
Jan Berg (1962). Bolzano's Logic. Stockholm, Almqvist & Wiksell.
B. Bolzano (2001). Wissenschaftslehre. Revue de Metaphysique Et de Morale 2:134-136.
Ian Mason (1985). The Metatheory of the Classical Propositional Calculus is Not Axiomatizable. Journal of Symbolic Logic 50 (2):451-457.
W. V. Quine (1986). Philosophy of Logic. Harvard University Press.
Citations of this work BETA
Johan van Benthem (2008). The Many Faces of Interpolation. Synthese 164 (3):451-460.
Johan Van Benthem (2008). The Many Faces of Interpolation. Synthese 164 (3):451 - 460.
Similar books and articles
Michael Cohen (2001). Was Wittgenstein a Plagiarist? Philosophy 76 (3):451-459.
Andrej Krause (2006). Are Bolzano's Substances Simple? American Catholic Philosophical Quarterly 80 (4):543-562.
Bernard Bolzano (1973). Theory of Science. Boston,D. Reidel Pub. Co..
Ignacio Jané (2006). What is Tarski's Common Concept of Consequence? Bulletin of Symbolic Logic 12 (1):1-42.
Benjamin Schnieder (2007). Mere Possibilities: A Bolzanian Approach to Non-Actual Objects. Journal of the History of Philosophy 45 (4):525-550.
Paul Rusnock (2011). Kant and Bolzano on Logical Form. Kant-Studien 102 (4):477-491.
Benjamin Schnieder (2007). Mere Possibilities - Bolzano's Account of Non-Actual Objects. Journal of the History of Philosophy 45:525-550.
Jacques Dubucs & Sandra Lapointe (2006). On Bolzano's Alleged Explicativism. Synthese 150 (2):229 - 246.
Paul B. Thompson (1981). Bolzano's Deducibility and Tarski's Logical Consequence. History and Philosophy of Logic 2 (1-2):11-20.
Paul Rusnock & Mark Burke (2011). Etchemendy and Bolzano on Logical Consequence. History and Philosophy of Logic 31 (1):3-29.
Added to index2009-01-28
Total downloads20 ( #81,713 of 1,096,714 )
Recent downloads (6 months)1 ( #271,187 of 1,096,714 )
How can I increase my downloads?