TY - JOUR T1 - Paradoxes of informal provability and many-valued indeterministic provability logic Y1 - Submitted A1 - Urbaniak, Rafal A1 - Pawlowski, Pawel ER - TY - UNPB T1 - Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications Y1 - Submitted A1 - Van De Putte, Frederik A1 - Klein, Dominik ER - TY - UNPB T1 - Pooling Modalities and Pointwise Intersection: Semantics, Expressivity, and Applications Y1 - Submitted A1 - Frederik Van De Putte ED - Klein, Dominik KW - classical modal logics KW - coalition logic KW - distributed belief KW - multi-agent systems KW - pointwise intersection KW - pooling modalities AB -
We study classical modal logics with pooling modalities, i.e. unary modal operators that allow one to express properties of sets obtained by the pointwise intersection of neighbourhoods. We discuss salient properties of these modalities, situate the logics in the broader area of modal logics (with a particular focus on relational semantics), establish key properties concerning their expressive power, and discuss their application to epistemic/doxastic logic, the logic of evidence-based belief, deontic logic, and logics of agency and ability.
ER - TY - JOUR T1 - Proof systems for BAT consequence relations JF - The Logic Journal of IGPL Y1 - In Press A1 - Pawlowski, Pawel ER - TY - JOUR T1 - Pooling Modalities and Pointwise Intersection: Axiomatization and Decidability JF - Studia Logica Y1 - 2020 A1 - Van De Putte, Frederik A1 - Klein, Dominik AB -We establish completeness and the finite model property for logics featuring the pooling modalities that were introduced in Van De Putte and Klein (Pooling modalities and pointwise intersection: semantics, expressivity, and applications). The definition of our canonical models combines standard techniques with a so-called “puzzle piece construction”, which we first illustrate informally. After that, we apply it to the weakest classical logics with pooling modalities and investigate the technique’s potential for the axiomatization of stronger logics, obtained by imposing well-known frame conditions on the models.
VL - online first ER - TY - UNPB T1 - Pointwise intersection in neighbourhood modal logic Y1 - 2018 A1 - Van De Putte, Frederik A1 - Klein, Dominik ER - TY - Generic T1 - Paradoxen in de vrijmetselarij en de relatie met waarden Y1 - 2017 A1 - Batens, Diderik ED - Rik Pinxten ED - Jean Swings JA - Kappen aan de ruwe steen PB - Academic and Scientific Publishers CY - Brussel SP - 319–336 ER - TY - JOUR T1 - Participation beyond consensus? Technology assessments, consensus conferences and democratic modulation. JF - Social Epistemology Y1 - 2017 A1 - Van Bouwel, Jeroen A1 - Van Oudheusden, Michiel AB -In this article, we inquire into two contemporary participatory formats
that seek to democratically intervene in scientific practice: the consensus
conference and participatory technology assessment (pTA). We explain how
these formats delegitimize conflict and disagreement by making a strong
appeal to consensus. Based on our direct involvement in these formats and
informed both by political philosophy and science and technology studies,
we outline conceptions that contrast with the consensus ideal, including
dissensus, disclosure, conflictual consensus and agonistic democracy.
Drawing on the notion of meta-consensus and a distinction between
four models of democracy (aggregative, deliberative, participatory and
agonistic), we elaborate how a more positive valuation of conflict provides
opportunities for mutual learning, the articulation of disagreement, and
democratic modulation—three aspirations that are at the heart of most
pTAs and consensus conferences. Disclosing the strengths and weaknesses
of these different models is politically and epistemically useful, and should
therefore be an integral part of the development of participation theory and
process in science and technology.
Joke Meheus and Bert Leuridan
ER - TY - JOUR T1 - Plural quantifiers: a modal interpretation JF - Synthese Y1 - 2014 A1 - Urbaniak, Rafal AB -One of the standard views on plural quantification is that its use commits one to the existence of abstract objects-sets. On this view claims like 'some logicians admire only each other' involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates-substitutional and set-theoretic-only the latter can provide the language of plurals with the desired expressive power (given that the nominalist seems committed to the assumption that there can be at most countably many names). To counter this approach I develop a modal-substitutional semantics of plural quantification (on which plural variables, roughly speaking, range over ways names could be) and argue for its nominalistic acceptability.
VL - 191 SP - 1605–1626 ER - TY - Generic T1 - Pluralists about pluralism? Different versions of explanatory pluralism in psychiatry Y1 - 2014 A1 - Van Bouwel, Jeroen ED - Galavotti, Maria Carla ED - Dieks, Dennis ED - Gonzalez, Wenceslao J. ED - Hartmann, Stephan ED - Uebel, Thomas ED - Weber, Marcel AB -In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings of explanatory pluralism both within philosophy of science and psychiatry – namely moderate/temporary pluralism, anything goes pluralism, isolationist pluralism, integrative pluralism and interactive pluralism. Next, I discuss the pros and cons of these different understandings of explanatory pluralism. Finally, I raise the question of how to implement or operationalize explanatory pluralism in scientific practice; how to structure the “genuine dialogue” or shape “the pluralistic attitude” Campaner is referring to. As tentative answers, I explore a question-based framework for explanatory pluralism as well as social-epistemological procedures for interaction among competing approaches and explanations.
JA - New directions in the philosophy of science PB - Springer SP - 104–119 SN - 9783319043814 ER - TY - Generic T1 - The Proof Is in the Process: A Preamble for a Philosophy of Computer-Assisted Mathematics Y1 - 2014 A1 - De Mol, Liesbeth ED - Galavotti, Maria Carla ED - Dieks, Dennis ED - Gonzalez, Wenceslao J. ED - Hartmann, Stephan ED - Uebel, Thomas ED - Weber, Marcel AB -According to some well-known mathematicians well-versed in computer-assisted mathematics (CaM), Computers are changing the way we are doing mathematics. To what extent this is really true is still an open question. Indeed, even though some philosophers of math have taken up the challenge to think about CaM, it is unclear in what sense exactly a machine (can) affect(s) the so-called queen of the sciences. In fact, some have concluded that issues raised by the use of the computer in mathematics are not specific to the use of the computer per se. However, such findings seem precarious since a systematic study of computer-assisted mathematics is still lacking. In this paper I argue that in order to understand the impact of CaM, it is necessary to take more seriously the computer itself and how it is actually used in the process of doing mathematics. Within such an approach, one searches for characteristics that are specific to the use of the computer in mathematics. I will focus on a feature that is beyond any doubt inherently connected to the use of computing machinery, viz. mathematician-computer interactions. I will show how such interactions are fundamentally different from the usual interactions between mathematicians and non-human aids (a piece of paper, a blackboard etc) and how such interactions determine at least two more characteristics of CaM, viz. the significance of time and processes and the steady process of internalization of mathematical tools and knowledge into the machine. I will restrict myself to the use of the computer within so-called experimental mathematics since this is the main object of CaM within the philosophical literature.
JA - New Directions in the Philosophy of Science T3 - The Philosophy of Science in a European Perspective PB - Springer VL - 5 SP - 15–33 ER - TY - JOUR T1 - Propositional Logic Extended With A Pedagogically Useful Relevant Implication JF - Logic and Logical Philosophy Y1 - 2014 A1 - Batens, Diderik AB -First and foremost, this paper concerns the combination of classical propositional logic with a relevant implication. The proposed combination is simple and transparent from a proof theoretic point of view and at the same time extremely useful for relating formal logic to natural language sentences. A specific system will be presented and studied, also from a semantic point of view. The last sections of the paper contain more general considerations on combining classical propositional logic with a relevant logic that has all classical theorems as theorems.
VL - 23 SP - 245–276 ER - TY - Generic T1 - Pauli's idea of the neutrino: how models in physics allow to revive old ideas for new purposes Y1 - 2013 A1 - Gauderis, Tjerk ED - Magnani, Lorenzo AB -Abstract Models have proven themselves to be the key catalyst of many new ideas in science. However, it is not yet fully clarified why models can fulfill such an important heuristic role. The two main reasons stated in the literaturethe mental simulation of various scenarios and the wide cross-fertilization across various disciplinesseem to leave out one of the most obvious features of models: they are designed for a purpose. Therefore I investigated why, while the construction of models is a goal-oriented task with a predefined purpose, the use of models yields so many new ideas in science. This paper presents my conceptual analysis together with a detailed historical case study. The functional design of models forces scientists to explore vigorously older ideas to adapt them: as the lacunas in a functional model are also functional, scientists need to modify older ideas (that were formulated for different purposes) to fit the present functional gaps in their models. As such, they construct new ideas. The detailed historical case study exemplifies this by showing how Paulis original suggestion of the neutrino was, in fact, such an adaptation of Rutherfords earlier idea of the neutron. The present analysis and case study suggest that functional adaptations are salient but often overlooked features of model based investigation.
JA - Model-based reasoning in science and technology : theoretical and cognitive issues PB - Springer SP - 449-461 ER - TY - JOUR T1 - Plausibility versus richness in mechanistic models JF - PHILOSOPHICAL PSYCHOLOGY Y1 - 2013 A1 - Gervais, Raoul A1 - Weber, Erik AB -In this paper we argue that in recent literature on mechanistic explanations, authors tend to conflate two distinct features that mechanistic models can have or fail to have: plausibility and richness. By plausibility, we mean the probability that a model is correct in the assertions it makes regarding the parts and operations of the mechanism, i.e., that the model is correct as a description of the actual mechanism. By richness, we mean the amount of detail the model gives about the actual mechanism. First, we argue that there is at least a conceptual reason to keep these two features distinct, since they can vary independently from each other: models can be highly plausible while providing almost no details, while they can also be highly detailed but plainly wrong. Next, focusing on Craver's continuum of how-possibly, to how-plausibly, to how-actually models, we argue that the conflation of plausibility and richness is harmful to the discussion because it leads to the view that both are necessary for a model to have explanatory power, while in fact, richness is only so with respect to a mechanism's activities, not its entities. This point is illustrated with two examples of functional models.
VL - 26 SP - 139–152 ER - TY - JOUR T1 - Preferential Semantics using Non-smooth Preference Relations JF - Journal of Philosophical Logic Y1 - 2013 A1 - Van De Putte, Frederik A1 - Straßer, Christian AB -This paper studies the properties of eight semantic consequence relations defined from a Tarski-logic L and a preference relation &\#8826;. They are equivalent to Shohams so-called preferential entailment for smooth model structures, but avoid certain problems of the latter in non-smooth configurations. Each of the logics can be characterized in terms of what we call multi-selection semantics. After discussing this type of semantics, we focus on some concrete proposals from the literature, checking a number of meta-theoretic properties and elaborating on their intuitive motivation. As it turns out, many of their meta-properties only hold in case &\#8826; is transitive. To tackle this problem, we propose slight modifications of each of the systems, showing the resulting logics to behave better at the intuitive level and in metatheoretic terms, for arbitrary &\#8826;.
VL - 43 SP - 903–942 ER - TY - JOUR T1 - Prime implicates and relevant belief revision JF - Journal of Logic and Computation Y1 - 2013 A1 - Van De Putte, Frederik AB -This article discusses Parikhs axiom of relevance in belief revision, and recalls some results from Kourousias and Makinson (2007, J. Symbolic Logic, 72, 9941002) in this context. The crucial distinction is emphasized between the uniqueness of the finest splitting of K and the fact that K has several normal forms associated with that finest splitting. The main new result of this article is a new proof for the theorem that the set of prime implicates of K is a normal form for the finest splitting of K. It is explained how this proof avoids a mistake in an earlier proof from Wu and Zhang (2010, Knowledge-Based Syst., 23, 7076). As a corollary, relevance can be re-defined without reference to the finest splitting, using the notion of path-relevance from Makinson (2009, J. Appl. Logic, 7, 377387). Finally, a weak yet sufficient condition for irrelevance is presented.
VL - 23 SP - 109–119 ER - TY - JOUR T1 - 'Platonic' thought experiments: how on earth JF - Synthese Y1 - 2012 A1 - Urbaniak, Rafal AB -Brown (The laboratory of the mind. Thought experiments in the natural science, 1991a, 1991b; Contemporary debates in philosophy of science, 2004; Thought experiments, 2008) argues that thought experiments (TE) in science cannot be arguments and cannot even be represented by arguments. He rest his case on examples of TEs which proceed through a contradiction to reach a positive resolution (Brown calls such TEs "platonic"). This, supposedly, makes it impossible to represent them as arguments for logical reasons: there is no logic that can adequately model such phenomena. (Brown further argues that this being the case, "platonic" TEs provide us with irreducible insight into the abstract realm of laws of nature). I argue against this approach by describing how "platonic" TEs can be modeled within the logical framework of adaptive proofs for prioritized consequence operations. To show how this mundane apparatus works, I use it to reconstruct one of the key examples used by Brown, Galileo's TE involving falling bodies.
VL - 187 SP - 731–752 ER - TY - Generic T1 - Pragmatic approaches to explanation applied to the cognitive sciences: two types of explanation-seeking questions compared Y1 - 2012 A1 - Gervais, Raoul ED - Van Kerkhove, Bart ED - Libert, Thierry ED - Vanpaemel, Geert ED - Marage, Pierre JA - Logic, Philosophy and History of Science in Belgium II PB - Koninklijke Vlaamse Academie van België SP - 131–137 ER - TY - JOUR T1 - The Problem of Kuhnian Rationality JF - Philosophica Y1 - 2012 A1 - De Langhe, Rogier AB -According to Thomas Kuhn (1962/1970), science is characterized by two levels, one within and one between paradigms. The problem of Kuhnian rationality concerns the choice between paradigms, for which no rational basis appears to exist because this choice is inevitably circular to some extent. This is the main reason why Kuhn's view is perceived to glorify irrationality. (ibid. 199) I present two interpretations of the problem of Kuhnian rationality, one based on concepts (the neo-positivist interpretation) and one based on values. I also describe two notions of rationality, optimizing and satisficing. Neither interpretation supports the notion of optimizing, but the values-interpretation supports satisficing, suggesting that if Kuhnian scientists are rational, as Kuhn insisted, they are satisficers. An agent-based model demonstrates that aggregating the behaviour of satisficing agents can account for Kuhn's view on the dynamics of scientific change.
VL - 86 SP - 11-31 ER - TY - Generic T1 - The problem of multiple explanatory hypotheses T2 - PhDs in Logic III Y1 - 2012 A1 - Gauderis, Tjerk ED - Demey, Lorenz ED - Devuyst, Jonas AB -In abduction the process of finding explanatory hypotheses for puzzling phenomena one is often confronted with multiple explanatory hypotheses. In science one generally wants to test further the different hypotheses one by one. But, if we try to model this in a logic and make it possible to derive the differen t hypotheses apart from each other, we generally can derive their conjunction too. An elegant solution within the framework of adaptive logics is provided in Gauderis (2011). But this approach is not restricted to science. While it is true that a lot of cases in everyday reasoning require a more practical approach in which one acts on the knowledge that all the different hypotheses might be the case there are also a considerable amount of situations in which the more theoretical approach of the scientist is needed. In this paper we try to illustrate this by using this logic to model reasoning within detective literature.
JA - PhDs in Logic III PB - College Publications SP - 45-53 ER - TY - JOUR T1 - A proof procedure for adaptive logics JF - Logic Journal of IGPL Y1 - 2012 A1 - Verdée, Peter AB -In this article, I present a procedure that generates proofs for finally derivable adaptive logic consequences. A proof procedure for the inconsistency adaptive logic CLuNr is already presented in [7]. In this article a procedure for CLuNm is presented and the results for both logics are generalized to all adaptive logics, on the presupposition that there exists a proof procedure for the lower limit logic. The generated proofs are so called goal-directed proofs, i.e. proofs that (i) start with the formula (the goal) of which one wants to know whether it is a consequence of a certain premise set and (ii) only consist of lines that may potentially be useful for proving or disproving the goal. The goal-directed proofs form good explications of actual problem-solving reasoning processes.
VL - 21 SP - 743-766 ER - TY - JOUR T1 - Proof Theories for Superpositions of Adaptive Logics JF - Logique et Analyse Y1 - 2012 A1 - Straßer, Christian A1 - Van De Putte, Frederik AB -The standard format for adaptive logics offers a generic and unifying formal framework for defeasible reasoning forms. One of its main distinguishing features is a dynamic proof theory by means of which it is able to explicate actual reasoning. In many applications it has proven very useful to superpose sequences of adaptive logics, such that each logic treats the consequence set of its predecessor as premise set. Although attempts have been made to define dynamic proof theories for some of the resulting logics, no generic proof theory is available yet. Moreover, the existing proof theories for concrete superpositions are suboptimal in various respects: the derivability relations characterized by these proposals are often not adequate with respect to the consequence relation of the superposed adaptive logics and in some cases they even trivialize premise sets. An adequate and generic proof theory is needed in order to meet the requirement of explicating defeasible reasoning in terms of superpositions of adaptive logics. This paper presents two generic proof theories for superpositions of adaptive logics in standard format. By means of simple examples, the basic ideas behind these proof theories are illustrated and it is shown how the older proposals are inadequate.
SP - 1–33 ER - TY - JOUR T1 - Psychoanalyse en geschiedfilosofie JF - PSYCHOANALYTISCHE PERSPECTIEVEN Y1 - 2012 A1 - Froeyman, Anton VL - 30 SP - 293–306 ER - TY - Generic T1 - A paraconsistent multi-agent framework for dealing with normative conflicts T2 - 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) Y1 - 2011 A1 - Beirlaen, Mathieu A1 - Straßer, Christian ED - Leite, Joao ED - Torroni, Paolo ED - Agotnes, Thomas ED - Boella, Guido ED - van der Torre, Leon AB -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'.
JA - 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII) PB - Springer SP - 312-329 SN - 9783642223587 UR - http://dx.doi.org/10.1007/978-3-642-22359-4 ER - TY - JOUR T1 - Propensities and conditional probabilities JF - International Journal of Approximate Reasoning Y1 - 2011 A1 - Drouet, Isabelle AB -The present paper deals with the objection that Paul Humphreys raised against the propensity interpretation of probability "Humphreys' paradox". An update on existing solutions is oered, and it is concluded that none of them is completely satisfactory in view of Humphreys' 2004 rejoinder. Positively, an original solution is formulated and discussed.
VL - 52 SP - 153–165 ER - TY - Generic T1 - Proto-regress argument schemas Y1 - 2011 A1 - Wieland, Jan Willem JA - ISSA 2010 Proceedings PB - Ghent University. Department of Philosophy and moral sciences SP - 2000–2007 ER - TY - BOOK T1 - Philosophical Aspects of Symbolic Reasoning in Early Modern Mathematics T2 - Studies in Logic Y1 - 2010 ED - Heeffer, Albrecht ED - Van Dyck, Maarten AB -This book presents a selection of peer-reviewed papers which were presented on a conference organized in Ghent, Belgium, from 27 till 29 August, 2009. The conference was given the title Philosophical Aspects of Symbolic Reasoning in Early modern Science and Mathematics (PASR). For this book we selected papers which deal with the consequences for mathematics in particular, hence the omission of ‘science’ in the title of this book. Another selection, dealing with the understanding of nature and a broader range of topics, will appear in the journal Foundations of Science. The conference was sponsored by the Research Foundation Flanders (FWO) and Ghent University, which indirectly made this book possible. We also have to thank the other members of the programme committee Marco Panza, Chikara Sasaki, and Erik Weber and our keynote speakers Jens Høyrup, Doug Jesseph, Eberhard Knobloch, Marco Panza, Mathias Schemmel and Michel Serfati. Five of their papers are included in this volume. Most of the papers benefited from valuable and sometimes substantive comments by our referees which must remain anonymous. Special thanks to Michael Barany who assisted in the editorial process.
JA - Studies in Logic PB - College Publications VL - 26 SP - 302 SN - 978-1-84890-017-2 ER - TY - JOUR T1 - A Pragmatic Account of Functions JF - Ghent University, Ghent Y1 - 2010 A1 - De Winter, Jan AB -In this article, a pluralism of function concepts is defended on the basis of pragmatic considerations. It is shown that we use functional statements for a variety of explanatory purposes, and that each explanatory purpose asks for a specific notion of function. More specifically, I argue that the meaning of the statement the function of x is to depends on the explanation-seeking question that this statement is supposed to answer, and that we cannot construct one ultimate notion of function that is appropriate in every explanatory context. Several explanation-seeking questions are explicated, as well as the function concepts that can be used to answer them, resulting in a pragmatic framework for function concepts. This framework is applied to both the technical and the biological domain.
UR - http://logica.ugent.be/centrum/preprints/De_Winter_-_Functional_Explanation__DRAFT_24_.pdf ER - TY - JOUR T1 - PhD's in Logic - report (with S. Wintein) JF - The Reasoner Y1 - 2009 A1 - Urbaniak, Rafal VL - 3 SP - 6–7 ER - TY - Generic T1 - Prioritized Dynamic Retraction Function on Non-monotonic Information Updates Y1 - 2009 A1 - Primiero, Giuseppe ED - Carnielli, Walter A. ED - Coniglio, Marcelo E. ED - Loffredo D'Ottaviano, Itala M. AB -In this paper a model for updates on belief sets and retractions thereof is introduced using the standard format of Adaptive Logics. The core of the update retraction procedure is represented by abnormal expressions derivable in the language: they express updates with information con- tradicting previously derived contents. The adaptive strategy aims at restricting the validity of these formulas by focusing at each decreasing degree on the update which is the most rational to retract in order to re- store consistency as soon as possible. This work is related to the standard operations of retraction and withdrawal from the AGM-paradigm and the eects of dynamic operations such as public announcement in Dynamic Epistemic Logic.
JA - The Many Sides of Logic PB - College Publications CY - London SP - 443-463 ER - TY - Generic T1 - Probabilistic Analyses and the Humean Conception of the Relationship between Levels of Causality Y1 - 2009 A1 - Drouet, Isabelle ED - Weber, Erik ED - Libert, Thierry ED - Marage, Pierre ED - Vanpaemel, Geert JA - Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008 PB - Koninklijke Vlaamse Academie van België CY - Brussel SP - 68–72 ER - TY - Generic T1 - The problem with(out) consensus: The scientific consensus, deliberative democracy and agonistic pluralism. Y1 - 2009 A1 - Van Bouwel, Jeroen ED - Van Bouwel, Jeroen JA - The social sciences and democracy T3 - The Social Sciences and Democracy PB - Palgrave Macmillan SP - 121–142 SN - 978-0230224391 ER - TY - JOUR T1 - Proceeding in abstraction: from concepts to types and the recent perspective on information JF - History and Philosophy of Logic Y1 - 2009 A1 - Primiero, Giuseppe AB -This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) -systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories.
VL - 30 SP - 257–282 UR - http://dx.doi.org/10.1080/01445340902872630 ER - TY - Generic T1 - On Possibilities and Thought Experiments Y1 - 2008 A1 - Batens, Diderik ED - Almeder, Robert AB -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.
JA - Rescher Studies. A Collection of Essays on the Philosophical Work of Nicholas Rescher PB - Ontos Verlag CY - Frankfurt SP - 29–57 ER - TY - JOUR T1 - The practical value of spurious correlations: selective versus manipulative policy JF - Analysis Y1 - 2008 A1 - Leuridan, Bert A1 - Weber, Erik A1 - Van Dyck, Maarten VL - 68 SP - 298–303 ER - TY - JOUR T1 - A pragmatist defense of non-relativistic explanatory pluralism in history and social science. JF - History and theory Y1 - 2008 A1 - Van Bouwel, Jeroen A1 - Weber, Erik AB -Explanatory pluralism has been defended by several philosophers of history and social science, recently, for example, by Tor Egil Forland in this journal. In this article, we provide a better argument for explanatory pluralism, based on the pragmatist idea of epistemic interests. Second, we show that there are three quite different senses in which one can be an explanatory pluralist: one can be a pluralist about questions, a pluralist about answers to questions, and a pluralist about both. We defend the last position. Finally, our third aim is to argue that pluralism should not be equated with "anything goes": we will argue for non-relativistic explanatory pluralism. This pluralism will be illustrated by examples from history and social science in which different forms of explanation (for example, structural, functional, and intentional explanations) are discussed, and the fruitfulness of our framework for understanding explanatory pluralism is shown.
VL - 47 SP - 168–182 ER - TY - JOUR T1 - A preliminary study of the appropriation of Van Helmont's oeuvre in Britain in chymistry, medicine and natural philosophy JF - Ambix Y1 - 2008 A1 - Ducheyne, Steffen AB -Van Helmont's work was of major importance in seventeenth-century medicine, chymistry and natural philosophy. His work was a source of inspiration and mystery and an authoritas. His oeuvre was, together with that of many others, the culminating point of an ongoing process, starting in the Middle Ages, of turning medicine into a scientific discipline. In this essay, the appropriation, that is, the process of assimilation of an author's work by other scholars, of Van Helmont's oeuvre in England will be studied among chymists, physicians and natural philosophers (the distinctions between these three groups is primarily conceptual, but in practice hard to distinguish). Appropriation reminds us that the process of assimilating ideas of an author by contemporaries or later generations is not a passive activity, for scholars actively adapt and interpret them in new ways not initially envisaged by its original author.
VL - 55 SP - 122–135 UR - http://dx.doi.org/10.1179/174582308X255479 ER - TY - Generic T1 - Protagoras en het kennistheoretisch relativisme Y1 - 2008 A1 - Weber, Erik ED - Praet, Danny JA - Us and Them. Essays over filosofie, politiek, religie en cultuur van de Antieke Oudheid tot Islam in Europa ter ere van Herman De Ley PB - Academia Press CY - Gent SP - 181–192 SN - 9789038212791 ER - TY - CONF T1 - A pragmatist approach to the plurality of explanations in international relations theory T2 - 6th Pan-European conference on international relations, Proceedings Y1 - 2007 A1 - De Langhe, Rogier A1 - Weber, Erik A1 - Van Bouwel, Jeroen AB -One of the main problems scientists –physicists and political scientists alike- face, is the problem of the plurality of explanations. Graham Allison’s classic study of the Cuban Missile Crisis is an excellent example of problem-focused research and an intriguing instance of this problem in International Relations Theory. He leaves us with three versions of the events, which raised more questions than Allison could apparently answer: instructions for concerted action or discrimination between his ‘conceptual models’ remain very sketchy. This paper aims to show that replacing Allison’s use of Hempel’s (then fashionable but now rather outdated) covering-law model of explanation with a pragmatist account of explanation offers a way to break the deadlock Allison was faced with. In particular, we will show that a specification of the epistemic interests of the explainer enables us to narrow down the number of available explanations.
JA - 6th Pan-European conference on international relations, Proceedings PB - The Standing Group of International Relations of the ECPR UR - http://turin.sgir.eu/uploads/De%20Langhe-SGIR%20Rogier%20De%20Langhe%20-%20Erik%20Weber%20-%20Jeroen%20Van%20Bouwel.pdf ER - TY - Generic T1 - Pluralisme versus Monisme in het Filosofische Debat over Causaliteit. Naar een Zinvolle Pluralistische Benadering van Causaliteit als Theoretisch Kader voor de Explicatie van Causaal Redeneren. Y1 - 2006 A1 - De Vreese, Leen PB - Ghent University U1 -Erik Weber
ER - TY - ABST T1 - Post's machine Y1 - 2006 A1 - De Mol, Liesbeth AB -In 1936 Turing gave his answer to the question What is a computable number? by constructing his now well-known Turing machines as formalisations of the actions of a human computor. Less well-known is the almost synchronously published result by Emil Leon Post, in which a quasi-identical mechanism was developed for similar purposes. In 1979 these Post toy machines were described in a little booklet, called Posts machine by the Russian mathematician Uspensky. The purpose of this text was to advance abstract concepts as algorithm and programming for school children. In discussing this booklet in relation to the historical text it is based on, the author wants to show how this kind of ideas cannot only help to teach school children some of the basics of computer science, but furthermore contribute to a training in formal thinking.
ER - TY - JOUR T1 - The paradox of conceptual novelty and Galileo's use of experiments JF - Philosophy of Science Y1 - 2005 A1 - Van Dyck, Maarten AB -Starting with a discussion of what I call Koyrés paradox of conceptual novelty, I introduce the ideas of Damerow et al. on the establishment of classical mechanics in Galileos work. I then argue that although their view on the nature of Galileos conceptual innovation is convincing, it misses an essential element: Galileos use of the experiments described in the first day of the Two New Sciences. I describe these experiments and analyze their function. Central to my analysis is the idea that Galileos pendulum experiments serve to secure the reference of his theoretical models in actually occurring cases of free fall. In this way, Galileos experiments constitute an essential part of the meaning of the new concepts of classical mechanics.
VL - 72 SP - 864–875 UR - http://dx.doi.org/1854/10928 ER - TY - JOUR T1 - Paul Otlet's theory of knowledge and linguistic objectivism JF - Knowledge Organization Y1 - 2005 A1 - Ducheyne, Steffen AB -In this paper, I point to the importance of an often neglected objectivist strand in Paul Otlet's (1868-1944) thinking: his linguistic objectivism. Linguistic objectivism consists in the view that linguistic atoms uniquely correspond to certain discrete and well-defined elements in the world and further combinations of these linguistic atoms can objectively capture "the order of the world". This analysis tempers some of the past claims on the influence of positivism on Otlet.
VL - 32 SP - 110–116 ER - TY - JOUR T1 - A Procedural Criterion for Final Derivability in Inconsistency-Adaptive Logics JF - Journal of Applied Logic Y1 - 2005 A1 - Batens, Diderik AB -This paper concerns a (prospective) goal directed proof procedure for the propositional fragment of the inconsistency-adaptive logic ACLuN1. At the propositional level, the procedure forms an algorithm for final derivability. If extended to the predicative level, it provides a \emph{criterion} for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.
VL - 3 SP - 221–250 ER - TY - Generic T1 - Prospectieve Dynamiek. Filosofische en Technische Onderbouwing van Doelgerichte Bewijzen en Bewijsheuristieken Y1 - 2005 A1 - Provijn, Dagmar PB - Ghent University U1 -Diderik Batens
ER - TY - JOUR T1 - Paraconsistent Compatibility JF - Logique et Analyse Y1 - 2003 A1 - Meheus, Joke AB -In this paper, I present two adaptive logics for paraconsistent com-patibility. The consequence relation defined by these logics leads from a (possibly inconsistent) set of premises to all the sentences that are com-patible with them. Their proof theory is dynamic, but is proven sound and complete with respect to a static semantics. For the consistent case, both logics lead to exactly the same results as the logics for classical com-patibility that were presented in [11]. It is shown that paraconsistent compatibility cannot be defined with respect to a monotonic paraconsistent logic, but only with respect to an inconsistency-adaptive logic. The paper contains modal versions of two well-studied inconsistency-adaptive logics. These modal versions form the basis for the logics for paraconsistent compatibility, but are also interesting with respect to other applications.
VL - 46 SP - 251–287 ER - TY - RPRT T1 - A Paraconsistent Proof Procedure Based on Classical Logic Y1 - 2003 A1 - Batens, Diderik AB -Apparently Ex Falso Quodlibet (or Explosion) cannot be isolated within CL (Classical Logic); if Explosion has to go, then so have other inference rules, for example either Addition or Disjunctive Syllogism. This cer- tainly holds according to the standard abstract view on logic. However, as I shall show, it does not hold if a logic is defined by a procedure-a set of instructions to obtain a proof (if there is one) of a given conclusion from a given premise set. In this paper I present a procedure pCL¡ that defines a logic CL¡|a function assigning a consequence set to any premise set. Anything deriv- able by CL from a consistent premise set ¡ is derivable from ¡ by CL¡. If ¡ is (CL-)inconsistent, pCL¡ enables one to demonstrate this (by de- riving a contradiction from ¡). The logic CL¡ validates applications of Disjunctive Syllogism as well as applications of Addition. Nevertheless, this logic is paraconsistent as well as (in a specific sense) relevant. pCL¡ derives from an intuitively attractive proof search procedure. A characteristic semantics for CL¡ will be presented and the central prop- erties of the logic will be mentioned. CL¡ shows that (and clarifies how) adherents of CL may obtain non-trivial consequence sets for inconsistent theories.
ER - TY - Generic T1 - A Procedure for Generating (Conditional) Answers in a Goal-Directed Way Y1 - 2003 A1 - Vanderbeeken, Robrecht A1 - De Clercq, Kristof ED - Delrieux, Claudio ED - Legris, Javier AB -Two evolutionary games : collective action and prisoner's dilema / Jakson Alves de Aquino – A formal approach to problem solving / Diderik Batens – Application of mathematics and underdetermination / Ota\unmatched{0301}vio Bueno – A framework for combining defeasible argumentation with labeled deduction / Carlos Iva\unmatched{0301}n Chesn\unmatched{0303}evar and Guillermo Ricardo Simari – A procedure for generating (conditional) answers in a goal-directed way / Kristof De Clerq and Rob Vanderbeken – Abductive inference in defeasible reasoning : a model for research programmes / Claudio Delrieux – Kepler's near discovery of the sine law : a quantitative computational model / Albrecht Heeffer – Default models of rationality / Silvia Lerner – Most inferences are defeasible / Jose\unmatched{0301} Carlos Loureiro Ralha and Ce\unmatched{0301}lia Ghedini Rahla – Reasoning through doing : epistemic mediators in scientific reasoning / Lorenzo Magnani – Do we need paraconsistency in commonsense reasoning? / Joke Meheus – Descartes, a methodical elimination of paradoxes for (de)-ontology building / Jean Sallantin ... [et al.] – Measuring coherence using LP-models / Carlos A. Oller – What are multi-agent systems trying to accomplish? Towards pragmatic game-theoretical agenda / Ahti-Veikko Pietarinen – Direct dynamic proofs for compatibility / Dagmar Provijn – Semantic computations of truth, based on associations already learned / Patrick Suppes and Jean-Yves Be\unmatched{0301}ziau – On the sense of eating strawberries, or, On the exclusivity implcature fo 'or' / Liza Verhoeven and Leon Horsten – A note on epistemology and logical afrificial intelligence / Gregory R. Wheeler and Lui\unmatched{0301}s Moniz Pereira.
JA - Computer modeling of scientific reasoning PB - Universidad Nacional Del Sur. EDIUNS CY - Bahia Blanca, Argentinia SP - 57–63 SN - 9879281896 ER - TY - JOUR T1 - Proof Theories for Some Prioritized Consequence Relations JF - Logique et Analyse Y1 - 2003 A1 - Verhoeven, Liza AB -Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets. Humans do not compute consistent subsets, they just start reasoning and when confronted with incon- sistencies in the course of their reasoning, they may adjust their interpretation of the information. In logics this behaviour corresponds to the mechanisms of dynamic proof theories. The aim of this paper is to transform known consequence relations for inconsistent prioritized belief bases in terms of consistent subsets, into dynamic proof theories that are a more faithful representation of human reasoning processes.
VL - 46 SP - 325–344 ER - TY - Generic T1 - On a Partial Decision Method for Dynamic Proofs Y1 - 2002 A1 - Batens, Diderik ED - Dekker, Hendrik ED - Villadsen, Jorgen ED - Waragai, Toshiharu AB -This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivability. If extended to the predicative level, it provides a criterion for final derivability. This is essential in view of the absence of a positive test. The procedure may be generalized to all flat adaptive logics.
JA - PCL 2002. Paraconsistent Computational Logic PB - Roskilde University VL - 95 SP - 91–108 UR - http://arxiv.org/abs/cs.LO/0207090 N1 -Also available as cs.LO/0207090 at \texttt{http://arxiv.org/archive/cs/intro.html}
ER - TY - Generic T1 - A Pragmatic Approach to the Explanation of Actions Y1 - 2001 A1 - Weber, Erik A1 - Vanderbeeken, Robrecht ED - Blasius, Jörg ED - Hox, J. ED - de Leeuw, E. ED - Schmidt, P. JA - Social Science Methodology in the New Millenium T3 - Proceedings of the Fifth International Conference on Logic and Methodology PB - Leske & Budrich CY - Keulen ER - TY - JOUR T1 - Preferences as inconsistency-resolvers: an Inconsistency-adaptive Tool JF - Logic and Logical Philosophy Y1 - 2001 A1 - Vanackere, Guido VL - 8 SP - 47–63 ER - TY - JOUR T1 - Pushing the Search Paths in the Proofs. A Study in Proof Heuristics JF - Logique et Analyse Y1 - 2001 A1 - Batens, Diderik A1 - Provijn, Dagmar AB -Introducing techniques deriving from dynamic proofs in proofs for propositional classical logic is shown to lead to a proof format that enables one to push search paths into the proofs themselves. The resulting goal directed proof format is shown to provide a decision method for A1, ..., An B and a positive test for A.
VL - 44 SP - 113–134 ER - TY - JOUR T1 - Paraconsistency and its Relation to Worldviews JF - Foundations of Science Y1 - 1999 A1 - Batens, Diderik AB -The paper highlights the import of the paraconsistent movement, list some motivations for its origin, and distinguishes some stands with respect to paraconsistency. It then discusses some sources of inconsistency that are specific for worldviews, and the import of the paraconsistent turn for the worldviews enterprise.
VL - 3 SP - 259–283 ER - TY - JOUR T1 - The practical function and epistemology of causal beliefs JF - Communication & Cognition : Monographies Y1 - 1998 A1 - Weber, Erik AB -Distinguant trois fonctions pratiques de la croyance causale : l'affirmation de buts, la résolution des problèmes liés à l'action et la construction des problèmes de décision, l'A. montre que le premier implique à lui seul cinq conceptions diffèrentes de la croyance causale concernant : 1) les mouvements du corps; 2) les interactions causales; 3) la capacité de certains objets à prèserver certaines caractéristiques; 4) la causation structurale; 5) les influences causales permanentes. L'A. cherche une méthode èpistémologique fiable (Salmon, Mackie) pour vérifier et justifier la connaissance causale que nous pouvons avoir de ces cinq versions de la croyance causale
VL - 31 SP - 297–324 ER - TY - JOUR T1 - Prudential Arguments in the Realism Debate. JF - Logique et Analyse Y1 - 1998 A1 - Weber, Erik VL - 41 SP - 301–312 ER - TY - JOUR T1 - Paraconsistente en relevante logica's JF - Wijsgerig perspectief op maatschappij en wetenschap Y1 - 1992 A1 - Batens, Diderik VL - 32/2 SP - 53–59 ER - TY - JOUR T1 - Phenomenological Laws and their Application to Scientific Epistemic Explanation Problems JF - Logique et Analyse Y1 - 1990 A1 - Weber, Erik VL - 33 SP - 175–189 ER - TY - JOUR T1 - Progress, rationality and the philosophy of science JF - Tijdschrift voor de studie van de Verlichting en het Vrije denken Y1 - 1981 A1 - Batens, Diderik VL - 8–9 SP - 83–102 ER - TY - JOUR T1 - Paraconsistent extensional propositional logics JF - Logique et Analyse Y1 - 1980 A1 - Batens, Diderik VL - 23 SP - 195–234 ER - TY - JOUR T1 - The paradoxes of confirmation JF - Revue internationale de philosophie Y1 - 1971 A1 - Batens, Diderik VL - 95–96 SP - 101–118 ER -