Jiri Raclavsky

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

The paper describes the solution to semantic paradoxes pioneered by Pavel Tichý and further developed by the present author. Its main feature is an examination (and then refutation) of the hidden premise of paradoxes that the paradox-producing expression really means what it seems to mean. Semantic concepts are explicated as relative to language, thus also language is explicated. The so-called ‘explicit approach’ easily treats paradoxes in which language is explicitly referred to. The residual paradoxes are solved by the ‘implicit approach’ which employs ideas made explicit by the former one.