Switch to: References

Add citations

You must login to add citations.
  1. Hao Wang as philosopher and interpreter of gödel.Charles Parsons - 1998 - Philosophia Mathematica 6 (1):3-24.
    The paper undertakes to characterize Hao Wang's style, convictions, and method as a philosopher, centering on his most important philosophical work From Mathematics to Philosophy, 1974. The descriptive character of Wang's characteristic method is emphasized. Some specific achievements are discussed: his analyses of the concept of set, his discussion, in connection with setting forth Gödel's views, of minds and machines, and his concept of ‘analytic empiricism’ used to criticize Carnap and Quine. Wang's work as interpreter of Gödel's thought and the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Relevant analytic tableaux.Michael A. McRobbie & Nuel D. Belnap - 1979 - Studia Logica 38 (2):187 - 200.
    Tableau formulations are given for the relevance logics E (Entailment), R (Relevant implication) and RM (Mingle). Proofs of equivalence to modus-ponens-based formulations are vialeft-handed Gentzen sequenzen-kalküle. The tableau formulations depend on a detailed analysis of the structure of tableau rules, leading to certain global requirements. Relevance is caught by the requirement that each node must be used; modality is caught by the requirement that only certain rules can cross a barrier. Open problems are discussed.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Did Descartes make a Diagonal Argument?Toby Meadows - 2021 - Journal of Philosophical Logic 51 (2):219-247.
    This paper explores the idea that Descartes’ cogito is a kind of diagonal argument. Using tools from modal logic, it reviews some historical antecedents of this idea from Slezak and Boos and culminates in an orginal result classifying the exact structure of belief frames capable of supporting diagonal arguments and our reconstruction of the cogito.
    Download  
     
    Export citation  
     
    Bookmark  
  • Infinitary tableau for semantic truth.Toby Meadows - 2015 - Review of Symbolic Logic 8 (2):207-235.
    Download  
     
    Export citation  
     
    Bookmark   8 citations