Switch to: References

Add citations

You must login to add citations.
  1. Reism, Concretism and Schopenhauer Diagrams.Jens Lemanski & Michał Dobrzański - 2020 - Studia Humana 9 (3/4):104-119.
    Reism or concretism are the labels for a position in ontology and semantics that is represented by various philosophers. As Kazimierz Ajdukiewicz and Jan Woleński have shown, there are two dimensions with which the abstract expression of reism can be made concrete: The ontological dimension of reism says that only things exist; the semantic dimension of reism says that all concepts must be reduced to concrete terms in order to be meaningful. In this paper we argue for the following two (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proof vs Truth in Mathematics.Roman Murawski - 2020 - Studia Humana 9 (3-4):10-18.
    Two crucial concepts of the methodology and philosophy of mathematics are considered: proof and truth. We distinguish between informal proofs constructed by mathematicians in their research practice and formal proofs as defined in the foundations of mathematics (in metamathematics). Their role, features and interconnections are discussed. They are confronted with the concept of truth in mathematics. Relations between proofs and truth are analysed.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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 (6 more)  
     
    Export citation  
     
    Bookmark