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
This study presents a systematic treatment of the critical rationalism of the German philosopher Hans Albert, a follower of Karl R. Popper. On the basis of an analysis of his key works (Traktat über kritische Vernunft, Die Wissenschaft und die Fehlbarkeit der Vernunft, Kritischer Rationalismus, Kritische Vernunft und Rationale Praxis etc.) the eight main methodological tenets of his philosophical conception are presented. They are: 1. universal criticism, 2. consequentialist fallibilism, 3. methodological revisionism, 4. critical realism, 5. theoretical pluralism, 6. constructive metaphysics, 7. the postulate of a single method of science, and 8. a proposal of a way of life. In reference to each of these tenets, the author explains the intellectual tradition in contrast to which Albert defines his own position and, at the same time, considers several critical objections to Albert’s assumptions. The study thus provides a relatively complex view of the subject-matter in question.
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
The article deals with the description and creation of a parametric model of the generator s stator winding coil using the Unigraphics(NX program. It contains a detailed procedure for designing a parametric model, including the creation of basic planes, link to another application, and entering parametric environment.