“…Since the birth of modern logic in the late 19th century and the pioneering work of Gottlob Frege and Bertrand Russell, both propositional and quantified inference patterns have been studied in great detail mathematically (Frege, 1879;Whitehead and Russell, 1910). However, the psychological study of reasoning with quantifiers has predominantly placed its focus about two millennia earlier: Aristotelian syllogisms (Ross, 2000;Chater and Oaksford, 1999;Wetherick and Gilhooly, 1995;Ford, 1995;Geurts, 2003;Guyote and Sternberg, 1981;Bucciarelli and Johnson-Laird, 1999).…”