There are cases in which the literal interpretation of statutes may lead to counterintuitive consequences. When such cases go to high courts, judges may handle these counterintuitive consequences by identifying problematic rule conditions. Given that the law consists of a large number of rule conditions, it is demanding and exhaustive to figure out which condition is problematic. For solving this problem, our work aims to assist judges in civil law systems to resolve counterintuitive consequences using logic program representation of statutes (...) and Legal Debugging. The core principle of Legal Debugging is to cooperate with a user to find a culprit, a root cause of counterintuitive consequences. This article proposes an algorithm to resolve a culprit. Since the statutes are represented by logic rules but changes in law are initiated by cases, we adopt a prototypical case with judgement specified by a set of rules. Then, to resolve a culprit, we reconstruct a program so that it provides reasons as if we applied case-based reasoning to a new set of prototypical cases with judgement, which include a new set of facts relevant to a considering case. (shrink)

Journal Name: Cognitive Linguistics Issue: Ahead of print.

1. Kant on the “Conditions of the Possibility” of Experience -- Claude Piché // 2. Plato and Kantian Transcendental Constructivism -- Tom Rockmore // 3. Kant and Fichte on the Notion of (Transcendental) Freedom -- Violetta L. Waibel // 4. Fichte, Transcendental Ontology, and the Ethics of Belief -- Steven Hoeltzel // 5. Transcendental Philosophy as “Therapy of the Mind”: Fichte’s “Facts of Consciousness” Lectures -- Benjamin D. Crowe // 6. From Transcendental Philosophy to Hegel’s Developmental Method -- William F. (...) Bristow // 7. How Transcendental Is Cohen’s Critical Idealism? -- Halla Kim // 8. Heidegger’s Failure to Overcome Transcendental Philosophy -- Eric S. Nelson // 9. Others as the Ground of Our Existence: Levinas, Løgstrup, and Transcendental Arguments in Ethics -- Robert Stern // 10. Raising Validity Claims for Reasons: Transcendental Reflection in Apel’s Argumentative Discourse -- Matthias Kettner // 11. Transcendental Arguments Based on Question-Answer Contradictions -- Yukio Irie // 12. Consequences of the Transcendental-Pragmatic Consensus Theory of Truth -- Michihito Yoshime // 13. On Jürgen Habermas’s Cognitive Theory of Morality -- Yasuyuki Funaba . (shrink)