Year:

Forthcoming articles
  1. Martin Mose Bentzen (forthcoming). Action Type Deontic Logic. Journal of Logic, Language and Information 23 (4):1-18.
    A new deontic logic, Action Type Deontic Logic, is presented. To motivate this logic, a number of benchmark cases are shown, representing inferences a deontic logic should validate. Some of the benchmark cases are singled out for further comments and some formal approaches to deontic reasoning are evaluated with respect to the benchmark cases. After that follows an informal introduction to the ideas behind the formal semantics, focussing on the distinction between action types and action tokens. Then the syntax and (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  2. Torben Braüner (forthcoming). Hybrid-Logical Reasoning in the Smarties and Sally-Anne Tasks. Journal of Logic, Language and Information 23 (4):1-25.
    The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called false-belief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formalizations disclose that despite this difference, the two versions of the Smarties task have exactly the same underlying logical structure. (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  3. Stergios Chatzikyriakidis & Zhaohui Luo (forthcoming). Natural Language Inference in Coq. Journal of Logic, Language and Information 23 (4):1-40.
    In this paper we propose a way to deal with natural language inference (NLI) by implementing Modern Type Theoretical Semantics in the proof assistant Coq. The paper is a first attempt to deal with NLI and natural language reasoning in general by using the proof assistant technology. Valid NLIs are treated as theorems and as such the adequacy of our account is tested by trying to prove them. We use Luo’s Modern Type Theory (MTT) with coercive subtyping as the formal (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  4. András Kornai (forthcoming). Resolving the Infinitude Controversy. Journal of Logic, Language and Information 23 (4):1-12.
    A simple inductive argument shows natural languages to have infinitly many sentences, but workers in the field have uncovered clear evidence of a diverse group of ‘exceptional’ languages from Proto-Uralic to Dyirbal and most recently, Pirahã, that appear to lack recursive devices entirely. We argue that in an information-theoretic setting non-recursive natural languages appear neither exceptional nor functionally inferior to the recursive majority.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  5. Hans Smessaert & Lorenz Demey (forthcoming). Logical Geometries and Information in the Square of Oppositions. Journal of Logic, Language and Information 23 (4):1-39.
    The Aristotelian square of oppositions is a well-known diagram in logic and linguistics. In recent years, several extensions of the square have been discovered. However, these extensions have failed to become as widely known as the square. In this paper we argue that there is indeed a fundamental difference between the square and its extensions, viz., a difference in informativity. To do this, we distinguish between concrete Aristotelian diagrams (such as the square) and, on a more abstract level, the Aristotelian (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  6. Nicholas Asher & James Pustejovsky (forthcoming). The Metaphysics of Words in Context. Journal of Logic, Language and Information.
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Patrick Blackburn & Maarten De Rijke (forthcoming). Rijke. Zooming in, Zooming Out. Journal of Logic, Language and Information.
    Direct download  
     
    My bibliography  
     
    Export citation  
  8. John Cantwell (forthcoming). An Expressivist Bilateral Meaning-is-Use Analysis of Classical Propositional Logic. Journal of Logic, Language and Information:1-25.
    The connectives of classical propositional logic are given an analysis in terms of necessary and sufficient conditions of acceptance and rejection, i.e. the connectives are analyzed within an expressivist bilateral meaning-is-use framework. It is explained how such a framework differs from standard (bilateral) inferentialist frameworks and it is argued that it is better suited to address the particular issues raised by the expressivist thesis that the meaning of a sentence is determined by the mental state that it is conventionally used (...)
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  9. L. Moss (forthcoming). Review of" Exploring Logical Dynamics", to Appear In. [REVIEW] Journal of Logic, Language and Information.
     
    My bibliography  
     
    Export citation  
  10. R. van Rooy (forthcoming). Quality and Quantity of Information Exchange', to Appear in J. Van Benthem & R. Van Rooy, Eds., Special Issue on Information Theories of The. [REVIEW] Journal of Logic, Language and Information.
     
    My bibliography  
     
    Export citation  
  11. H. Wansing (forthcoming). A Review of John Horty's 'Agency and Deontic Logic'. [REVIEW] Journal of Logic, Language and Information.
    No categories
     
    My bibliography  
     
    Export citation