98 found
Order:
  1.  13
    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   50 citations  
  2.  3
    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.  47
    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  
  5. 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  
  6.  84
    ‘Parmenides principle’.Pavel Materna, Marie Duzi, Marie Duží & Pavel Materna - 2005 - Philosophia 32 (1-4):155-180.
  7.  51
    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  
  8.  18
    Odpověď prof. Sousedíkovi.Pavel Materna - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18 (1):69-71.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  9.  8
    Ordinary modalities.Pavel Materna - 2005 - Logique Et Analyse 48 (189-192):57-70.
  10.  19
    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  
  11. 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  
  12.  15
    Ještě k existenci jednotlivin.Pavel Materna - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (3):366-368.
    No categories
    Direct download  
     
    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
     
    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.  31
    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  
  19.  32
    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  
     
    Export citation  
     
    Bookmark   1 citation  
  20.  41
    Ú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 (4 more)  
     
    Export citation  
     
    Bookmark  
  21. TIL as a Tool of Logically Analyzing Language.Pavel Materna - 2010 - Divus Thomas 113 (1):97-183.
  22.  38
    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  
  23. K Transparentnej Teórii Pojmov.Pavel Cmorej & Pavel Materna - 2000 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 7 (2):176-191.
    No categories
     
    Export citation  
     
    Bookmark  
  24. K Jubileu Pavla Cmoreje.Marie Duží & Pavel Materna - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):134-135.
    No categories
     
    Export citation  
     
    Bookmark  
  25. A note on the consideration of relativism.Pavel Materna - 2011 - Filosoficky Casopis 59 (3):441-442.
     
    Export citation  
     
    Bookmark  
  26. 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  
  27. Attempt on life and concepts.Pavel Materna - 2013 - Filosoficky Casopis 61 (2):257-265.
     
    Export citation  
     
    Bookmark  
  28. Ach ta objektivnost!Pavel Materna - 2008 - Filosoficky Casopis 56:253-254.
    No categories
     
    Export citation  
     
    Bookmark  
  29. Bolzano a Frege o pojmu.: [Bolzano and Frege on Concepts.].Pavel Materna - 1998 - Filosoficky Casopis 46:959-965.
    No categories
     
    Export citation  
     
    Bookmark  
  30. Class-property-concept.Pavel Materna - 2011 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 18:26-31.
    No categories
     
    Export citation  
     
    Bookmark  
  31. Dva omyly Bělohradovy kritiky.Pavel Materna - 2003 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 10 (1):81-83.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Čeština, Máchův „Máj“ a objektivnost.Pavel Materna - 2007 - Filosoficky Casopis 55:915-916.
    No categories
     
    Export citation  
     
    Bookmark  
  33. Expressivity of Logical Analysis of Natural Language.Pavel Materna - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20:112-116.
     
    Export citation  
     
    Bookmark  
  34. Function-Procedure-Construction.Pavel Materna - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):283-305.
    No categories
     
    Export citation  
     
    Bookmark  
  35. Jak snadno vyvrátit karikaturu realismu.Pavel Materna - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):92-97.
    No categories
     
    Export citation  
     
    Bookmark  
  36. Komentář jako odpověď.Pavel Materna - 2000 - Filosoficky Casopis 48:511.
    No categories
     
    Export citation  
     
    Bookmark  
  37. Komentář k příspěvku J. Kroba.Pavel Materna - 2000 - Filosoficky Casopis 48:692.
    No categories
     
    Export citation  
     
    Bookmark  
  38. Konceptuální pravdy.Pavel Materna - 2001 - Filosoficky Casopis 49:425-440.
    No categories
     
    Export citation  
     
    Bookmark  
  39. K Příspěvku D. Kamhala.Pavel Materna - 2001 - Filosoficky Casopis 49:357-358.
    No categories
     
    Export citation  
     
    Bookmark  
  40.  6
    Logically Speaking. A Festschrift for Marie Duží.Pavel Materna & Bjørn Jespersen (eds.) - 2022 - College Publications.
    This Festschrift is in honour of Professor Marie Duzí, VSB - Technical University of Ostrava. The 16 contributions, authored by 24 colleagues, run the gamut from foundations in logic and theoretical computer science through philosophical logic, multi-agent systems and theory of communication to personal recollections. Marie Duzí is best known for her profound and extensive work on both the foundations and multiple applications of Transparent Intensional Logic, originally developed by Pavel Tichý in the late 1960s. Her work, whether single-authored or (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Možné světy a vesmíry.Pavel Materna - 2000 - Filosoficky Casopis 48:141-143.
    No categories
     
    Export citation  
     
    Bookmark  
  42. Nesnesitelná lehkost argumentace.Pavel Materna - 2003 - Filosoficky Casopis 51:477-480.
    No categories
     
    Export citation  
     
    Bookmark  
  43. 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
     
    Export citation  
     
    Bookmark  
  44. 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
     
    Export citation  
     
    Bookmark  
  45. Odkaz Pavla Tichého.Pavel Materna - 2002 - Filosoficky Casopis 50:803-807.
    No categories
     
    Export citation  
     
    Bookmark  
  46. Poznámka k Peregrinově kritice Cmorejova pojetí jazykového výrazu.Pavel Materna - 2005 - Filosoficky Casopis 53:765-766.
    [A Note on Peregrin‘s Critique of Cmorej‘s Conception. of Linguistic Expression].
    No categories
     
    Export citation  
     
    Bookmark  
  47. Poznámka k úvaze o relativismu.Pavel Materna - 2011 - Filosoficky Casopis 59:441-442.
    [A note on the consideration of relativism].
    No categories
     
    Export citation  
     
    Bookmark  
  48. Pragmatický obrat u Frega?Pavel Materna - 2008 - Filosoficky Casopis 56:447-450.
    No categories
     
    Export citation  
     
    Bookmark  
  49. Profesor Pavel Materna slaví životní jubileum.Pavel Materna & Rotislav Niederle - 2005 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 12 (2):176-192.
    No categories
     
    Export citation  
     
    Bookmark  
  50. Review: Tadeusz Kubinski, Introduction to the Logical Theory of Questions. [REVIEW]Pavel Materna - 1977 - Journal of Symbolic Logic 42 (3):426-428.
1 — 50 / 98