%0 Generic %D 2018 %T Kennissystemen selectief wieden %A Batens, Diderik %E Van Kerkhove, Bart %E François, Karen %E Ducheyne, Steffen %E Allo, Patrick %B Laat ons niet ernstig blijven. Huldeboek voor Jean Paul Van Bendegem %I Academia Press %C Gent, België %P 227–244 %@ 978-94-014-5589-3 %G eng %0 Generic %D 2016 %T An Exact Truthmaker Semantics for Obligation and Permission %A Anglberger, Albert %A Faroldi, Federico L. G. %A Korbmacher, Johannes %B Deontic Logic and Normative Systems %I College Publications %P 2016 %G eng %0 Generic %D 2014 %T The Consistency of Peano Arithmetic. A Defeasible Perspective %A Batens, Diderik %E Allo, Patrick %E Van Kerkhove, Bart %X

This paper proposes to replace \sys{PA}, Peano Arithmetic, by a theory \sys{APA} defined in terms of (i) a set of axioms that is classically equivalent to the Peano axioms and (ii) a defeasible logic that minimizes inconsistency, viz.\ an inconsistency-adaptive logic. If \sys{PA} is consistent, its set of theorems coincides with the set of \sys{APA}-theorems. If \sys{PA} is inconsistent, \sys{APA} is non-trivial and has the following remarkable property: there is a unique non-standard number that is its own successor and every `desirable' \sys{PA}-theorem is retained if restricted to the other numbers. The restriction can be expressed in the language of arithmetic. And there is much more.

%B Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday %I College Publications %P 11–59 %G eng %0 Conference Proceedings %B COMMA 2014 %D 2014 %T Dynamic Derivations for Sequent-Based Deductive Argumentation %A Straßer, Christian %A Arieli, Ofer %E Parsons, Simon %E Oren, Nir %E Reed, Chris %E Cerutti, Federico %X

We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.

%B COMMA 2014 %V Computational Models of Argument %P 89–100 %G eng %0 Journal Article %J Deontic Logic and Normative Systems: Lecture Notes in Computer Science %D 2014 %T Sequent-Based Argumentation for Normative Reasoning %A Straßer, Christian %A Arieli, Ofer %X

In this paper we present an argumentative approach to normative reasoning. Special attention is paid to normative conflicts, contrary-to-duty and specificity cases. These are modeled by means of argumentative attacks. For this, we adopt a recently proposed frame- work for logical argumentation in which arguments are generated by a sequent calculus of a given base logic (Arieli, CLIMA’2013, pp.69–85), and use an intuitionistic variant of stan- dard deontic logic as our base logic. Argumentative attacks are realized by elimination rules that allow to discharge specific sequents. We demonstrate our system by means of various well-known benchmark examples.

%B Deontic Logic and Normative Systems: Lecture Notes in Computer Science %V 8554 %P 224–240 %G eng %0 Generic %D 2012 %T Can economics become a purely experimental science? A comparative study %A Weber, Erik %E Aerts, Diederik %E Broekaert, Jan %E D'Hooghe, Bart %E Note, Nicole %X

The role of experiments in economics is increasing. This paper deals with a philosophical question that is raised by this evolution: can economics become a purely experimental science? I answer this question by comparing economics with a branch of biomedical science.

%B Worldviews, science and us : bridging knowledge and its implications for our perspectives on the world %I World Scientific Publishing Company %@ 9789814383073 %G eng %U http://www.worldscibooks.com/general/8341.html %0 Generic %D 2012 %T History and Philosophy of Science: From Peaceful Coexistence to Golden Age of Interdisciplinarity? %A Ducheyne, Steffen %E Aerts, Diederik %E Broekaert, Jan %E D'Hooghe, Bart %E Note, Nicole %B Worldviews, Science and Us: Bridging Knowledge and its Implications for our Perpectives on the World. %I World Scientific Publishing Company %C Singapore %P 26-36 %G eng %0 Generic %D 2012 %T An Interdisciplinary Focus on the Concept of Causation: What philosophy can learn from psychology %A De Vreese, Leen %E Aerts, Diederik %E Broekaert, Jan %E D'Hooghe, Bart %E Note, Nicole %X

In philosophy of science, it is still a mainstream practice to search for the `truth' about fundamental scientific concepts in isolation, blind to knowledge achieved in other domains of science. I focus on the topic of causation. I argue that it is worthwhile for philosophy of science to leave its metaphysical tower in order to pick up knowledge from other domains where empirical research on causal reasoning is carried out, such as psychology. I will demonstrate what the psychologist Peter White's theory, on the origin and development of causal reasoning, can impart to philosophy of causation. It concerns different but interre- lated subjects with respect to the philosophy of causation: conceptual pluralism, a core causal concept of causation, the analysis of \what cau- sation is", epistemological pluralism, causation as a secondary quality and weak causal realism. The divide between metaphysical and epis- temological approaches to causation|and hence between philosophy and psychology|may be much smaller than is often presupposed. Keywords: philosophy of causation, developmental psychology, causal pluralism, interdisciplinarity

