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
The terms denotation and reference are commonly used as synonyms. A more fine-grained analysis of natural language as offered by TIL shows that we can distinguish these terms in the case of empirical expressions. The latter are shown to denote non-trivial intensions while their reference (if any) is the value of these intensions in the actual world., Pojmy denotace a reference se běžně používají jako synonyma. Jemnější analýza přirozeného jazyka, kterou nabízí TIL, ukazuje, že tyto pojmy můžeme rozlišit v případě empirických výrazů. Ty jsou ukázány jako netriviální záměry, zatímco jejich reference (pokud existuje) je hodnotou těchto intenzí ve skutečném světě., and Pavel Materna
The concept of expressivity of a theory or a system ́(for example a system of concepts or - derivatively - of basic expressions) is surely important: a theory (system) is the more expressive the more problems it allows to be solved. We will try to formulate or at least to suggest an explication of this notion. We will, of course, assume that an appropriate explication of the notion of problem has been given., Pojem expresivity teorie nebo systému ́ (např. Systém pojmů nebo - derivativně - základních výrazů) je jistě důležitý: teorie (systém) je výraznější, čím více problémů umožňuje řešit. Pokusíme se formulovat nebo alespoň navrhnout vysvětlení tohoto pojmu . Samozřejmě budeme předpokládat, že byl poskytnut vhodný výklad pojmu problému ., and Pavel Materna
Logical analysis of natural language (LANL) based on TIL defines meaning (Frege’s sense) in a procedural way, resulting in the following thesis: The meaning of an expression is independent of context. The meaning (in the case of non-indexical expressions concept) is thus an abstract procedure, which is explicated in TIL as (well-defined) construction. What does depend on context is the way in which the meaning has to be handled. From this viewpoint we can distinguish three kinds of context: (i) hyperintensional context; (ii) intensional context; (iii) extensional context., Logická analýza přirozeného jazyka (LANL) na základě TIL definuje význam (Fregeho smysl ) v procesním způsobem, což má za následek následující práce: Význam výrazu je nezávislá na kontextu . Význam (v případě konceptu neindexových výrazů ) je tedy abstraktním postupem, který je vysvětlen v TIL jako (dobře definovaná) konstrukce . To, co závisí na kontextu, je způsob, jakým je třeba tento význam řešit . Z tohoto pohledu můžeme rozlišit tři druhy kontextů: (i) hyperintenzionální kontext; ii) intenzivní souvislosti; iii) kontext prodloužení., and Pavel Materna
In Tichý (1969), it is shown that semantics of natural language can be pursued procedurally. Tichý supported his argument by defining elementary functions of logic (truth functions, quantifiers) using Turing machines and attempting to define the sense of empirical expressions using a simple semantic version of oracle. From the way how Turing machines and later constructions are defined it follows that even the sense of empirical expressions can be successfully handled but that the sense and denotation can be in principle effectively obtained while the actual value at the actual world can be, of course, never computed. The present paper comments on this attempt and compares the Turing machines argument with the possibilities given by TIL constructions. Turing machines guarantee the effective character of computing while the constructions do not, but expressive power of constructions is incomparably stronger, not only because Tichý’s possible worlds from 1969 are atemporal: they define essentially 1 st order operations and can be reinterpreted as one possible world enjoying (discrete) temporal changes. Both the TM conception and the ''constructivist'' one know that the question ''which possible world is the actual one'' cannot be ever answered by effective (computational) methods and their analyses of empirical expressions are therefore compatible. and V Tichý (1969) je ukázáno, že sémantika přirozeného jazyka může být sledována procedurálně. Tichý podpořil svůj argument tím, že definoval základní funkce logiky (pravdivé funkce, kvantifikátory) za použití Turingových strojů a snažil se definovat smysl empirických výrazů pomocí jednoduché sémantické verze oracle. Ze způsobu, jakým jsou vymezeny stroje Turing a pozdější konstrukce, vyplývá, že i smysl empirických výrazů lze úspěšně zvládnout, ale smysl a denotaci lze v principu efektivně získat, zatímco skutečná hodnota v aktuálním světě může být, samozřejmě, nikdy nebyl vypočten. Tento příspěvek se k tomuto pokusu vyjadřuje a srovnává argument Turingových strojů s možnostmi danými konstrukcemi TIL. Turing stroje zaručují efektivní charakter výpočtu, zatímco konstrukce nejsou, ale expresivní síla konstrukcí je nesrovnatelně silnější, a to nejen proto, že Tichého možné světy z roku 1969 jsou atemporální: definují v podstatě operace 1. řádu a mohou být reinterpretováni jako jeden možný svět, který se těší (diskrétním) časovým změnám. Jak koncepce TM, tak konstruktivistická, vědí, že otázka ''který možný svět je skutečný'' nemůže být nikdy zodpovězena účinnými (výpočetními) metodami a jejich analýza empirických výrazů je tedy slučitelná.
It is argued that the terms class, property, concept are exactly distinguishable and that defining this distinction helps to avoiding frequently occurring misunderstandings. Classes are extensions, properties are intensions and concepts are abstract procedures, i.e., hyperintensions. Realizing these distinctions we fulfill Gödel´s requirement to make the meaning of the terms ''class'' and ''concept'' clearer and to set up a consistent theory of classes and concepts as objectively existing entities. and Pavel Materna