Switch to: References

Add citations

You must login to add citations.
  1. The Formal-Structural View of Logical Consequence: A Reply to Gila Sher.William H. Hanson - 2002 - Philosophical Review 111 (2):243-258.
    In a recent discussion article in this journal, Gila Sher responds to some of my criticisms of her work on what she calls the formal-structural account of logical consequence. In the present paper I reply and attempt to advance the discussion in a constructive way. Unfortunately, Sher seems to have not fully understood my 1997. Several of the defenses she mounts in her 2001 are aimed at views I do not hold and did not advance in my 1997. Most prominent (...)
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.
    A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophical Problems of Foundations of Logic.Alexander S. Karpenko - 2014 - Studia Humana 3 (1):13-26.
    In the paper the following questions are discussed: What is logical consequence? What are logical constants? What is a logical system? What is logical pluralism? What is logic? In the conclusion, the main tendencies of development of modern logic are pointed out.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Logic, the a Priori, and the Empirical.William H. Hanson - 2003 - Theoria 18 (2):171-177.
    The time-honored view that logic is a non-empirical enterprise is still widely accepted, but it is not always recognized that there are (at least) two distinct ways in which this view can be made precise. One way focuses on the knowledge we can have of logical matters, the other on the nature of the logical consequence relation itself. More specifically; the first way embodies the claim that knowledge of whether the logical consequence relation holds in a particular case is knowledge (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic, the A Priori, and the Empirical.William H. Hanson - 2010 - Theoria : An International Journal for Theory, History and Fundations of Science 18 (2):171-177.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Note on Formality and Logical Consequence.Mario Gómez-Torrente - 2000 - Journal of Philosophical Logic 29 (5):529-539.
    Logic is formal in the sense that all arguments of the same form as logically valid arguments are also logically valid and hence truth-preserving. However, it is not known whether all arguments that are valid in the usual model-theoretic sense are truthpreserving. Tarski claimed that it could be proved that all arguments that are valid (in the sense of validity he contemplated in his 1936 paper on logical consequence) are truthpreserving. But he did not offer the proof. The question arises (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations