Studia Logica 44 (4):389 - 403 (1985)

Johan Van Benthem
University of Amsterdam
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)
DOI 10.1007/BF00370429
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 62,289
External links

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

Philosophy of Logic.W. V. O. Quine - 1970 - Harvard University Press.
On Engendering an Illusion of Understanding.Dana Scott - 1971 - Journal of Philosophy 68 (21):787-807.
Wissenschaftslehre. [REVIEW]Arthur R. Schweitzer - 2001 - Revue de Métaphysique et de Morale 2 (18):134-136.
Bolzano's Logic.Jan Berg - 1962 - Stockholm, Almqvist & Wiksell.

View all 9 references / Add more references

Citations of this work BETA

The Many Faces of Interpolation.Johan van Benthem - 2008 - Synthese 164 (3):451-460.
Modality, Bisimulation and Interpolation in Infinitary Logic.Johan van Benthem - 1999 - Annals of Pure and Applied Logic 96 (1-3):29-41.
The Deduction Theorem.Curtis Franks - 2021 - History and Philosophy of Logic 42 (2):129-159.
Bolzano and the Analytical Tradition.Sandra Lapointe - 2014 - Philosophy Compass 9 (2):96-111.

View all 6 citations / Add more citations

Similar books and articles

Was Wittgenstein a Plagiarist?Michael Cohen - 2001 - Philosophy 76 (3):451-459.
Bolzano's Deducibility and Tarski's Logical Consequence.Paul B. Thompson - 1981 - History and Philosophy of Logic 2 (1-2):11-20.
Mere Possibilities - Bolzano's Account of Non-Actual Objects.Benjamin Schnieder - 2007 - Journal of the History of Philosophy 45 (4):525-550.
Kant and Bolzano on Logical Form.Paul Rusnock - 2011 - Kant-Studien 102 (4):477-491.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
Are Bolzano’s Substances Simple?Andrej Krause - 2006 - American Catholic Philosophical Quarterly 80 (4):543-562.
Etchemendy and Bolzano on Logical Consequence.Paul Rusnock & Mark Burke - 2010 - History and Philosophy of Logic 31 (1):3-29.


Added to PP index

Total views
58 ( #182,295 of 2,445,242 )

Recent downloads (6 months)
1 ( #457,173 of 2,445,242 )

How can I increase my downloads?


My notes