Usage public normalisé ou anormal: Kant et les Lumières face à Jeffrey Stout
Title: Usage public normalisé ou anormal: Kant et les Lumières face à Jeffrey Stout Author, co-author: Burks, DevenAbstract: Dans “Réponse à la question: Qu’est-ce que les Lumières?”, Kant se donne...
View ArticleDoes self-knowledge advance political justification? The case of public...
Title: Does self-knowledge advance political justification? The case of public philosophy and Stout’s “unconstrained discourse” Author, co-author: Burks, DevenAbstract: Can self-knowledge of personal...
View ArticleStout’s unconstrained discourse: Does reason-giving apply across the board?
Title: Stout’s unconstrained discourse: Does reason-giving apply across the board? Author, co-author: Burks, DevenAbstract: If considerable scholarly attention has, to this point, focused on the...
View ArticleCut-Elimination for Quantified Conditional Logic
Title: Cut-Elimination for Quantified Conditional LogicAuthor, co-author: Benzmüller, Christoph Abstract: A semantic embedding of quantified conditional logic in classical higher-order logic is...
View ArticleRecent Successes with a Meta-Logical Approach to Universal Logical Reasoning...
Title: Recent Successes with a Meta-Logical Approach to Universal Logical Reasoning (Extended Abstract)Author, co-author: Benzmüller, Christoph Abstract: The quest for a most general framework...
View ArticleExperiments in Computational Metaphysics: Gödel's Proof of God's Existence
Title: Experiments in Computational Metaphysics: Gödel's Proof of God's Existence Author, co-author: Benzmüller, Christoph; Woltzenlogel Paleo, Bruno Abstract: “Computer scientists prove the existence...
View ArticleAutomating Emendations of the Ontological Argument in Intensional...
Title: Automating Emendations of the Ontological Argument in Intensional Higher-Order Modal LogicAuthor, co-author: Benzmüller, Christoph; Fuenmayor, David Abstract: A shallow semantic embedding of an...
View ArticleComputer-Assisted Analysis of the Anderson-Hájek Controversy
Title: Computer-Assisted Analysis of the Anderson-Hájek Controversy Author, co-author: Benzmüller, Christoph; Weber, Leon; Woltzenlogel Paleo, Bruno Abstract: A universal reasoning approach based on...
View ArticleMechanizing Principia Logico-Metaphysica in Functional Type Theory
Title: Mechanizing Principia Logico-Metaphysica in Functional Type TheoryAuthor, co-author: Kirchner, Daniel; Benzmüller, Christoph; Zalta, Edward N. Abstract: Principia Logico-Metaphysica proposes a...
View ArticleTypes, Tableaus and Gödel's God in Isabelle/HOL
Title: Types, Tableaus and Gödel's God in Isabelle/HOL Author, co-author: Fuenmayor, David; Benzmüller, Christoph Abstract: A computer-formalisation of the essential parts of Fitting's textbook "Types,...
View ArticleModelling argumentation on Axiom of Choice in ASPIC-END -- Technical report
Title: Modelling argumentation on Axiom of Choice in ASPIC-END -- Technical reportAuthor, co-author: Cramer, MarcosAbstract: In this technical report, we present an application of the structured...
View ArticleUne impossibilité en or: la lecture émersonienne de Kant
Title: Une impossibilité en or: la lecture émersonienne de Kant Author, co-author: Burks, DevenAbstract: The idea of Ralph Waldo Emerson as Kant's interlocutor may surprise philosophers. Yet Emerson's...
View ArticleFINALITÉ ET HISTORICITÉ DE LA RAISON DANS LA PHILOSOPHIE DE L’HISTOIRE DE KANT
Title: FINALITÉ ET HISTORICITÉ DE LA RAISON DANS LA PHILOSOPHIE DE L’HISTOIRE DE KANT Author, co-author: Heidemann, DietmarAbstract: The paper discusses the connection between the purposiveness and...
View ArticleImplicit dynamic function introduction and Ackermann-like Function Theory
Title: Implicit dynamic function introduction and Ackermann-like Function TheoryAuthor, co-author: Cramer, MarcosAbstract: We discuss a feature of the natural language of mathematics – the implicit...
View ArticleThe Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E....
Title: The Virtues of Automated Theorem Proving in Metaphysics --- A Case Study: E. J. Lowe's Modal Ontological ArgumentAuthor, co-author: Fuenmayor, David; Benzmüller, Christoph; Steen, Alexander;...
View ArticleUniversal Reasoning, Rational Argumentation and Human-Machine Interaction
Title: Universal Reasoning, Rational Argumentation and Human-Machine InteractionAuthor, co-author: Benzmüller, Christoph Abstract: Classical higher-order logic, when utilized as a meta-logic in which...
View ArticleComputer-assisted Reconstruction and Assessment of E. J. Lowe's Modal...
Title: Computer-assisted Reconstruction and Assessment of E. J. Lowe's Modal Ontological ArgumentAuthor, co-author: Benzmüller, Christoph; Fuenmayor, David Abstract: Computers may help us to understand...
View ArticleWas bedeutet es, ein Flüchtling zu sein? Das ›nackte Leben‹ im Werk Hannah...
Title: Was bedeutet es, ein Flüchtling zu sein? Das ›nackte Leben‹ im Werk Hannah Arendts und Giorgio Agambens Author, co-author: Pavlik, Jennifer
View ArticleLe tournant viral en philosophie contemporaine
Title: Le tournant viral en philosophie contemporaineAuthor, co-author: Roelens, Nathalie
View Article