TY - JOUR T1 - Causation & Technical Problem Solving: An analysis of causal knowledge underlying proposed solutions for technical problems. Y1 - Submitted A1 - De Bal, Inge A1 - Weber, Erik AB -

In this paper we analyse the causal underpinnings of remedy claims found in technical problem solving instructions. For these claims to be successful, they need to be based on causal relations that hold in the world and that have certain properties. These required properties are the focus of our paper. We first introduce several examples from car- and bike repair manuals that demarcate our topic and function as illustrations throughout the paper. We then formulate three success criteria for problem solving manuals: the efficiency requirement, the no harm requirement and the maximal assistance ideal. These criteria determine the required strength and properties of the causal relation, and are used to frame our analysis. We start from theories of causation by Ronald Giere, Ellery Eells and John Mackie and develop a series of definitions to capture the properties of the aforementioned causal relations. We conclude that remedy claims need to be based on causal relations with the following property: positive causal factorhood with weak context-unanimity. Moreover, it is desirable to look for Mackie causes, viz. causes that are sufficient in maximally normal contexts. We finally show that our analysis is not limited to means of conveyance (this is the field in which our initial examples are located) by means of a case study from a different field (radio repair manuals).

ER - TY - JOUR T1 - Coarse Deontic Logic JF - Journal of Logic and Computation Y1 - In Press A1 - Van De Putte, Frederik ER - TY - JOUR T1 - Classical term-modal logics JF - JOURNAL OF LOGIC AND COMPUTATION Y1 - 2021 A1 - Frijters, Stef A1 - Van De Putte, Frederik KW - Arts and Humanities (miscellaneous) KW - CHOICE} KW - Hardware and Architecture KW - logic KW - Software KW - {Theoretical Computer Science AB -

{We introduce classical term-modal logics and argue that they are useful for modelling agent-relative notions of obligation, evidence and abilities, and their interaction with properties of and relations between the agents in question. We spell out the semantics of these logics in terms of neighborhood models, provide sound and strongly complete axiomatizations and establish the decidability of specific (agent-finite) variants.}

VL - 31 SP - 1026-1054 UR - {http://dx.doi.org/10.1093/logcom/exaa053} ER - TY - RPRT T1 - Choosing the right concept of "right choices" (technical report) Y1 - 2018 A1 - Van De Putte, Frederik ER - TY - JOUR T1 - Co-Hyperintensionality JF - Ratio Y1 - 2017 A1 - Faroldi, Federico L. G. VL - 30 CP - 3 ER - TY - CONF T1 - Coarse Deontic Logic (short version) T2 - Deontic Logic and Normative Systems Y1 - 2016 A1 - Van De Putte, Frederik JA - Deontic Logic and Normative Systems PB - College Publications ER - TY - JOUR T1 - Contrastive Causation in Genetics and Physics JF - Philosophica Y1 - 2015 A1 - Weber, Erik A1 - De Bal, Inge VL - 90 SP - 93-113 ER - TY - Generic T1 - The Concept of Disease and Our Responsibility for Children Y1 - 2014 A1 - De Vreese, Leen ED - Perring, Christian ED - Wells, Lloyd AB -

The author of this chapter argues that one’s understanding of the concept of what a disease is influences our way of behaving toward people we think of as diseased. The author asserts that our concept of disease is not non-committal and that an oversimplified approach can lead to non-critical reasoning which could have significant impact on children with diseases. The author develops a pluralistic approach to the concept of disease and uses ADHD as an example throughout the chapter.

JA - Diagnostic Dilemmas in Child and Adolescent Psychiatry PB - Oxford University Press SP - 35–55 SN - 9780199645756 ER - TY - Generic T1 - The Consistency of Peano Arithmetic. A Defeasible Perspective Y1 - 2014 A1 - Batens, Diderik ED - Allo, Patrick ED - Van Kerkhove, Bart AB -

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.

JA - Modestly Radical or Radically Modest. Festschrift for Jean Paul Van Bendegem on the Occasion of His 60th Birthday PB - College Publications SP - 11–59 ER - TY - JOUR T1 - Causaliteit en de methodestrijd: naar een geïntegreerd gebruik van kwalitatief en kwantitatief onderzoek in een praktisch georiënteerde criminologie JF - Panopticon Y1 - 2013 A1 - Heylen, Ben A1 - Weber, Erik AB -

In this article, we re-examine an old problem in criminology i.e the "battle of the methods". Even though the battle has become less explicit recently, it does have a contemporary named the incompatibility thesis in the field of mixed methods research in the social sciences. We look at this incompatibility thesis from the point of view of the philosophy of science, more precisely by discussing different forms of causality. Subsequently, comparative causality, process theories of causality and mechanistic causality. Subsequently, comparative causality, process theories of causality and mechanistic causality are discussed. We argue that qualitative and quantitative methods each pursue a specific kind of knowledge, but that a functional integration of both is desirable. We conclude by referring to two main advantages of such integration, viz. the manipulation of causal relationships and extrapolation of research results in time and space.

VL - 34 SP - 115–133 ER - TY - JOUR T1 - The conceptual elusiveness of engineering functions: a philosophical analysis JF - Philosophy and Technology Y1 - 2013 A1 - Vermaas, Pieter A1 - van Eck, Dingmar A1 - Kroes, Peter AB -

In this paper, we describe the conceptual elusiveness of the notion of function as used in engineering practice. We argue that it should be accepted as an ambiguous notion, and then review philosophical argumentations in which engineering functions occur in order to identify the consequences of this ambiguity. Function is a key notion in engineering, yet is used by engineers systematically in a variety of meanings. First, we demonstrate that this ambiguous use is rational for engineers by considering the role of functions in design methods and by analysing the ambiguity in terms of Kuhn’s notion of methodological incommensurability. Second, we discuss ontological and mereological analyses of engineering functions and describe a proof that subfunctions cannot formally be taken as parts of the functions they decompose. Engineering functions figure sometimes in philosophical work and are then typically taken as having an unambiguous, well-defined meaning. Finally, we therefore revisit work in philosophy of technology on the dual nature of technical artefacts, in philosophy of science on functional and mechanistic explanations, and in philosophy of biology on biological functions, and explore the consequences of the fact that engineering function is an ambiguous notion. It is argued that one of these consequences may be that also the notion of biological function has an ambiguous meaning

VL - 26 SP - 159-185 ER - TY - JOUR T1 - Concerning Peter Vickers' Recent Treatment of 'Paraconsistencitis' JF - International Studies in the Philosophy of Science Y1 - 2013 A1 - Šešelja, Dunja A1 - Straßer, Christian VL - 28 SP - 325–340 ER - TY - Generic T1 - Can economics become a purely experimental science? A comparative study Y1 - 2012 A1 - Weber, Erik ED - Aerts, Diederik ED - Broekaert, Jan ED - D'Hooghe, Bart ED - Note, Nicole AB -

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.

JA - Worldviews, science and us : bridging knowledge and its implications for our perspectives on the world PB - World Scientific Publishing Company SN - 9789814383073 UR - http://www.worldscibooks.com/general/8341.html ER - TY - JOUR T1 - Can Pyrrhonists act normally? JF - Philosophical Explorations Y1 - 2012 A1 - Wieland, Jan Willem AB -

Pyrrhonism is the view that we should suspend all our beliefs in order to be rational and reach peace of mind. One of the main objections against this view is that it makes action impossible. One cannot suspend all beliefs and act normally at once. Yet, the question is: What is it about actions that they require beliefs? This issue has hardly been clarified in the literature. This is a bad situation, for if the objection fails and it turns out that the Pyrrhonists found a way to secure peace of mind, we better know the details. In the following I take up this systematic query, and show how the objection can be made precise. Despite Sextus Empiricus' ingenious appearance/reality distinction, which is to insure Pyrrhonism in this, I eventually argue that a life by appearances is quite unlike a normal life.

VL - 15 SP - 227–289 ER - TY - JOUR T1 - Carving the world as we please JF - Philosophica Y1 - 2012 A1 - Wieland, Jan Willem AB -

Nelson Goodman defends the seemingly radical view that, in a certain sense, all facts depend on our perspective on the matter. We make the world, rather than merely find it. The aim of this contribution is three-fold: to make sense of Goodman’s metaphysical perspectivalism, clearly explain how it differs from other branches of perspectivalism (epistemic and semantic), and put two issues on the agenda that deserve renewed attention.

VL - 84 SP - 7–24 ER - TY - JOUR T1 - Causality and explanation in the sciences JF - Theoria - revista de teoria historia y fundamentos de la ciencia Y1 - 2012 A1 - Leuridan, Bert A1 - Weber, Erik AB -

Editors' introduction to the special issue on the Causality and Explanation in the Sciences conference, held at the University of Ghent in September 2011.

VL - 27 SP - 133–136 ER - TY - JOUR T1 - Causation in perspective: are all causal claims equally warranted? JF - Philosophica Y1 - 2012 A1 - Weber, Erik A1 - De Vreese, Leen AB -

In a paper "Causation in Context" (2007) Peter Menzies has argued that the truth value of causal judgments is perspective-relative (i.e. their truth value does not depend entirely on mind-independent structures). His arguments are confined to causation as difference making (a term he uses to cover probabilistic, counterfactual and regularity views of causation). In this paper we first briefly present Menzies’ arguments. Then we show that perspective-relativity also holds for causation in the sense of process theories. These parts of the paper prepare the ground for the topic we really want to investigate: we want to find out whether this perspective-relativity leads to an epistemic predicament with respect to causal claims. The potential epistemic predicament we consider is that all causal claims would be equally warranted.

VL - 84 SP - 123–148 ER - TY - JOUR T1 - A contextual type theory with judgemental modalities for reasoning from open assumptions JF - Logique et Analyse Y1 - 2012 A1 - Primiero, Giuseppe AB -

Contextual type theories are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. The combination of a constructive language with a modal extension of contexts appears crucial to explore the attractive idea of a type-theoretical calculus of provability from refutable assumptions for non-monotonic reasoning. This paper introduces such a language: the modal operators are meant to internalize two different modes of correctness, respectively with necessity as the standard notion of constructive verification and possibility as provability up to refutation of contextual conditions.

VL - 55 SP - 579–600 ER - TY - JOUR T1 - On the complex behavior of simple tag systems — An experimental approach JF - Theoretical Computer Science Y1 - 2011 A1 - De Mol, Liesbeth AB -

It is a well-know fact that apparently simple systems can give rise to complex behavior. But why exactly does a given system behave in a complex manner? There are two main approaches to tackle this and other related questions. One can take on a more theoretical approach or start from a more experimental study of the behavior of such systems with the help of the computer. In this paper, the experimental approach will be applied to very small tag systems. After a discussion of some of the main theoretical results on tag systems, several results from a computer-assisted and experimental study on tag systems will be analyzed. Special attention will be given to the well-known example Post provided and studied with only 2 symbols and a deletion number v = 3. These results will be combined with some theoretical results on tag systems in order to gain more insight into the computational power of simple tag systems.

VL - 412 SP - 97–112 ER - TY - JOUR T1 - The covering law model applied to dynamical cognitive science: a comment on Joel Walmsley JF - Minds and Machines Y1 - 2011 A1 - Gervais, Raoul A1 - Weber, Erik AB -

In a 2008 paper, Walmsley argued that the explanations employed in the dynamical approach to cognitive science, as exemplified by the Haken, Kelso and Bunz model of rhythmic finger movement, and the model of infant preservative reaching developed by Esther Thelen and her colleagues, conform to Carl Hempel and Paul Oppenheim's deductive-nomological model of explanation (also known as the covering law model). Although we think Walmsley's approach is methodologically sound in that it starts with an analysis of scientific practice rather than a general philosophical framework, we nevertheless feel that there are two problems with his paper. First, he focuses only on the deductivenomological model and so neglects the important fact that explanations are causal. Second, the explanations offered by the dynamical approach do not take the deductive-nomological format, because they do not deduce the explananda from exceptionless laws. Because of these two points, Walmsley makes the dynamical explanations in cognitive science appear problematic, while in fact they are not.

VL - 21 SP - 33–39 ER - TY - Generic T1 - On the curious historical coincidence of algebra and double-entry bookkeeping Y1 - 2011 A1 - Heeffer, Albrecht ED - François, Karen ED - Löwe, Benedikt ED - Müller, Thomas ED - Van Kerkhove, Bart JA - Foundations of the formal sciences VII : bringing together philosophy and sociology of science T3 - Studies in Logic PB - College Publications VL - 32 SP - 109–130 SN - 9781848900493 UR - http://www.collegepublications.co.uk/logic/?00021 ER - TY - JOUR T1 - Can mechanisms really replace laws of nature? JF - Philosophy of Science Y1 - 2010 A1 - Leuridan, Bert AB -

Today, mechanisms and mechanistic explanation are very popular in philosophy of science and are deemed a welcome alternative to laws of nature and deductive-nomological explanation. Starting from Mitchell's pragmatic notion of laws, I cast doubt on their status as a genuine alternative. I argue that (1) all complex-systems mechanisms onto-logically must rely on stable regularities, while (2) the reverse need not hold. Analogously, (3) models of mechanisms must incorporate pragmatic laws, while (4) such laws themselves need not always refer to underlying mechanisms. Finally, I show that Mitchell's account is more encompassing than the mechanistic account

VL - 77 SP - 317–340 UR - http://dx.doi.org/10.1086/652959 ER - TY - JOUR T1 - Causal Methodology. A Comment on Nancy Cartwright's Hunting Causes and Using Them JF - Analysis Y1 - 2010 A1 - Weber, Erik VL - 70 SP - 318–325 ER - TY - CONF T1 - Constructive contextual modal judgments for reasoning from open assumptions T2 - Proceedings of the Computability in Europe 2010 Conference Y1 - 2010 A1 - Primiero, Giuseppe ED - Ferreira, F ED - Guerra, H ED - Mayordomo, E ED - Rasga, J AB -

Dependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.

JA - Proceedings of the Computability in Europe 2010 Conference PB - Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores ER - TY - JOUR T1 - Capturing dynamic conceptual frames JF - Logic Journal of IGPL Y1 - 2009 A1 - Urbaniak, Rafal AB -

The main focus of this paper is to develop an adaptive formal apparatus capable of capturing arguments conducted within a conceptual framework. I first explain one of the most recent theories of concepts developed by cognitivists, in which a crucial part is played by the notion of a dynamic frame. Next, I describe how a dynamic frame may be captured by a finite set of formulas and how a formalized adaptive framework for reasoning within a dynamic frame can be developed.

VL - 18 SP - 430–455 ER - TY - JOUR T1 - Causal discovery and the problem of ignorance: an adaptive logic approach JF - Journal of Applied Logic Y1 - 2009 A1 - Leuridan, Bert AB -

In this paper, I want to substantiate three related claims regarding causal discovery from non-experimental data. Firstly, in scientific practice, the problem of ignorance is ubiquitous, persistent, and far-reaching. Intuitively, the problem of ignorance bears upon the following situation. A set of random variables VV is studied but only partly tested for (conditional) independencies; i.e. for some variables A and B it is not known whether they are (conditionally) independent. Secondly, Judea Pearl's most meritorious and influential algorithm for causal discovery (the IC algorithm) cannot be applied in cases of ignorance. It presupposes that a full list of (conditional) independence relations is on hand and it would lead to unsatisfactory results when applied to partial lists. Finally, the problem of ignorance is successfully treated by means of ALIC, the adaptive logic for causal discovery presented in this paper.

VL - 7 SP - 188–205 UR - http://dx.doi.org/10.1016/j.jal.2007.11.004 ER - TY - JOUR T1 - Causation, unification and the adequacy of explanations of facts JF - Theoria Y1 - 2009 A1 - Weber, Erik A1 - Van Bouwel, Jeroen AB -

Pluralism with respect to the structure of explanations of facts is not uncommon. Wesley Salmon, for instance, distinguished two types of explanation: causal explanations (which provide insight in the causes of the fact we want to explain) and unification explanations (which fit the explanandum into a unified world view). The pluralism which Salmon and others have defended is compatible with several positions about the exact relation between these two types of explanations. We distinguish four such positions, and argue in favour of one of them. We also compare our results with the views of some authors who have recently written on this subject.

VL - 24 SP - 301–320 ER - TY - CONF T1 - "Clear Moon, Frost soon". An introduction to the Study of Meteorological Practices in the Low Countries (1550-1850) T2 - Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researcher Days 2008 Y1 - 2009 A1 - Pieters, Eva 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 Researcher Days 2008 PB - {Koninklijke Vlaamse Academie van België SN - 9789065690432 ER - TY - JOUR T1 - Concepts of causation in historiography JF - Historical methods Y1 - 2009 A1 - Froeyman, Anton AB -

Historians can use the concept of causation in a variety of ways. each of which is associated with different historiographical claims and different kinds of argumentation. The author shows that, contrary to the Usual view, historical narratives are causal (in a specific way), and microhistory can be seen as a response to a very specific causal problem of Braudelian macrohistory.

VL - 42 SP - 116–128 ER - TY - JOUR T1 - Conceptual analysis of causation and theoretical utility in everyday contexts JF - Logique et Analyse Y1 - 2009 A1 - Weber, Erik A1 - De Vreese, Leen AB -

In this paper we elaborate Ned Hall's theoretical utility perspective for causation in everyday contexts. We do this by presenting some instances of it, thereby adding some flesh to the skeleton that Hall has provided. Our elaboration of the theoretical utility perspective also provides arguments for it: the instances we present show the fruitfulness of the approach. A question raised by Hall's proposal is: should we give up descriptive analysis of causation (and descriptive analysis in general) completely? We argue that, at least for causation, traditional descriptive conceptual analysis must be given up. However, we also argue that a more modest variant of descriptive conceptual analysis can be useful.

VL - 52 SP - 177–190 ER - TY - CONF T1 - A constructive modal semantics for contextual verification T2 - Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications Y1 - 2009 A1 - Primiero, Giuseppe AB -

This paper introduces a non-standard semantics for a modal version of constructive KT for contextual (assumptions-based) verification. The modal fragment expresses verifiability under extensions of contexts, enjoying adapted validity and (weak) monotonicity properties depending on satisfaction of the contextual data.

JA - Proceedings of the First International Workshop on Logic-Based Interpretation of Context: Modeling and Applications PB - CEUR-Workshop Proceedings UR - http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-550/ ER - TY - JOUR T1 - Causal (mis)understanding and the search for scientific explanations: a case study from the history of medicine. JF - Studies in history and philosophy of biological and biomedical sciences Y1 - 2008 A1 - De Vreese, Leen AB -

In 1747, James Lind carried out an experiment which proved the usefulness of citrus fruit as a cure for scurvy. Nonetheless, he rejected the earlier hypothesis of Bachstrom that the absence of fresh fruit and vegetables was the only cause of the disease. I explain why it was rational for James Lind not to accept Bachstrom’s explanation. I argue that it was the urge for scientific understanding that guided Lind in his rejection and in the development of his alternative theory that humidity was the primary cause of the disease. Central in this process was the search for causal mechanisms which could provide understanding of how the disease developed and which fitted in with the knowledge of the time. Given that the relevant background knowledge and statistical methods were not yet available to Lind, he was right to prefer his own explanation to that of Bachstrom. Although his explanation turned out to be wrong, and Bachstrom’s right, from a historical point of view it offered deeper causal understanding of both the development of the disease and the preventive and curative effects of fresh vegetable food. This case study illustrates how the search for causal mechanisms can not only be enlightening, but also very misleading.

VL - 39 SP - 14–24 ER - TY - Generic T1 - A conceptual analysis of early arabic algebra Y1 - 2008 A1 - Heeffer, Albrecht ED - Rahman, Shahid ED - Street, Tony ED - Tahiri, Hassan AB -

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.

JA - The unity of science in the arabic tradition : science, logic, epistemology and their interactions PB - Kluwer Academic Publishers CY - Dordrecht SP - 89–128 SN - 978-1-4020-8404-1 UR - http://dx.doi.org/1854/11276 ER - TY - JOUR T1 - Conference Report "Induction: Historical and Contemporary Perspectives, Ghent University, 8–10 July 2008" JF - The Reasoner Y1 - 2008 A1 - Ducheyne, Steffen VL - 10 SP - 8-9 ER - TY - JOUR T1 - Confusion and bad arguments in the conceptual analysis of causation JF - Logique et analyse Y1 - 2008 A1 - De Vreese, Leen A1 - Weber, Erik VL - 51 SP - 81–99 ER - TY - RPRT T1 - Causality and conservation. Elements of the new metaphysics behind the mathematization of nature in the seventeenth century Y1 - 2007 A1 - Van Dyck, Maarten PB - VUB ER - TY - JOUR T1 - The Concept of Causation in Newton's Mechanical and Optical Work JF - Logic and Logical Philosophy Y1 - 2007 A1 - Ducheyne, Steffen A1 - Weber, Erik AB -

In this essay the authors explore the nature of efficient causal explanation in Newton’s Principia and The Opticks. It is argued that: (1) In the dynamical explanations of the Principia, Newton treats the phenomena under study as cases of Hall’s second kind of atypical cau- sation. The underlying concept of causation is therefore a purely in- terventionist one. (2) In the descriptions of his optical experiments, Newton treats the phe- nomena under study as cases of Hall’s typical causation. The underly- ing concept of causation is therefore a mixed interventionist/mechani- cist one.

VL - 16 SP - 265–288 ER - TY - Generic T1 - Conceptual tools for causal analysis in the social sciences. Y1 - 2007 A1 - Weber, Erik ED - Russo, Federica ED - Williamson, Jon JA - Causality and probability in the sciences PB - College Publications CY - London SP - 197–213 SN - 1904987354 ER - TY - Generic T1 - Constructive Empiricism and the Argument from Underdetermination. Y1 - 2007 A1 - Van Dyck, Maarten ED - Monton, Bradley AB -

It is argued that, contrary to prevailing opinion, Bas van Fraassen nowhere uses the argument from underdetermination in his argument for constructive empiricism. It is explained that van Fraassen’s use of the notion of empirical equivalence in The Scientific Image has been widely misunderstood. A reconstruction of the main arguments for constructive empiricism is offered, showing how the passages that have been taken to be part of an appeal to the argument from underdetermination should actually be interpreted.

JA - Images of empiricism: Essays on science and stances, with a reply from Bas van Fraassen PB - Oxford University Press SP - 11–31 ER - TY - Generic T1 - Content Guidance in Formal Problem Solving Processes Y1 - 2007 A1 - Batens, Diderik ED - Pombo, Olga ED - Gerner, Alexander AB -

In this paper, a formal framework to problem-solving processes is presented. The framework is not complete. Nevertheless, even its present sophistication allows one to see that it is promising.\par The framework demonstrably allows one to understand scientific change as content-guided. It will be argued that a formal framework is required in order to make definite and precise statements about the content-guided aspects of scientific problem solving.

JA - Abduction and the Process of Scientific Discovery PB - Centro de Filosofia das Ciências da U. de Lisboa CY - Lisboa SP - 121–156 ER - TY - Generic T1 - Can intentional and functional explanations of actions coexist? Y1 - 2006 A1 - Vanderbeeken, Robrecht ED - Voss, Stephen AB -

Do functional explanations eclipse the intentionality of human actions? Put differently, do intentional and functional explanations of actions conflict with each other? In this paper, I want to argue that both sorts of explanation, if conceived in a proper way, are compatible instruments. First, I will make a distinction between three kinds of explanatory pluralism of actions: a pluralism of theories of actions, a pluralism of sorts of explanations of actions, and a pluralism of methods for the explanation of actions. Intentional and functional explanations are sorts, not theories or methods, of explanation. Next, I will briefly distinguish intentional and functional explanations: intentional explanations refer to the beliefs and desires of an agent, and functional explanations refer to the function of a motive of an action (etiological functions), or to the function of a result of an action (system functions). Finally, I discuss possible conflicts between both sorts of explanation. In cases where real conflicts between functional and intentional explanations do arise, this is due to the lack of sufficient information or the misinterpretation of information of one or both explanations. Hence, such conflicts are not conflicts between sorts of explanations

JA - Philosophical Antropology PB - Philosophical Society of Turkey SP - 135–146 SN - 9757748404 ER - TY - JOUR T1 - Causal pluralism and scientific knowledge: an underexposed problem JF - Philosophica Y1 - 2006 A1 - De Vreese, Leen AB -

Causal pluralism is currently a hot topic in philosophy. However, the consequences of this view on causation for scientific knowledge and scientific methodology is heavily underexposed in the present debate. My aim in this paper is to argue that an epistemological-methodological point of view should be valued as a line of approach on its own and to demonstrate how epistemological- methodological causal pluralism differs in its scope from conceptual and metaphysical causal pluralism. Further, I defend epistemological- methodological causal pluralism and try to illustrate that scientific practice needs diverse causal concepts in diverse domains, and even diverse causal concepts within singular domains.

VL - 77 SP - 125–150 ER - TY - JOUR T1 - Closing the circle: An analysis of Emil Post's early work JF - Bulletin of symbolic logic Y1 - 2006 A1 - De Mol, Liesbeth AB -

In 1931 Kurt Gödel published his incompleteness results, and some years later Church and Turing showed that the decision problem for certain systems of symbolic logic has a negative solution. However, already in 1921 the young logician Emil Post worked on similar problems which resulted in what he called an “anticipation” of these results. For several reasons though he did not submit these results to a journal until 1941. This failure ‘to be the first’, did not discourage him: his contributions to mathematical logic and its foundations should not be underestimated. It is the purpose of this article to show that an interest in the early work of Emil Post should be motivated not only by this historical fact, but also by the fact that Post’s approach and method differs substantially from those offered by Gödel, Turing and Church. In this paper it will be shown how this method evolved in his early work and how it finally led him to his results.

VL - 12 SP - 267–289 ER - TY - JOUR T1 - The Causes and Cures of Scurvy. How Modern was James Lind's Methodology? JF - Logic and Logical Philosophy Y1 - 2005 A1 - Weber, Erik A1 - De Vreese, Leen VL - 14 SP - 55–67 ER - TY - JOUR T1 - The Challenges for Early-Modern Philosophy: Editorial Introduction. JF - Philosophica Y1 - 2005 A1 - Ducheyne, Steffen VL - 76 SP - 5-10 ER - TY - JOUR T1 - Coping with inconsistencies: Examples from the social sciences JF - Logic and logical philosophy Y1 - 2005 A1 - Weber, Erik A1 - Van Bouwel, Jeroen AB -

In this paper we present two case studies on inconsistencies in the social sciences. The first is devoted to sociologist George Caspar Homans and his exchange theory. We argue that his account of how he arrived at his theory is highly misleading, because it ignores the inconsistencies he had to cope with. In the second case study we analyse how John Maynard Keynes coped with the inconsistency between classical economic theory and real economic conditions in developing his path-breaking theory.

VL - 14 SP - 89–101 ER - TY - Generic T1 - Cassirer's critical idealism: a comment on Thomas Mormann. Y1 - 2004 A1 - Van Dyck, Maarten A1 - Weber, Erik ED - Gillies, D. JA - Laws and Models in Science PB - King's College Publications CY - London SP - 161–171 SN - 0954300661 ER - TY - CONF T1 - Computer Generated Images as Mathematical Tools T2 - Proceedings of the 7th International Conference and Exhibition on Generative Art Y1 - 2004 A1 - De Mol, Liesbeth AB -

Since the commercialisation of the computer, it became possible to visualise certain aspects of mathematics that were not possible to visualise before because of the complexity or the size of the datasets involved. Some of these computer generated images even have become the icons of certain mathematical theories like for example fractal geometry. One of the advantages of these visualisations is the fact that in using them, certain properties that involve complexity can be immediately shown. This possibility will be discussed through experiments done by the author.

JA - Proceedings of the 7th International Conference and Exhibition on Generative Art ER - TY - CONF T1 - The consequences of scientific pluralism for science policy T2 - Proceedings of V Jornadas Latinoamericanas de estudios sociales de la ciencia y de la tecnología Y1 - 2004 A1 - Van Bouwel, Jeroen JA - Proceedings of V Jornadas Latinoamericanas de estudios sociales de la ciencia y de la tecnología ER - TY - JOUR T1 - Change in individuals without a name. Contextual indicators & the free change-adaptive logic JF - Logic and Logical Philosophy Y1 - 2003 A1 - Vanackere, Guido AB -

Proof theory and semantics of an adaptive logic that deals adequately with change in individuals with or without a name are presented. New logical constants are introduced, viz. indicators. Within a given context they function as names, predicates and quantifiers at the same time. The thus extended language (of classical logic) has a big expressive power and solvespartly — the (classical) non-logical presuppositions with respect to ‘the existence of individuals’. Nevertheless, from a purely logical point of view, the here pre - sented logic requires nothing but a very intuitive selection of classical models of the premises, viz. the minimally abnormal ones.

VL - 11 SP - 213–230 UR - http://dx.doi.org/10.12775/LLP.2003.011 ER - TY - JOUR T1 - Changing one's position in discussions - Some adaptive approaches JF - Logic and Logical Philosophy Y1 - 2003 A1 - Verhoeven, Liza AB -

This paper contains different approaches to solve the problem how to construct the ultimate position out of one’s interventions in a discussion after possibly one or more position changes. In all approaches it is the aim to come as close as possible to human reasoning. Therefore all logics are adaptive logics. The first logic is an extension of an adaptive translation into S5 of the Rescher-Manor mechanisms. The second one is a dynamic proof theory based on a technique using indices. In the end a satisfactory solution is given by a dynamic proof theory expressing the idea of prioritized compatibility, i.e. compatibility step by step

VL - 11/12 SP - 277–297 ER - TY - JOUR T1 - Criteria Causing Inconsistencies. General Gluts as Opposed to Negation Gluts JF - Logic and Logical Philosophy Y1 - 2003 A1 - Batens, Diderik AB -

This paper studies the question: how should one handle inconsistencies that derive from the inadequacy of the criteria by which one approaches the world. I compare the approaches underlying several inconsistency-adaptive logics. I consider the Rescher–Manor consequence relations as well as adaptive logics defined from CLuN, CLuNs, LP, AN, and AL. The adaptive systems defined from CLuN appear to be superior to the others. They isolate inconsistencies rather than spreading them, and at the same time allow for genuine deductive steps from inconsistent and mutually inconsistent premises.

Nevertheless, the systems based on CLuN introduce an asymmetry between negated and non-negated formulas that seems hard to justify. To clarify and understand the source of the problem, the epistemological presuppositions of CLuN, viz. inadequate criteria, are investigated. This leads to a new type of paraconsistent logic that involves gluts with respect to all other logical constants. The larger part of the paper is devoted to this logic, to the adaptive logics defined from it, and to the study of the properties of these systems.

While this resulting logics are sensible and display interesting features, the search for variants of the justification leads to an unexpected justification for CLuN.

VL - 11/12 SP - 5–37 ER - TY - JOUR T1 - On Classical Adaptive Logics of Induction JF - Logique et Analyse Y1 - 2001 A1 - Batens, Diderik A1 - Haesaert, Lieven AB -

This paper concerns the inference of inductive generalizations and of predictions derived from them. It improves on the adaptive logic of induction from \emph{On a Logic of Induction} (Batens, Logic and Philosophy of Science, IV, 1, 2006, pp. 3-32) by presenting logics that are formulated strictly according to the usual adaptive standards. It moreover extends that paper with respect to background knowledge.

We present logics that handle inductive generalizations as well as logics that handle prioritized background knowledge of three kinds: background generalizations, pragmatic background generalizations (the instances of which may be invoked even after the generalizations are falsified), and background theories. All logics may be combined into a single system.

VL - 44 SP - 255–290 ER - TY - JOUR T1 - Clausius' discovery of the first two laws of thermodynamics. A paradigm of reasoning from inconsistencies JF - Philosophica Y1 - 1999 A1 - Meheus, Joke VL - 63 SP - 89–117 ER - TY - JOUR T1 - Contextual Problem Solving and Adaptive Logics In Creative Processes JF - Philosophica Y1 - 1999 A1 - Batens, Diderik AB -

Creativity is commonly seen as beyond the scope of rationality. In the present paper, it is argued that available insights in epistemology and available results in logic enable us to incorporate creativity within an independently sensible view on human rationality.

VL - 64 SP - 7–31 N1 - Appeared 2001 ER - TY - JOUR T1 - The creative growth of mathematics JF - Philosophica Y1 - 1999 A1 - Van Bendegem, Jean Paul VL - 63 SP - 119–152 ER - TY - JOUR T1 - Comment construit-on une explication déductive-nomologique? JF - Dialectica Y1 - 1996 A1 - Weber, Erik AB -

Comment devons-nous appliquer notre savoir scientifique (lois de la nature, théries, etc.) pour qu'il contribue à mieux comprendre les phénomènes (événements particuliers, regularité, etc.) que nous observons? Le modèle déductif-nomologique d'explication scientifique, dans lequel Carl Hempel construit le concept d'explication déductive-nomologique, ne procure pas une réponse complète à cette question. Un des problèmes est que Hempel nous dit ce que nous devons construire quand nous voulons comprendre un phéomène (une explication déductive-nomologique), mais ne nous dit pas comment une explication de ce type est construite. Afin de réoudre ce problème, une méthode pour construire des explications déductives-nomologiques est développée.

VL - 50 SP - 183–204 ER - TY - JOUR T1 - A causal approach to explanations JF - Logique et analyse Y1 - 1987 A1 - Weber, Erik VL - 30 SP - 51–68 ER - TY - Generic T1 - A contextual approach to meaning and knowledge Y1 - 1987 A1 - Batens, Diderik ED - Gosselin, M. ED - Demeyere, F. JA - Science and Society PB - VUB-Uitgaven SP - 84–110 ER - TY - Generic T1 - Creativiteit in wetenschap en muziek Y1 - 1986 A1 - Batens, Diderik ED - De Hen, Ferdinand J. ED - Riessauw, Anne-Marie ED - Sabbe, Herman JA - Liber Amicorum J.L. Broeckx PB - Grafisch Bureau M & Team SP - 29–55 ER - TY - JOUR T1 - A completeness-proof method for extensions of the implicational fragment of the propositional calculus JF - Notre Dame Journal of Formal Logic Y1 - 1980 A1 - Batens, Diderik VL - 21 SP - 509–517 ER -