Heuristic and analytic processes in propositional reasoning with negatives

The authors report 4 studies on heuristic and analytic processes in conditional reasoning with negations and show that a heuristic negative conclusion bias cannot account for the effects observed on problem-solving latencies derived from eye-movement measures (Experiment 1) and a novel mouse-tracking methodology (Experiment 2). A double negation elimination process can account for both the latency and response-frequency effects of a negation in the clause about which an inference is made. It is further shown that other negation effects cannot be explained by an affirmative premise bias proposed in the literature. Experiments 3 and 4 demonstrate that a novel availability hypothesis provides a viable alternative. It is argued that extant analytic theories need to be extended to incorporate a validating search for counter examples and need to specify how pragmatic and comprehension processes influence such a search.