Je Tichého logika logikou? : O vztahu logické analýzy a dedukce

It is sometimes objected that Tichý’s logic is not logic because it underestimates deduction – providing only a logical analysis of expressions. I argue that this opinion is wrong. First of all, detection of valid arguments (which are formulated in a language) requires logical analysis determining which semantical entities – Tichý’s constructions – are involved. Entailment is defined as an extralinguistic affair relating those constructions. The validity of arguments (composed of propositional constructions) stems from properties of the constructions. Such properties are displayed by the derivation rules of Tichý’s system of deduction.

Tichého logika bývá někdy znevažována proto, že prý podceňuje dedukci – že se věnuje pouze logické analýze. Ukazuji, že tento názor je mylný. Logická analýza, tj. určení toho, které tzv. konstrukce výrazy vyjadřují, je k určení platnosti úsudků formulovaných v přirozeném jazyce nezbytná. Vyplývání je definováno jako určitý vztah mezi konstrukcemi, tedy jako mimojazyková záležitost. Platnost úsudků (složených z konstrukcí) se odvíjí od vlastností příslušných konstrukcí. Tyto vlastnosti vyobrazují derivační pravidla Tichého systému dedukce.