Conditionals and Legal Reasoning. Elements ...
Document type :
Pré-publication ou Document de travail
Title :
Conditionals and Legal Reasoning. Elements of a Logic of Law
Author(s) :
English keyword(s) :
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
HAL domain(s) :
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
English abstract : [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. ...
Show more >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:Show less >
Show more >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:Show less >
Language :
Anglais
ANR Project :
Collections :
Source :
Files
- https://halshs.archives-ouvertes.fr/halshs-01651550/document
- Open access
- Access the document
- https://halshs.archives-ouvertes.fr/halshs-01651550/document
- Open access
- Access the document
- document
- Open access
- Access the document
- CRight28Nov2017.pdf
- Open access
- Access the document