Year:

  1.  28
    How Do We Know Things with Signs? A Model of Semiotic Intentionality.Manuel Gustavo Isaac - 2017 - IfCoLog Journal of Logics and Their Applications 10 (4):3683-3704.
    Intentionality may be dealt with in two different ways: either ontologically, as an ordinary relation to some extraordinary objects, or epistemologically, as an extraordinary relation to some ordinary objects. This paper endorses the epistemological view in order to provide a model of semiotic intentionality defined as the meaning-and-cognizing process that constitutes to power of the mind to be about something on the basis of a semiotic system. After a short introduction that presents the components of semiotic intentionality (viz. sign, act, (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  2. Some Concerns Regarding Ternary-Relation Semantics and Truth-Theoretic Semantics in General.Ross T. Brady - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):755--781.
    This paper deals with a collection of concerns that, over a period of time, led the author away from the Routley–Meyer semantics, and towards proof- theoretic approaches to relevant logics, and indeed to the weak relevant logic MC of meaning containment.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  3. The Relevant Logic E and Some Close Neighbours: A Reinterpretation.Edwin Mares & Shawn Standefer - 2017 - IfCoLog Journal of Logics and Their Applications 4 (3):695--730.
    This paper has two aims. First, it sets out an interpretation of the relevant logic E of relevant entailment based on the theory of situated inference. Second, it uses this interpretation, together with Anderson and Belnap’s natural deduc- tion system for E, to generalise E to a range of other systems of strict relevant implication. Routley–Meyer ternary relation semantics for these systems are produced and completeness theorems are proven. -/- .
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4. Buying Logical Principles with Ontological Coin: The Metaphysical Lessons of Adding Epsilon to Intuitionistic Logic.David DeVidi & Corey Mulvihill - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2):287-312.
    We discuss the philosophical implications of formal results showing the con- sequences of adding the epsilon operator to intuitionistic predicate logic. These results are related to Diaconescu’s theorem, a result originating in topos theory that, translated to constructive set theory, says that the axiom of choice (an “existence principle”) implies the law of excluded middle (which purports to be a logical principle). As a logical choice principle, epsilon allows us to translate that result to a logical setting, where one can (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Two Types of Indefinites: Hilbert & Russell.Gratzl Norbert & Schiemer Georg - 2017 - IfCoLog Journal of Logics and Their Applications 4 (2).
    This paper compares Hilbert’s -terms and Russell’s approach to indefinite descriptions, Russell’s indefinites for short. Despite the fact that both accounts are usually taken to express indefinite descriptions, there is a number of dissimilarities. Specifically, it can be shown that Russell indefinites - expressed in terms of a logical ρ-operator - are not directly representable in terms of their corresponding -terms. Nevertheless, there are two possible translations of Russell indefinites into epsilon logic. The first one is given in a language (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6. Model Definability in Relevant Logic.Guillermo Badia - 2017 - IfCoLog Journal of Logics and Their Applications 3 (4):623-646.
    It is shown that the classes of Routley-Meyer models which are axiomatizable by a theory in a propositional relevant language with fusion and the Ackermann constant can be characterized by their closure under certain model-theoretic operations involving prime filter extensions, relevant directed bisimulations and disjoint unions.
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues