Switch to: References

Add citations

You must login to add citations.
  1. Logic without metaphysics.José L. Zalabardo - 2019 - Synthese 198 (S22):5505-5532.
    Standard definitions of logical consequence for formal languages are atomistic. They take as their starting point a range of possible assignments of semantic values to the extralogical atomic constituents of the language, each of which generates a unique truth value for each sentence. In modal logic, these possible assignments of semantic values are generated by Kripke-style models involving possible worlds and an accessibility relation. In first-order logic, they involve the standard structures of model theory, as sets of objects from which (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark