TY - Generic T1 - An Andersonian deontic logic with contextualized sanctions T2 - 11th International Conference on Deontic Logic in Computer Science, DEON2012 Y1 - 2012 A1 - Straßer, Christian A1 - Beirlaen, Mathieu ED - Agotnes, Thomas ED - Broersen, Jan ED - Elgesem, Dag AB -

We present a refinement of Anderson's reduction of deontic logic to modal logic with only alethic modalities. The refined proposal contextualizes the Andersonian sanction constant s by replacing it with a unary sanction operator S that is dependent on the concrete normative requirement that is violated. A formula S B is then for instance interpreted as ldquo B causes a sanctionrdquo or as ldquo B provides a reason for (the applicability of) a sanctionrdquo. Due to its modified sanction operator, the resulting logic DSL invalidates some instances of the inheritance principle. This gives rise to new interesting features. For instance, DSL consistently allows for the presence of conflicting obligations. Moreover, it provides novel insights in various central `paradoxes' in deontic logic such as the Ross paradox, the paradox of the good Samaritan, and Forrester's `gentle murderer' paradox.

JA - 11th International Conference on Deontic Logic in Computer Science, DEON2012 PB - Springer SP - 151-169 SN - 9783642315695 ER - TY - Generic T1 - The rule of quantity by Chuquet and de la Roche and its influence on German Cossic algebra Y1 - 2012 A1 - Heeffer, Albrecht ED - Rommevaux, Sabine ED - Spiesser, Maryvonne ED - Massa Esteve, Maria Rosa AB -

The importance of Larismethique of de La Roche, published in 1520, has been seriously underestimated. One reason for the neglect is related to the inscrutable way he is referred to. Buteo and Wallis called him Stephanus à Rupe de Lyon. Other obscure references, such as Gosselin calling him Villafrancus Gallus have been overlooked by many commentators. His influence can be determined in several works that do not credit him but use problems or definitions from the Larismethique. However, most damaging for its historical assessment was Aristide Marre?s misrepresentation of the Larismethique as a grave case of plagiarism. Marre discovered that the printed work of 1520 by Estienne de la Roche contained large fragments that were literally copied from Chuquet?s manuscript of the Triparty. Especially on the Appendice, which contains the solution to a large number of problems, Marre writes repeatedly that it is a literal copy of Chuquet. However, he fails to mention that the structure of the text of de la Roche, his solution methods and symbolism differs significantly from Chuquet. De la Roche introduces several improvements, especially with regards to the use of the second unknown. We provide an in-depth comparison of some problems solved by the so-called regle de la quantite by Chuquet with those of de la Roche. We further report on the surprising finding that Christoff Rudolff's solution to linear problems by means of the second unknown in his Behend vnnd Hubsch Rechnung of 1525 depends on Chuquet and de la Roche. As it is generally considered that algebra was introduced in Germany through Italy this provides a new light on the transmission of algebraic knowledge from France to the rest of Europe.

JA - Pluralité de l'algèbre à la Renaissance PB - Honoré Champion SP - 127–147 SN - 9782745323989 ER - TY - Generic T1 - Understanding in political science: the plurality of epistemic interests Y1 - 2009 A1 - Van Bouwel, Jeroen ED - De Regt, Henk ED - Leonelli, Sabina ED - Eigner, Kai JA - Scientific Understanding. Philosophical Perspectives PB - University of Pittsburgh Press SP - 298–313 SN - 9780822943785 ER - TY - Generic T1 - A Logical Framework for Integrating Inconsistent Information in Multiple Databases Y1 - 2002 A1 - de Amo, Sandra A1 - Carnielli, Walter A. A1 - Marcos, João ED - Eiter, Thomas ED - Schewe, Klaus-Dieter AB -

When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. In this paper, we use one of the paraconsistent logics introduced in [9,7] (LFI1) as a logical framework to model possibly inconsistent database instances obtained by integrating different sources.We propose a method based on the sound and complete tableau proof system of LFI1 to treat both the integration process and the evolution of the integrated database submitted to users updates. In order to treat the integrated database evolution, we introduce a kind of generalized database context, the evolutionary databases, which are databases having the capability of storing and manipulating inconsistent information and, at the same time, allowing integrity constraints to change in time. We argue that our approach is sufficiently general and can be applied in most circumstances where inconsistency may arise in databases.

JA - Foundations of Information and Knowledge Systems T3 - Lecture Notes in Computer Science PB - Springer Berlin Heidelberg VL - 2284 SP - 67-84 SN - 978-3-540-43220-3 UR - http://dx.doi.org/10.1007/3-540-45758-5_5 ER - TY - Generic T1 - Do we need a hierarchical model of science? Y1 - 1992 A1 - Batens, Diderik ED - Earman, John JA - Inference, Explanation, and Other Frustrations. Essays in the Philosophy of Science PB - University of California Press SP - 199–215 ER -