Principia Metaphysica
(Draft)

Edward N. Zalta
Center for the Study of Language and Information
Stanford University

July 10, 1996

Contents

• Section 1: The Language
• Section 2: The Logic
  • A. Logical Axioms, Rules of Inference, Theoremhood
  • B. Some Derived Rules
  • C. Logical Theorems
  • D. Properties, Relations, Propositions, and Truth
• Section 3: The Proper Axioms
• Section 4: The Theory of Objects
• Section 5: The Theory of Platonic Forms
• Section 6: The Theory of Meinongian Objects
• Section 7: The Theory of Situations
• Section 8: The Theory of Worlds
• Section 9: The Theory of Times
• Section 10: The Theory of Leibnizian Concepts
  • A. Concepts
  • B. Concept Identity
  • C. Concept Addition
  • D. Concept Inclusion and Containment
  • E. Concept Inclusion, Addition
• Section 11: The Theory of Leibnizian Monads
• Section 12: The Containment Theory of Truth
• Section 13: The Theory of Fiction
• Section 14: The Theory of Mathematical Objects and Relations
• Section 15: The Theory of Fregean Logical Objects
  • A. Natural Sets
  • B. Natural Cardinals
  • C. Natural Numbers
  • D. Directions and Shapes
  • E. Truth Values
  • F. Higher Order Fregean Logical Objects
• Appendix: Proofs of Selected Theorems
• Bibliography