Dedukce a logická analýza v Tichého logice

Title in English Deduction and logical analysis in Tichý's Logic


Type Appeared in Conference without Proceedings
MU Faculty or unit

Faculty of Arts

Description The aim of the talk is to defend Tichý's logic as logic againt the suspeiction that Tichý's logic underestimates deduction, provides only logical analyses of expressions. First of all, detection of valid arguments, which are formulated in a language, needs logical analysis ascertaining which semantical entities, Tichý's so-called constructions, are involved. Entailment is defined as an extralinguistic affair relating those constructions. Validity of arguments, composed of propositional constructions, stems from properties of constructions. Such properties are displayed by derivation rules of Tichý's system of deduction.
Related projects: