@article {368285, title = {The relevance of a relevantly assertable disjunction for material implication}, journal = {Journal of Philosophical Logic}, volume = {36}, number = {3}, year = {2007}, pages = {339{\textendash}366}, abstract = {

In this paper Grice{\textquoteright}s requirements for assertability are imposed on the disjunction of Classical Logic. Defining material implication in terms of negation and disjunction supplemented by assertability conditions, results in the disappearance of the most important paradoxes of material implication. The resulting consequence relation displays a very strong resemblance to Schurz{\textquoteright}s conclusion-relevant consequence relation

}, issn = {0022-3611}, author = {Verhoeven, Liza} } @phdthesis {PhD_Liza, title = {De Disjunctie. Adaptief-Logische Formalisering van een aantal Griceaanse Implicaturen}, year = {2005}, month = {September 22}, publisher = {Ghent University}, type = {phd}, author = {Verhoeven, Liza} } @article {Verhoeven2005, title = {On the Exclusivity Implicature of {\textquoteleft}{O}r{\textquoteright} or on the Meaning of Eating Strawberries}, journal = {Studia Logica}, volume = {81}, number = {1}, year = {2005}, pages = {19-24}, abstract = {

This paper is a contribution to the program of constructing formal representations of pragmatic aspects of human reasoning. We propose a formalization within the framework of Adaptive Logics of the exclusivity implicature governing the connective ‘or’.Keywords: exclusivity implicature, Adaptive Logics.

}, keywords = {Adaptive Logics, exclusivity implicature}, issn = {0039-3215}, doi = {10.1007/s11225-005-2767-8}, url = {http://dx.doi.org/10.1007/s11225-005-2767-8}, author = {Verhoeven, Liza and Horsten, Leon} } @article {322466, title = {Sieving Out Relevant and Efficient Questions}, journal = {Logique et Analyse}, volume = {47}, number = {185{\textendash}188}, year = {2004}, pages = {189{\textendash}216}, abstract = {

Wisniewksi’s erotetic logic provides us with two slightly different semantic explications of the intuitive concept of “a question arises from a set of declarative premises”. Unfortunately, Wisniewski’s erotetic concepts suffer from the drawback that they allow for the raising of irrelevant and inefficient questions. The aim of this paper is to show that raising such questions can be avoided by changing the underlying logic. Several closely related logical approaches which enable us to eliminate irrelevant and inefficient questions, are presented.

}, issn = {0024-5836}, author = {De Clercq, Kristof and Verhoeven, Liza} } @article {291051, title = {Changing one{\textquoteright}s position in discussions - Some adaptive approaches}, journal = {Logic and Logical Philosophy}, volume = {11/12}, year = {2003}, pages = {277{\textendash}297}, abstract = {

This paper contains different approaches to solve the problem how to construct the ultimate position out of one’s interventions in a discussion after possibly one or more position changes. In all approaches it is the aim to come as close as possible to human reasoning. Therefore all logics are adaptive logics. The first logic is an extension of an adaptive translation into S5 of the Rescher-Manor mechanisms. The second one is a dynamic proof theory based on a technique using indices. In the end a satisfactory solution is given by a dynamic proof theory expressing the idea of prioritized compatibility, i.e. compatibility step by step

}, issn = {1425-3305}, author = {Verhoeven, Liza} } @article {319505, title = {Proof Theories for Some Prioritized Consequence Relations}, journal = {Logique et Analyse}, volume = {46}, number = {183{\textendash}184}, year = {2003}, pages = {325{\textendash}344}, abstract = {

Handling a possibly inconsistent prioritized belief base can be done in terms of consistent subsets. Humans do not compute consistent subsets, they just start reasoning and when confronted with incon- sistencies in the course of their reasoning, they may adjust their interpretation of the information. In logics this behaviour corresponds to the mechanisms of dynamic proof theories. The aim of this paper is to transform known consequence relations for inconsistent prioritized belief bases in terms of consistent subsets, into dynamic proof theories that are a more faithful representation of human reasoning processes.

}, issn = {0024-5836}, author = {Verhoeven, Liza} } @article {DJDaL:diag, title = {Some Adaptive Logics for Diagnosis}, journal = {Logic and Logical Philosophy}, volume = {11/12}, year = {2003}, pages = {39{\textendash}65}, abstract = {

A logic of diagnosis proceeds in terms of a set of premises and one or more (prioritized) sets of expectancies. In this paper we generalize the logics of diagnosis from \cite{EDa:diag} and present some alternatives. The former operate on the premises and expectancies themselves, the latter on their consequences.

}, author = {Batens, Diderik and Meheus, Joke and Provijn, Dagmar and Verhoeven, Liza} } @incollection {JLMDa:abd, title = {Ampliative Adaptive Logics and the Foundation of Logic-Based Approaches to Abduction}, booktitle = {Logical and Computational Aspects of Model-Based Reasoning}, year = {2002}, pages = {39{\textendash}71}, publisher = {Kluwer Academic}, address = {Dordrecht}, abstract = {

In this paper, we propose a reconstruction of logic-based approaches to abductive reasoning in terms of ampliative adaptive logics. The advantages of this reconstruction are important: the resulting logics have a proper theory (that leads to justified conclusions even for undecidable fragments), they nicely integrate deductive and abductive steps, and they are much closer to natural reasoning than the existing systems.
We present two new adaptive logics for abduction, CP1 and CP2. CP1 enables one to generate explanations for novel facts from a consistent theory. CP2 moreover enables one to abduce explanatory hypotheses for novel facts and for anomalous facts from a possibly inconsistent theory. We illustrate both logics with some examples from the history of the sciences (the discovery of Uranus and of Neptune), and present some alternatives to CP1 and CP2 that are better suited for non-creative forms of abductive reasoning and for practical reasoning.

}, author = {Meheus, Joke and Verhoeven, Liza and Van Dyck, Maarten and Provijn, Dagmar} } @article {319503, title = {Explanatory Proofs in Mathematics}, journal = {Logique et Analyse}, volume = {45}, number = {179{\textendash}180}, year = {2002}, pages = {299{\textendash}307}, issn = {0024-5836}, author = {Weber, Erik and Verhoeven, Liza} } @article {291776, title = {All premises are equal, but some are more equal than others.}, journal = {Logique et Analyse}, volume = {44}, number = {173-175}, year = {2001}, pages = {165{\textendash}188}, abstract = {

This paper proposes two adaptive approaches to inconsistent prioritized belief bases. Both approaches rely on a selection mechanism, that is not applied to the premises as they stand, but to the consequence sets of the belief levels. One is based on classical compatibility, the other on the modal logic T of Feys. For both approaches the two main strategies of inconsistency adaptive logics are formulated: the reliability strategy and the minimal abnormality strategy. All four systems are compared and found useful.

}, issn = {0024-5836}, author = {Verhoeven, Liza} }