Abstract

According to standard propositional logic, the inferences in which the conditional introduction rule is used are absolutely correct. However, people do not always accept inferences of that kind. Orenes and Johnson-Laird carried out interesting experiments in this way and, based on the general framework of the mental models theory, explained clearly in which cases and under which circumstances such inferences are accepted and rejected. The goals of this paper are both to better understand some aspects of Stoic logic and to check whether or not that very logic can also offer an account on this issue. My conclusions are that, indeed, this later logic can do that, and that the results obtained by Orenes and Johnson-Laird can be explained based on the information that the sources provide on Stoic logic.