30 found
Order:
  1.  35
    Transparent Quantification Into Hyperintensional Objectual Attitudes.Bjørn Jespersen & Marie Duží - 2015 - Synthese 192 (3):635-677.
    We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2. 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  
     
    My bibliography  
  3.  61
    The Paradox of Inference and the Non-Triviality of Analytic Information.Marie Duží - 2010 - Journal of Philosophical Logic 39 (5):473 - 510.
    The classical theory of semantic information (ESI), as formulated by Bar-Hillel and Carnap in 1952, does not give a satisfactory account of the problem of what information, if any, analytically and/or logically true sentences have to offer. According to ESI, analytically true sentences lack informational content, and any two analytically equivalent sentences convey the same piece of information. This problem is connected with Cohen and Nagel's paradox of inference: Since the conclusion of a valid argument is contained in the premises, (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  4.  65
    'Parmenides Principle' (the Analysis of Aboutness).Pavel Materna, Marie Duzi, Marie Duží & Pavel Materna - 2005 - Philosophia 32 (1-4):155-180.
    Direct download (8 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  5.  5
    Iterated Privation and Positive Predication.Bjørn Jespersen, Massimiliano Carrara & Marie Duží - 2017 - Journal of Applied Logic 25:S48-S71.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  6.  13
    Strawsonian Vs. Russellian Definite Descriptions.Marie Duží - 2009 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 16 (4):587-614.
    In 1905 Bertrand Russell took on the problem of definite descriptions, and his analysis became the standard up until 1950 when Peter Strawson criticised Russell’s solution as inadequate. Since then many opponents as well as proponents of the Russellian solution have been involved in a long-term debate on definite descriptions. In this paper I show that both sides of the contention are partly right and partly wrong, because sentences of the form “The F is a G” are ambiguous. However, the (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  7.  17
    Procedurální teorie pojmů.Marie Duží - 2015 - Studia Philosophica 62 (2):86-113.
    V příspěvku podávám přehled vývoje logické sémantiky se zřetelem zejména na vý­voj Tichého Transparentní intenzionální logiky od pozdních šedesátých let až do­dnes, a na ní vystavěné Maternovy logické teorie pojmu. Článek si neklade za cíl podat vyčerpávající historický přehled, nýbrž soustřeďuje se na podíl česko-slovenské logické školy a ukazuje, že tento podíl je nezanedbatelný. Navíc je však tento přehled zároveň i kritický. Ukazuje silné stránky logického rámce TIL, ale zároveň upozorňuje na někte­ré diskutabilní stránky či otevřené problémy, které zůstávají zejména (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    My bibliography  
  8.  39
    Introduction.Marie Duží & Bjørn Jespersen - 2015 - Synthese 192 (3):525-534.
    The topic of this special issue of Synthese is hyperintensionality. This introduction offers a brief survey of the very notion of hyperintensionality followed by a summary of each of the papers in this collection. The papers are foundational studies of hyperintensionality accompanied by ample philosophical applications.Hyperintensionality concerns the individuation of non-extensional entities such as propositions and properties, relations-in-intension and individual roles, as well as, for instance, proofs and judgments and computational procedures, in case these do not reduce to any of (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  9. Informativnost matematických či analyticky pravdivých tvrzení a paradox inference.Marie DuŽÍ - 2006 - Filosoficky Casopis 54:501-522.
    [The informativeness of mathematical or analytically true statements and the paradox of inference].
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  10. Points of View From a Logical Perspective.Marie Duží, Pavel Materna & Bjørn Jespersen - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (3):277-305.
    In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P , because it is a P only relative to some point of view and a non-P from another point of view. But there (...)
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  11.  13
    Deduction in TIL: From Simple to Ramified Hierarchy of Types.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  16
    Towards an Extensional Calculus of Hyperintensions.Marie Duží - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:20-45.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13.  20
    St. Anselm's Ontological Arguments.Marie Duží - 2011 - Polish Journal of Philosophy 5 (1):7-37.
    In the paper I analyse Anselm’s ontological arguments in favour of God’s existence. The analysis is an explication and formalization of Pavel Tichý’s study‘Existence and God’, Journal of Philosophy, 1979. It is based on Transparent Intensional Logic with its bi-dimensional ontology of entities organized in the ramified hierarchy of types. The analysis goes as follows. First, necessary notions and principles are introduced. They are: (a) existence is not a (non-trivial) property of individuals, but of individual offices to be occupied by (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  14.  8
    Elipsa a Anafora.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (3):399-412.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  1
    St. Anselm’s Ontological Arguments.Marie Duží - 2011 - Polish Journal of Philosophy 5 (1):7-37.
    In the paper I analyse Anselm’s ontological arguments in favour of God’s existence. The analysis is an explication and formalization of Pavel Tichý’s study‘Existence and God’, Journal of Philosophy, 1979. It is based on Transparent Intensional Logic with its bi-dimensional ontology of entities organized in the ramified hierarchy of types. The analysis goes as follows. First, necessary notions and principles are introduced. They are: existence is not a property of individuals, but of individual offices to be occupied by an individual; (...)
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  16. A Ještě Jedna Nepřesnost.Marie Duží - 2003 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 10 (1):84-85.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  17. F. Gahér: Logika Pre Každého.Marie Duží - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (1):94-96.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  18. Fratišek Gahér: Stoická sémantika a logika z pohľadu intenzionálnej logiky.Marie Duží - 2001 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 8 (1):104-107.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  19. Hledání.Marie Duží - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (2):189-206.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  20. Ján Šefránek, Inteligencia ako výpočet.Marie Duží - 2002 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 9 (1):110-115.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  21. Jubileum prof. Pavla Maternu.Marie Duží, Pavel Cmorej & Marián Zouhar - 2010 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 17 (3):434-436.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  22. Kurt Gödel.Marie Duží - 2005 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 12 (4):447-474.
     
    Export citation  
     
    My bibliography  
  23. 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  
     
    My bibliography  
  24. Kritické připomínky ke studii Jiřího Raclavského o hledání a nalézání.Marie Duží - 2006 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 13 (1):67-78.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  25. Points of View from a Logical Perspective.Marie Duží, Pavel Materna & Bjørn Jespersen - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):5-31.
    In the paper we offer a logical explication of the frequently used, but rather vague, notion of point of view. We show that the concept of point of view prevents certain paradoxes from arising. A point of view is a means of partial characterisation of something. Thus nothing is a P and at the same time a non-P, because it is a P only relative to some point of view and a non-P from another point of view. But there is (...)
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  26. Notional Attitudes.Marie Duží - 2003 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 10 (3):237-260.
    Our knowledge, beliefs, doubts, etc., concern primarily logical constructions of propositions. If we assume that iterating ‘belief attitudes’ is valid, i.e., that the agent is perfectly introspective, he knows what he knows, believes, etc., then the so-called propositional attitudes are actually hyperintensional attitudes, i.e., they are relations of an agent to the construction–concept expressed by the embedded clause. Their implicit counterparts, relations of an agent to the proposition denoted by the embedded clause, are just idealised cases of an agent with (...)
     
    Export citation  
     
    My bibliography  
  27. P. Materna: Svět Pojmů A Logika.Marie Duží - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (2):199-202.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  28. Propoziční Postoje, Homonymie, Synonymie a Ekvivalence Výrazů.Marie Duží - 1996 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 3 (2):101-112.
    The problem of the meaning of a reasonable natural language expression is solved. First, traditional ”denotational” approach is criticized. The meaning of a sentence is not its truth value, similarly the meaning of, eg, ”The president of U.S.A.” is not Bill Clinton, etc. Frege met this problem when analyzing the so called propositional attitudes in which ”denotational” approach has lead to the paradox of analysis. His well-known solution consists in splitting the meaning into sense and reference. But this is rejected (...)
     
    Export citation  
     
    My bibliography  
  29. R. Carnap, Význam A Nevyhnutnosť.Marie Duží - 2008 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 15 (2):261-273.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography  
  30. Znovu o homonymii, de re / de dicto a významu.Marie Duží - 2001 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 8 (3):409-411.
    No categories
    Translate
     
     
    Export citation  
     
    My bibliography