Abstract
This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5from which it follows that a specific subset of the standard worlds-models is characteristic for S5.
Similar content being viewed by others
References
Batens, D., ‘Dynamic dialectical logics as a tool to deal with and partly eliminate unexpected inconsistencies’, in J. Hintikka and F. Vandamme, editors, The Logic of Discovery and the Logic of Discourse, pages 263–271, Plenum Press, New York, 1985.
Batens, D., ‘Dynamic dialectical logics’, in G. Priest, R. Routley, and J. Norman, editors, Paraconsistent Logic, Essays on the Inconsistent, pages 187–217, Philosophia Verlag, München, 1989.
Batens, D., ‘Blocks. The clue to dynamic aspects of logic’, Logique et Analyse 150–152 (1995), 285–328, Appeared 1997.
Batens, D., ‘Dynamic semantics applied to inconsistency-adaptive logics’, in Logical Investigations, volume 5, pages 74–85, Moscow, Nauka, 1998.
Batens, D., ‘Inconsistency-adaptive logics’, in E. Orlowska, editor. Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, pages 445–472, Physica Verlag (Springer), Heidelberg, New York, 1999.
Batens, D., ‘A survey of inconsistency-adaptive logics’, in Batens et al.[10], pages 49–73.
Batens, D., ‘Minimally abnormal models in some adaptive logics’, Synthese 125 (2000), 5–18.
Batens, D., K. De Clercq, and G. Vanackere, ‘Simplified dynamic proof formats for adaptive logics’, to appear.
Batens, D., and J. Meheus, ‘A tableau method for inconsistency-adaptive logics’, in R. Dyckhoff, editor, Automated Reasoning with Analytic Tableaux and Related Methods, Lecture Notes in Artificial Intelligence Vol. 1847, pages 127–142, Springer-Verlag, 2000.
Batens, D., C. Mortensen, G. Priest, and J. P. Van Bendegem, editors, Frontiers of Paraconsistent Logic, Research Studies Press, Baldock, UK, 2000.
N. C. da Costa, O. Bueno, and S. French, ‘The logic of pragmatic truth’, Journal of Philosophical Logic 27 (1998), 603–620.
Hintikka, J., Knowledge and Belief. An Introduction to the Logic of the Two Notions, Cornell University Press, Ithaca, New York, 1962.
Hughes, G,. and M. Cresswell, An Introduction to Modal Logic, Methuen, London, New York, 1972, First published 1968.
Meheus, J., ‘An extremely rich paraconsistent logic and the adaptive logic based on it’, in Batens et al[10], pages 189–201.
Meheus, J., ‘Analogical reasoning in creative problem solving processes: Logicophilosophical perspectives’, in F. Hallyn, editor, Metaphor and Analogy in the Sciences, pages 17–34, Kluwer, Dordrecht, 2000.
Mikenberg, I., N. C. A. da Costa, and R. Chuaqui, ‘Pragmatic truth and approximation to truth’, Journal of Symbolic Logic 51 (1986), 201–221.
Priest, G., ‘Minimally inconsistent LP’, Studia Logica 50 (1991), 321–331.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Batens, D., Meheus, J. The Adaptive Logic of Compatibility. Studia Logica 66, 327–348 (2000). https://doi.org/10.1023/A:1005208616441
Issue Date:
DOI: https://doi.org/10.1023/A:1005208616441