Cookies?
Library Header Image
LSE Research Online LSE Library Services

The semantic view of theories and higher-order languages

Hudetz, Laurenz (2017) The semantic view of theories and higher-order languages. Synthese. ISSN 0039-7857

[img]
Preview
Text - Accepted Version
Download (310kB) | Preview
[img] Text (The Semantic View Of Theories) - Published Version
Available under License Creative Commons Attribution.

Download (487kB)
Identification Number: 10.1007/s11229-017-1502-0

Abstract

Several philosophers of science construe models of scientifc theories as set-theoretic structures. Some of them moreover claim that models should not be construed as structures in the sense of model theory because the latter are language dependent. I argue that if we are ready to construe models as set-theoretic structures (strict semantic view), we could equally well construe them as model-theoretic structures of higher-order logic (liberal semantic view). I show that every family of set-theoretic structures has an associated language of higher-order logic and an up to signature isomorphism unique model-theoretic counterpart, which is able to serve the same purposes. This allows to carry over every syntactic criterion of equivalence for theories in the sense of the liberal semantic view to theories in the sense of the strict semantic view. Taken together, these results suggest that the recent dispute about the semantic view and its relation to the syntactic view can be resolved.

Item Type: Article
Official URL: https://link.springer.com/journal/11229
Additional Information: © 2017 The Authors
Divisions: Philosophy, Logic and Scientific Method
Subjects: B Philosophy. Psychology. Religion > B Philosophy (General)
P Language and Literature > P Philology. Linguistics
Sets: Departments > Philosophy, Logic and Scientific Method
Date Deposited: 16 Nov 2017 10:09
Last Modified: 20 Jun 2020 02:37
Projects: ICM-2015-03060
Funders: Austrian Federal Ministry of Science and Research
URI: http://eprints.lse.ac.uk/id/eprint/85600

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics