View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        Abstract Model Theory for Logical Metascience

        Thumbnail
        View/Open
        master_thesis.pdf (984.8Kb)
        Publication date
        2017
        Author
        Vos, B.F.M.
        Metadata
        Show full item record
        Summary
        The application of logic to the metatheoretical study of mathematics, i.e. metamathematics, has produced many results of great significance, including Gödel's celebrated incompleteness theorems. The same cannot be said, however, of the field of metascience: notwithstanding a century of effort, a viable framework for the formal analysis of science has yet to emerge. In this thesis, I investigate the possibility of reinvigorating metascience by using tools from the field of abstract model theory, as originally proposed by philosopher-logicians David Pearce and Veikko Rantala. After providing an extensive overview of the most important metascientific frameworks as well as the formalism of abstract model theory, I discuss the existent methodology for bringing these two together. Subsequently, I argue that this methodology does not fully utilize the potential offered by abstract model theory and show how a number of recent developments within this field suggest a new manner in which to apply model-theoretic methods to the analysis of science.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/26902
        Collections
        • Theses
        Utrecht university logo