%0 Unpublished Work %D 2018 %T The best we can do (extended abstract, submitted to LOFT) %A Van De Putte, Frederik %A Tamminga, Allard %A Duijf, Hein %G eng %0 Conference Paper %B Logic, Rationality, and Interaction (LORI) %D 2017 %T Doing Without Nature %A Van De Putte, Frederik %A Tamminga, Allard %A Duijf, Hein %B Logic, Rationality, and Interaction (LORI) %I Springer %C Sapporro %8 9-11/7/2017 %G eng %0 Journal Article %J Journal of Applied Logic %D 2012 %T A modal type theory for formalizing trusted communications %A Primiero, Giuseppe %A Taddeo, Mariarosaria %X

This paper introduces a multi-modal polymorphic type theory to model epistemic processes characterized by trust, defined as a second-order relation affecting the communication process between sources and a receiver. In this language, a set of senders is expressed by a modal prioritized context, whereas the receiver is formulated in terms of a contextually derived modal judgement. Introduction and elimination rules for modalities are based on the polymorphism of terms in the language. This leads to a multi-modal non-homogeneous version of a type theory, in which we show the embedding of the modal operators into standard group knowledge operators.

%B Journal of Applied Logic %V 10 %P 92–114 %G eng %R 10.1016/j.jal.2011.12.002 %0 Conference Proceedings %B 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) %D 2011 %T A paraconsistent multi-agent framework for dealing with normative conflicts %A Beirlaen, Mathieu %A Straßer, Christian %E Leite, Joao %E Torroni, Paolo %E Agotnes, Thomas %E Boella, Guido %E van der Torre, Leon %X

In a multi-agent deontic setting, normative conflicts can take a variety of different logical forms. In this paper, we present a very general characterization of such conflicts, including both intra- and inter-agent normative conflicts, conflicts between groups of agents, conflicts between obligations and permissions, and conflicts between contradictory norms. In order to account for the consistent possibility of this wide variety of conflict-types, we present a paraconsistent deontic logic, i.e. a logic that invalidates the classical principle of non-contradiction. Next, we strengthen this logic within the adaptive logics framework for defeasible reasoning. The resulting inconsistency-adaptive deontic logic interprets a given set of norms 'as consistently as possible'.

%B 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) %I Springer %P 312-329 %@ 9783642223587 %G eng %U http://dx.doi.org/10.1007/978-3-642-22359-4 %0 Journal Article %J Logic and logical philosophy %D 2010 %T An adaptive logic framework for conditional obligations and deontic dilemmas %A Straßer, Christian %E Tanaka, Koji %E Berto, Francesco %E Mares, Edwin %E Paoli, Francesco %B Logic and logical philosophy %V 19 %P 95–128 %G eng %0 Generic %D 2010 %T How to Identify Scientifc Revolutions? %A Weber, Erik %A Šešelja, Dunja %E Torres, Juan Manuel %X

Conceptualizing scientific revolutions by means of explicating their causes, their underlying structure and implications has been an important part of Kuhn's philosophy of science and belongs to its legacy. In this paper we show that such “explanatory concepts” of revolutions should be distinguished from a concept based on the identification criteria of scientific revolutions. The aim of this paper is to offer such a concept, and to show that it can be fruitfully used for a further elaboration of the explanatory conceptions of revolutions. On the one hand, our concept can be used to test the preciseness and accuracy of these conceptions, by examining to what extent their criteria fit revolutions as they are defined by our concept. On the other hand, our concept can serve as the basis on which these conceptions can be further specified. We will present four different explanatory concepts of revolutions – Kuhn's, Thagard's, Chen's and Barker's, and Laudan's – and point to the ways in which each of them can be further specified in view of our concept.

%B On Kuhn's Philosophy and its Legacy %I CFCUL %C Lisbon %V 8 %P 251–282 %@ 978-989-8247-12-4 %G eng %0 Journal Article %J Logic and Logical Philosophy %D 2010 %T Inconsistency-adaptive modal logics: on how to cope with modal inconsistency %A Lycke, Hans %E Tanaka, Koji %E Berto, Francesco %E Mares, Edwin %E Paoli, Francesco %X

In this paper, I will characterize a new class of inconsistency–adaptive logics, namely inconsistency–adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency–adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the intended part of human reasoning.

%B Logic and Logical Philosophy %V 19 %P 31–61 %G eng %U http://www.logika.umk.pl/llp/pi.html %0 Generic %D 2009 %T La métamorphose graçe au cinèma. %A Christiaens, Wim %E Tatham, Anne-Marie %E Bonnecase, Denis %B La métamorphose: définition, formes et thèmes %I Gérard Monfort Editeur %G eng %0 Generic %D 2008 %T A conceptual analysis of early arabic algebra %A Heeffer, Albrecht %E Rahman, Shahid %E Street, Tony %E Tahiri, Hassan %X

