Switch to: References

Add citations

You must login to add citations.
  1. Hilbert's programme.Georg Kreisel - 1958 - Dialectica 12 (3‐4):346-372.
    Hilbert's plan for understanding the concept of infinity required the elimination of non‐finitist machinery from proofs of finitist assertions. The failure of the original plan leads to a hierarchy of progressively less elementary, but still constructive methods instead of finitist ones . A mathematical proof of this failure requires a definition of « finitist ».—The paper sketches the three principal methods for the syntactic analysis of non‐constructive mathematics, the resulting consistency proofs and constructive interpretations, modelled on Herbrand's theorem, and their (...)
    Direct download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Beobachtungssprache und theoretische sprache.von Rudolf Carnap - 1958 - Dialectica 12 (3‐4):236-248.
    ZusammenfassungUnter den nichtlogischen Konstanten der Wissenschaftssprache werden zwei Arten unterschieden, die Beobachtungsterme und die theoretischen Terme . Die letzteren werden nicht durch Definitionen eingeführt, sondern durch Postulate zweier Arten, nämlich theoretische Postulate, zum Beispiel Grundgesetze der Physik, und Korrespondenzpostulate, die die theoretischen Terme mit Beobachtungstermen verbinden. Wie schon Hilbert gezeigt hat, können in dieser Weise sowohl die Mathematik als auch die theoretische Physik als ungedeutete Kalküle aufgestellt werden. Es wird hier kurz erklärt, dass durch diesen Aufbau auch den mathematischen Termen (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Carnap's Logical syntax of language.Pierre Wagner (ed.) - 2009 - New York: Palgrave-Macmillan.
    This volumes aim is to provide an introduction to Carnaps book from a historical and philosophical perspective, each chapter focusing on one specific issue. The book will be of interest not only to Carnap scholars but to all those interested in the history of analytical philosophy.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations