Abstract
This paper answers the philosophical contentions defended in Horsten and Welch (2007, Synthese, 158, 41–60). It contains a description of the standard format of adaptive logics, analyses the notion of dynamic proof required by those logics, discusses the means to turn such proofs into demonstrations, and argues that, notwithstanding their formal complexity, adaptive logics are important because they explicate an abundance of reasoning forms that occur frequently, both in scientific contexts and in common sense contexts.
Similar content being viewed by others
References
Batens D. (1989). Dynamic dialectical logics. In: Priest G., Routley R., Norman J. (eds) Paraconsistent logic. Essays on the inconsistent. München, Philosophia Verlag, pp. 187–217
Batens, D. (1995). Blocks. The clue to dynamic aspects of logic. Logique et Analyse, 150–152, 285–328. Appeared 1997.
Batens, D. (1999). Inconsistency-adaptive logics. In Orłowska (1999), pp. 445–472.
Batens D. (2000). Towards the unification of inconsistency handling mechanisms. Logic and Logical Philosophy 8: 5–31. Appeared 2002.
Batens, D. (2001). A general characterization of adaptive logics. Logique et Analyse, 173–175, 45–68. Appeared 2003.
Batens D. (2002). In defence of a programme for handling inconsistencies. In: Meheus J. (ed) Inconsistency in science. Dordrecht, Kluwer, pp. 129–150
Batens D. (2005). A procedural criterion for final derivability in inconsistency-adaptive logics. Journal of Applied Logic 3: 221–250
Batens D. (2007). A universal logic approach to adaptive logics. Logica Universalis 1: 221–242
Batens, D. (200x). Towards a dialogic interpretation of dynamic proofs. To appear in a Festschrift for Shahid Rahman.
Batens, D., & Meheus, J. (2000). A tableau method for inconsistency-adaptive logics. In R. Dyckhoff (Ed.), Automated reasoning with analytic tableaux and related methods. Lecture notes in artificial intelligence (Vol. 1847, pp. 127–142). Springer.
Batens, D., & Provijn, D. (2001). Pushing the search paths in the proofs. A study in proof heuristics. Logique et Analyse, 173–175, 113–134. Appeared 2003.
Batens D., Meheus J., Provijn D., Verhoeven L. (2003). Some adaptive logics for diagnosis. Logic and Logical Philosophy 11/12: 39–65
Benferhat S., Dubois D., Prade H. (1997). Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study Part. 1: The flat case. Studia Logica 58: 17–45
Benferhat, S., Dubois, D., & Prade, H. (1999). Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case. In Orłowska (1999), pp. 473–511.
Boolos, G. S., Burgess, J. P., & Jeffrey, R. J. (2002). Computability and logic. Cambridge University Press (Fourth edition).
Halonen I., Hintikka J. (2005). Toward a theory of the process of explanation. Synthese 143: 5–61
Horsten L., Welch P. (2007). The undecidability of propositional adaptive logic. Synthese 158: 41–60
Martin E., Osherson D.N. (1998). Elements of scientific inquiry. Cambridge, Mass, MIT Press
Meheus, J. (2001). Adaptive logics for question evocation. Logique et Analyse, 173–175, 135–164. Appeared 2003.
Orłowska E. (ed) (1999). Logic at work Essays dedicated to the memory of Helena Rasiowa. Heidelberg New York, Physica Verlag (Springer).
Rescher N. (1964). Hypothetical reasoning. Amsterdam, North-Holland
Rescher N. (1973). The coherence theory of truth. Oxford, Clarendon
Rescher N., Manor R. (1970). On inference from inconsistent premises. Theory and Decision 1: 179–217
Verdée, P. (200x). Adaptive logics using the minimal abnormality strategy are Π 11 -complex (Forthcoming).
Verhoeven, L. (2001). All premisses are equal, but some are more equal than others. Logique et Analyse, 173–175, 165–188. Appeared 2003.
Wiśniewski A. (1995). The posing of questions. Logical foundations of erotetic inferences. Dordrecht, Kluwer
Wiśniewski A. (1996). The logic of questions as a theory of erotetic arguments. Synthese 109: 1–25
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Batens, D., Clercq, K.D., Verdée, P. et al. Yes fellows, most human reasoning is complex. Synthese 166, 113–131 (2009). https://doi.org/10.1007/s11229-007-9268-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-007-9268-4