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. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
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 | |||
Property / cites work | |||
Property / cites work: Can mathematics explain natural intelligence? / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Locally finite theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Learning Theorem for Linear Operators / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A model of the neocortex / rank | |||
Normal rank |
Latest revision as of 19:13, 6 June 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