96 found
Order:
  1.  10
    Procedural Semantics for Hyperintensional Logic: Foundations and Applications of Transparent Intensional Logic.Marie Duží, Bjorn Jespersen & Pavel Materna - 2010 - Dordrecht, Netherland: Springer.
    The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   46 citations  
  2. Concepts and Objects.Pavel Materna - 1998 - Philosophical Society of Finland.
    Direct download  
     
    Export citation  
     
    Bookmark   29 citations  
  3. Once More on Analytic Vs. Synthetic.Pavel Materna - 2007 - Logic and Logical Philosophy 16 (1):3-43.
    The boundary between analytic and synthetic sentences is well definable. Quine’s attempt to make it vague is based on a misunderstanding: instead of freeing semantics from shortcomings found, e.g. in Carnap’s work, Quine actually rejects semantics of natural language and replaces it by behavioristically articulated pragmatics. Semantics of natural language as a logical analysis is however possible and it can justify hard and fast lines between analyticity and syntheticity.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  4. The Notion of Problem, Intuitionism and Partiality.Pavel Materna - 2008 - Logic and Logical Philosophy 17 (4):287-303.
    Problems are defined as abstract procedures. An explication of procedures as used in Transparent Intensional Logic and called constructions is presented and the subclass of constructions called concepts is defined. Concepts as closed constructions modulo α- and η-conversion can be associated with meaningful expressions of a natural or professional language in harmony with Church’s conception. Thus every meaningful expression expresses a concept. Since every problem can be unambiguously determined by a concept we can state that every problem is a concept (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  5.  43
    Are Wooden Tables Necessarily Wooden?: Intensional Essentialism Versus Metaphysical Modality.Bjørn Jespersen & Pavel Materna - 2002 - Acta Analytica 17 (1):115-150.
    This paper defendsintensional essentialism: a property (intensional entity) is not essential relative to an individual (extensional entity), but relative to other properties (or intensional entities). Consequently, an individual can have a property only accidentally, but in virtue of having that property the individual has of necessity other properties. Intensional essentialism is opposed to various aspects of the Kripkean notion of metaphysical modality, eg, varying domains, existence as a property of individuals, and its category of properties which are both empirical and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  83
    ‘Parmenides Principle’.Pavel Materna, Marie Duzi, Marie Duží & Pavel Materna - 2005 - Philosophia 32 (1-4):155-180.
  7.  18
    Odpověď prof. Sousedíkovi.Pavel Materna - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (1):69-71.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  8.  48
    Rules of Existential Quantification Into "Intensional Contexts".Pavel Materna - 1997 - Studia Logica 59 (3):331-343.
    Propositional and notional attitudes are construed as relations (-in-intension) between individuals and constructions (rather than propositrions etc,). The apparatus of transparent intensional logic (Tichy) is applied to derive two rules that make it possible to export existential quantifiers without conceiving attitudes as relations to expressions (sententialism).
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  9.  7
    Ordinary Modalities.Pavel Materna - 2005 - Logique Et Analyse 48 (189-192):57-70.
  10. Can Concepts Be Defined in Terms of Sets?Marie Duží & Pavel Materna - 2010 - Logic and Logical Philosophy 19 (3):195-242.
    The goal of this paper is a philosophical explication and logical rectification of the notion of concept. We take into account only those contexts that are relevant from the logical point of view. It means that we are not interested in contexts characteristic of cognitive sciences, particularly of psychology, where concepts are conceived of as some kind of mental objects or representations. After a brief recapitulation of various theories of concept, in particular Frege’s and Church’s ones, we propose our own (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  11.  18
    The so-Called Myth of Museum.Pavel Materna - 2004 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 11 (3):229-242.
    Quine claims that a) considering meaning as a separate object leads to mentalism and b) to overcome mentalism we have to accept an empirical analysis. The paper shows that a) is wrong and not accepting mentalism we can apply a logical, i.e., not empirical approach.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  12.  14
    Ještě k existenci jednotlivin.Pavel Materna - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (3):366-368.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  13.  28
    Question-Like and Non-Question-Like Imperative Sentences.Pavel Materna - 1981 - Linguistics and Philosophy 4 (3):393 - 404.
    There is a distinctive kind of command, namely commands to answer specific questions. An imperative sentence denoting such a command has an interrogative sentence corresponding to it-a sentence denoting the respective question. LetImp, Int, andQ be such an imperative sentence, the interrogative sentence corresponding to it, and the question denoted by the interrogative sentence, respectively. LetQ be an empirical question, i. e., and ((ητ)ω)-object. LetP be an ((ητ)ω)-construction constructingQ. Then the analysis ofImp has the form (QL).LetQ be an analytical question, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14. Je „logická analýza přirozeného jazyka“ možná?Pavel Materna - 2005 - Filosoficky Casopis 53:267-276.
    [Is “logical analysis of natural language” possible?].
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  15.  27
    Concepts as Hyperintensional Objects.Pavel Materna - 2014 - Logic and Logical Philosophy (2):133-170.
    The author defends the view that the notion of concept, if used in the logical tradition, should be explicated procedurally . He argues that Tichý’s Transparent Intensional Logic is an apt tool for such an explication and derives the respective definition. Some consequences of this definition concern the notions of emptiness, simple concepts, empirical concepts and algorithmic concepts.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  16.  18
    Is Transparent Intensional Logic a Non-Classical Logic?Pavel Materna - 2014 - Logic and Logical Philosophy 23 (1):47-55.
    It is shown that: classicality is connected with various criteria some of which are fulfilled by TIL while some other are not; some more general characteristic of classicality connects it with philosophical realism whereas anti-realism is connected with non-classical logics; TIL is highly expressive due to its hyperintensionality, which makes it possible to handle procedures as objects sui generis. Thus TIL is classical in obeying principles of realism and non-classical in transcending some principles taught by textbooks of classical logic.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  29
    Equivalence of Problems (An Attempt at an Explication of Problem).Pavel Materna - 2013 - Axiomathes 23 (4):617-631.
    On the one hand, Pavel Tichý has shown in his Transparent Intensional Logic (TIL) that the best way of explicating meaning of the expressions of a natural language consists in identification of meanings with abstract procedures. TIL explicates objective abstract procedures as so-called constructions. Constructions that do not contain free variables and are in a well-defined sense ´normalized´ are called concepts in TIL. On the second hand, Kolmogorov in (Mathematische Zeitschrift 35: 58–65, 1932) formulated a theory of problems, using NL (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  28
    Mathematical and Empirical Concepts.Pavel Materna - 2012 - In James Maclaurin (ed.), Rationis Defensor.
    Buzaglo (as well as Manders (J Philos LXXXVI(10):553–562, 1989)) shows the way in which it is rational even for a realist to consider ‘development of concepts’, and documents the theory by numerous examples from the area of mathematics. A natural question arises: in which way can the phenomenon of expanding mathematical concepts influence empirical concepts? But at the same time a more general question can be formulated: in which way do the mathematical concepts influence empirical concepts? What I want to (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  19. TIL as a Tool of Logically Analyzing Language.Pavel Materna - 2010 - Divus Thomas 113 (1):97-183.
  20.  35
    Denotation and Reference.Pavel Materna - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (1):3-20.
    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 is the value of these intensions in the actual world.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  21.  30
    Ludwik Borkowski. Kilka Uwag o Pojęciu Definicji . Polish with Russian and English Summaries. Studia Logica, Vol. 23 , Pp. 59–70. [REVIEW]Pavel Materna - 1970 - Journal of Symbolic Logic 35 (3):468.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  40
    Úvod do logické syntaxe a sémantiky: A Journal of Analytic Scholasticism. [REVIEW]Pavel Materna - 2004 - Studia Neoaristotelica 1 (1/2):191-194.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  23.  46
    Concepts and Recipes.Pavel Materna - 2009 - Acta Analytica 24 (1):69-90.
    If concepts are explicated as abstract procedures, then we can easily show that each empirical concept is a not an effective procedure. Some, but not all empirical concepts are shown to be of a special kind: they cannot in principle guarantee that the object they identify satisfies the intended conditions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24.  19
    Ludwik Borkowski. Über analytische und synthetische Definitionen. German with Polish and Russian summaries. Studia logica, vol. 4 , pp. 7–60. [REVIEW]Pavel Materna - 1972 - Journal of Symbolic Logic 37 (4):749-750.
  25.  17
    Znovu o existenci.Pavel Materna - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (3):355-357.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  26.  73
    Are Concepts A Priori?Pavel Materna - 2005 - In L. Behounek & M. Bilkova (eds.), The Logica Yearbook 2004. Praha: Filosofia.
    In [Laurence, Margolis 2003] the authors try - within their polemics against F.Jackson’s views in [Jackson 1998] - to decide the question whether concepts are a priori (in their formulation “to be defined a priori”). Their discussion suffers - as a number of similar articles - from a typical drawback: some problem whose solution requires an exact notion of concept is handled as if the latter were quite clear. The consequence of this ‘conceptual laxity’ is that a) the topic of (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  43
    Funkce–Procedura–Konstrukce.Pavel Materna - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):283-305.
    The purpose of this paper can be described as follows. The contemporary philosophical logic cannot work without using some terms well-known from mathematics and logic. Among such terms that play an important role in logical and philosophical analyses of language, meaning and the like we can find function, procedure and construction. One problem is that various authors use these terms in various ways, another problem consists in the well-known fact that many philosophers do not have any idea of what those (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. K Transparentnej Teórii Pojmov.Pavel Cmorej & Pavel Materna - 2000 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 7 (2):176-191.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  29. K Jubileu Pavla Cmoreje.Marie Duží & Pavel Materna - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):134-135.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  30. A Note on the Consideration of Relativism.Pavel Materna - 2011 - Filosoficky Casopis 59 (3):441-442.
     
    Export citation  
     
    Bookmark  
  31. Ambiguity of a Natural Language Expression Accompanied by the Context-Independent Meaning of Its Constituents.Pavel Materna - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:99-104.
     
    Export citation  
     
    Bookmark  
  32. Attempt on Life and Concepts.Pavel Materna - 2013 - Filosoficky Casopis 61 (2):257-265.
     
    Export citation  
     
    Bookmark  
  33. Ach ta objektivnost!Pavel Materna - 2008 - Filosoficky Casopis 56:253-254.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Bolzano a Frege o pojmu.: [Bolzano and Frege on Concepts.].Pavel Materna - 1998 - Filosoficky Casopis 46:959-965.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  35. Class-Property-Concept.Pavel Materna - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18:26-31.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Dva omyly Bělohradovy kritiky.Pavel Materna - 2003 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 10 (1):81-83.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. Existují hodnoty?Pavel Materna - 2020 - Studia Philosophica 67 (2):21-24.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  38. Čeština, Máchův „Máj“ a objektivnost.Pavel Materna - 2007 - Filosoficky Casopis 55:915-916.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. Expressivity of Logical Analysis of Natural Language.Pavel Materna - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:112-116.
     
    Export citation  
     
    Bookmark  
  40. Function-Procedure-Construction.Pavel Materna - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):283-305.
    No categories
     
    Export citation  
     
    Bookmark  
  41. Jak snadno vyvrátit karikaturu realismu.Pavel Materna - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):92-97.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  42. Komentář jako odpověď.Pavel Materna - 2000 - Filosoficky Casopis 48:511.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  43. Komentář K Příspěvku J. Kroba.Pavel Materna - 2000 - Filosoficky Casopis 48:692.
    No categories
     
    Export citation  
     
    Bookmark  
  44. Konceptuální Pravdy.Pavel Materna - 2001 - Filosoficky Casopis 49:425-440.
    No categories
     
    Export citation  
     
    Bookmark  
  45. K Příspěvku D. Kamhala.Pavel Materna - 2001 - Filosoficky Casopis 49:357-358.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Možné světy a vesmíry.Pavel Materna - 2000 - Filosoficky Casopis 48:141-143.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. Nesnesitelná lehkost argumentace.Pavel Materna - 2003 - Filosoficky Casopis 51:477-480.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  48. Některé poznámky k článku V. Kolmana „K Fregově údajnému holismu“.Pavel Materna - 2002 - Filosoficky Casopis 50:1001-1004.
    [Some notes on V. Kolman's article “On Frege's alleged holism”].
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  49. O Definici A Pojmu Toho, Co Není.Pavel Materna & Petr Kolář - 1994 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (1):4-16.
    In the paper, Priorś well-known \'tonk\' argument is examined and taken as a basis for general considerations regarding the logical status of implicit definition, and the semantical status of the \'tonk\'-like expressions. Further, the whiff of logical vanity attendant upon Priorś conclusions is dispelled by employing a new theory of concept. In particular, the authors argue that: a) Priorś \'tonk\' argument discredits neither the concept of analytical validity nor the role of implicit definition. The arguments underlying the authors\' view draw (...)
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. Odkaz Pavla Tichého.Pavel Materna - 2002 - Filosoficky Casopis 50:803-807.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
1 — 50 / 96