@incollection {vanackere2006world, title = {A World of Experiences, an Adequate Language, and Self-Reference Revised}, booktitle = {Essays in Logic and Ontology}, volume = {91}, number = {1}, year = {2006}, pages = {243{\textendash}256}, publisher = {Rodopi}, abstract = {

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 section, I revise self-referring sentences by means of their translations in L E.

}, author = {Vanackere, Guido}, editor = {Malinowski, Jacek and Pietruszczak, Andrzej} } @article {360923, title = {Socratic proofs and paraconsistency: a case study}, journal = {Studia Logica}, volume = {80}, number = {2-3}, year = {2005}, pages = {431{\textendash}466}, abstract = {

This paper develops a new proof method for two propositional paraconsistent logics: the propositional part of Batens{\textquoteright} weak paraconsistent logic CLuN and Sch{\"u}tte{\textquoteright}s maximally paraconsistent logic Fv. Proofs are de.ned as certain sequences of questions. The method is grounded in Inferential Erotetic Logic.

}, issn = {0039-3215}, author = {Vanackere, Guido and Wisniewski, Andzrej and Leszczynska, Dorota} } @article {Vanackere2004, title = {Boekbespreking: "Jan Albert van Laar. The Dialectic of Ambiguity. A Contribution to the Study of Argumentation".}, journal = {Tijdschrift voor Taalbeheersing}, volume = {3}, year = {2004}, pages = {248{\textendash}251}, author = {Vanackere, Guido} } @phdthesis {PhD_Guido, title = {Logica en het Waardevolle in de Wereld. De Rol van Adaptieve Logica{\textquoteright}s bij de Constructie van Theorie{\"e}n}, year = {2004}, month = {May 12}, publisher = {Ghent University}, type = {phd}, author = {Vanackere, Guido} } @article {291501, title = {Change in individuals without a name. {C}ontextual indicators \& the free change-adaptive logic}, journal = {Logic and Logical Philosophy}, volume = {11}, year = {2003}, pages = {213{\textendash}230}, abstract = {

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.

}, issn = {1425-3305}, doi = {http://dx.doi.org/10.12775/LLP.2003.011}, url = {http://dx.doi.org/10.12775/LLP.2003.011}, author = {Vanackere, Guido} } @article {VanKerkhove2003, title = {Vagueness-Adaptive Logic: {A} Pragmatical Approach to Sorites Paradoxes}, journal = {Studia Logica}, volume = {75}, number = {3}, year = {2003}, pages = {383-411}, abstract = {

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.

}, keywords = {adaptive logic, construction of scientific theories, paraconsistent logic, philosophical logic, philosophy of language, Sorites paradox, vagueness}, issn = {0039-3215}, doi = {10.1023/B:STUD.0000009567.21578.0a}, url = {http://dx.doi.org/10.1023/B\%3ASTUD.0000009567.21578.0a}, author = {Van Kerkhove, Bart and Vanackere, Guido} } @incollection {402884, title = {Ontological causes of inconsistency and a change-adaptive, logical solution}, booktitle = {Paraconsistency. The Logical Way to the Inconsistent}, volume = {228}, year = {2002}, pages = {151{\textendash}166}, publisher = {Marcel Dekker}, abstract = {

This paper reveals an implicit ontological assumption that is presupposed in common thought. This assumption results in the fact that people usually do not make any distinction between {\textquoteright}the object a{\textquoteright} and {\textquoteright}the object a at a given moment{\textquoteright}. This laziness causes many inconsistencies. Several attempts to solve these inconsistencies are studied, and the most natural one is elaborated, namely the one obtained by applying Classical Logic to an ontological correct domain. This solution has a drawback with respect to communication, which is solved by the change-adaptive logic CAL2. This non-monotonic, paraconsistent logic, belongs to the family of ambiguity-adaptive logics. It has the special characteristic that it solves inconsistencies by the introduction of more precise names for objects, more exactly names that refer to objects at a moment. The dynamics of the logic captures the change in objects. CAL2 has a nice proof theory, and an intuitive semantics. Interesting results and applications are commented upon, for instance those making use of the notion {\textquoteright}periods of invariance{\textquoteright}. Of course, the philosophical background is discussed.

}, isbn = {0824708059}, author = {Vanackere, Guido}, editor = {Carnielli, Walter A. and Coniglio, Marcelo E. and Loffredo D{\textquoteright}Ottaviano, Itala M.} } @article {291578, title = {Preferences as inconsistency-resolvers: an Inconsistency-adaptive Tool}, journal = {Logic and Logical Philosophy}, volume = {8}, year = {2001}, pages = {47{\textendash}63}, issn = {1425-3305}, author = {Vanackere, Guido} } @article {291580, title = {The role of ambiguities in the construction of collective theories.}, journal = {Logique et Analyse}, volume = {44}, number = {173-175}, year = {2001}, pages = {189{\textendash}214}, abstract = {

The paper presents a formal model for theory development, based on a very intuitive ambiguity-adaptive logic. Apart from its simplicity, the model has some interesting features. (i) It allows for the construction of theories that cannot rely on observational data. (ii) It allows to construct a theory starting from zero, and using a small set of predicates. (iii) The model establishes that there is no real difference between the construction of scientific theories and the development of everyday knowledge.

}, issn = {0024-5836}, author = {Vanackere, Guido} } @article {134996, title = {H{L}2, an inconsistency-adaptive and inconsistency-resolving logic for general statements that might have exceptions}, journal = {Journal of Applied Non-Classical Logics}, volume = {10}, number = {3-4}, year = {2000}, pages = {317{\textendash}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.

}, issn = {1166-3081}, doi = {10.1080/11663081.2000.10511002}, author = {Vanackere, Guido} } @article {152579, title = {Minimizing Ambiguity and Paraconsistency.}, journal = {Logique et Analyse}, volume = {42}, number = {165-166}, year = {1999}, pages = {39{\textendash}160}, abstract = {

Ambiguity-adaptive logics offer a natural and rich formal solution to (possibly) inconsistent theories. Three views on ambiguities result in three different, intuitively correct ambiguity-adaptive logics with interesting applications. We present their semantics and proof theory, and illustrate that ambiguity-adaptive logics form an excellent alternative to paraconsistent logics that focus on the characteristics of the logical constants.

}, issn = {0024-5836}, author = {Vanackere, Guido} } @article {109693, title = {Ambiguity-adaptive logic}, journal = {Logique et Analyse}, volume = {159}, year = {1997}, pages = {261{\textendash}280}, issn = {0024-5836}, author = {Vanackere, Guido} }