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,181
Number of visits today: 2
Last visit: 13.06.2024 - 09:09
PDF downloads: 701


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.