%B Worldviews, Science and Us: Bridging Knowledge and its Implications for our Perpectives on the World. %I World Scientific Publishing Company %C Singapore %P 55-71 %G eng %0 Generic %D 2012 %T Metaphysics and Cinema %A Christiaens, Wim %E Aerts, Diederik %E Broekaert, Jan %E D'Hooghe, Bart %E Note, Nicole %B Worldviews, Science and Us: Bridging Knowledge and its Implications for our Perpectives on the World. %I World Scientific Publishing Company %C Singapore %P 118-141 %G eng %0 Conference Proceedings %B 11th International Conference on Deontic Logic in Computer Science, DEON2012 %D 2012 %T An Andersonian deontic logic with contextualized sanctions %A Straßer, Christian %A Beirlaen, Mathieu %E Agotnes, Thomas %E Broersen, Jan %E Elgesem, Dag %X

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.

%B 11th International Conference on Deontic Logic in Computer Science, DEON2012 %I Springer %P 151-169 %@ 9783642315695 %G eng %0 Conference Proceedings %B Third Workshop in the Philosophy of Information %D 2012 %T Reasoning with computer-assisted experiments in mathematics %A De Mol, Liesbeth %E Primiero, Giuseppe %E Allo, Patrick %B Third Workshop in the Philosophy of Information %I Koninklijke Vlaamse Academie van België door Wetenschappen en Kunsten %P 80-92 %G eng %0 Generic %D 2012 %T What is there beyond Mertonian and dollar green science? Exploring the contours of epistemic democracy %A Van Bouwel, Jeroen %E Vanderbeeken, Robrecht %E Le Roy, Frederik %E Stalpaert, Christel %E Aerts, Diederik %X

The story is sometimes told as follows: Once science was a disinterested activity giving scientists the opportunity to freely solve the puzzle of nature to the benefit of all. Nowadays science seems more and more driven by the search for patents and dollars compelling scientists to follow the logic of capitalism and corporatization. Take-home lesson: science is for sale and we should do everything to reverse this evolution. In this contribution, I want to analyze the narrator’s assumptions implicit in this account of science. In particular, the rosy description of earlier disinterested forms of scientific research will be questioned, as well as the lack of alternatives to the dichotomy disinterested versus corporatized. I will argue that beyond the dichotomy an interest-driven science can be conceived framed within an epistemic democracy.

%B Drunk on capitalism : an interdisciplinary reflection on market economy, art and science %I Springer %V 11 %P 35–48 %@ 9789400720817 %G eng %0 Generic %D 2011 %T An atlas for the social world: what should it (not) look like? Interdisciplinarity and pluralism in the social sciences %A Van Bouwel, Jeroen %E Aerts, Diederik %E D'Hooghe, Bart %E Pinxten, Rik %E Wallerstein, Immanuel %X

Starting from the analogy between theories and maps, I will spell out which interdisciplinary approach to the social sciences can provide us with the atlas we need to navigate in the social world. After comparing the features of theories and maps in section 1, I elaborate how different social theories can collaborate or get into a dialogue in section 2, summarizing the different strategies that have been defended for interdisciplinarity in social science: theory-, method-, metaphysics-, and question-driven interdisciplinarity, which I will illustrate with actual proposals made by, inter alia, World-Systems Analysis, Critical Realism and Economics Imperialism. Building on the framework of explanatory pluralism I have been developing before, I will make a case for question-driven interdisciplinarity in section 3. My argument for question-driven interdisciplinarity will be illustrated in section 4 by discussing recent developments in economics (i.e., the debate between the orthodoxy and heterodox theories, the pleas for pluralism, and the impact of globalisation –and related institutional developments- on economics as a discipline). In conclusion, the contours of an adequate atlas for the social world should become clearer; when to use the different maps, how to activate the dialogue between social scientific disciplines in order to draw the different maps, and the risks of globalisation for social science (and adequate map making).

