On Tarski on Models
Bays, Timothy
J. Symbolic Logic, Tome 66 (2001) no. 1, p. 1701-1726 / Harvested from Project Euclid
This paper concerns Tarski's use of the term "model" in his 1936 paper "On the Concept of Logical Consequence." Against several of Tarski's recent defenders, I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski's detractors, I argue that this non-standard conception is more philosophically plausible than it may appear. Finally, I make a few comments concerning the traditionally puzzling case of Tarski's $\omega$-rule example.
Publié le : 2001-12-14
Classification: 
@article{1183746620,
     author = {Bays, Timothy},
     title = {On Tarski on Models},
     journal = {J. Symbolic Logic},
     volume = {66},
     number = {1},
     year = {2001},
     pages = { 1701-1726},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746620}
}
Bays, Timothy. On Tarski on Models. J. Symbolic Logic, Tome 66 (2001) no. 1, pp.  1701-1726. http://gdmltest.u-ga.fr/item/1183746620/