Typed object theory

DOI10.1007/978-3-030-38242-1_4MaRDI QIDQ7013771zbMATH OpenFDO

Authors Edward Zalta

Publication date 12 March 2025

Full work available at URL https://doi.org/10.1007/978-3-030-38242-1_4

zbMATH Keywords

hyperintensionalityintensionalitynatural language semanticsobject theoryrelational type theorytype-raising

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Type theory (03B38)

Cites work

• Deriving and Validating Kripkean Claims Using the Theory of Abstract Objects
• A classically-based theory of impossible worlds
• A formulation of the simple theory of types.
• A relational formulation of the theory of types
• Frege, Boolos, and logical objects
• scientific article; zbMATH DE number 3531346 (Why is no real title available?)
• scientific article; zbMATH DE number 1028827 (Why is no real title available?)
• scientific article; zbMATH DE number 1974568 (Why is no real title available?)
• scientific article; zbMATH DE number 1550348 (Why is no real title available?)
• scientific article; zbMATH DE number 1786552 (Why is no real title available?)
• Hyperintensional logic
• Hyperintensions
• Intensional models for the theory of types
• Mathematical logic as based on the theory of types.
• Meinongian type theory and its applications
• Modal Logic as Metaphysics
• Model Theory for the Higher Order Predicate Calculus
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
• Neo-logicism? An ontological reduction of mathematics to metaphysics
• Relations Versus Functions at the Foundations of Logic: Type-Theoretic Considerations
• Syntactical and semantical properties of simple type theory
• The fundamental theorem of world theory
• Twenty-five basic theorems in situation and world theory
• Worlds and propositions set free

Cited in

(1)

• When rules define logical operators: rules as second-order definitions

This page was built for publication: Typed object theory

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