36 found
Sort by:
See also:
Profile: Joke Meheus (University of Ghent)
  1. Mathieu Beirlaen, Christian Strasser & Joke Meheus (forthcoming). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic.
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Mathieu Beirlaen, Christian Straßer & Joke Meheus (2013). An Inconsistency-Adaptive Deontic Logic for Normative Conflicts. Journal of Philosophical Logic 42 (2):285-315.
    We present the inconsistency-adaptive deontic logic DP r , a nonmonotonic logic for dealing with conflicts between normative statements. On the one hand, this logic does not lead to explosion in view of normative conflicts such as O A ∧ O ∼A, O A ∧ P ∼A or even O A ∧ ∼O A. On the other hand, DP r still verifies all intuitively reliable inferences valid in Standard Deontic Logic (SDL). DP r interprets a given premise set ‘as normally (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  3. Christian Straßer, Mathieu Beirlaen & Joke Meheus (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique Et Analyse 55 (219):477.
    Direct download  
     
    My bibliography  
     
    Export citation  
  4. Christian Strasser, Mathieu Beirlaen & Joke Meheus (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique Et Analyse 219:477-506.
    In order to deal with the possibility of deontic conflicts Lou Goble developed a group of logics (DPM) that are characterized by a restriction of the inheritance principle. While they approximate the deductive power of standard deontic logic, they do so only if the user adds certain statements to the premises. By adaptively strengthening the DPM logics, this paper presents logics that overcome this shortcoming. Furthermore, they are capable of modeling the dynamic and defeasible aspect of our normative reasoning by (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  5. Erik Weber, Dietlinde Wouters & Joke Meheus (2012). Introduction. Philosophica 86 (4):319-322.
    This introduction clarifies the ideas behind the Logic, Reasoning and Rationality congress from which the papers in this issue are selected. These ideas are situated in the history of 20th century philosophy (Vienna Circle, Kuhn, ...). We also give an overview of the papers in this issue.
    Direct download (18 more)  
     
    My bibliography  
     
    Export citation  
  6. Joke Meheus (2011). A Formal Logic for the Abduction of Singular Hypotheses1. In. In Dennis Dieks, Wenceslao Gonzalo, Thomas Uebel, Stephan Hartmann & Marcel Weber (eds.), Explanation, Prediction, and Confirmation. Springer. 93--108.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  7. Diderik Batens, Kristof De Clercq, Peter Verdée & Joke Meheus (2009). Yes Fellows, Most Human Reasoning is Complex. Synthese 166 (1):113-131.
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  8. Diderik Batens, Kristof De Clercq, Peter Verdée & Joke Meheus (2009). Yes Fellows, Most Human Reasoning is Complex. Synthese 166 (1):113 - 131.
    This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.
    No categories
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  9. Giuseppe Primiero & Joke Meheus (2008). Majority Merging by Adaptive Counting. Synthese 165 (2):203 - 223.
    The present paper introduces a belief merging procedure by majority using the standard format of Adaptive Logics. The core structure of the logic ADM c (Adaptive Doxastic Merging by Counting) consists in the formulation of the conflicts arising from the belief bases of the agents involved in the procedure. A strategy is then defined both semantically and proof-theoretically which selects the consistent contents answering to a majority principle. The results obtained are proven to be equivalent to a standard majority operator (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  10. Atocha Aliseda, Johan van Benthem, Lorenzo Magnani, Angel Nepomuceno-Fernandez, Fernando Soler Toscano, Joke Meheus, Dagmar Provijn, John Woods, Silvio Pinto & Ilkka Niiniluoto (2007). On Atocha Aliseda Abductive Reasoning. Theoria 22 (60).
    No categories
     
    My bibliography  
     
    Export citation  
  11. Joke Meheus & Dagmar Provijn (2007). Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs. Theoria 22 (3):295-304.
    In this paper, we present a goal-directed proof procedure for abductive reasoning. This procedure will be compared with Aliseda’s approach based on semantic tableaux. We begin with some comments on Aliseda’s algorithms for computing conjunctive abductions and show that they do not entirely live up to their aims. Next we give a concise account of goal-directed proofs and we show that abductive explanations are a natural spin-off of these proofs. Finally, we show that the goal-directed procedure solves the problems we (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  12. Joke Meheus (2006). Discussive Adaptive Logics: Handling Internal and External Inconsistencies. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):211-223.
    In this paper, I present the discussive adaptive logic DLI r . As is the case for other discussive logics, the intended application context of DLI r is the interpretation of discussions. What is new about the system is that it does not lead to explosion when some of the premises are self-contradictory. It is argued that this is important in view of the fact that human reasoners are not logically omniscient, and hence, that it may not be evident to (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  13. Joke Meheus & Diderik Batens (2006). A Formal Logic for Abductive Reasoning. Logic Journal of the Igpl 14 (2):221-236.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  14. Joke Meheus (2005). Empirical Progress and Ampliative Adaptive Logics. Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):193-217.
    In this paper, I present two ampliative adaptive logics: LA and LAk. LA is an adaptive logic for abduction that enables one to generate explanatory hypotheses from a set of observational statements and a set of background assumptions. LAk is based on LA and has the peculiar property that it selects those explanatory hypotheses that are empirically most successful. The aim of LAk is to capture the notion of empirical progress as studied by Theo Kuipers.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  15. Dagmar Provijn & Joke Meheus (2004). Direct Dynamic Proofs for Classical Compatibility. Logique Et Analyse 185:305-317.
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven (2003). Some Adaptive Logics for Diagnosis. Logic and Logical Philosophy 11:39-65.
    A logic of diagnosis proceeds in terms of a set of data and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from [27] and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  17. Joke Meheus (2003). Inconsistencies and the Dynamics of Science. Logic and Logical Philosophy 11:129-148.
    It is generally agreed upon today that scientific reasoning, like everyday reasoning, proceeds in a dynamic way: inferences derived at some stage in the reasoning process may at a later stage be rejected. This dynamics may be extrinsic or intrinsic. I shall call it extrinsic when previously derived conclusions are rejected on non-logical grounds, and intrinsic when their rejection is based on a purely logical analysis.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  18. Joke Meheus (2003). Paraconsistent Compatibility. Logique Et Analyse 183 (184):251-287.
    Direct download  
     
    My bibliography  
     
    Export citation  
  19. Diderik Batens & Joke Meheus (2001). Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics. Studia Logica 69 (2):221-248.
    Adaptive logics typically pertain to reasoning procedures for which there is no positive test. In [7], we presented a tableau method for two inconsistency-adaptive logics. In the present paper, we describe these methods and present several ways to increase their efficiency. This culminates in a dynamic marking procedure that indicates which branches have to be extended first, and thus guides one towards a decision — the conclusion follows or does not follow — in a very economical way.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  20. Joke Meheus (2001). Adaptive Logics for Question Evocation. Logique Et Analyse 173 (175):135-164.
    Direct download  
     
    My bibliography  
     
    Export citation  
  21. Diderik Batens & Joke Meheus (2000). The Adaptive Logic of Compatibility. Studia Logica 66 (3):327-348.
    This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5from which it follows that a specific subset of (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  22. Joke Meheus (2000). An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It. In Frontiers of Paraconsistent Logic. Research Studies Press. 189-201.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  23. Joke Meheus (2000). Frontiers of Paraconsistent Logic. Research Studies Press.
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  24. Joke Meheus (2000). On the Acceptance of Problem Solutions Derived From Inconsistent Constraints. Logic and Logical Philosophy 8:33-46.
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  25. Joke Meheus (1999). Claudius' Discovery of the First Two Laws of Thermodynamics. A Paradigm of Reasoning From Inconsistencies. Philosophica 63:89-117.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  26. Joke Meheus (1999). Deductive and Ampliative Adaptive Logics as Tools in the Study of Creativity. Foundations of Science 4 (3):325-336.
    In this paper, I argue that logic hasan important role to play in the methodological studyof creativity. I also argue, however, that onlyspecial kinds of logic enable one to understand thereasoning involved in creative processes. I show thatdeductive and ampliative adaptive logics areappropriate tools in this respect.
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  27. Joke Meheus (1999). Erotetic Arguments From Inconsistent Premises. Logique Et Analyse 165 (166):49-80.
    Direct download  
     
    My bibliography  
     
    Export citation  
  28. Joke Meheus (1999). Model-Based Reasoning in Creative Processes. In. In L. Magnani, N. J. Nersessian & P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery. Kluwer/Plenum. 199--217.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  29. Joke Meheus (1999). The Positivists' Approach to Scientific Discovery. Philosophica 64.
    In the early eighties, philosophers of science came to the conviction that discovery and creativity form an integral part of scientific rationality. Ever since, the ?positivists? (logical positivists and their immediate forerunners) have been criticised for their (alleged) neglect of these topics. It is the aim of this paper to show that the positivists' approach to scientific discovery is not only much richer than is commonly recognized, but that they even defended an important thesis which some of the `friends of (...)
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. Joke Meheus & Thomas Nickles (1999). Introductory Note. Foundations of Science 4 (4):373-374.
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  31. Joke Meheus & Thomas Nickles (1999). The Methodological Study of Creativity and Discovery -- Some Background. Foundations of Science 4 (3):231-235.
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  32. Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber (1996). Call for Papers First World Congress on Paraconsistency, Gent, Belgium 1997. Journal of Applied Non-Classical Logics 6 (2).
    Direct download  
     
    My bibliography  
     
    Export citation  
  33. Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber (1996). First World Congress on Paraconsistency. Studia Logica 56 (291).
    Direct download  
     
    My bibliography  
     
    Export citation  
  34. Joke Meheus (1996). Editorial Note. Philosophica 58.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  35. Joke Meheus & Diderik Batens (1996). Steering Problem Solving Between Cliff Incoherence and Cliff Solitude. Philosophica 58.
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Joke Meheus (1993). Adaptive Logic in Scientific Discovery: The Case of Claudius. Logique and Analyse 143:359-389.
    Direct download  
     
    My bibliography  
     
    Export citation