Steps toward a computational metaphysics

DOI10.1007/s10992-006-9038-7zbMath1121.03009OpenAlexW1986279051MaRDI QIDQ877243

Branden Fitelson, Edward N. Zalta

Publication date: 19 April 2007

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

Full work available at URL: https://doi.org/10.1007/s10992-006-9038-7

zbMATH Keywords

automated reasoningaxiomatic metaphysics

Mathematics Subject Classification ID

Related Items (1)

Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments

Uses Software

• OTTER
• Prover9
• Mace4

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural numbers and natural cardinals as abstract objects: A partial reconstruction of Frege's \textit{Grundgesetze} in object theory
• Twenty-five basic theorems in situation and world theory
• Theorem-Proving on the Computer
• The Concept of Demodulation in Theorem Proving
• A Complete Mechanization of Second-Order Type Theory
• The undecidability of unification in third order logic

This page was built for publication: Steps toward a computational metaphysics