This volume explores the relation between legal reasoning and logic from both a historical and a systematic perspective. The topics addressed include, among others, conditional legal acts, disjunctions in legal acts, presumptions and conjectures, conflicts of values, Jørgensen´s Dilemma, the Rhetor´s Dilemma, the theory of legal fictions and the categorization of contracts. The unifying problematic of these contributions concerns the conditional structures and, more particularly, the relationship between legal theory and legal reasoning in the context of conditions.

We combine linear temporal logic (with both past and future modalities) with a deontic version of justification logic to provide a framework for reasoning about time and epistemic and normative reasons. In addition to temporal modalities, the resulting logic contains two kinds of justification assertions: epistemic justification assertions and deontic justification assertions. The former presents justification for the agent’s knowledge and the latter gives reasons for why a proposition is obligatory. We present two kinds of semantics for the logic: one (...) based on Fitting models and the other based on neighborhood models. The use of neighborhood semantics enables us to define the dual of deontic justification assertions properly, which corresponds to a notion of permission in deontic logic. We then establish the soundness and completeness of an axiom system of the logic with respect to these semantics. Further, we formalize the Protagoras versus Euathlus paradox in this logic and present a precise analysis of the paradox, and also briefly discuss Leibniz’s solution. (shrink)