Syntactic approaches in the philosophy of science, which are based on formalizations in predicate logic, are often considered in principle inferior to semantic approaches, which are based on formalizations with the help of structures. To compare the two kinds of approach, I identify some ambiguities in common semantic accounts and explicate the concept of a structure in a way that avoids hidden references to a specific vocabulary. From there, I argue that contrary to common opinion (i) unintended models do not pose a significant problem for syntactic approaches to scientific theories, (ii) syntactic approaches can be at least as language independent as semantic ones, and (iii) in syntactic approaches, scientific theories can be as well conn...
Halvorson (2012) argues that the semantic view of theories leads to absurdities. Glymour (2013) sho...
Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing...
In this paper we discuss two approaches to the axiomatization of scien- tific theories in the contex...
Syntactic approaches in the philosophy of science, which are based on formalizations in predicate lo...
I argue that, contrary to common opinion, (i) unintended models do not pose a significant problem fo...
Syntactic approaches in the philosophy of science, which are based on formalizations in predicate lo...
The debate between critics of syntactic and semantic approaches to the formalization of scientific t...
The debate between critics of syntactic and semantic approaches to the formalization of scientific t...
Several philosophers of science construe models of scientific theories as set-theoretic structures. ...
Several philosophers of science construe models of scientifc theories as set-theoretic structures. S...
Several philosophers of science construe models of scientific theories as set-theoretic structures. ...
According to the semantic view of scientific theories, theories are classes of models. I show that ...
Several philosophers of science construe models of scientific theories as set-theoretic structures. ...
According to the semantic view of scientific theories, theories are classes of models. I show that ...
Halvorson (2012) argues that the semantic view of theories leads to absurdities. Glymour (2013) sho...
Halvorson (2012) argues that the semantic view of theories leads to absurdities. Glymour (2013) sho...
Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing...
In this paper we discuss two approaches to the axiomatization of scien- tific theories in the contex...
Syntactic approaches in the philosophy of science, which are based on formalizations in predicate lo...
I argue that, contrary to common opinion, (i) unintended models do not pose a significant problem fo...
Syntactic approaches in the philosophy of science, which are based on formalizations in predicate lo...
The debate between critics of syntactic and semantic approaches to the formalization of scientific t...
The debate between critics of syntactic and semantic approaches to the formalization of scientific t...
Several philosophers of science construe models of scientific theories as set-theoretic structures. ...
Several philosophers of science construe models of scientifc theories as set-theoretic structures. S...
Several philosophers of science construe models of scientific theories as set-theoretic structures. ...
According to the semantic view of scientific theories, theories are classes of models. I show that ...
Several philosophers of science construe models of scientific theories as set-theoretic structures. ...
According to the semantic view of scientific theories, theories are classes of models. I show that ...
Halvorson (2012) argues that the semantic view of theories leads to absurdities. Glymour (2013) sho...
Halvorson (2012) argues that the semantic view of theories leads to absurdities. Glymour (2013) sho...
Homotopy Type theory and its Model theory provide a novel formal semantic framework for representing...
In this paper we discuss two approaches to the axiomatization of scien- tific theories in the contex...