Switch to: References

Citations of:

Intelim rules for classical connectives

In Sven Ove Hansson (ed.), David Makinson on Classical Methods for Non-Classical Problems. pp. 359-382 (2014)

Add citations

You must login to add citations.
  1. Against Harmony.Ian Rumfitt - forthcoming - In Bob Hale, Crispin Wright & Alexander Miller (eds.), The Blackwell Companion to the Philosophy of Language. Blackwell.
    Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has also (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations