Steps toward a computational metaphysics
From MaRDI portal
Publication:877243
DOI10.1007/S10992-006-9038-7zbMATH Open1121.03009OpenAlexW1986279051MaRDI QIDQ877243FDOQ877243
Authors: Branden Fitelson, Edward 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
Recommendations
- Toward an algorithmic metaphysics
- Physics and metaphysics look at computation
- A computational interpretation of conceptivism
- scientific article; zbMATH DE number 1869995
- A computational meta-model of the reality and the problem of truth
- Philosophy of Computation
- CHALLENGING THE COMPUTATIONAL METAPHOR: IMPLICATIONS FOR HOW WE THINK
- scientific article; zbMATH DE number 2108200
- Towards a symbolic computational philosophy (and methodology!) for mathematics
Philosophical and critical aspects of logic and foundations (03A05) Mechanization of proofs and logical operations (03B35)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- The undecidability of unification in third order logic
- Title not available (Why is that?)
- A Complete Mechanization of Second-Order Type Theory
Cited In (3)
Uses Software
This page was built for publication: Steps toward a computational metaphysics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q877243)
