Investigate formalized philosophies

[utensil]

• Formalisation and Evaluation of Alan Gewirth’s Proof for the Principle of Generic Consistency in Isabelle/HOL
• The Inconsistency in Godel’s Ontological Argument: A Success Story for AI in Metaphysics
• https://gitlab.com/aossie/ComputationalPhilosophy/
  • https://github.com/FormalTheology/GoedelGod/
• Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
• A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument
• Edward Zalta’s Theory of Abstract Objects in Isabelle/HOL
• Aristotle's Assertoric Syllogistic
• Computational Philosophy
• The computational philosophy: simulation as a core philosophical method
• Sopholab: Experimental computational philosophy
  • Combining Moral Theory, Modal Logic and Mas to Create Well-Behaving Artificial Agents
• Computational Experiments: Past, Present and Future
• An Inquiry into Dialectic Logic