Publication:3342521
From MaRDI portal
zbMath0549.03002MaRDI QIDQ3342521
Publication date: 1980
semantics; nominalism; substitutional quantification; predicative mathematics; ontological commitments of formal languages
00A30: Philosophy of mathematics
03A05: Philosophical and critical aspects of logic and foundations
03-02: Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations
00-02: Research exposition (monographs, survey articles) pertaining to mathematics in general
Related Items
Did Tarski commit “Tarski's fallacy”?, A model-theoretic criterion of ontology, Second-order languages and mathematical practice