TY - JOUR T1 - Srovnání Bolzanovy a Tarského definice vyplývání JF - Organon F Y1 - 1999 A1 - Vlasáková, Marta AB - 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. IS - 1 VL - 6 SP - 1-5 UR - http://www.klemens.sav.sk/fiusav/doc/organon/1999/1/1-5.pdf U2 - Papers U3 - 15 TI - Comparison of Bolzano's and Tarski's Definition of Logical Consequence ER -