Switch to: References

Add citations

You must login to add citations.
  1. On the indispensability of theoretical terms and entities.Eric Johannesson - 2022 - Synthese 200 (2):1-25.
    Some realists claim that theoretical entities like numbers and electrons are indispensable for describing the empirical world. Motivated by the meta-ontology of Quine, I take this claim to imply that, for some first-order theory T and formula δ(x) such that T ⊢ ∃xδ ∧ ∃x¬δ, where δ(x) is intended to apply to all and only empirical entities, there is no first-order theory T′ such that (a) T and T′ describe the δ:s in the same way, (b) T′ ⊢ ∀xδ, and (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
    Work on how to axiomatize the subtheories of a first-order theory in which only a proper subset of their extra-logical vocabulary is being used led to a theorem on recursive axiomatizability and to an interpolation theorem for first-order logic. There were some fortuitous events and several logicians played a helpful role.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
    Download  
     
    Export citation  
     
    Bookmark   32 citations