On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
type: Item
instance of: scholarly article
title: On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)
zbMATH Open document ID: 1058.03010
author: Jan Mycielski
published in: Annals of Pure and Applied Logic
publication date: 2004-08-06T00:00:00Z
review text: 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.
reviewed by: Roman Murawski
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03C13
zbMATH DE Number: 2083180
zbMATH Keywords: Finite models
zbMATH Keywords: Evolution of intelligence
zbMATH Keywords: infinite objects
zbMATH Keywords: finitistic modification of Tarski's concept of a model
MaRDI profile type: Publication
full work available at URL: j.apal.2003.11.021
OpenAlex ID: W1965954905
cites work: Can mathematics explain natural intelligence?
cites work: Locally finite theories
cites work: A Learning Theorem for Linear Operators
cites work: A model of the neocortex
DOI: 10.1016/J.APAL.2003.11.021
Recommended article: Q5421790
Recommended article: On tarski on models
Recommended article: Model theory and the Tannakian formalism
Recommended article: Q4227550
Recommended article: Mathematical Structuralism, Modal Nominalism, and the Coherence Principle
Recommended article: Model Theory and the Philosophy of Mathematical Practice
Recommended article: Q4494642
Recommended article: From Tarski to Hrushovski: Birth and splendor of model theory
Recommended article: Some remarks on the bearing of model theory on the theory of theories
description: scientific article; zbMATH DE number 2083180