Switch to: Citations

Add references

You must login to add references.
  1. The Road to Modern Logic—An Interpretation.José Ferreirós - 2001 - Bulletin of Symbolic Logic 7 (4):441-484.
    This paper aims to outline an analysis and interpretation of the process that led to First-Order Logic and its consolidation as a core system of modern logic. We begin with an historical overview of landmarks along the road to modern logic, and proceed to a philosophical discussion casting doubt on the possibility of a purely rational justification of the actual delimitation of First-Order-Logic. On this basis, we advance the thesis that a certain historical tradition was essential to the emergence of (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • The elementary foundations of spacetime.James Ax - 1978 - Foundations of Physics 8 (7-8):507-546.
    This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • The desirability of formalization in science.Patrick Suppes - 1968 - Journal of Philosophy 65 (20):651-664.
    Download  
     
    Export citation  
     
    Bookmark   35 citations