10 found
Order:
See also
Andreas Fjellstad
University of Bergen
  1.  36
    Logical Nihilism and the Logic of ‘Prem’.Andreas Fjellstad - forthcoming - Logic and Logical Philosophy:1.
    As the final component of a chain of reasoning intended to take us all the way to logical nihilism, Russell (2018) presents the atomic sentence ‘prem’ which is supposed to be true when featuring as premise in an argument and false when featuring as conclusion in an argument. Such a sentence requires a non-reflexive logic and an endnote by Russell (2018) could easily leave the reader with the impression that going non-reflexive suffices for logical nihilism. This paper shows how one (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  22
    Non-Classical Elegance for Sequent Calculus Enthusiasts.Andreas Fjellstad - 2017 - Studia Logica 105 (1):93-119.
    In this paper we develop what we can describe as a “dual two-sided” cut-free sequent calculus system for the non-classical logics of truth lp, k3, stt and a non-reflexive logic ts which is, arguably, more elegant than the three-sided sequent calculus developed by Ripley for the same logics. Its elegance stems from how it employs more or less the standard sequent calculus rules for the various connectives and truth, and the fact that it offers a rather neat connection between derivable (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  3.  66
    How a Semantics for Tonk Should Be.Andreas Fjellstad - 2015 - Review of Symbolic Logic 8 (3):488-505.
  4.  15
    Omega-Inconsistency Without Cuts and Nonstandard Models.Andreas Fjellstad - 2016 - Australasian Journal of Logic 13 (5).
    This paper concerns the relationship between transitivity of entailment, omega-inconsistency and nonstandard models of arithmetic. First, it provides a cut-free sequent calculus for non-transitive logic of truth STT based on Robinson Arithmetic and shows that this logic is omega-inconsistent. It then identifies the conditions in McGee for an omega-inconsistent logic as quantified standard deontic logic, presents a cut-free labelled sequent calculus for quantified standard deontic logic based on Robinson Arithmetic where the deontic modality is treated as a predicate, proves omega-inconsistency (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  60
    Naive Modus Ponens and Failure of Transitivity.Andreas Fjellstad - 2016 - Journal of Philosophical Logic 45 (1):65-72.
    In the recent paper “Naive modus ponens”, Zardini presents some brief considerations against an approach to semantic paradoxes that rejects the transitivity of entailment. The problem with the approach is, according to Zardini, that the failure of a meta-inference closely resembling modus ponens clashes both with the logical idea of modus ponens as a valid inference and the semantic idea of the conditional as requiring that a true conditional cannot have true antecedent and false consequent. I respond on behalf of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  23
    Structural Proof Theory for First-Order Weak Kleene Logics.Andreas Fjellstad - 2020 - Journal of Applied Non-Classical Logics 30 (3):272-289.
    This paper presents a sound and complete five-sided sequent calculus for first-order weak Kleene valuations which permits not only elegant representations of four logics definable on first-order weak Kleene valuations, but also admissibility of five cut rules by proof analysis.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  17
    Infinitary Contraction‐Free Revenge.Andreas Fjellstad - 2018 - Thought: A Journal of Philosophy 7 (3):179-189.
  8.  13
    A Note on the Cut-Elimination Proof in “Truth Without Contraction”.Andreas Fjellstad - 2020 - Review of Symbolic Logic 13 (4):882-886.
    This note shows that the permutation instructions presented by Zardini for eliminating cuts on universally quantified formulas in the sequent calculus for the noncontractive theory of truth IKTω are inadequate. To that purpose the note presents a derivation in the sequent calculus for IKTω ending with an application of cut on a universally quantified formula which the permutation instructions cannot deal with. The counterexample is of the kind that leaves open the question whether cut can be shown to be eliminable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  22
    Herzberger’s Limit Rule with Labelled Sequent Calculus.Andreas Fjellstad - 2020 - Studia Logica 108 (4):815-855.
    Inspired by recent work on proof theory for modal logic, this paper develops a cut-free labelled sequent calculus obtained by imitating Herzberger’s limit rule for revision sequences as a clause in a possible world semantics. With the help of two completeness theorems, one between the labelled sequent calculus and the corresponding possible world semantics, and one between the axiomatic theory of truth PosFS and a neighbourhood semantics, together with the proof of the equivalence between the two semantics, we show that (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  10.  13
    Metainferential Reasoning on Strong Kleene Models.Andreas Fjellstad - forthcoming - Journal of Philosophical Logic:1-18.
    Barrio et al., 93–120, 2020) and Pailos, 249–268, 2020) develop an approach to define various metainferential hierarchies on strong Kleene models by transferring the idea of distinct standards for premises and conclusions from inferences to metainferences. In particular, they focus on a hierarchy named the \-hierarchy where the inferential logic at the bottom of the hierarchy is the non-transitive logic ST but where each subsequent metainferential logic ‘says’ about the former logic that it is transitive. While Barrio et al. suggests (...)
    Direct download (2 more)  
    Translate
     
     
    Export citation  
     
    Bookmark