8 found
Order:
  1.  82
    Classical Logic Without Bivalence.Tor Sandqvist - 2009 - Analysis 69 (2):211-218.
    Semantic justifications of the classical rules of logical inference typically make use of a notion of bivalent truth, understood as a property guaranteed to attach to a sentence or its negation regardless of the prospects for speakers to determine it as so doing. For want of a convincing alternative account of classical logic, some philosophers suspicious of such recognition-transcending bivalence have seen no choice but to declare classical deduction unwarranted and settle for a weaker system; intuitionistic logic in particular, buttressed (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  9
    Base-Extension Semantics for Intuitionistic Sentential Logic.Tor Sandqvist - 2015 - Logic Journal of the IGPL 23 (5):719-731.
  3.  6
    Preservation of Structural Properties in Intuitionistic Extensions of an Inference Relation.Tor Sandqvist - 2018 - Bulletin of Symbolic Logic 24 (3):291-305.
    The article approaches cut elimination from a new angle. On the basis of an arbitrary inference relation among logically atomic formulae, an inference relation on a language possessing logical operators is defined by means of inductive clauses similar to the operator-introducing rules of a cut-free intuitionistic sequent calculus. The logical terminology of the richer language is not uniquely specified, but assumed to satisfy certain conditions of a general nature, allowing for, but not requiring, the existence of infinite conjunctions and disjunctions. (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  5
    On Why the Best Should Always Meet.Tor Sandqvist - 2000 - Economics and Philosophy 16 (2):287-313.
    It seems plausible, even truistic, that when an agent is faced with the choice of giving up one belief or another, the decision should be based on the relative strengths of these beliefs along some dimension of doxastic merit. This said, however, two non-trivial questions arise: (1) Which dimension? (2) How should the contraction outcome be affected by the distribution of beliefs along this dimension?
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  5.  43
    Acceptance, Inference, and the Multiple-Conclusion Sequent.Tor Sandqvist - 2012 - Synthese 187 (3):913-924.
    This paper offers an interpretation of multiple-conclusion sequents as a kind of meta-inference rule: just as single-conclusion sequents represent inferences from sentences to sentences, so multiple-conclusion sequents represent a certain kind of inference from single-conclusion sequents to single-conclusion sequents. The semantics renders sound and complete the standard structural rules of reflexivity, monotonicity (or thinning), and transitivity (or cut). The paper is not the first one to attempt to account for multiple-conclusion sequents without invoking notions of truth or falsity—but unlike earlier (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  6.  15
    Jaques Dubucs and Michel Bourdeau Constructivity and Computability in Historical and Philosophical Perspective Various Authors. Springer, 2014. Xi + 214 Pp. €83. ISBN 978‐94‐017‐9216‐5. [REVIEW]Tor Sandqvist - 2016 - Theoria 82 (4):379-382.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  17
    Circularities in the Analysis of Counterfactuals.Tor Sandqvist - 2003 - Studia Logica 73 (2):281-298.
    Expanding on a discussion by Hansson, this paper treats of Goodman's and Lewis' accounts of counterfactual conditionals, comparing the senses in which these theories may be accused of circularity. While I do maintain that in this respect Lewis has an edge over Goodman, the paper's aim is not so much to reach a firm conclusion as to disentangle some previously conflated aspects of the issue. It is also suggested that the importance of avoiding circularity may vary depending on the philosophical (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    The Subformula Property In Classical Natural Deduction Established Constructively.Tor Sandqvist - 2012 - Review of Symbolic Logic 5 (4):710-719.
    A constructive proof is provided for the claim that classical first-order logic admits of a natural deduction formulation featuring the subformula property.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark