Strategies: what's in a name?
Dagmar Provijn · Ghent University Academic Bibliography (Ghent University) · 2009
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.Formulating 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 procedures.A goal-directed proof procedure for propositional classical logic will be presented to show how the incorporation of search steps in a proof allows for a perspicuous formulation of heuristic principles that lead the proof search.I will also refer to the fact that methodological reasoning forms, on the other hand, can be formally represented by means of adaptive logics.