On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) |
scientific article |
Statements
On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (English)
0 references
6 August 2004
0 references
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.
0 references
Finite models
0 references
Evolution of intelligence
0 references
infinite objects
0 references
finitistic modification of Tarski's concept of a model
0 references