%B Worldviews, Science and Us: Interdisciplinary Perspectives on Worlds, Cultures and Society. %S Worldviews, science and us : interdisciplinary perspectives on worlds, cultures and society %I World Scientific Publishing Company %P 43–72 %@ 9789814355056 %G eng %0 Generic %D 2011 %T On the necessity of (sometimes) being synthetic. Comment on Poggiolesi. %A Primiero, Giuseppe %E Allo, Patrick %E Primiero, Giuseppe %B Third Workshop in the Philosophy of Information %I Koninklijke Vlaamse Academie van België %C Brussels %P 63-68 %G eng %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 The Reasoner %D 2011 %T Report 3rd Workshop in the Philosophy of Information %A Allo, Patrick %A Primiero, Giuseppe %B The Reasoner %V 1 %P 6-7 %G eng %0 Generic %D 2010 %T What About Interdisciplinarity Within Philosophy? %A Vanderbeeken, Robrecht %E Aerts, Diederik %B Worldviews, Science and Us: Bridging Knowledge and Its Implications For Our Perspectives on the World %I World Scientific Publishing Company %P 10–25 %G eng %0 Generic %D 2008 %T On Possibilities and Thought Experiments %A Batens, Diderik %E Almeder, Robert %X

This paper concerns two related recent books by Nicholas Rescher, Imagining Irreality on possibilities and What If? on thought experiments. Apart from an expository part, the present contribution consist on the one hand of some proposed elaborations, especially of two technical points, and on the other hand of some discussion concerning points where I am in doubt about Rescher's precise stand and of some suggestions for further research.

%B Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher %I Ontos Verlag %C Frankfurt %P 29–57 %G eng %0 Conference Paper %B Proceedings of the European Cognitive Science Conference 2007 %D 2007 %T On the Implementation of Concept Structures in Fuzzy Logic. %A van der Waart van Gulik, Stephan %E Vosniadou, S. %E Kayser, D. %E Athanassios, P. %X

A procedure is presented which can modify a large number of fuzzy logics in such a way that the result integrates a logically meaningful representation of the family resemblance structure of fuzzy concepts. The most important aspect of this modification is the implementation of so-called ‘concept matrices’. The interpretation and construction of these new formal objects is based upon Fintan Costello’s ‘Diagnostic Evidence Model’ (2000), a contemporary cognitive scientific model of concept structure and concept combination. As a result, it becomes possible to formalize, explain and simulate new logical aspects of cognitive fuzziness such as meaning transformations by means of non-scalar hedges, and interpretational and inferential operations over non-intersective concept combinations.

%B Proceedings of the European Cognitive Science Conference 2007 %G eng %0 Generic %D 2007 %T Some notes on Aerts' interpretation of the EPR-paradox and the violation of Bell-inequalities %A Christiaens, Wim %A Czachor, Marek %E Aerts, Diederik %E Durt, Thomas %B Probing the Structure of Quantum Mechanics: Nonlinearity, Nonlocality, Probability and Axiomatics %I World Scientific %P 250–286 %G eng %0 Generic %D 2006 %T The idea of social mechanisms in social scientific explanations. %A Van Bouwel, Jeroen %E Arlsdale, John Z. %B Progress in Social Psychology Research %S Advances in social psychology research %I Nova Science %P 83–95 %@ 1594546584 %G eng %0 Generic %D 2005 %T Empirical Progress and Ampliative Adaptive Logics %A Meheus, Joke %E Festa, Roberto %E Aliseda, Atocha %E Peijnenburg, Jeanne %B Confirmation, Empirical Progress, and Truth Approximation. Essays in Debate with Theo Kuipers. Vol. 1 %S Poznan Studies in the Philosophy of the Sciences and the Humanities %I Rodopi %C Amsterdam/New York %V 83 %P 193–217 %G eng %0 Conference Proceedings %B Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) %D 2001 %T Non-truth-functional fibred semantics %A Caleiro, Carlos %A Marcos, João %E Arabnia, Hamid R. %X

