18 found
Order:
  1. Christian Straßer (2010). An Adaptive Logic Framework for Conditional Obligations and Deontic Dilemmas. Logic and Logical Philosophy 19 (1-2):95-128.
    Lou Goble proposed powerful conditional deontic logics (CDPM) that are able to deal with deontic conflicts by means of restricting the inheritance principle. One of the central problems for dyadic deontic logics is to properly treat the restricted applicability of the principle “strengthening the antecedent”. In most cases it is desirable to derive from an obligation A under condition B, that A is also obliged under condition B and C. However, there are important counterexamples. Goble proposed a weakened rational monotonicity (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  2.  70
    Dunja Šešelja & Christian Straßer (2013). Kuhn and the Question of Pursuit Worthiness. Topoi 32 (1):9-19.
    The aim of this paper is, on the one hand, to critically investigate Kuhn’s stance on the assessment of the pursuit worthiness of scientific theories, and, on the other hand, to show the actuality of some of Kuhn’s points on this issue, in view of their critical analysis. To this end we show that Kuhn presents certain tools, which may help scientists to overcome communication breakdowns when engaging in the process of rational deliberation regarding the question whether a theory is (...)
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  3.  24
    Dunja Šešelja & Christian Straßer (2013). Abstract Argumentation and Explanation Applied to Scientific Debates. Synthese 190 (12):2195-2217.
    argumentation has been shown to be a powerful tool within many fields such as artificial intelligence, logic and legal reasoning. In this paper we enhance Dung’s well-known abstract argumentation framework with explanatory capabilities. We show that an explanatory argumentation framework (EAF) obtained in this way is a useful tool for the modeling of scientific debates. On the one hand, EAFs allow for the representation of explanatory and justificatory arguments constituting rivaling scientific views. On the other hand, different procedures for selecting (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  4.  41
    Dunja Šešelja & Christian Straßer (2014). Epistemic Justification in the Context of Pursuit: A Coherentist Approach. Synthese 191 (13):3111-3141.
    The aim of this paper is to offer an account of epistemic justification suitable for the context of theory pursuit, that is, for the context in which new scientific ideas, possibly incompatible with the already established theories, emerge and are pursued by scientists. We will frame our account paradigmatically on the basis of one of the influential systems of epistemic justification: Laurence Bonjour’s coherence theory of justification. The idea underlying our approach is to develop a set of criteria which indicate (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  5.  11
    Dunja Šešelja & Christian Straßer (2009). Kuhn and Coherentist Epistemology. Studies in History and Philosophy of Science Part A 40 (3):322-327.
    The paper challenges a recent attempt by Jouni-Matti Kuukkanen to show that since Thomas Kuhn’s philosophical standpoint can be incorporated into coherentist epistemology, it does not necessarily lead to: an abandonment of rationality and rational interparadigm theory comparison, nor to an abandonment of convergent realism. Leaving aside the interpretation of Kuhn as a coherentist, we will show that Kuukkanen’s first thesis is not sufficiently explicated, while the second one entirely fails. With regard to Thesis 1, we argue that Kuhn’s view (...)
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   3 citations  
  6.  3
    Diderik Batens, Christian Straßer & Peter Verdée (2009). On the Transparency of Defeasible Logics: Equivalent Premise Sets, Equivalence of Their Extensions, and Maximality of the Lower Limit. Logique Et Analyse 207:281-304.
    Direct download  
     
    Export citation  
     
    My bibliography   3 citations  
  7.  16
    Frederik Van De Putte & Christian Straßer (2012). Extending the Standard Format of Adaptive Logics to the Prioritized Case. Logique Et Analyse 120.
    Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  8.  10
    Christian Straßer, Mathieu Beirlaen & Joke Meheus (2012). Tolerating Deontic Conflicts by Adaptively Restricting Inheritance. Logique Et Analyse 55 (219):477.
  9.  7
    Christian Straßer (2012). Adaptively Applying Modus Ponens in Conditional Logics of Normality. Journal of Applied Non-Classical Logics 22 (1-2):125-148.
    This paper presents an adaptive logic enhancement of conditional logics of normality that allows for defeasible applications of Modus Ponens to conditionals. In addition to the possibilities these logics already offer in terms of reasoning about conditionals, this way they are enriched by the ability to perform default inferencing. The idea is to apply Modus Ponens defeasibly to a conditional and a fact on the condition that it is ?safe' to do so concerning the factual and conditional knowledge at hand. (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  10.  59
    Mathieu Beirlaen & Christian Straßer (2013). Two Adaptive Logics of Norm-Propositions. Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  11. Christian Straßer (2011). A Deontic Logic Framework Allowing for Factual Detachment. Journal of Applied Logic 9 (1):61-80.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  12.  6
    Christian Straßer, Mathieu Beirlaen & Frederik Van De Putte (2016). Adaptive Logic Characterizations of Input/Output Logic. Studia Logica 104 (5):869-916.
    We translate unconstrained and constrained input/output logics as introduced by Makinson and van der Torre to modal logics, using adaptive logics for the constrained case. The resulting reformulation has some additional benefits. First, we obtain a proof-theoretic characterization of input/output logics. Second, we demonstrate that our framework naturally gives rise to useful variants and allows to express important notions that go beyond the expressive means of input/output logics, such as violations and sanctions.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  43
    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)  
     
    Export citation  
     
    My bibliography  
  14.  13
    Mathieu Beirlaen & Christian Straßer (2013). Two Adaptive Logics of Norm-Propositions. Journal of Applied Logic 11 (2):147-168.
    We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  15.  8
    Ofer Arieli & Christian Straßer (2015). Sequent-Based Logical Argumentation. Argument and Computation 6 (1):73-99.
    We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks between arguments are represented by sequent elimination rules, and deductions are made according to Dung-style skeptical or credulous semantics. This framework accommodates different languages and logics in which arguments may be represented, allows for a flexible and simple way of expressing and identifying arguments, supports a variety of attack relations, and is faithful to standard methods of drawing conclusions (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  10
    Frederik Van De Putte & Christian Straßer (2014). Preferential Semantics Using Non-Smooth Preference Relations. Journal of Philosophical Logic 43 (5):903-942.
  17.  4
    Dunja Šešelja & Christian Straßer (2014). Concerning Peter Vickers's Recent Treatment of ‘Paraconsistencitis’. International Studies in the Philosophy of Science 28 (3):325-340.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  18. Dunja Šešelja & Christian Straßer (2014). Heuristic Reevaluation of the Bacterial Hypothesis of Peptic Ulcer Disease in the 1950s. Acta Biotheoretica 62 (4):429-454.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography