Abstract

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.