Arabic algebra derives its epistemic value not from proofs but from correctly performing calculations using coequal polynomials. This idea of ‘mathematics as calculation’ had an important influence on the epistemological status of European mathematics until the seventeenth century. We analyze the basic concepts of early Arabic algebra such as the unknown and the equation and their subsequent changes within the Italian abacus tradition. We demonstrate that the use of these concepts has been problematic in several aspects. Early Arabic algebra reveals anomalies which can be attributed to the diversity of influences in which the al-jabr practice flourished. We argue that the concept of a symbolic equation as it emerges in algebra textbooks around 1550 is fundamentally different from the ‘equation’ as known in Arabic algebra.

%B The unity of science in the arabic tradition : science, logic, epistemology and their interactions %I Kluwer Academic Publishers %C Dordrecht %P 89–128 %@ 978-1-4020-8404-1 %G eng %U http://dx.doi.org/1854/11276 %0 Conference Paper %B History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008. %D 2008 %T Negative numbers as an epistemic difficult concept. Some lessons from history. %A Heeffer, Albrecht %E Tzanakis, C. %X

Historical studies on the development of mathematical concepts will serve mathematics teachers to relate their students’ difficulties in understanding to conceptual problems in the history of mathematics. We argue that one popular tool for teaching about numbers, the number line, may not be fit for early teaching of operations involving negative numbers. Our arguments are drawn from the many discussions on negative numbers during the seventeenth and eighteenth centuries from philosophers and mathematicians as Arnauld, Leibniz, Wallis, Euler and d’Alembert. Not only the division by negative numbers poses problems for the number line, but also the very idea of quantities smaller than nothing has been challenged. Drawing lessons from the history of mathematics we argue for the introduction of negative numbers in education within the context of symbolic operations.

%B History and Pedagogy of Mathematics. Satellite Meeting of International Congress on Mathematical Education 11, 14 - 18 July 2008. %I Centro Cultural del México Contemporanéo %G eng %0 Conference Paper %B Logica 2006 Yearbook %D 2007 %T On building abstract Terms in Typed Systems %A Primiero, Giuseppe %E Tomala, O %E Honzik, R %X

This paper offers some historical and conceptual remarks on the philosophical and logical procedures of abstraction, based on an account of the notions of concept and function. In order to provide a complete analyis, one should start by considering Plato’s theory of Ideas, which provides the first interpretation of “abstract terms” in the history of philosophy. The nature of the most general Forms, the related problem of the knowledge thereof, their connection to existing (concrete) objects, are the essential features of the Platonic theory of knowledge and of his metaphysics. The Platonic approach is grounded on the principle of conceptual priority of Ideas over their partecipations, the Forms existing separeted from all the particulars: the former are interpreted as standard particulars to which other particulars conform. Nonetheless, my investigation will start rather by Aristotle, who held first the relation of predication to be the basis for defining abstraction: from this I will try to consider some important ideas for the notion of abstraction in Type Systems.

%B Logica 2006 Yearbook %I Filosofia Publisher %G eng %0 Conference Paper %B Logica 2005 Yearbook %D 2006 %T Belief Revision in Constructive Type Theory %A Primiero, Giuseppe %E Bilkova, M %E Tomala, O %B Logica 2005 Yearbook %I Filosofia Publisher %G eng %0 Generic %D 1999 %T Model-Based Reasoning in Creative Processes %A Meheus, Joke %E Magnani, Lorenzo %E Nersessian, Nancy %E Thagard, Paul %X

Combining a contextual approach to problem solving with results on some recently developed (non-standard) logics, I present in this paper a general frame for the methodological study of model-based reasoning in creative processes. I argue that model-based reasoning does not require that we turn away from logic. I also argue, however, that in order to better understand and evaluate creative processes that involve model-based reasoning, and in order to formulate guidelines for them, we urgently need to extend the existing variety of logics.

%B Model-Based Reasoning in Scientific Discovery %I Kluwer/Plenum %C Dordrecht %P 199–217 %G eng %0 Generic %D 1998 %T What, if anything, is an experiment in mathematics? %A Van Bendegem, Jean Paul %E Anapolitanos, Dionysios %E Baltas, Aristides %E Tsinorema, Stavroula %B Philosophy and the Many Faces of Science %I Rowman & Littlefield %P 172–182 %G eng %0 Generic %D 1989 %T Een pleidooi voor lokale consistentie %A Batens, Diderik %E Berghs, H. %E Thys, W. %B Congresbundel Filosofiedag Antwerpen 1988 %I Eburon %P 41–46 %G eng