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.

JA - The Many Sides of Logic T3 - Studies in Logic PB - College Publications VL - 21 SP - 287–306 SN - 9781904987789 ER -