On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge) (Q598281): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1016/j.apal.2003.11.021 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W1965954905 / rank | |||
Normal rank | |||
Revision as of 03:15, 20 March 2024
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
