A simple type theory without Platonic domains

DOI10.1007/BF00707427zbMATH Open0543.03002MaRDI QIDQ795812FDOQ795812

Authors: Charles Chihara 

Publication date: 1984

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (7)

• Mechanizing \textit{Principia logico-metaphysica} in functional type-theory
• Logicism and the problem of infinity: the number of numbers
• The seven virtues of simple type theory
• Title not available (Why is that?)
• 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)