Skip to main content
SpringerLink
Log in

The variety of consequence, according to Bolzano

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. J. van Benthem, Ramsey eliminability, Studia Logica 37 (1978), pp. 321–336.

    Google Scholar 

  2. J. van Benthem, Foundations of conditional logic, Journal of Philosophical Logic 13 (1984), pp. 303–349.

    Google Scholar 

  3. J. Van Benthem and H. Doets, Higher-order logic, in D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, Vol. 1, D. Reidel, Dordrecht, 1983.

    Google Scholar 

  4. J. Berg, Bolzano's Logic, Almqvist and Wiksell, Stockholm, 1962.

    Google Scholar 

  5. B. Bolzano, Wissenschaftslehre, Seidel Buchhandlung, Sulzbach, 1837 (translated as Theory of Science, R. George (translator), University of California Press, Berkeley and Los Angeles, 1972).

    Google Scholar 

  6. J. Corcoran, Meanings of implication, Diaglos 9 (1975), pp. 59–76.

    Google Scholar 

  7. D. Hofstadter, Gödel, Escher, Bach, Basic Books, New York, 1979.

    Google Scholar 

  8. I. Mason, Undecidability of the metatheory of the propositional calculus, Journal of Symbolic Logic 50 (1985), pp. 451–457.

    Google Scholar 

  9. W. Quine, Philosophy of Logic, Prentice-Hall, Englewood Cliffs, N. J., 1970.

    Google Scholar 

  10. H. Scholz, Die Wissenschaftslehre Bolzanos. Eine Jahrhundertbetrachtung, Ab'n der Friesschen Schule NF 6 (1937), pp. 339–472.

    Google Scholar 

  11. D. Scott, On engendering an illusion of understanding, Journal of Philosophy 68 (1971), pp. 787–808.

    Google Scholar 

  12. P. Thompson, Bolzano's deducibility and Tarski's logical consequence, History and Philosophy of Logic 2 (1981), pp. 11–20.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Filosofisch Instituut Rijksuniversiteit Groningen, Holland

    Johan van Benthem

Authors
  1. Johan van Benthem
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

van Benthem, J. The variety of consequence, according to Bolzano. Stud Logica 44, 389–403 (1985). https://doi.org/10.1007/BF00370429

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370429

Keywords

Search

Navigation