Mental representation of logical connectives.
نویسندگان
چکیده
Logical connectives, such as "AND", "OR", "IF. THEN", and "IF AND ONLY IF" are ubiquitous in both language and cognition; however, reasoning with logical connectives is error-prone. We argue that some of these errors may stem from people's tendency to minimize the number of possibilities compatible with logical connectives and to construct a "minimalist" one-possibility representation. As a result, connectives denoting a single possibility (e.g., conjunctions) are likely to be represented correctly, whereas connectives denoting multiple possibilities (e.g., disjunctions or conditionals) are likely to be erroneously represented as conjunctions. These predictions were tested and confirmed in three experiments using different paradigms. In Experiment 1, participants were presented with a multiple-choice task and asked to select all and only those possibilities that would indicate that compound verbal propositions were true versus false. In Experiment 2, a somewhat similar task was used, except that participants were asked later to perform a cued recall of verbal propositions. Finally, Experiment 3 used an old/new recognition paradigm to examine participants' ability to accurately recognize different logical connectives. The results of the three experiments are discussed in relation to theories of representation of possibilities and theories of reasoning.
منابع مشابه
On the Computational Representation of Classical Logical Connectives
Many programming calculi have been designed to have a Curry-Howard correspondence with a classical logic. We investigate the effect that different choices of logical connective have on such calculi, and the resulting computational content. We identify two connectives ‘if-and-only-if’ and ‘exclusive or’ whose computational content is not well known, and whose cut elimination rules are non-trivia...
متن کاملAspectual Requirements of Temporal Connectives: Evidence for a Two-Level Approach to Semantics
This paper argues for a two-level theory of semantics as opposed to a one-level theory, based on the example of the system of temporal and durationM connectives. Instead of identifying the semantics of lexical items and larger constituents with conceptual structures, the two-level theory assumes that there is an intra-linguistic level of abstract semantic representations distinct from the extra...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملEffects of externalization on representation and recall of indeterminate problems
Naï ve reasoning and problem solving is error-prone. One such pattern is manifested in that people err more often when problems are indeterminate than when problems are determinate We suggest that an incomplete problem representation could account for the observed pattern of errors. We further contend that in verbal reasoning such incomplete representation stems from a lack of systematic repres...
متن کاملOn imagining what is true (and what is false)
How do people imagine the possibilities in which an assertion would be true and the possibilities in which it would be false? We argue that the mental representation of the meanings of connectives, such as “and”, “or”, and “if”, specify how to construct the true possibilities for simple assertions containing just a single connective. It follows that the false possibilities are constructed by in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- The Quarterly journal of experimental psychology. A, Human experimental psychology
دوره 57 4 شماره
صفحات -
تاریخ انتشار 2004