Switch to: References

Add citations

You must login to add citations.
  1. Local axioms in disguise: Hilbert on Minkowski diagrams.Ivahn Smadja - 2012 - Synthese 186 (1):315-370.
    While claiming that diagrams can only be admitted as a method of strict proof if the underlying axioms are precisely known and explicitly spelled out, Hilbert praised Minkowski’s Geometry of Numbers and his diagram-based reasoning as a specimen of an arithmetical theory operating “rigorously” with geometrical concepts and signs. In this connection, in the first phase of his foundational views on the axiomatic method, Hilbert also held that diagrams are to be thought of as “drawn formulas”, and formulas as “written (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Über die beziehung zwischen strikter und strenger implikation.Von Wilhelm Ackermann - 1958 - Dialectica 12 (3‐4):213-222.
    ZusammenfassungDer Verfasser geht auf Beziehungen zwischen dem von C. I. Lewis eingeführten Begriff der « strikten » Implikation und dem von ihm selbst eingeführten Begriff der « strengen » Implikation ein. Er zeigt, dass sich innerhalb des Systems der strengen Implikation ein weiterer Folgebegriff definieren lässt, der alle Eigenschaften hat, die von der strikten Implikation verlangt werden. Als dieser Folgebegriff wird genommen, dass die Konjunktion von A und dem Gegenteil von B unmöglich ist, was in dem System der strengen Implikation (...)
    Download  
     
    Export citation  
     
    Bookmark