We report the results of two experiments investigating conditional inferences from conditional unless assertions, such as Juan is not in León unless Nuria is in Madrid. Experiments 1 and 2 check Fillenbaum's hypothesis about the semantic similarity of unless with if not and only if assertions; both also examine inferential endorsements (Experiment 1) and endorsements and latencies (Experiment 2) of the four logically equivalent conditional formulations: if A then B, if not-B then not-A, A only if B and not-A unless B. The results of these experiments show the similarity of unless and only if, confirming that the representation of both conditionals from the outset probably include two possibilities directionally oriented from B to A; results also confirm the especial difficulty of unless assertions. The implications of the results are discussed in the context of recent psychological and linguistic theories of the meaning of unless.

We report research investigating the role of mental models in deduction. The first study deals with conjunctive inferences (from one conjunction and two conditional premises) and disjunctive inferences (from one disjunction and the same two conditionals). The second study examines reasoning from multiple conditionals such as: If e then b; If a then b; If b then c; What follows between a and c? The third study addresses reasoning from different sorts of conditional assertions, including conditionals based on if then, only if, and unless. The paper also presents research on figural effects in syllogistic reasoning, on the effects of structure and believability in reasoning from double conditionals, and on reasoning from factual, counterfactual, and semifactual conditionals. The findings of these studies support the model theory, pose some difficulties for rule theories, and show the influence on reasoning of the linguistic structure and the semantic content of problems.

We report the results of an experiment investigating conditional inferences from conditional assertions such as ‘Juan won't go to León unless Nuria goes to Madrid’ and ‘Either Nuria goes to Madrid or Juan won't go to León’. This experiment addresses Dancygier's claims about the semantics of ‘unless’ by examining inferential endorsements of ‘not-A unless B’ and ‘Either B or not-A’ in the canonical order, presenting the categorical premise after the conditional assertions, and in the inverse order, presenting the categorical premise before the conditional assertions. The results of the experiment confirm that the representation of ‘unless’ includes two possibilities, although as Dancygier holds one of the possibilities may not be complete. The implications of the results are discussed in the context of the strategic nature of conditional reasoning and recent convergent theories of linguistic processing.