Switch to: References

Add citations

You must login to add citations.
  1. 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  
  • Recent Work on Structured Meaning and Propositional Unity.Bjørn Jespersen - 2012 - Philosophy Compass 7 (9):620-630.
    Logical semantics includes once again structured meanings in its repertoire. The leading idea is that semantic and syntactic structure are more or less isomorphic. A key motive for reintroducing sensitivity to semantic structure is to obtain fine‐grained meanings, which are individuated more finely than in possible‐world semantics, namely up to necessary equivalence. Just getting the truth‐conditions right is deemed insufficient for a full semantic analysis of sentences. This paper surveys some of the most recent contributions to the program of structured (...)
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A General Argument Against Structured Propositions.Peter Pagin - 2019 - Synthese 196 (4):1501-1528.
    The standard argument against ordered tuples as propositions is that it is arbitrary what truth-conditions they should have. In this paper we generalize that argument. Firstly, we require that propositions have truth-conditions intrinsically. Secondly, we require strongly equivalent truth-conditions to be identical. Thirdly, we provide a formal framework, taken from Graph Theory, to characterize structure and structured objects in general. The argument in a nutshell is this: structured objects are too fine-grained to be identical to truth-conditions. Without identity, there is (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Rethinking Role Realism.Daniela Glavaničová - 2021 - British Journal of Aesthetics 61 (1):59-74.
    Role realism is a promising realist theory of fictional names. Different versions of this theory have been suggested by Gregory Currie, Peter Lamarque, Stein Haugom Olsen, and Nicholas Wolterstorff. The general idea behind the approach is that fictional characters are to be analysed in terms of roles, which in turn can be understood as sets of properties. I will discuss several advantages and disadvantages of this approach. I will then propose a novel hyperintensional version of role realism, according to which (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Belief Sentences and Compositionality. Notional Part.Peter Pagin - 2019 - Journal of Semantics 36 (2):241-284.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Towards an Extensional Calculus of Hyperintensions.Marie Duží - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:20-45.
  • 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  
  • 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 (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  • 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  
  • Dva Druhy Neartikulovaných Zložiek.Marián Zouhar - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19:291-307.
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  • 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  
  • Points of View From a Logical Perspective I.Duží Marie, Jespersen Bjørn & Materna Pavel - 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 is (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • Explicit Intensionalization, Anti‐Actualism, and How Smith's Murderer Might Not Have Murdered Smith.Bjørn Jespersen - 2005 - Dialectica 59 (3):285–314.
    The purpose of this article is to provide a non‐contradictory interpretation of sentences such as “Smith's murderer might not have murdered Smith”. An anti‐actualist, two‐dimensional framework including partial functions provides the basis for my solution. I argue for two claims. The modal profile of the proposition expressed by “The F might not have been an F” is complex: at any world where there is a unique F the proposition is true; at any world without a unique F the proposition has (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • 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  
  • Simple Concepts.Pavel Materna - 2013 - Acta Analytica 28 (3):295-319.
    To talk about simple concepts presupposes that the notion of concept has been aptly explicated. I argue that a most adequate explication should abandon the set-theoretical paradigm and use a procedural approach. Such a procedural approach is offered by Tichý´s Transparent Intensional Logic (TIL). Some main notions and principles of TIL are briefly presented, and as a result, concepts are explicated as a kind of abstract procedure. Then it can be shown that simplicity, as applied to concepts, is well definable (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Points of View From a Logical Perspective (II).Marie Duží–Bjørn Jespersen–Pavel Materna - 2007 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 14 (1):5-31.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • The Display Problem Revisited.Tyke Nunez - 2010 - In Michal Peliš Vit Punčochàr (ed.), Logica Handbook 2010. College Publications. pp. 143-156.
    In this essay I give a complete join semi-lattice of possible display-equivalence schemes for Display Logic, using the standard connectives, and leaving fixed only the schemes governing the star. In addition to proving the completeness of this list, I offer a discussion of the basic properties of these schemes.
    Direct download  
     
    Export citation  
     
    Bookmark  
  • 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