Srovnání Bolzanovy a Tarského definice vyplývání
Comparison of Bolzano's and Tarski's Definition of Logical Consequence
Author(s): Marta VlasákováSubject(s): Logic, Analytic Philosophy
Published by: Filozofický ústav SAV
Summary/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.
Journal: Organon F
- Issue Year: 6/1999
- Issue No: 1
- Page Range: 1-5
- Page Count: 5
- Language: Czech