Switch to: References

Citations of:

Freedom and truth in mathematics

Erkenntnis 20 (1):93 - 102 (1983)

Add citations

You must login to add citations.
  1. Systems of substitutional semantics.Daniel Bonevac - 1984 - Philosophy of Science 51 (4):631-656.
    I investigate substitutional interpretations of quantifiers that count existential sentences true just in case they have true instances in a parametric extension of the language. I devise a semantics meeting four criteria: (1) it accounts adequately for natural language quantification; (2) it provides an account of justification in abstract sciences; (3) it constitutes a continuous semantics for natural and formal languages; and (4) it is purely substitutional, containing no appeal to referential interpretations. The prospects for a purely substitutional theory of (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Quantifiers Defined by Parametric Extensions.Daniel Bonevac & Hans Kamp - 2017 - Journal of Philosophical Logic 46 (2):169-213.
    This paper develops a metaphysically flexible theory of quantification broad enough to incorporate many distinct theories of objects. Quite different, mutually incompatible conceptions of the nature of objects and of reference find representation within it. Some conceptions yield classical first-order logic; some yield weaker logics. Yet others yield notions of validity that are proper extensions of classical logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark