In this paper, I will show that Hintikkas 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 Hintikkas 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.

}, isbn = {9781904987789}, author = {Provijn, Dagmar}, editor = {Carnielli, Walter A. and Coniglio, Marcelo E. and Loffredo D{\textquoteright}Ottaviano, Itala M.} }