A simple type theory without Platonic domains

DOI10.1007/BF00707427MaRDI QIDQ795812zbMATH OpenFDO

Authors Charles Chihara

Publication date 1984

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00707427

zbMATH Keywords

Frege's system of concepts and relationsindispensability thesissimple type theory

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Recommendations

• The seven virtues of simple type theory
• Logicism and the problem of infinity: the number of numbers
• A theory of properties
• The fact semantics for ramified type theory and the axiom of reducibility
• A simple type theory with partial functions and subtypes

Cited in

(7)

• Logic, ontology, mathematical practice
• Nominalistic metalogic
• Nominalistic logic: from naive set theory to intensional type theory
• scientific article; zbMATH DE number 799319 (Why is no real title available?)
• Logicism and the problem of infinity: the number of numbers
• Mechanizing \textit{Principia logico-metaphysica} in functional type-theory
• The seven virtues of simple type theory

This page was built for publication: A simple type theory without Platonic domains

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