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

DOI10.1016/J.APAL.2003.11.021MaRDI QIDQ598281zbMATH OpenOpenAlexFDO

Authors Jan Mycielski

Publication date 6 August 2004

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.apal.2003.11.021

zbMATH Keywords

Evolution of intelligenceFinite modelsfinitistic modification of Tarski's concept of a modelinfinite objects

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Model theory of finite structures (03C13)

Recommendations

• Tarski on models and logical consequence
• On tarski on models
• Model theory and the Tannakian formalism
• scientific article; zbMATH DE number 1254482
• Mathematical Structuralism, Modal Nominalism, and the Coherence Principle
• Model Theory and the Philosophy of Mathematical Practice
• Model theory and the philosophy of mathematical practice. Formalization without foundationalism
• scientific article; zbMATH DE number 1485610
• From Tarski to Hrushovski: Birth and splendor of model theory
• Some remarks on the bearing of model theory on the theory of theories

Cites work

• A Learning Theorem for Linear Operators
• A model of the neocortex
• Can mathematics explain natural intelligence?
• Locally finite theories

Cited in

(4)

• Pure mathematics and physical reality (continuity and computability)
• Tarski's intuitive notion of set
• Harvard 1940–1941: Tarski, Carnap and Quine on a finitistic language of mathematics for science
• On tarski on models

This page was built for publication: On the tension between Tarski's nominalism and his model theory (definitions for a mathematical model of knowledge)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q598281)