40 citations · 211 across the 45 of their papers we have counts for
7 papers · 1 filter
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
Lucca Tiemens, Dana S. Scott, Christoph Benzmüller +1
A modeloid, a certain set of partial bijections, emerges from the idea to abstract from a structure to the set of its partial automorphisms. It comes with an operation, called the…
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…
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…
Extensional Higher-Order Paramodulation in Leo-III
Alexander Steen, Christoph Benzmüller
Leo-III is an automated theorem prover for extensional type theory with Henkin semantics and choice. Reasoning with primitive equality is enabled by adapting paramodulation-based p…
Computer Science and Metaphysics: A Cross-Fertilization
Daniel Kirchner, Christoph Benzmüller, Edward N. Zalta
Computational philosophy is the use of mechanized computational techniques to unearth philosophical insights that are either difficult or impossible to find using traditional philo…
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support
Christoph Benzmüller, Xavier Parent, Leendert van der Torre
A framework and methodology---termed LogiKEy---for the design and engineering of ethical reasoners, normative theories and deontic logics is presented. The overall motivation is th…