On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281)

Tarski, contrary to his nominalistic philosophical declarations, freely used in his metamathematical researches infinite objects and objcets of higher types, in particular in type theory and in set theory. In the paper under review an attempt is made to interpret those theories as descriptions of some finite structures which are actually constructed in human imaginations and stored in their memories. Those structures are described in the paper. They constitute a finitistic modification of Tarski's concept of a model.