%0 Generic %D 2009 %T Strategies: what's in a name? %A Provijn, Dagmar %E Carnielli, Walter A. %E Coniglio, Marcelo E. %E Loffredo D'Ottaviano, Itala M. %X

In this paper, I will show that Hintikka’s notion of ‘strategy’ can refer to proof-heuristic reasoning as well as to methodological reasoning forms. Stating this distinction allows for a better understanding of the notion and for an easier way to tackle the problem of formalization. Contrary to Hintikka’s opinion, heuristic reasoning can be implemented in formal proofs by means of goal-directed proof procedures. Methodological reasoning forms on the other hand can be formally represented by means of adaptive logics.

%B The Many Sides of Logic %S Studies in Logic %I College Publications %V 21 %P 287–306 %@ 9781904987789 %G eng