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)

zbMATH Keywords

simple type theoryFrege's system of concepts and relationsindispensability thesis

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)

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