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: 1,457
Number of visits today: 1
Last visit: 24.08.2019 - 13:54
PDF downloads: 403

Abstract

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.