Conditionals and Legal Reasoning. Elements ...
Type de document :
Pré-publication ou Document de travail
Titre :
Conditionals and Legal Reasoning. Elements of a Logic of Law
Auteur(s) :
Mot(s)-clé(s) en anglais :
Law -- Philosophy
Legal reasoning
Civil law
Roman Law
Logic and Formal Languages Mathematical Logic
Philosophy of law
Philosophy of logic
Leibniz W G
History of philosophy
Constructivisme
Legal reasoning
Civil law
Roman Law
Logic and Formal Languages Mathematical Logic
Philosophy of law
Philosophy of logic
Leibniz W G
History of philosophy
Constructivisme
Discipline(s) HAL :
Sciences de l'Homme et Société/Philosophie
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Sciences de l'Homme et Société/Histoire, Philosophie et Sociologie des sciences
Résumé en anglais : [en]
The main aim of this paper is to study the notion of conditional right by means of constructive type theory (CTT) which provides the means to develop a system of contentual inferences rather than of syntactic derivations. ...
Lire la suite >The main aim of this paper is to study the notion of conditional right by means of constructive type theory (CTT) which provides the means to develop a system of contentual inferences rather than of syntactic derivations. Moreover, in line with Armgardt, we will first study the general notion of dependence as triggered by hypotheticals and then the logical structure of dependence specific to conditional right. I will develop this idea in a dialogical framework where the distinction between play-object and strategy-object leads to the further distinction between two basic kinds of pieces of evidence and where meanings is constituted by the interaction of obligations and entitlements. 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. Introduction:Lire moins >
Lire la suite >The main aim of this paper is to study the notion of conditional right by means of constructive type theory (CTT) which provides the means to develop a system of contentual inferences rather than of syntactic derivations. Moreover, in line with Armgardt, we will first study the general notion of dependence as triggered by hypotheticals and then the logical structure of dependence specific to conditional right. I will develop this idea in a dialogical framework where the distinction between play-object and strategy-object leads to the further distinction between two basic kinds of pieces of evidence and where meanings is constituted by the interaction of obligations and entitlements. 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. Introduction:Lire moins >
Langue :
Anglais
Projet ANR :
Collections :
Source :
Fichiers
- https://halshs.archives-ouvertes.fr/halshs-01651550/document
- Accès libre
- Accéder au document
- https://halshs.archives-ouvertes.fr/halshs-01651550/document
- Accès libre
- Accéder au document
- document
- Accès libre
- Accéder au document
- CRight28Nov2017.pdf
- Accès libre
- Accéder au document