Until recently, truth-functionality has been considered essential to the mechanism for combining logics known as fibring. Following the first efforts towards extending fibred semantics to logics with nontruth- functional operators, this paper aims to clarify the subject at the light of ideas borrowed from the theory of general logics as institutions and the novel notion of non-truth-functional room. Besides introducing the relevant concepts and constructions, the paper presents a detailed worked example combining classical first-order logic with the paraconsistent propositional system C1, for which a meaningful semantics is obtained. The possibility of extending this technique to build rst-order versions of further logics of formal inconsistency is also discussed.

%B Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) %I CSREA Press %V 2 %P 841–847 %G eng %0 Conference Proceedings %B Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) %D 2001 %T Tableau systems for logics of formal inconsistency %A Carnielli, Walter A. %A Marcos, João %E Arabnia, Hamid R. %X

The logics of formal inconsistency (LFI’s) are logics that allow to explicitly formalize the concepts of consistency and inconsistency by means of formulas of their language. Contradictoriness, on the other hand, can always be expressed in any logic, provided its language includes a symbol for negation. Besides being able to represent the distinction between contradiction and inconsistency, LFI’s are non-explosive logics, in the sense that a contradiction does not entail arbitrary statements, but yet are gently explosive, in the sense that, adjoining the additional requirement of consistency, then contradictoriness do cause explosion. Several logics can be seen as LFI’s, among them the great majority of paraconsistent systems developed under the Brazilian and Polish tradition. We present here tableau systems for some important LFI’s: bC, Ci and LFI1.

%B Proceedings of the International Conference on Artificial Intelligence (IC-AI'2001) %I {CSREA} Press, Athens {GA}, {USA} %P 848-852 %G eng %0 Generic %D 2000 %T De eenheid van de inhoud %A Christiaens, Wim %E Apostel, Leo %X

In deze tekst richten we onze aandacht niet zozeer op het inleiding van manuscripten Natuurfilosofie en Oorsprong. Veelmeer belichten we de belangrijkste bouwstenen van Apostels project voor een metafysica en proberen we enkele centrale noties te verhelderen. Met de titel 'de eenheid van de inhoud' wordt reed gewezen op het coherente onderbouwde ideeëngoed van Apostel. We zullen zien dat het begrip causaliteit als een rode draad doorheen Apostels filosofie loopt. We gaan er dan ook iets uitvoeriger op in. We kunnen hier evenwel niet uitgebreid ingaan op alle aspecten die we ter sprake brengen, maar zullen geregeld verwijzen naar publicaties in de voetnoten. We hopen op deze manier geïnteresseerden een instrument in handen te geven dat toelaat dieper in te gaan op de filosofie van Apostel.

%B Natuurfilosofie. Voorbereidend werk voor een op de fysica gebaseerde ontologie %I VUB %P 9-35 %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 1994 %T Determinisme en indeterminisme %A Batens, Diderik %E Verbeure, Frans %E Apostel, Leo %B Verwijdering of ontmoeting? %I Pelckmans %P 183–202 %G eng %0 Generic %D 1986 %T Some remarks on the structural similarity between music and logic %A Batens, Diderik %E Apostel, Leo %E Sabbe, Herman %E Vandamme, Fernand %B Reason, Emotion and Music. Towards a Common Structure for Arts, Sciences and Philosophies, Based on a Conceptual Framework for the Description of Music %I Communication & Cognition %P 127–143 %G eng %0 Journal Article %J Logique et Analyse %D 1982 %T Russell's Set versus the Universal Set in Paraconsistent Set Theory %A Arruda, Ayda I. %A Batens, Diderik %B Logique et Analyse %V 25 %P 121–133 %G eng %0 Generic %D 1979 %T An empirical investigation on scientific observation %A Apostel, Leo %A Batens, Diderik %A Breusegem, Erwin %A De Coninck, Jan %A De Waele, Danny %A Pinxten, Rik %A Swings, Jean %A Van Bendegem, Jean Paul %A Vandamme, Fernand %E Callebaut, Werner %E De Mey, Marc %E Pinxten, Rik %E Vandamme, Fernand %B Theory of Knowledge and Science Policy %I Communication & Cognition %P 3–36 %G eng