Papers of the day   All papers

Computer Science and Metaphysics: A Cross-Fertilization

Comments

May 05 2019 arXiv CS-CL

Computer Science and Metaphysics: A Cross-Fertilization http://arxiv.org/abs/1905.00787
0 replies, 2 likes


May 14 2019 Clarissa Littler

In less sad and depressing thoughts, this paper is pretty neat: https://arxiv.org/abs/1905.00787 The tl;dr is that it uses shallow embeddings of modal logic in Isabelle/HOL to formalize philosophic proofs. I *don't* know enough about abstract object theory to entirely grasp it though.
1 replies, 1 likes


Content