In its recent attention to reasoning that is agent-based and target-driven, logic has re-taken the practical turn and recovered something of its historic mission. In so doing, it has taken on in a quite general way a game-theoretic character, precisely as it was with the theory of syllogistic refutation in the Topics and On Sophistical Refutations, where Aristotle develops winning strategies fo...

From certain sorts of premise, individuals reliably infer invalid conclusions. Two experiments investigated a possible cause for these illusory inference: Reasoners fail to think about what is false. In Experiment 1, 24 undergraduates drew illusory and control inferences from premises based on exclusive disjunctions (‘‘or else’’). In one block, participants were instructed to falsify the premis...

The hardware trend toward multicore processors has so far been driven by technology limitations of wire delays, power efficiency, and limited capability to exploit instruction-level parallelism. Software evolution has lead to the rise of the cloud. This multicore + cloud evolution provides several challenges and has led to a call for parallelism. In this paper, we first examine the drivers behi...