Year:

  1. Identity Theory of Truth and Singular Proposition.Sun Liu & Manxin Liu - 2012 - Studies in Logic 2012 (4):77-87.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2. On 'Deduction' and the Inductive/Deductive Distinction.Jeffrey Goodman & Daniel Flage - 2012 - Studies in Logic 5 (3).
    The definitions of ‘deduction’ found in virtually every introductory logic textbook would encourage us to believe that the inductive/deductive distinction is a distinction among kinds of arguments and that the extension of ‘deduction’ is a determinate class of arguments. In this paper, we argue that that this approach is mistaken. Specifically, we defend the claim that typical definitions of ‘deduction’ operative in attempts to get at the induction/deduction distinction are either too narrow or insufficiently precise. We conclude by presenting a (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. Computer, Proof, and Testimony.Kai-Yee Wong - 2012 - Studies in Logic 5 (1):50-67.
    It has been claimed that computer-assisted proof utilizes empirical evidence in a manner unheard of in traditional mathematics and therefore its employment forces us to modify our conception of proof. This paper provides a critical survey of some arguments for this claim. It starts by revisiting a well known paper by Thomas Tymoczko on the computer proof of the Four-Color Theorem. Drawing on some ideas from the works of Tyler Burge and others, it then considers a way to see the (...)
     
    Export citation  
     
    Bookmark  
 Previous issues
  
Next issues