Order:
Disambiguations
Sam Butchart [6]Samuel John Butchart [1]
  1.  75
    Naïve Comprehension and Contracting Implications.Susan Rogerson & Sam Butchart - 2002 - Studia Logica 71 (1):119-132.
    In his paper [6], Greg Restall conjectured that a logic supports a naïve comprehension scheme if and only if it is robustly contraction free, that is, if and only if no contracting connective is definable in terms of the primitive connectives of the logic. In this paper, we present infinitely many counterexamples to Restall''s conjecture, in the form of purely implicational logics which are robustly contraction free, but which trivialize naïve comprehension.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  2. Using Peer Instruction to Teach Philosophy, Logic, and Critical Thinking.Sam Butchart, Toby Handfield & Greg Restall - 2009 - Teaching Philosophy 32 (1):1-40.
    Peer Instruction is a simple and effective technique you can use to make lectures more interactive, more engaging, and more effective learning experiences. Although well known in science and mathematics, the technique appears to be little known in the humanities. In this paper, we explain how Peer Instruction can be applied in philosophy lectures. We report the results from our own experience of using Peer Instruction in undergraduate courses in philosophy, formal logic, and critical thinking. We have consistently found it (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  3.  34
    An Introduction to Non-Classical Logic: From If to Is.Sam Butchart - 2010 - Australasian Journal of Philosophy 88 (4):745-748.
  4.  13
    A Note on Monothetic BCI.Tomasz Kowalski & Sam Butchart - 2006 - Notre Dame Journal of Formal Logic 47 (4):541-544.
    In "Variations on a theme of Curry," Humberstone conjectured that a certain logic, intermediate between BCI and BCK, is none other than monothetic BCI—the smallest extension of BCI in which all theorems are provably equivalent. In this note, we present a proof of this conjecture.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  5.  27
    Evidence and Explanation in Mathematics.Samuel John Butchart - unknown
    .................................................................................................... ......................7 Chapter One: Foundational Epistemology...............................................................14..
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Algebraizing A→.Sam Butchart & Susan Rogerson - unknown
    Abelian Logic is a paraconsistent logic discovered independently by Meyer and Slaney [10] and Casari [2]. This logic is also referred to as Abelian Group Logic (AGL) [12] since its set of theorems is sound and complete with respect to the class of Abelian groups. In this paper we investigate the pure implication fragment A→ of Abelian logic. This is an extension of the implication fragment of linear logic, BCI. A Hilbert style axiomatic system for A→ can obtained by adding (...)
    Translate
     
     
    Export citation  
     
    Bookmark  
  7.  12
    On the Algebraizability of the Implicational Fragment of Abelian Logic.Sam Butchart & Susan Rogerson - 2014 - Studia Logica 102 (5):981-1001.
    In this paper we consider the implicational fragment of Abelian logic \ . We show that although the Abelian groups provide an semantics for the set of theorems of \ they do not for the associated consequence relation. We then show that the consequence relation is not algebraizable in the sense of Blok and Pigozzi . In the second part of the paper, we investigate an extension of \ in the same language and having the same set of theorems and (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark