Property theory: The type-free approach \(v\). The Church approach

DOI10.1007/BF01050341zbMath0800.03003MaRDI QIDQ1319264

George Bealer

Publication date: 12 April 1994

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

Mathematics Subject Classification ID

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

Related Items (2)

INTENSIONALITY AND PARADOXES IN RAMSEY’S ‘THE FOUNDATIONS OF MATHEMATICS’ ⋮ Complex predicates and logics for properties and relations

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some remarks on extending and interpreting theories with a partial predicate for truth
• First-order modal theories
• The liar paradox
• Truth and paradox
• Completeness in the theory of properties, relations, and propositions
• Toward useful type-free theories. I
• A theory of properties
• A consistent combinatory logic with an inverse to equality
• Outline of a Theory of Truth
• Some New Axioms for the Logic of Sense and Denotation: Alternative (0)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part I)
• Outline of a Revised Formulation of the Logic of Sense and Denotation (Part II)
• The system CΔ of combinatory logic
• New Foundations for Mathematical Logic
• An extension of basic logic

This page was built for publication: Property theory: The type-free approach \(v\). The Church approach