Diego Martínez

As lawmakers produce norms, the underlying normative system is affected showing the intrinsic dynamism of law. Through undertaken actions of legal change, the normative system is continuously modified. In a usual legislative practice, the time for an enacted legal provision to be in force may differ from that of its inclusion to the legal system, or from that in which it produces legal effects. Even more, some provisions can produce effects retroactively in time. In this article we study a simulation of such process through the formalisation of a temporalised logical framework upon which a novel belief revision model tackles the dynamic nature of law. Represented through intervals, the temporalisation of sentences allows differentiating the temporal parameters of norms. In addition, a proposed revision operator allows assessing change to the legal system by including a new temporalised literal while preserving the time-based consistency. This can be achieved either by pushing out conflictive pieces of pre-existing norms or through the modification of intervals in which such norms can be either in force, or produce effects. Finally, the construction of the temporalised revision operator is axiomatically characterised and its rational behavior proved through a corresponding representation theorem.

Relationships between degree/area of academic formation and religious and Darwinian views are controversial. This study aimed to compare the religious beliefs and acceptance of Darwinian evolution between two contrasting South American scientific communities (Chile and Colombia), accounting for different degrees and areas of academic formation. In 2018, 115 last year bachelor students (surveyed as freshmen in 2014 for a previous study) from Chile, and 283 first/last year bachelor students, graduate students, and professors from Colombia, all belonging to biology, chemistry, or physics, were surveyed. Chilean students/faculty were significantly more agnostic/atheist, more accepting of Darwinian evolution, and less creationist than their Colombian counterparts. Academic degree and area differently affected these views in both countries, as only in Chile there was a clear tendency among biologists and physicists with higher degrees to hold less religious and creationist views. Marked differences between the history, socioeconomic contexts, and especially in high school and university curricula of both countries might explain these results.

This paper presents a belief revision operator that considers time intervals for modelling norm change in the law. This approach relates techniques from belief revision formalisms and time intervals with temporalised rules for legal systems. Our goal is to formalise a temporalised belief base and corresponding timed derivation, together with a proper revision operator. This operator may remove rules when needed or adapt intervals of time when contradictory norms are added in the system. For the operator, both constructive definition and an axiomatic characterisation by representation theorems are given.