This paper analyses and compares some of the automated reasoners that have been used in recent research for compliance checking. Although the list of the considered reasoners is not exhaustive, we believe that our analysis is representative enough to take stock of the current state of the art in the topic. We are interested here in formalizations at the _first-order_ level. Past literature on normative reasoning mostly focuses on the _propositional_ level. However, the propositional level is of little usefulness for (...) concrete LegalTech applications, in which compliance checking must be enforced on (large) sets of individuals. Furthermore, we are interested in technologies that are _freely available_ and that can be further investigated and compared by the scientific community. In other words, this paper does not consider technologies only employed in industry and/or whose source code is non-accessible. This paper formalizes a selected use case in the considered reasoners and compares the implementations, also in terms of simulations with respect to shared synthetic datasets. The comparison will highlight that lot of further research still needs to be done to integrate the benefits featured by the different reasoners into a single standardized first-order framework, suitable for LegalTech applications. All source codes are freely available at https://github.com/liviorobaldo/compliancecheckers, together with instructions to locally reproduce the simulations. (shrink)

Within a general approach that implies the closely related survey of neurosciences and philosophical thought, the essays collected in the volume develop two main lines of research. The first one, thanks to the contributions of scientists and psychologists , psychoanalysists and bioengineers , allows to fix the attention on the neurobiological, psychological, psychoanalytical and physical remembering. The second one, more specifically philosophical, is declined in three different approaches. the first - with essays by Stefania Achella, Giuseppe D'Anna and Rosario (...) Diana - points to the anlysis of the role played by the rememberance and the prefiguration in the processes of identity construction. The second - with contributions from Fiorella Battaglia, Anna Donise, Sabine Marienberg and Sara Fortuna - focuses on the role of remembering in anthropology and linguistics, as well as the identification of certain diseases of memory. The third, finally - with contributions from Gabriella Baptist, Chiara de Luzenberger and Marco Boninu - tends to define the regulatory function of memory. (shrink)

L’articolo si propone di indagare le numerose sfaccettature di un personaggio cruciale per il mercato dell’arte europeo del XIX secolo, a cui gli studi non hanno ancora rivolto la dovuta attenzione: l’antiquario Giuseppe Baslini. Ricordato dai contemporanei per l’eccezionale talento da connoisseur e la spregiudicata astuzia negli affari, Baslini fu probabilmente il più importante mercante milanese del secondo Ottocento. La sua bottega in via Montenapoleone 11 divenne riferimento e luogo di richiamo per restauratori, collezionisti e travelling agents di tutta (...) Europa. Fu consulente e fornitore delle collezioni milanesi Poldi Pezzoli e Bagatti Valsecchi, che beneficiarono della poliedricità dei suoi interessi, ma anche della National Gallery di Londra e della Gemäldegalerie di Berlino. Il suo «perfido commercio», come pure il ruolo di mediatore presso gallerie e collezioni private, sono documentati dalle lettere di Giovanni Morelli e Austen Henry Layard, dai taccuini di viaggio di Charles Eastlake e Otto Mündler e dall’autobiografia di Wilhelm von Bode. La restituzione delle vicende biografiche e professionali dell’antiquario, attraverso lo studio di documenti d’archivio inediti, lettere, fatture e cataloghi d’asta, ha rivelato una personalità intrigante e controversa, importante tramite per ricostruire relazioni e provenienze collezionistiche sino a oggi ignote. (shrink)

The moving spotlight account (MS) is a view that combines an eternalist ontology and an A-theoretic metaphysics. The intuition underlying MS is that the present time is somehow privileged and experientially vivid, as if it were illuminated by a moving spotlight. According to MS-theorists, a key reason to prefer MS to B-theoretic eternalism is that our experience of time supports it. We argue that this is false. To this end, we formulate a new family of positions in the philosophy of (...) time, which differ from MS in that, intuitively, they admit a plurality of moving spotlights. We argue that these ‘deviant’ variants of MS cannot be dismissed as conceptually incoherent, and that they are as well-supported by our experience as is MS. One of these variants, however, is consistent with the B-theory. Thus, if our experience of time supports MS, then it supports the B-theory as well. (shrink)

Symmetries play a major role in physics, in particular since the work by E. Noether and H. Weyl in the first half of last century. Herein, we briefly review their role by recalling how symmetry changes allow to conceptually move from classical to relativistic and quantum physics. We then introduce our ongoing theoretical analysis in biology and show that symmetries play a radically different role in this discipline, when compared to those in current physics. By this comparison, we stress that (...) symmetries must be understood in relation to conservation and stability properties, as represented in the theories. We posit that the dynamics of biological organisms, in their various levels of organization, are not just processes, but permanent (extended, in our terminology) critical transitions and, thus, symmetry changes. Within the limits of a relative structural stability (or interval of viability), variability is at the core of these transitions. (shrink)

Cet article vise à évaluer la portée des politiques sociales réellement existantes dans le Brésil de la période Lula, du point de vue du débat général sur le revenu d’existence. Soit deux questions : ces politiques sociales – notamment les transferts monétaires – ont-elles été pensées dans la perspective d’un revenu d’existence? Le revenu d’existence pourrait-il fonctionner comme angle privilégié de réorganisation et d’intégration de ces politiques sociales? L’histoire de Bolsa Família, instauré dans le Brésil de Lula, montre qu’il est (...) d’origine néolibérale et que le véritable enjeu est d’appréhender les lignes de conflit qui séparent sa précaire existence empirique actuelle de sa constitution comme base d’une nouvelle démocratie. (shrink)

