ABSTRACT
This chapter develops a deduction model that will guide all of the research reported in Part 2. In Chapter 4 of Volume 3, we characterized a deduction model as an ordered set of rewrite rules, called operations, along with an executive that specifies the occasions for the use of an operation in a mental derivation. In the present section we redefine the class of models called deduction models, using some terminology from Volume 3 in a slightly different way. The definition is easier to understand in the context of the particular deduction model formulated in Sections 3.2-3.6. In Parts 3 and 4 we consider the empirical question of whether the class of deduction models is wide enough to formalize the psychology of deductive reasoning.
