This paper proposes a non-trivial definition of the notion of analytic method. Working within the so-called instructional model of method, the author distinguishes three kinds of instructions which occur in methods: selective, executive, and declarative instructions. He discusses the relation between each of these and the analyticity of a method. Then he defines the notions of an analytic use of an instruction and of an analytic instruction, which are at the basis of the proposed definition of an analytic method. Finally, the author discusses the issue of circularity in the presented model which arises if we consider a finite agent testing a method for analyticity.
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.