Detail príspevku/publikácie

Srovnání Bolzanovy a Tarského definice vyplývání

Organon F, 1999, roč. 6, č. 1, s. 1-5.
Súbor na stiahnutie: PDF*
BibTex EndNote Tagged EndNote XML RIS

Štatistika dokumentu:

Počet prístupov: 1,537
Počet prístupov dnes: 0
Naposledy zobrazené: 05.12.2019 - 09:19
Počet stiahnutí PDF: 419

Abstrakt

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.

*Príspevok je chránený zákonom o autorskom práve a právach súvisiacich s autorským právom (autorský zákon).