The aim of the paper is to disclose an ontological setting of possible worlds used by Pavel Cmorej in his papers focused mainly on intensional semantics and its applications. The paper offers a range of attitudes toward possible worlds spanning from radical realism to radical eliminativism. Cmorej’s possible worlds are best understood in terms of moderate realism that sees them as objective abstract entities based on the ontology and principles of combinatorialism. However, combinatorialism doesn’t occur in its standard form because some aspects of abstractionism are present as well. and Martin Schmidt
This paper focuses on the theory of deduction, developed by the Czech logician Pavel Tichý. Research on deduction in Tichý’s logic is still not very advanced. Tichý’s own deduction system is a generalization of Gentzen’s natural deduction and although it is an interesting topic in itself, I’d rather focus on the theory or philosophy of deduction that motivates Tichý’s choice of deduction system. Some of Tichý’s expressions suggest that in the question of the status of the theory of deduction in logic he held the prevailing modern approach, but this contradicts the fact that most of his writings concern selected problems of logical semantics. Having introduced Tichý’s original conception of deduction, I pay attention to the so called object-conception of logic, which explains the special position of the theory of deduction in his conception., Příspěvek se zaměřuje na teorii dedukce vyvinutou českým logikem Pavlem Tichým. Výzkum o dedukci v Tichém logice stále není příliš pokročilý. Tichý vlastní dedukční systém je zobecněním Gentzenova přirozeného dedukce, a přestože je to samo o sobě zajímavé téma, raději bych se zaměřil na teorii nebo filosofii dedukce, která motivuje Tichého volbu systému odpočtu. Někteří z Tichých výrazů naznačují, že v otázce stavu teorie dedukce v logice zastával převažující moderní přístup, což však odporuje skutečnosti, že většina jeho spisů se týká vybraných problémů logické sémantiky. Po představení Tichého původní koncepce dedukce věnuji pozornost tzv. Objektové koncepci logiky, která v jeho pojetí vysvětluje zvláštní postavení teorie dedukce., and Karel Šebela