Switch to: Citations

Add references

You must login to add references.
  1. The concept of logical consequence.William H. Hanson - 1997 - Philosophical Review 106 (3):365-409.
    In the first section, I consider what several logicians say informally about the notion of logical consequence. There is significant variation among these accounts, they are sometimes poorly explained, and some of them are clearly at odds with the usual technical definition. In the second section, I first argue that a certain kind of informal account—one that includes elements of necessity, generality, and apriority—is approximately correct. Next I refine this account and consider several important questions about it, including the appropriate (...)
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Etchemendy and Logical Consequence.Graham Priest - 1995 - Canadian Journal of Philosophy 25 (2):283 - 292.
    Logical consequence is a notion that every person who reasons must possess, at least implicitly. To give a precise and accurate characterization of this notion is the fundamental task of logic. In a similar way, the notion of effectivity is a concept that anyone with a basic training in mathematics possesses, and the most fundamental task of a theory of computability is to give a precise characterization of this notion. The problem concerning effectivity was solved in the 1930s, almost as (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Which Modal Logic Is the Right One?John P. Burgess - 1999 - Notre Dame Journal of Formal Logic 40 (1):81-93.
    The question, "Which modal logic is the right one for logical necessity?," divides into two questions, one about model-theoretic validity, the other about proof-theoretic demonstrability. The arguments of Halldén and others that the right validity argument is S5, and the right demonstrability logic includes S4, are reviewed, and certain common objections are argued to be fallacious. A new argument, based on work of Supecki and Bryll, is presented for the claim that the right demonstrability logic must be contained in S5, (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Models and modality.Patricia A. Blanchette - 2000 - Synthese 124 (1-2):45-72.
    This paper examines the connection between model-theoretic truth and necessary truth. It is argued that though the model-theoretic truths of some standard languages are demonstrably ''''necessary'''' (in a precise sense), the widespread view of model-theoretic truth as providing a general guarantee of necessity is mistaken. Several arguments to the contrary are criticized.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Logical truth and tarskian logical truth.Mario Gómez-Torrente - 1998 - Synthese 117 (3):375-408.
    This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations