Switch to: References

Add citations

You must login to add citations.
  1. The Original Sin of Proof-Theoretic Semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Non-Boolean Classical Relevant Logics II: Classicality Through Truth-Constants.Tore Fjetland Øgaard - 2021 - Synthese (3-4):1-33.
    This paper gives an account of Anderson and Belnap’s selection criteria for an adequate theory of entailment. The criteria are grouped into three categories: criteria pertaining to modality, those pertaining to relevance, and those related to expressive strength. The leitmotif of both this paper and its prequel is the relevant legitimacy of disjunctive syllogism. Relevant logics are commonly held to be paraconsistent logics. It is shown in this paper, however, that both E and R can be extended to explosive logics (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Requiem for logical nihilism, or: Logical nihilism annihilated.Bogdan Dicher - 2021 - Synthese 198 (8):7073-7096.
    Logical nihilism is the view that the relation of logical consequence is empty: there are counterexamples to any putative logical law. In this paper, I argue that the nihilist threat is illusory. The nihilistic arguments do not work. Moreover, the entire project is based on a misguided interpretation of the generality of logic.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  • The Original Sin of Proof-Theoretic Semantics.Francesco Paoli & Bogdan Dicher - 2018 - Synthese 198 (1):615-640.
    Proof-theoretic semantics is an alternative to model-theoretic semantics. It aims at explaining the meaning of the logical constants in terms of the inference rules that govern their behaviour in proofs. We argue that this must be construed as the task of explaining these meanings relative to a logic, i.e., to a consequence relation. Alas, there is no agreed set of properties that a relation must have in order to qualify as a consequence relation. Moreover, the association of a consequence relation (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Inferences and Metainferences in ST.Pablo Cobreros, Paul Egré, David Ripley & Robert van Rooij - 2020 - Journal of Philosophical Logic 49 (6):1057-1077.
    In a recent paper, Barrio, Tajer and Rosenblatt establish a correspondence between metainferences holding in the strict-tolerant logic of transparent truth ST+ and inferences holding in the logic of paradox LP+. They argue that LP+ is ST+’s external logic and they question whether ST+’s solution to the semantic paradoxes is fundamentally different from LP+’s. Here we establish that by parity of reasoning, ST+ can be related to LP+’s dual logic K3+. We clarify the distinction between internal and external logic and (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Deflationism About Logic.Christopher Blake-Turner - 2020 - Journal of Philosophical Logic 49 (3):551-571.
    Logical consequence is typically construed as a metalinguistic relation between sentences. Deflationism is an account of logic that challenges this orthodoxy. In Williamson’s recent presentation of deflationism, logic’s primary concern is with universal generalizations over absolutely everything. As well as an interesting account of logic in its own right, deflationism has also been recruited to decide between competing logics in resolving semantic paradoxes. This paper defends deflationism from its most important challenge to date, due to Ole Hjortland. It then presents (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark