Yes fellows, most human reasoning is complex

Diderik Batens

Peter Verdée

Joke Meheus

Kristóf De Clercq

pp. 113-131

in: Synthese 166 (1), 2009.

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.