11 found
Order:
  1.  38
    Socratic Proofs and Paraconsistency: A Case Study.Andrzej Wiśniewski, Guido Vanackere & Dorota Leszczyńska - 2005 - Studia Logica 80 (2-3):431-466.
    This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens' weak paraconsistent logic CLuN and Schütte's maximally paraconsistent logic Φv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  2.  4
    Ambiguity-Adaptive Logic.Guido Vanackere - 1997 - Logique Et Analyse 159:261-280.
  3.  21
    Preferences as Inconsistency-Resolvers: The Inconsistency-Adaptive Logic PRL.Guido Vanackere - 2000 - Logic and Logical Philosophy 8:47.
    In this paper I generalize the new approach to nonmonotonicreasoning that was presented in [6]. This generalization results in the inconsistency-adaptive logic PRL . I give proof theory, semantics, mention interesting properties,and comment on the reconstruction and amelioration of other nonmonotoniclogics and mechanisms.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  3
    Minimizing Ambiguity and Paraconsistency.Guido Vanackere - 1999 - Logique Et Analyse 165:39-160.
  5.  13
    The Role of Ambiguities in the Construction of Collective Theories.Guido Vanackere - 2001 - Logique Et Analyse 173 (175):189-214.
  6.  10
    HL2, an Inconsistency-Adaptive and Inconsistency-Resolving Logic for General Statements That Might Have Exceptions.Guido Vanackere - 2000 - Journal of Applied Non-Classical Logics 10 (3-4):317-338.
    ABSTRACT The present paper offers a new approach to non-monotonic logics and their reconstruction in terms of inconsistency-adaptive logics. By applying a special technique, universally quantified formulas are assigned instances that, given the paraconsistent framework, do not cause triviality even if they conflict with knowledge deriving from other sources. From the special instances, the usual instances may be derived conditionally, viz. provided they are not contradicted by statements derived with a higher preference ranking.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. A World of Experiences, an Adequate Language, and Self-Reference Revised.Guido Vanackere - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):243-256.
    The paper presents a new, intuitive formal language, L E , that fits in with a world view in which experiences are central entities. It is shown how classical logic and an "objective making" adaptive logic can be applied to formulas of L E . The latter logic sheds an interesting light on the creation of theories about "the objective world". The paper also contains a small comment on sentences that are not translatable in L E . In the last (...)
     
    Export citation  
     
    Bookmark  
  8.  20
    Bart Van Kerkhove.Guido Vanackere - 2001 - Studia Logica 68:1-30.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  7
    Change in Individuals Without a Name. Contextual Indicators & the Free Change-Adaptive Logic.Guido Vanackere - 2003 - Logic and Logical Philosophy 11:213-230.
    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 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  10.  14
    Preferences as Inconsistency-Resolvers: An Inconsistency-Adaptive Tool.Guido Vanackere - 2001 - Logic and Logical Philosophy 8:47-63.
  11.  98
    Vagueness-Adaptive Logic: A Pragmatical Approach to Sorites Paradoxes.Bart Van Kerkhove & Guido Vanackere - 2003 - Studia Logica 75 (3):383-411.
    This paper defends a pragmatical approach to vagueness. The vagueness-adaptive logic VAL is a good reconstruction of and an excellent, instrument for human reasoning processes in which vague predicates are involved. Apart from its proof-theory and semantics, a Sorites-treating model based on it is presented, disarming the paradox. The paper opens perspectives with respect to the construction of theories by means of vague predicates.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark