Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....by which they are obtained may easily be applied to other logics of questions. The techniques that led to Q derive from the adaptive logic programme. The first adaptive logic was designed by Diderik Batens around 1980 (see [1] Meanwhile, a whole variety of such logics is available see [2] and [4] for a survey. As we shall see below, the importance of adaptive logics is that they enable one to study, in a formally exact way, reasoning patterns that are non monotonic and or dynamic. Other types considered by Wisniewski concern the derivation of auxiliary questions from an initial ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors, Frontiers of Paraconsistent Logic, pages 49--73. Research Studies Press, Baldock, UK, 2000.

....they are explicitly violated. For instance, it is not possible to reason sensibly from an inconsistent set of statements while presupposing that A # #A is false, for any possible A. Still, one may maintain See [3] and [11] for philosophical introductions to the adaptive logics programme, and [6] and [13] for more technical ones. A constantly updated overview of the results can also be found at http: logica.rug.ac.be adlog albib.html. Consequence relations that proceed in terms of maximal consistent subsets were first proposed by Rescher and Manor in [62] and are today very popular ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....that there are many situations in which one would like to apply CL, whereas some presuppositions of CL are not met. In other words, we believe that there are many situations in which we should allow for specific For meaning change with respect to logical constants see, e. g, 1] 3] 5] [6]. For meaning change with respect to non logical terms see, e.g, 9] 19] 21] 22] 23] abnormalities with respect to CL. If for instance someone wants to apply CL to an inconsistent set of premises, one is in big trouble if one does not tolerate any inconsistency. We think it is very ....

Diderik BATENS, (2000), "A Survey of Inconsistency-Adaptive Logics". In: D. Batens, C. Mortensen, G. Priest, J.P. Van Bendegem (eds.), Frontiers of Paraconsistent Logic. Research Studies Press, Baldock, pages 49--73.

....they are obtained may easily be applied to other logics of questions. The techniques that led to Q and Q derive from the adaptive logic programme. The first adaptive logic was designed by Diderik Batens around 1980 (see [1] Meanwhile, a whole variety of such logics is available see [3] and [5] for a survey. As we shall see below, the importance of adaptive logics is that they enable one to study in a formally exact way reasoning patterns that are non monotonic and or dynamic. I shall proceed as follows. After briefly discussing Wisniewski s analysis of question evocation ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....They have a very static view on metaphors and language use and reasoning in general. Therefore, it is not surprising that their systems cannot account for any dynamics that are inherent to metaphorical reasoning. For further information on this type of logics, I refer the reader to [2] and [3]. 5 The metaphor theory I present in this paper, does not imply that metaphors are deviations from normal language use. They are important and inherent elements of our language and they are even capable of causing conceptual changes. To understand metaphors, we have to go through dynamical ....

....the systems that the premisses are analysed beforehand. The system presented in this paper has to be seen against the background of a recent development in the adaptive logic program. The first adaptive logics were corrective logics. Examples of this type of logics are ACLuN1, ACLuN2 (see [2] and [3]) and ANA (see [15] In corrective adaptive logics, the ULL determines the standard of reasoning and specific deviations from this standard are minimized. They adapt themselves to specific violations of presuppositions of CL such as inconsistencies. The system I present in this paper is an ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....approach, however, does not need any kind of negation, much less classical negation. We state that if the new information does not entail everything, then the revised belief set K is not trivial. Thus, the way is open for considering WBRS s for paraconsistent and other non standard logics (cf. [2, 3, 12, 18]) The theory of BRS s assumes additional conditions over the consequence operator CL : to sum up, CL must be supraclassical, that is, if LCL and Cl denote the language and the consequence operator of the classical propositional logic, respectively, then Cl( CL( for every set of formulas ....

....inherited by L. There are numerous examples of translations in the literature arriving into CPL. Besides R and S above, one of the most promising cases is the (paraconsistent and three valued) logic LFI1 (cf. 12] which has been applied to the theory of databases. LFI1 coincides with CLuNs (cf. [2]) and with J 3 (cf. 17] It is interesting to remark that a system equivalent to these appears in [24] under the name v , but with a di erent motivation. Translations from CLuNs into CPL are given in [2] where it is also shown that CLoN, CLaN, CLuN, CLoNs, CLaNs, CLoNv, CLaNv, CLuNv are also ....

[Article contains additional citation context not shown here]

D. Batens. A survey of inconsistency-adaptive logics. In Frontiers of Paraconsistent Logic (Proceedings of the I World Congress on Paraconsistency) , 49-73. D. Batens, C. Mortensen, G. Priest and J. P. Van Bendegem, eds. Baldock: Research Studies Press, King's College Publications, Logic and Computation Series, 2000.

....to these consequences are restricted. However, for consequences of the theory that behave consistently, all rules of CL can be applied in their full strength. 11 Later, the idea of an adaptive logic was generalized to other types of logical abnormalities (such as negationincompleteness) see [5] for an overview. An important recent development within the adaptive logic programme is the generalization to ampliative forms of reasoning. All three logics presented in this paper are ampliative adaptive logics. All adaptive logics are based on the idea that a specified set of presuppositions ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....each other, it should be possible to conjoin the statements on which they agree. The techniques that led to D2 r derive from the adaptive logic programme. The first adaptive logic was designed by Diderik Batens around 1980 (see [2] Meanwhile, a whole variety of such logics is available see [5] for a survey. As we shall see below, the importance of adaptive logics is that they enable one to study in a formally exact way reasoning patterns that are non monotonic and or dynamic. A reasoning pattern is called dynamic if the mere analysis of the premises may lead to the withdrawal of ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....on G = fp :p j p 2 A cl g. P is the same as LPm of [Priest, 1991] when S 3 is without oe) and ACLuNs2 of [Batens, 1998] It is nonmonotonic, paraconsistent, and in contrast to 3 , it is the same as classical logic on classically consistent sets. Adaptive Logics Adaptive logics [Batens, 1998; 2000] were originally introduces by dynamic proof systems that are designed to mimic some aspects of human reasoning with inconsistencies, especially the fact that conclusions that are drawn at a certain stage may be rejected at a later stage because of other conclusions, and then even accepted again. ....

....1 ; n ) and one or more of 1 ; n are assigned values that are illegal in a classical valuation, e.g. OE) OE) OE) oe OE) etc. In comparison to ACLuN2, ACL;2 is adaptive on all the connectives in Sigma cl , not only : Other adaptive logics (see [Batens, 2000]) use a formulapreferential system P in a more complicated way: the definition of the adaptive logic j is: Gamma j Delta iff T r( Gamma) P T r( Delta) where T r is some pre processing of the formulas. 5 Pointwise preferential systems [Arieli and Avron, 2000b] suggests another method for ....

D. Batens. A survey of inconsistency adaptive logics. In [Batens et al., 2000] , pages 49--74. 2000.

....as well as the explicanda. Two features seem essential to psps. First, some of their parts may be justified at a stage of the process, but may turn out dead ends at a later stage. The formal approach to this feature is familiar from the dynamic proofs of adaptive logics see for example [4] or [5] Next, realistic psps require prospective steps: if A 1 , A n are true, the solution of problem P is B. Such considerations enable one to proceed in a goal directed way: to tackle the problem P by first solving the sequence of problems Is A 1 true , Is A n true . The ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors, Frontiers of Paraconsistent Logic, pages 49--73. Research Studies Press, Baldock, UK, 2000.

....In still other cases, progress in a discipline was realized by reasoning from a theory and a set of data that are mutually inconsistent. The reasoning that occurs in such situations is explicated by inconsistencyadaptive logics see, for example, 3] 2] 5] 23] 14] 25] 12] [7], 8] These logics isolate the involved inconsistencies and in this way provide an interpretation of the premises (theories and or data) that is as consistent as possible. Precisely this type of interpretation is needed in order to reason from the inconsistent premises and in order to regain ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....Goal directed proofs also bear certain similarities to tableau methods. The format we shall present below is certainly more e#cient than such methods (at least if the premises are consistent) The proof format was influenced by the dynamic proofs of adaptive logics see for example [5] or [6]. In those proofs a condition (a set of formulas) is attached to some derived formulas, the interpretation being that the formula is derived if and only if all members of the condition behave normally on the premises . As the proof proceeds, some lines may be marked, indicating that the ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

....Mill s canons come close. There are also clear 2 simple and straightforward to understand, its formulation presupposes familiarity with the adaptive logic programme. I shall not summarize this programme here because several easy introductions to its purpose and range are available, for example [Bat00] and [Batnt] Rather, I shall introduce the required adaptive elements as the paper proceeds. However, it is only fair to the reader to mention that the ideas behind adaptive logics and dynamic proof theories have some tradition and are by no means the outcome of the present research. 3 Tinkering ....

Diderik Batens. A survey of inconsistency-adaptive logics. In Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem, editors, Frontiers of Paraconsistent Logic, pages 49--73. Research Studies Press, Baldock, UK, 2000.

No context found.

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

No context found.

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

No context found.

D. Batens. A survey of inconsistency-adaptive logics. In: D. Batens, C. Mortensen, G. Priest, and J.- P. van Bendegem, editors, Frontiers in Paraconsistent Logic: Proceedings of the I World Congress on Paraconsistency, Ghent, 1998.

No context found.

D. Batens. A survey of inconsistency-adaptive logics. In Frontiers of Paraconsistent Logic (Proceedings of the I World Congress on Paraconsistency) , 49-73. D. Batens, C. Mortensen, G. Priest and J. P. Van Bendegem, eds. Baldock: Research Studies Press, King's College Publications, Logic and Computation Series, 2000.

No context found.

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

No context found.

Diderik Batens. A survey of inconsistency-adaptive logics. In Batens et al.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC