What is the relationship between the world and logic, between intuition and language, between objects and their quantitative determinations? Rationalists, on the one hand, hold that the world is structured in a rational way. Representationalists, on the other hand, assume that language, logic, and mathematics are only the means to order and describe the intuitively given world. In World and Logic, Jens Lemanski takes up three surprising arguments from Arthur Schopenhauer’s hitherto undiscovered Berlin Lectures, which concern the philosophy of language, (...) logic, and mathematics. Based on these arguments, Lemanski develops a new position entitled ‘rational representationalism’: the world is always structured by human beings according to linguistic, logical, and mathematical principles, but the basic vocabulary of these structural descriptions already contains metaphors taken from the world around us. (shrink)

Inferences about spatial, temporal, and other relations are ubiquitous. This article presents a novel model-based theory of such reasoning. The theory depends on 5 principles. The structure of mental models is iconic as far as possible. The logical consequences of relations emerge from models constructed from the meanings of the relations and from knowledge. Individuals tend to construct only a single, typical model. They spontaneously develop their own strategies for relational reasoning. Regardless of strategy, the difficulty of an inference depends (...) on the process of integration of the information from separate premises, the number of entities that have to be integrated to form a model, and the depth of the relation. The article describes computer implementations of the theory and presents experimental results corroborating its main principle. (shrink)

The aim of this article is to strengthen links between cognitive brain research and formal logic. The work covers three fundamental sorts of logical inferences: reasoning in the propositional calculus, i.e. inferences with the conditional “if...then”, reasoning in the predicate calculus, i.e. inferences based on quantifiers such as “all”, “some”, “none”, and reasoning with n-place relations. Studies with brain-damaged patients and neuroimaging experiments indicate that such logical inferences are implemented in overlapping but different bilateral cortical networks, including parts of the (...) fronto-temporal cortex, the posterior parietal cortex, and the visual cortices. I argue that these findings show that we do not use a single deterministic strategy for solving logical reasoning problems. This account resolves many disputes about how humans reason logically and why we sometimes deviate from the norms of formal logic. (shrink)

This paper reports three studies of temporal reasoning. A problem of the following sort, where the letters denote common everyday events: A happens before B. C happens before B. D happens while B. E happens while C. What is the relation between D and EEfficacylls for at least two alternative models to be constructed in order to give the right answer for the right reason. However, the first premise is irrelevant to this answer, and so if reasoners were to ignore (...) it, then they would need to construct only one model. Experiment 1 showed that one-model problems were answered faster and more accurately than multiple-model problems. When the question preceded the premises in the statement of the multiple-model problems there was a slight tendency for the latencies of response to speed up in the predicted way. Experiment 2 modified the procedure, in part by using practice problems with many irrelevant premises, so that reasoners might grasp the advantage of ignoring them. Its results showed that when the premises preceded the question, the multiple-model problems were significantly harder than one-model problems. But when the question was presented first, the difference was significantly reduced in line with the theory's prediction. Experiment 3 used only problems with valid conclusions, and so the construction of multiple models was never necessary. However, there was still a significant difference between one-model problems and multiple-model problems. (shrink)

Three experiments are reported in which the relationships between task format, item type, and strategy usage were investigated for a two-dimensional relational inference task. Contrary to past findings with linear syllogisms, it was found that parallel presentation (presenting problem statements simultaneously) did not result in any increased use of deduction rule processes compared with serial presentation (presenting problem statements individually). Instead, the results suggested that mental models were used by the majority of subjects, and that multiple models were more likely (...) to be constructed with parallel presentation. It is proposed that, in general, multiple model construction will be more frequent for deduction tasks where the cognitive load is relatively low. Hence, contrary to suggestions by Polk and Newell (1995), reasoning in this way appears to be prevalent and highly robust - where supported by task format - even where the use of this strategy is disadvantageous. (shrink)