- topic neutral (they do not favor one atom over another)
- connective neutral (they do not favor one connective over another)
- player neutral (they do not favor one player over another)
In each case where we expect that the large majority of people can be brought to agree upon a certain rule as part of a formal_3 dialectics (provided they are explicitly confronted with it and made acquainted with the motivation given for it here or with a similar motivation), we shall say, for short, that we think it is a natural rule [p. 75].If it is agreed that this is a reasonable definition of 'natural', then I think it can be argued that none of the dialogical rule sets are in fact natural. The motivation for many of the dialogical rule sets in the literature to date essentially boils down to "they work" -- a formal proof can be given showing that the rules do in fact correspond to the desired logic (or, in the case of N, that they correspond to a logic, even if that logic is one that was not set out in advance). The majority of people when confronted with this motivation are going to balk at being asked to accept the rules on that basis alone: They're going to ask, "Why do they work?" What is it about the rules that makes them correspond to a logic, much less the target logic isolated in advance? And now we're back to the original question: Are there any properties of rule or rule sets that correspond to positive solutions to the composition problem, and if so, what are they? And then neutrality of certain types presents itself again as a natural starting point for investigating answers.