Switch to: Citations

Add references

You must login to add references.
  1. Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • The axiomatization of classical mechanics.Herbert A. Simon - 1954 - Philosophy of Science 21 (4):340-343.
    The purpose of this note is to examine a recent axiomatization of classical particle mechanics, and its relation to an alternative axiomatization I had earlier proposed. A comparison of the two proposals casts some interesting light on the problems of operationalism in classical celestial mechanics.1. Comparison of the Two Axiomatizations. The basic differences between the two proposals arise from the nature of the undefined terms. Both systems take the set of particles, time, and position as primitive notions. Both systems assume (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • The axiomatization of physical theories.Herbert A. Simon - 1970 - Philosophy of Science 37 (1):16-26.
    The task of axiomatizing physical theories has attracted, in recent years, some interest among both empirical scientists and logicians. However, the axiomatizations produced by either one of these two groups seldom appear satisfactory to the members of the other. It is the purpose of this paper to develop an approach that will satisfy the criteria of both, hence permit us to construct axiomatizations that will meet simultaneously the standards and needs of logicians and of empirical scientists.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Introduction to Logic.Roland Hall - 1960 - Philosophical Quarterly 10 (40):287-288.
    Download  
     
    Export citation  
     
    Bookmark   84 citations  
  • What is the logic of experimental inquiry?Jaakko Hintikka - 1988 - Synthese 74 (2):173-90.
    Download  
     
    Export citation  
     
    Bookmark   37 citations