11 citations · 17 across the 10 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.LO2019
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological Argument
Christoph Benzmüller, David Fuenmayor
Three variants of Kurt Gödel's ontological argument, proposed by Dana Scott, C. Anthony Anderson and Melvin Fitting, are encoded and rigorously assessed on the computer. In contras…
cs.AI2019★ 11 cited
A Computational-Hermeneutic Approach for Conceptual Explicitation
David Fuenmayor, Christoph Benzmüller
We present a computer-supported approach for the logical analysis and conceptual explicitation of argumentative discourse. Computational hermeneutics harnesses recent progresses in…
cs.LO2019
Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
David Fuenmayor, Christoph Benzmüller
The computer-mechanization of an ambitious explicit ethical theory, Gewirth's Principle of Generic Consistency, is used to showcase an approach for representing and reasoning with…