This article proposes an abstract mathematical frame for describing some features of cognitive and biological time. We focus here on the so called “extended present” as a result of protentional and retentional activities (memory and anticipation). Memory, as retention, is treated in some physical theories (relaxation phenomena, which will inspire our approach), while protention (or anticipation) seems outside the scope of physics. We then suggest a simple functional representation of biological protention. This allows us to introduce the abstract notion of (...) “biological inertia”. (shrink)

This book provides a general survey of the main concepts, questions and results that have been developed in the recent interactions between quantum information, quantum computation and logic. Divided into 10 chapters, the books starts with an introduction of the main concepts of the quantum-theoretic formalism used in quantum information. It then gives a synthetic presentation of the main “mathematical characters” of the quantum computational game: qubits, quregisters, mixtures of quregisters, quantum logical gates. Next, the book investigates the puzzling entanglement-phenomena (...) and logically analyses the Einstein–Podolsky–Rosen paradox and introduces the reader to quantum computational logics, and new forms of quantum logic. The middle chapters investigate the possibility of a quantum computational semantics for a language that can express sentences like “Alice knows that everybody knows that she is pretty”, explore the mathematical concept of quantum Turing machine, and illustrate some characteristic examples that arise in the framework of musical languages. The book concludes with an analysis of recent discussions, and contains a Mathematical Appendix which is a survey of the definitions of all main mathematical concepts used in the book. (shrink)

The physical singularity of life phenomena is analyzed by means of comparison with the driving concepts of theories of the inert. We outline conceptual analogies, transferals of methodologies and theoretical instruments between physics and biology, in addition to indicating significant differences and sometimes logical dualities. In order to make biological phenomenalities intelligible, we introduce theoretical extensions to certain physical theories. In this synthetic paper, we summarize and propose a unified conceptual framework for the main conclusions drawn from work spanning a (...) book and several articles, quoted throughout. (shrink)

The paper considers sentences in which “now” occurs in initial position and shows that the meaning they convey differs from the meaning of sentences that are otherwise identical except for “now” occurring in final position. We argue that the occurrence of “now” in initial position triggers a particular kind of modal reading for the sentence to which the adverb is prefixed. A general notion of modal forcing is proposed to provide a uniform account of this kind of reading. Armed with (...) this account, we offer a solution to two tense-modal puzzles, which have to do with fatalism and the possibility of a changing past. (shrink)

This paper focuses on some issues where the process of convergence between analytical and hermeneutic perspectives, with respect to their general philosophical grounds, mainly turns out to be clear. On the analytical side, the overcoming of logical Neopositivism and radical formalism and the rejection of the atomistic theory of reference by holistic theories of meaning have been the core shifts. On the side of the continental philosophical tradition, the main theoretical change lies in replacing the centrality of the subject with (...) the centrality of language, with its links to the dimension of intersubjectivity. Furthermore, the importance given to concepts such as action and intention, mainly due to the Wittgensteinian connection between language and forms of life, has led to recognising the active role of the subject in the world and the ability of language to be a means for doing things and not just a system of signs representing the world. Such a convergence, though it has not yet been reached, seems to be particularly fertile in the legal domain. Here, for example, some outcomes of speech acts theory fit the hermeneutic view of law. (shrink)

Partiendo del cuestionamiento del diagnóstico de la situación italiana como "democracia bloqueada", el autor se plantea las respuestas teóricas necesarias para la superación de una "democracia sin cualidad"; cuestiones como la de cómo ha de ser una organización social en la que la obligación hacia el otro y hacia la comunidad conviva con y corrija el derecho de los individuos. ¿Está abierto aún el camino de las reformas? En la práctica ha faltado la solidaridad, entendida como posibilidad de sinergias derivadas (...) de una cooperación creativa en los diversos niveles de intervención y responsabilidad de los actores políticos y sociales, basada en normas y valores compartidos. (shrink)

The purpose of this study is not so much to show the presence of Antisthenes in the dialogue, but rather to examine what Plato alludes to. The controversy over ideas between the two Socratics is historically very well-attested, as can already be seen in the Cratylus. Thus, it is reasonable to assume that this controversy must have affected Plato when he was writing a dialogue in which the importance of ideas and his new logic is undeniable. Hence, this paper will (...) investigate the following question: what impact could Antisthenes’ denominative and definitory logic have on the equally denominative and definitory logic presented in the Phaedo given that the latter work in all probability preceded the Sathōn? In light of what is said in the dialogue, the answer focuses primarily on what would not be said. Thus, this study has been divided into two parts: Part one shows how the so-called “second navigation” emerges as an objection to the insufficiency of the responses given by the physiologists. Tellingly, certain “common opinions” are regarded as perplexing and individuals holding them are referred to with the indeterminate tis, which – as is argued – must have included Antisthenes. Indeed, Tht. 108c7–8 reports the latter to have made common opinions a cornerstone of his denomi­native logic. Part two, on the other hand, is devoted to examining the so-called “final argument.” Here, Antisthenes’ presence seems some­what more nuanced given his incomplete knowledge of the new logic of irreversible opposites which was worked out by Plato for the purpose of demonstrating the immortality and indestructibility of the soul. On the other hand, Antisthenes is likely to have prompted Plato to specify the relationship between ideas and things in the definitory logic, since the proponent of the theory of oikeios logos refused to distinguish between the substance and its attributes, the differences and its opposites as well as the opposites of opposites. (shrink)

A relation ≺ϕ between noncommuting 1-0 quantum observables (i.e., projections) is introduced, ϕ being the state vector of the system. This relation extends the empirical implication between commuting projections. An operational interpretation of the new relation is given, which can be expressed also in counterfactual terms. It is shown that a relation proposed some years ago by Hardegree, namely the Sasaki arrow ↪ϕ, can be interpreted in terms of the relation ≺ϕ; furthermore, this new relation turns out to be successful (...) also in cases in which the Sasaki arrow fails. (shrink)