Article/Publication Details

Comparison of Bolzano's and Tarski's Definition of Logical Consequence

(Original title: Srovnání Bolzanovy a Tarského definice vyplývání)
Organon F, 1999, vol. 6, No 1, pp. 1-5.
File to download: PDF*
BibTex EndNote Tagged EndNote XML RIS

Document Statistics:

Number of visits: 3,243
Number of visits today: 0
Last visit: 18.07.2024 - 08:45
PDF downloads: 711


Bernard Bolzano presents in his work Wissenschaftslehre (1837) a definition of derivability among sentences. Tarski publishes his well-known definition of logical consequence almost one hundred years later. This article intends to prove that the Bolzano´s definition is fully satisfactory compared to the Tarski´s one, even though no attention was drawn to Bolzano´s definition at that time.

*The article is subject to copyright.