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: 2,211
Number of visits today: 1
Last visit: 07.12.2021 - 22:36
PDF downloads: 549

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.