Repository logo
Communities & Collections
All of DSpace
  • English
  • العربية
  • বাংলা
  • Català
  • Čeština
  • Deutsch
  • Ελληνικά
  • Español
  • Suomi
  • Français
  • Gàidhlig
  • हिंदी
  • Magyar
  • Italiano
  • Қазақ
  • Latviešu
  • Nederlands
  • Polski
  • Português
  • Português do Brasil
  • Srpski (lat)
  • Српски
  • Svenska
  • Türkçe
  • Yкраї́нська
  • Tiếng Việt
Log In
New user? Click here to register. Have you forgotten your password?
  1. Home
  2. Browse by Author

Browsing by Author "Filin Karlsson, Martin"

Filter results by typing the first few letters
Now showing 1 - 1 of 1
  • Results Per Page
  • Sort Options
  • No Thumbnail Available
    Item
    All There Is: On the Semantics of Quantification over Absolutely Everything
    (Acta Universitatis Gothoburgensis, 2017-12-22) Filin Karlsson, Martin
    This thesis concerns the problem of providing a semantics for quantification over absolutely all there is. Chapter 2 argues against the common view that Frege understood his quantifiers in Begriffsschrift to range over all objects and discusses Michael Dummett's analysis of the inconsistent system of Grundgesetze, which generalises into his famous argument against absolute quantification from indefinite extensibility. Chapter 3 explores the possibility to adapt Tarski's first definition of truth to hold for sentences with absolute quantification. Taking the concept of logical consequence into account results in an argument for adopting a set-theory with an ill-founded membership relation as a metatheory. Chapter 4 reviews and deflates an influential argument due to Timothy Williamson against the coherence of absolute quantification. Chapter 5 discusses three important contemporary semantic theories for absolute quantification that tackle Williamson's argument in different ways. Chapter 6 challenges the widespread view that it is impossible to give a model-theoretic semantics for absolute quantification simply by providing such a semantics in NFUp. This semantic framework provides models with the universal class as domain. I show, furthermore, that the first-order logical consequence relation stays the same in this setting, by proving the completeness theorem for first-order logic in NFUp.

DSpace software copyright © 2002-2025 LYRASIS

  • Privacy policy
  • End User Agreement
  • Send Feedback