Conditionals and Legal Reasoning.
Résumé
The main aim of this paper is to study the notion of conditional
right by means of a dialogical approach to constructive type theory
(CTT). We will develop this idea in a framework where the distinction
between local-reason and strategic-reason leads to the further
distinction between two basic kinds of pieces of evidence, factual and
logical. The present paper is based on Rahman (2015). However,
though the underlying CTT-analysis is the same, the dialogical reconstruction
makes use of a new way of linking dialogical logic and CTT.
Origine | Accord explicite pour ce dépôt |
---|