Document worth reading: “Computer Science and Metaphysics: A Cross-Fertilization”

Computational philosophy is utilizing mechanized computational strategies to unearth philosophical insights which is likely to be each troublesome or not attainable to hunt out using standard philosophical methods. Computational metaphysics is computational philosophy with a think about metaphysics. In this paper, we (a) develop results in modal metaphysics whose discovery was laptop computer assisted, and (b) conclude that these outcomes work not solely to the obvious benefit of philosophy however as well as, a lot much less clearly, to the advantage of laptop computer science, as a result of the brand new computational strategies that led to these outcomes is also additional broadly related inside laptop computer science. The paper includes a description of our background methodology and the best way it developed, and a dialogue of our new outcomes. Computer Science and Metaphysics: A Cross-Fertilization