Switch to: References

Add citations

You must login to add citations.
  1. On Rereading van Heijenoort’s Selected Essays.Solomon Feferman - 2012 - Logica Universalis 6 (3-4):535-552.
    This is a critical reexamination of several pieces in van Heijenoort’s Selected Essays that are directly or indirectly concerned with the philosophy of logic or the relation of logic to natural language. Among the topics discussed are absolutism and relativism in logic, mass terms, the idea of a rational dictionary, and sense and identity of sense in Frege.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Jean van Heijenoort’s Contributions to Proof Theory and Its History.Irving H. Anellis - 2012 - Logica Universalis 6 (3-4):411-458.
    Jean van Heijenoort was best known for his editorial work in the history of mathematical logic. I survey his contributions to model-theoretic proof theory, and in particular to the falsifiability tree method. This work of van Heijenoort’s is not widely known, and much of it remains unpublished. A complete list of van Heijenoort’s unpublished writings on tableaux methods and related work in proof theory is appended.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark