Abstract
In an adaptive logic APL, based on a (monotonic) non-standardlogic PL the consequences of Γ can be defined in terms ofa selection of the PL-models of Γ. An important property ofthe adaptive logics ACLuN1, ACLuN2, ACLuNs1, andACLuNs2 logics is proved: whenever a model is not selected, this isjustified in terms of a selected model (Strong Reassurance). Theproperty fails for Priest's LP m because its way of measuring thedegree of abnormality of a model is incoherent – correcting thisdelivers the property.
Similar content being viewed by others
References
Batens, Diderik: 1980a, 'A Completeness-Proof Method for Extensions of the Implicational Fragment of the Propositional Calculus', Notre Dame Journal of Formal Logic 21, 509–517.
Batens, Diderik: 1980b, 'Paraconsistent Extensional Propositional Logics', Logique et Analyse 90–91, 195–234.
Batens, Diderik: 1985, 'Dynamic Dialectical Logics as a Tool to Deal with and Partly Eliminate Unexpected Inconsistencies', in J. Hintikka and F. Vandamme (eds), The Logic of Discovery and the Logic of Discourse, Plenum Press, New York, pp. 263–271.
Batens, Diderik: 1986, 'Dialectical Dynamics within Formal Logics', Logique et Analyse 114, 161–173.
Batens, Diderik: 1989, 'Dynamic Dialectical Logics', in Graham Priest, Richard Routley, and Jean Norman (eds), Paraconsistent Logic. Essays on the Inconsistent, Philosophia Verlag, München, pp. 187–217.
Batens, Diderik: 1990, 'Against Global Paraconsistency', Studies in Soviet Thought 39, 209–229.
Batens, Diderik: 1999, 'Inconsistency-Adaptive Logics', in Ewa Orłowska (ed.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Springer Verlag, pp. 445–472.
Batens, Diderik: 2000, 'A Survey of Inconsistency-Adaptive Logics', in Diderik Batens, Chris Mortensen, Graham Priest, and Jean Paul Van Bendegem (eds), Frontiers of Paraconsistent Logic, King's College Publications, Research Studies Press, pp. 59–83.
Batens, Diderik and Kristof De Clercq: in press, 'A Rich Paraconsistent Extension of Full Positive Logic', Logique et Analyse.
Batens, Diderik and Joke Meheus: forthcoming, 'A Tableau Method for Inconsistency-Adaptive Logics”.
da Costa, Newton C. A.: 1974, 'On the Theory of Inconsistent Formal Systems', Notre Dame Journal of Formal Logic 15, 497–510.
da Costa, Newton C. A. and Elias H. Alves: 1977, 'A Semantical Analysis of the Calculi C n', Notre Dame Journal of Formal Logic 18, 621–630.
Loparić, Andréa and Elias H. Alves: 1980, 'The Semantics of the Systems C n of da Costa', in Ayda I. Arruda, Newton C. A. C, and Antonio M. Sette (eds.), Proceedings of the Third Brazilian Conference on Mathematical Logic, Sociedade Brasileira de Lógica, São Paulo, pp. 161–172.
Priest, Graham: 1991, 'Minimally Inconsistent LP', Studia Logica 50, 321–331.
Schütte, Kurt: 1960, Beweistheorie, Springer, Berlin.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Batens, D. Minimally Abnormal Models In Some Adaptive Logics. Synthese 125, 5–18 (2000). https://doi.org/10.1023/A:1005208424356
Issue Date:
DOI: https://doi.org/10.1023/A:1005208424356