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

DOI10.1016/J.APAL.2003.11.021zbMATH Open1058.03010OpenAlexW1965954905MaRDI QIDQ598281FDOQ598281

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

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

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)

Cites Work

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

Cited In (4)

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

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)