Every organization has to deal with operational risks, arising from the execution of a company’s primary business functions. In this paper, we describe a legal knowledge management system which helps users understand the meaning of legislative text and the relationship between norms. While much of the knowledge requires the input of legal experts, we focus in this article on NLP applications that semi-automate essential time-consuming and lower-skill tasks—classifying legal documents, identifying cross-references and legislative amendments, linking legal terms to the most (...) relevant definitions, and extracting key elements of legal provisions to facilitate clarity and advanced search options. The use of Natural Language Processing tools to semi-automate such tasks makes the proposal a realistic commercial prospect as it helps keep costs down while allowing greater coverage. (shrink)

Every organization has to deal with operational risks, arising from the execution of a company’s primary business functions. In this paper, we describe a legal knowledge management system which helps users understand the meaning of legislative text and the relationship between norms. While much of the knowledge requires the input of legal experts, we focus in this article on NLP applications that semi-automate essential time-consuming and lower-skill tasks—classifying legal documents, identifying cross-references and legislative amendments, linking legal terms to the most (...) relevant definitions, and extracting key elements of legal provisions to facilitate clarity and advanced search options. The use of Natural Language Processing tools to semi-automate such tasks makes the proposal a realistic commercial prospect as it helps keep costs down while allowing greater coverage. (shrink)

We study the cube of type assignment systems, as introduced in Giannini et al. 87–126), and confront it with Barendregt's typed gl-cube . The first is obtained from the latter through applying a natural type erasing function E to derivation rules, that erases type information from terms. In particular, we address the question whether a judgement, derivable in a type assignment system, is always an erasure of a derivable judgement in a corresponding typed system; we show that this property holds (...) only for systems without polymorphism. The type assignment systems we consider satisfy the properties ‘subject reduction’ and ‘strong normalization’. Moreover, we define a new type assignment cube that is isomorphic to the typed one. (shrink)

Risposte alle censure dell' "Ateismo triunfato" (1631).--Documenta ad Gallorum nationem.--Consultationes aphoristicae gerendae rei praesentis temporis cum Austriacis ac Italis ad hispanismi delectionem perficiendam (1635).--Compendium veritatis catholicae et falsitatis sectariorum de praedestinatione.--Censure al "De praedestinationes" (1636).

1. Prodromus philosophiae instaurandae. De sensu rerum et magia. Apologia pro Galileo.--2. Realis philosophia epilogistica. Astrologicorum libri VII.

"Depuis une quinzaine d'années, les études sur Montesquieu se sont profondément renouvelées. Le corpus lui-même, grâce aux OEuvres complètes en cours, et notamment avec la première publication intégrale du manuscrit de travail de L'Esprit des lois, offre des perspectives inédites. Mais c'est aussi l'approche même qui a changé : la diversité des questions et des thèmes que son oeuvre permet d'aborder élargit le champ de la recherche, de la philosophie morale et politique à l'histoire ou l'anthropologie, ou encore à la (...) pensée du droit et de la société. Ce volume en tire méthodiquement les conséquences. Dans la perspective de l'édition critique des OEuvres complètes de Montesquieu, c'est à une relecture non pas radicale, mais en finesse et en profondeur qu'invite ce volume, en développant le rapport entre l'homme et la société, en redessinant la relation aux grands massifs de la tradition philosophique d'une pensée dont on suit jusqu'à son terme la logique, en suggérant des relations inédites à travers des rapprochements qui s'imposent, mais n'avaient pourtant guère été faits : ce qui restait informe ou informulé s'est éclairé, ce dont on devinait l'importance s'est approfondi. Ensuite, que restera-t-il à (re)lire? L'Esprit des lois."--Page [4] de la couverture. (shrink)

"This book explores the relation between two key paradigms in the contemporary discourse on justice. Partly inspired by the debate between Nancy Fraser and Axel Honneth, it investigates whether the two paradigms, redistribution and recognition, are complementary, mutually exclusive, insufficient or essentially inadequate accounts of justice. Combining insights from the traditions of critical social theory and analytical political philosophy, the volume offers a multifaceted exploration of this incredibly inspiring conceptual couple from a plurality of perspectives. The chapters engage with concepts (...) such as universal basic income, property-owning democracy, poverty, equality, self-respect, pluralism, care, and work, all of which have an impact on citizens' recognition as well as on distributive policies. An important contribution to the field of political and social philosophy, the volume will be useful to scholars and researchers of politics, law, human rights, economics, social justice, as well as policymakers"--. (shrink)

O objetivo deste artigo é pensar como a relação entre o mundo dos antepassados e o mundo dos vivos se estabelece e se estrutura por intermédio do ritual de ukanyi. Proposta esta que remete ao estudo e compreensão da religiosidade tradicional africana, na qual se assenta a cosmovisão dos africanos perpassada por um sistema de valores, crenças e práticas bantu. Assim, o método etnográfico e a análise situacional aparecem como alicerces para compreender o fenômeno em causa. Considero o pressuposto de (...) que o ritual de ukanyi é uma cerimônia que permite a exaltação dos antepassados, ativa e reativa valores, crenças e práticas que fortalecem e revigoram a religiosidade tradicional africana. Dessa forma, o mesmo nos possibilita vivenciar e experimentar dois mundos diferentes, dos vivos e dos mortos. Entendo que compreender a relação entre o mundo dos vivos e dos antepassados é adentrar na forma como se constituem as afrofilosofias que permitem tangenciar o universo africano. Palavras chave: Ritual de ukanyi. Mundo dos vivos. Mundo dos mortos. Antepassados. (shrink)

1. Critica de capire e altri scritti. 2. Scritti kantiani. 3. L'analitica trascendentale. 4. Il problema della scienza e il giudizio storico.

Luigi Giussani, a high school religion teacher throughout the 1950s and 1960s, grounded his teachings in the vast body of experience to be found in Christianity's two-thousand-year history. He told his students, “I'm not here to make you adopt the ideas I will give you as your own, but to teach you a method for judging the things I will say.” Throughout his life, education was one of Giussani's primary intellectual interests. He believed that effective education required an adequate (...) background in the Christian tradition, presented within a lived experience that underscored the capacity of the faith to answer universal questions. What he proposed was a process that allowed one to sift through tradition, critically examining it and comparing it against the ultimate criteria for judgment: the desires of the heart. In Giussani's view, the primary concern was to “educate the human heart as God made it.” In The Risk of Education he states that fear leads students to associate this process of criticism with negativity or doubt. Yet, without an education in criticism, students cannot develop conviction. At a time when young people are abandoning the church and questioning the value of faith, Giussani's method of judging and verifying Christianity as an experience seems a necessary intervention. In The Risk of Education he argues that, ultimately, education and the Christian message reveal themselves through human freedom. (shrink)