On the occasion of 80th birthday of an excellent Slovak philosopher Pavel Cmorej, some characteristic features of his work are presented. Cmorej is shown as a solid thinker who always took care of precisely expressing his thoughts. One of his remarkable works is a collection of his philosophical dialogues (published in 2007) where Cmorej’s analysis of various philosophical problems demonstrates his ability to develop analytic philosophy so that (the desirable) English translations of his works would certainly surprise his contemporary world analytic philosophers. and Pavel Materna
In this paper we revisit Pavel Tichý’s novel distinction between one-dimensional and two-dimensional conception of inference, which he presented in his book Foundations of Frege’s Logic (1988), and later in On Inference (1999), which was prepared from his manuscript by his co-author Jindra Tichý. We shall focus our inquiry not only on the motivation behind the introduction of this non-classical concept of inference, but also on further inspection of selected Tichý’s arguments, which we see as the most compelling or simply most effective in providing support for his two-dimensional account of inference. Main attention will be given to exposing the failure of one-dimensional theory of inference in its explanation of indirect (reductio ad absurdum) proofs. Lastly, we discuss shortly the link between two-dimensional inference and deduction apparatus of Tichý’s Transparent Intensional Logic., V tomto příspěvku jsme se vrátili k novému rozlišení Pavla Tichého mezi jednorozměrnou a dvourozměrnou koncepcí inference, kterou prezentoval ve své knize Základy Fregeovy logiky (1988) a později na On Inference(1999), který byl připraven z jeho rukopisu jeho spoluautorem Jindrou Tichým. Své šetření zaměříme nejen na motivaci zavádění tohoto neklasického konceptu dedukce, ale také na další inspekci vybraných Tichého argumentů, které považujeme za nejpřísnější nebo nejúčinnější při poskytování podpory jeho dvou- dimenzionální popis inference. Hlavní pozornost bude věnována odhalení neúspěchu jednorozměrné teorie dedukce v jejím vysvětlení důkazů nepřímých (reductio ad absurdum). V poslední době diskutujeme stručně o vztahu mezi dvourozměrným inferenčním a dedukčním aparátem Tichého transparentní intenzivní logiky., and Ivo Pezlar