Results for 'Joke Meheus*'

315 found
Order:
  1.  11
    An Adaptive Logic Based on Jaśkowskiˈs Approach to Paraconsistency.Joke Meheus* - 2006 - Journal of Philosophical Logic 35 (6):539-567.
    In this paper, I present the modal adaptive logic $AJ^{r}$ (based on S5) as well as the discussive logic $D_{2}^{r}$ that is defined from it. $D_{2}^{r}$ is a (nonmonotonic) alternative for Jaśkowski's paraconsistent system D₂. Like D₂, $D_{2}^{r}$ validates all single-premise rules of Classical Logic. However, for formulas that behave consistently, $D_{2}^{r}$ moreover validates all multiple-premise rules of Classical Logic. Importantly, and unlike in the case of D₂, this does not require the introduction of discussive connectives. It is argued that (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  2.  86
    Another Start for Abduction Aiming at Empirical Progress: Reply to Joke Meheus.Theo A. F. Kuipers - 2005 - Poznan Studies in the Philosophy of the Sciences and the Humanities 83 (1):218-220.
    This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, referential and theoretical (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Joke Meheus : Inconsistency in Science. [REVIEW]Peter Quigley - 2003 - Philosophy of Science 70 (3):637-639.
  4.  33
    Is Science Inconsistent?Otávio Bueno & Peter Vickers - 2014 - Synthese 191 (13):2887-2889.
    There has always been interest in inconsistency in science, not least within science itself as scientists strive to devise a consistent picture of the universe. Some important early landmarks in this history are Copernicus’s criticism of the Ptolemaic picture of the heavens, Galileo’s claim that Aristotle’s theory of motion was inconsistent, and Berkeley’s claim that the early calculus was inconsistent. More recent landmarks include the classical theory of the electron, Bohr’s theory of the atom, and the on-going difficulty of reconciling (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  5. Confirmation, Empirical Progress, and Truth Approximation: Essays in Debate with Theo Kuipers. Volume 1.Festa Roberto, Aliseda Atocha & Peijnenburg Jeanne - 2005 - Rodopi.
    This book is the first of two volumes devoted to the work of Theo Kuipers, a leading Dutch philosopher of science. Philosophers and scientists from all over the world, thirty seven in all, comment on Kuipers' philosophy, and each of their commentaries is followed by a reply from Kuipers. The present volume focuses on Kuipers' views on confirmation, empirical progress, and truth approximation, as laid down in his From Instrumentalism to Constructive Realism. In this book, Kuipers offered a synthesis of (...)
    No categories
     
    Export citation  
     
    My bibliography  
  6.  78
    Yes Fellows, Most Human Reasoning is Complex.Batens Diderik, Clercq Kristof De, Verdée Peter & Meheus Joke - 2009 - Synthese 166 (1):113-131.
    This paper answers the philosophical contentions defended in Horsten and Welch . 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.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  7. Inconsistency in Science.Joke Meheus - 2002
    No categories
     
    Export citation  
     
    My bibliography   7 citations  
  8.  2
    A Formal Logic for the Abduction of Singular Hypotheses1.Joke Meheus - 2011 - In Dennis Dieks, Wenceslao Gonzalo, Thomas Uebel, Stephan Hartmann & Marcel Weber (eds.), Explanation, Prediction, and Confirmation. Springer. pp. 93--108.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  9.  20
    Shortcuts and Dynamic Marking in the Tableau Method for Adaptive Logics.Diderik Batens & Joke Meheus - 2001 - 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)  
     
    Export citation  
     
    My bibliography   6 citations  
  10.  15
    An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Strasser & Joke Meheus - forthcoming - Journal of Philosophical Logic.
  11.  3
    A Formal Logic for Abductive Reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.
    This paper presents and illustrates a formal logic for the abduction of singular hypotheses. The logic has a semantics and a dynamic proof theory that is sound and complete with respect to the semantics. The logic presupposes that, with respect to a specific application, the set of explananda and the set of possible explanantia are disjoint . Where an explanandum can be explained by different explanantia, the logic allows only for the abduction of their disjunction.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  12.  1
    Some Adaptive Logics for Diagnosis.Diderik Batens, Joke Meheus, Dagmar Provijn & Liza Verhoeven - 2003 - 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)  
     
    Export citation  
     
    My bibliography   4 citations  
  13.  11
    Adaptive Logics for Question Evocation.Joke Meheus - 2001 - Logique Et Analyse 173 (175):135-164.
  14.  10
    Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Straßer, Mathieu Beirlaen & Joke Meheus - 2012 - Logique Et Analyse 55 (219):477.
  15.  4
    Inconsistencies and the Dynamics of Science.Joke Meheus - 2003 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  16.  67
    Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Joke Meheus & Dagmar Provijn - 2007 - 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 (8 more)  
     
    Export citation  
     
    My bibliography  
  17.  28
    The Adaptive Logic of Compatibility.Diderik Batens & Joke Meheus - 2000 - 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)  
     
    Export citation  
     
    My bibliography   3 citations  
  18. On Atocha Aliseda Abductive Reasoning.Atocha Aliseda, Johan van Benthem, Lorenzo Magnani, Angel Nepomuceno-Fernandez, Fernando Soler Toscano, Joke Meheus, Dagmar Provijn, John Woods, Silvio Pinto & Ilkka Niiniluoto - 2007 - Theoria 22 (60).
     
    Export citation  
     
    My bibliography   2 citations  
  19. Frontiers of Paraconsistent Logic.Joke Meheus - 2000 - Research Studies Press.
    Translate
     
     
    Export citation  
     
    My bibliography   2 citations  
  20.  53
    The Methodological Study of Creativity and Discovery -- Some Background.Joke Meheus & Thomas Nickles - 1999 - Foundations of Science 4 (3):231-235.
  21.  88
    Majority Merging by Adaptive Counting.Giuseppe Primiero & Joke Meheus - 2008 - 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)  
     
    Export citation  
     
    My bibliography  
  22.  22
    The Positivists' Approach to Scientific Discovery.Joke Meheus - 1999 - 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? have been criticised for their 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 discovery' seem to have forgotten. Contrary to what (...)
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  23.  13
    Erotetic Arguments From Inconsistent Premises.Joke Meheus - 1999 - Logique Et Analyse 165 (166):49-80.
  24.  4
    Adaptive Logic in Scientific Discovery: The Case of Claudius.Joke Meheus - 1993 - Logique and Analyse 143:359-389.
  25.  12
    First World Congress on Paraconsistency.Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber - 1996 - Studia Logica 56 (291).
  26.  43
    An Inconsistency-Adaptive Deontic Logic for Normative Conflicts.Mathieu Beirlaen, Christian Straßer & Joke Meheus - 2013 - 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)  
     
    Export citation  
     
    My bibliography  
  27.  11
    Paraconsistent Compatibility.Joke Meheus - 2003 - Logique Et Analyse 183 (184):251-287.
    Direct download  
     
    Export citation  
     
    My bibliography  
  28. An Extremely Rich Paraconsistent Logic and the Adaptive Logic Based on It.Joke Meheus - 2000 - In Frontiers of Paraconsistent Logic. Research Studies Press. pp. 189-201.
    Translate
     
     
    Export citation  
     
    My bibliography   1 citation  
  29.  16
    Claudius' Discovery of the First Two Laws of Thermodynamics. A Paradigm of Reasoning From Inconsistencies.Joke Meheus - 1999 - Philosophica 63:89-117.
  30.  14
    Steering Problem Solving Between Cliff Incoherence and Cliff Solitude.Joke Meheus & Diderik Batens - 1996 - Philosophica 58.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  31.  7
    Adaptive Logics and the Integration of Induction and Deduction.Joke Meheus - 2004 - Vienna Circle Institute Yearbook 11:93-120.
    The aim of this paper is twofold. First, I want to argue that the distinction between induction and deduction is less clear-cut than traditionally assumed, and that, moreover, most reasoning processes in the sciences involve an integration of inductive and deductive steps. Next, I want to show how so-called adaptive logics may lead to a better understanding of this integrated use of induction and deduction.
    Direct download  
     
    Export citation  
     
    My bibliography  
  32.  7
    Editorial Note.Joke Meheus - 1996 - Philosophica 58 (1):81-81.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  33.  17
    Introduction.Erik Weber, Dietlinde Wouters & Joke Meheus - 2012 - 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 (12 more)  
     
    Export citation  
     
    My bibliography  
  34.  16
    Discussive Adaptive Logics: Handling Internal and External Inconsistencies.Joke Meheus - 2006 - 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)  
     
    Export citation  
     
    My bibliography  
  35.  5
    Tolerating Deontic Conflicts by Adaptively Restricting Inheritance.Christian Strasser, Mathieu Beirlaen & Joke Meheus - 2012 - 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  
     
    Export citation  
     
    My bibliography  
  36.  12
    Empirical Progress and Ampliative Adaptive Logics.Joke Meheus - 2005 - 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)  
     
    Export citation  
     
    My bibliography  
  37.  12
    Deductive and Ampliative Adaptive Logics as Tools in the Study of Creativity.Joke Meheus - 1999 - 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)  
     
    Export citation  
     
    My bibliography  
  38.  3
    On the Acceptance of Problem Solutions Derived From Inconsistent Constraints.Joke Meheus - 2000 - Logic and Logical Philosophy 8:33-46.
    In this paper, I discuss the main difficulties one encounters whensolving problems with inconsistent constraints. I argue that in order to meetthese difficulties we need an inconsistency-adaptive logic that enables one toderive as many consequences as possible, but that at the sametime allows one to determine which consequences can be accepted. I showthat the inconsistency-adaptive logic ANA satisfies these requirements.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  39.  3
    Model-Based Reasoning in Creative Processes.Joke Meheus - 1999 - In L. Magnani, N. J. Nersessian & P. Thagard (eds.), Model-Based Reasoning in Scientific Discovery. Kluwer/Plenum. pp. 199--217.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  40.  7
    Introductory Note.Joke Meheus & Thomas Nickles - 1999 - Foundations of Science 4 (4):373-374.
  41.  1
    Call for Papers First World Congress on Paraconsistency, Gent, Belgium 1997.Diderik Batens, Chris Mortenson, Graham Priest, Jean Paul Van Bendegem, Joke Meheus, Joachim Van Meirvenne & Erik Weber - 1996 - Journal of Applied Non-Classical Logics 6 (2).
  42.  1
    Direct Dynamic Proofs for Classical Compatibility.Dagmar Provijn & Joke Meheus - 2004 - Logique Et Analyse 185:305-317.
  43. Yes Fellows, Most Human Reasoning is Complex.Batens Diderik, Clercq Kristof, Verdée Peter & Meheus Joke - 2008 - Synthese 166 (1):113-131.
    No categories
    Direct download  
     
    Export citation  
     
    My bibliography  
  44. Deontic Logic and Normative Systems.Fabrizio Cariani, Davide Grossi, Joke Meheus & Xavier Parent (eds.) - 2014 - Springer.
     
    Export citation  
     
    My bibliography  
  45. Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Meheus Joke & Provijn Dagmar - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 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 (2 more)  
     
    Export citation  
     
    My bibliography  
  46. Introduction.Erik Weber, Dietlinde Wouters & Joke Meheus - 2013 - Foundations of Science 18 (4):595-597.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  47. Introduction.Erik Weber, Dietlinde Wouters & Joke Meheus - 2012 - Logic and Logical Philosophy 21 (4):319-322.
    This introduction clarifies the ideas behind the Logic, Reasoningand Rationality congress from which the papers in this issue are selected.These ideas are situated in the history of 20th century philosophy. We also give an overview of the papers in this issue.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  48. Baring the Brain as Well as the Soul: Milan Kundera's the Joke.Yvonne Howell - 2010 - Philosophy and Literature 34 (1):pp. 201-217.
    Milan Kundera's first major novel, The Joke, was written in 1961-1965, before he made the decision to leave Czechoslovakia and take up residency as a political exile in France.1 With a few noteworthy exceptions, critics of the work focused on its political message in a Cold War context. This was easy to do: its plot revolves around an avid young Czech communist (Ludvik), who writes an ironic postcard to his overly earnest girlfriend while she is away at a political (...)
    Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  49. The Joke is the Thing: 'In the Company of Men' and the Ethics of Humor.Aaron Smuts - 2007 - Film and Philosophy 11 (1):49-66.
    Any analysis of "In the Company of Men" is forced to answer three questions of central importance to the ethics of humor: What does it mean to find sexist humor funny? What are the various sources of humor? And, can moral flaws with attempts at humor increase their humorousness? I argued that although merely finding a joke funny in a neutral context cannot tell you anything reliable about a person's beliefs, in context, a joke may reveal a great (...)
    Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  50.  56
    Is the Numbering System in Wittgenstein's Tractatus a Joke?Kevin Gibson - 1996 - Journal of Philosophical Research 21:139-148.
    Many commentators have dismissed Wittgenstein’s numbering system in the Tractatus as either incoherent or a joke. In this paper I offer a way to rehabilitate the system along the lines of Wittgenstein’s own instructions. Reading the Tractatus in this way not only offers a way to make sense of the numbering, but also offers a significant improvement in examining the meaning of the text.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 315