This is my first publication of the distinction between phenomenal consciousness and access consciousness, though not using quite those terms. It ends with this: "The upshot is this: If Searle is using the access sense of "consciousness," his argument doesn't get to first base. If, as is more likely, he intends the what-it-is-like sense, his argument depends on assumptions about issues that the cognitivist is bound to regard as deeply unsettled empirical questions." Searle replies: "He refers to what he calls (...) an "access sense of consciousness." On my account there is no such sense.". (shrink)

According to Aristotle, humans are the rational animal. The borderline between rationality and irrationality is fundamental to many aspects of human life including the law, mental health, and language interpretation. But what is it to be rational? One answer, deeply embedded in the Western intellectual tradition since ancient Greece, is that rationality concerns reasoning according to the rules of logic – the formal theory that specifies the inferential connections that hold with certainty between propositions. Piaget viewed logical reasoning as defining (...) the end-point of cognitive development; and contemporary psychology of reasoning has focussed on comparing human reasoning against logical standards. (shrink)

Three experiments are reported which show that in certain contexts subjects reject instances of the valid modus ponens and modus tollens inference form in conditional arguments. For example, when a conditional premise, such as: If she meets her friend then she will go to a play, is accompanied by a conditional containing an additional requirement: If she has enough money then she will go to a play, subjects reject the inference from the categorical premise: She meets her friend, to the (...) conclusion: She will go to a play. Other contexts suppress the conditional fallacies. The first experiment demonstrates the effects of context on conditional reasoning. The second experiment shows that the inference suppression disappears when the categorical premise refers to both of the antecedents, such as: She meets her friend and she has enough money. In this case, subjects make both the valid inferences and the fallacies, regardless of the contextual information. The third experiment establishes that when subjects are given general information about the duration of a situation in which a conditional inducement was uttered, such as: If you shout then I will shoot you, they reject both the valid inferences and the fallacies. The results suggest that the interpretation of premises plays an even more central role in reasoning than has previously been admitted. Trois expériences montrent que dans certains contextes les sujets rejettent des instances valides de modus ponens et de modus tollens dans des énoncés conditionnels. Par exemple, quand une prémisse conditionnelle comme: Si elle rencontre son ami, alors elle ira jouer, est accompagnée par une phrase contenant une condition supplémentaire: Si elle a assez d'argent, alors elle ira jouer, les sujets rejettent l'inférence liant la prémisse catégorielle: Elle rencontre son ami, à la conclusion: Elle ira jouer. D'autres contextes éliminent également les inférences conditionnelles fallacieuses. La premiére expérience démontre l'effet du contexte sur la raisonnement conditionnel. La deuxiéme expérience montre que la suppression de l'inférence disparait quand la prémisse catégorielle fait référence aux deux antécédants, comme: Elle rencontre son ami et elle a assez d'argent. Dans ce cas, les sujets font aussi bien les inférences valides et fallacieuses, quelle que soit l'information contextuelle. La troisiéme expérience établit que quand l'on donne aux sujets des informations générales à propos de la durée d'une situation dans laquelle une conditionnelle a été prononcée, comme Si tu cries, alors je te tire dessus, ils rejettent autant les inférences valides que les inférences fallacieuses. Ces résultats suggèrent que l'interprétation des prémisses joue un rŏle encore plus central dans le raisonnement que l'on admettait auparavant. (shrink)

Human agents draw a variety of inferences effortlessly, spontaneously, and with remarkable efficiency – as though these inferences were a reflexive response of their cognitive apparatus. Furthermore, these inferences are drawn with reference to a large body of background knowledge. This remarkable human ability seems paradoxical given the complexity of reasoning reported by researchers in artificial intelligence. It also poses a challenge for cognitive science and computational neuroscience: How can a system of simple and slow neuronlike elements represent a large (...) body of systemic knowledge and perform a range of inferences with such speed? We describe a computational model that takes a step toward addressing the cognitive science challenge and resolving the artificial intelligence paradox. We show how a connectionist network can encode millions of facts and rules involving n-ary predicates and variables and perform a class of inferences in a few hundred milliseconds. Efficient reasoning requires the rapid representation and propagation of dynamic bindings. Our model (which we refer to as SHRUTI) achieves this by representing (1) dynamic bindings as the synchronous firing of appropriate nodes, (2) rules as interconnection patterns that direct the propagation of rhythmic activity, and (3) long-term facts as temporal pattern-matching subnetworks. The model is consistent with recent neurophysiological evidence that synchronous activity occurs in the brain and may play a representational role in neural information processing. The model also makes specific psychologically significant predictions about the nature of reflexive reasoning. It identifies constraints on the form of rules that may participate in such reasoning and relates the capacity of the working memory underlying reflexive reasoning to biological parameters such as the lowest frequency at which nodes can sustain synchronous oscillations and the coarseness of synchronization. (shrink)

What, in essence, characterizes the mind? According to Searle, the potential to be conscious provides the only definitive criterion. Thus, conscious states are unquestionably "mental"; "shallow unconscious" states are also "mental" by virtue of their capacity to be conscious (at least in principle); but there are no "deep unconscious mental states" - i.e. those rules and procedures without access to consciousness, inferred by cognitive science to characterize the operations of the unconscious mind are not mental at all. Indeed, according to (...) Searle, they have no ontological status - they are simply ways of describing some interesting facets of purely physiological phenomena. (shrink)

This is a work concerned with justification and freedom and the relationship between these. Its summational aim is to defend a transcendental argument for free will – that we could not be epistemically justified in undermining a strong notion of free will, as a strong notion of free will would be required for any such process of undermining to be itself epistemically justified. The book advances two transcendental arguments – for a deontically internalist conception of epistemic justification and the aforementioned (...) argument for a libertarian conception of free will. In defending each of these arguments, the book both defends and relies upon the principle that ‘ought’ implies ‘can’. In articulating the latter transcendental argument – for freedom – heavy reliance is made on the earlier, epistemic, work: especially on the deontological conception of rational justification (on epistemic internalism). (shrink)

In this paper we investigate the locus of believability effects in syllogistic reasoning. We identify three points in the reasoning process at which such effects could occur: the initial interpretation of premises, the examination of alternative representations of them (in all of which any valid conclusion must be true), and the “filtering” of putative conclusions. The effect of beliefs at the first of these loci is well established. In this paper we report three experiments that examine whether beliefs have an (...) effect at the other two loci. In experiments 1 and 2 subjects drew their own conclusions from syllogisms that suggested believable or unbelievable ones. In the third experiment they evaluated conclusions that were presented to them. The data show that beliefs both affect the examination of alternative models and act as a filter on putative conclusions. We conclude by showing how some types of problem and some problem contents make the existence of alternative models more obvious than others. (shrink)

A number of theoretical positions in psychology—including variants of case‐based reasoning, instance‐based analogy, and connectionist models—maintain that abstract rules are not involved in human reasoning, or at best play a minor role. Other views hold that the use of abstract rules is a core aspect of human reasoning. We propose eight criteria for determining whether or not people use abstract rules in reasoning, and examine evidence relevant to each criterion for several rule systems. We argue that there is substantial evidence (...) that several different inferential rules, including modus ponens, contractual rules, causal rules, and the law of large numbers, are used in solving everyday problems. We discuss the implications for various theoretical positions and consider hybrid mechanisms that combine aspects of instance and rule models. (shrink)

In this paper I will argue that this entire dialectic is somewhat misguided. The mental states which are generally assumed to fall under the category of ‘intuition’ likely comprise a highly heterogeneous group; from the point of view of psychology or of neuroscience, in fact, ‘intuitions’ appear to be generated by several fundamentally different sorts of mental processes. If this is correct, then the term ‘intuition’ may simply carve things too broadly. I will argue that it is a mistake to (...) focus on the ‘reliability of intuition’; empirical evidence suggests that the reliability of one type of intuition may tell us next to nothing about the reliability of other types. Rather than debating the evidential status of intuition as a whole, philosophers interested in methodology would do well to focus their investigations much more narrowly. (shrink)

When reasoning about deontic rules (what one may, should, or should not do in a given set of circumstances), reasoners adopt a violation‐detection strategy, a strategy they do not adopt when reasoning about indicative rules (descriptions of purported state of affairs). I argue that this indicative‐deontic distinction constitutes a primitive in the cognitive architecture. To support this claim, I show that this distinction emerges early in development, is observed regardless of the cultural background of the reasoner, and can be selectively (...) disrupted at the neurological level. I also argue that this distinction emerged as a result of selective pressure favouring the evolution of reasoning strategies that determine survival within dominance hierarchies. (shrink)

This paper argues that, while there is a difference between personal and sub-personal explanation, claims of autonomy should be treated with scepticism. It distinguishes between horizontal and vertical explanatory relations that might hold between facts at the personal and facts at the sub-personal level. Noting that many philosophers are prepared to accept vertical explanatory relations between the two levels, I argue for the stronger claim that, in the case of at least three central personal level phenomena, the demands of explanatory (...) adequacy require postulating horizontal explanatory relations. (shrink)

ABSTRACTThe new paradigm in the psychology of reasoning redirects the investigation of deduction conceptually and methodologically because the premises and the conclusion of the inferences are assumed to be uncertain. A probabilistic counterpart of the concept of logical validity and a method to assess whether individuals comply with it must be defined. Conceptually, we used de Finetti's coherence as a normative framework to assess individuals' performance. Methodologically, we presented inference schemas whose premises had various levels of probability that contained non-numerical (...) expressions and, as a control, sure levels. Depending on the inference schemas, from 60% to 80% of the participants produced coherent conclusions when the premises were uncertain. The data also show that except for schemas involving conjunction, performance was consistently lower with certain than uncertain premises, the rate of conjunction fallacy was consistently low (not exceeding 20%,.. (shrink)

Abstract: A current debate in semantics and pragmatics is whether all contextual effects on truth-conditional content can be traced to logical form, or 'unarticulated constituents' can be supplied by the pragmatic process of free enrichment. In this paper, I defend the latter position. The main objection to this view is that free enrichment appears to overgenerate, not predicting where context cannot affect truth conditions, so that a systematic account is unlikely (Stanley, 2002a). I first examine the semantic alternative proposed by (...) Stanley and others, which assumes extensive hidden structure acting as a linguistic trigger for pragmatic processes, so that all truth-conditional effects of context turn out to be instances of saturation. I show that there are cases of optional pragmatic contributions to the proposition expressed that cannot plausibly be accounted for in this way, and that advocates of this approach will therefore also have to appeal to free enrichment. The final section starts to address the question of how free enrichment is constrained: I argue that it involves only local development or adjustment of parts of logical form, any global developments being excluded by the requirement for the proposition expressed to provide an inferential warrant for the intended implications of the utterance. (shrink)

This paper reviews the largely psychological literature surrounding apparent failures of human rationality (sometimes referred to as 'the Rationality Wars') and locates it with respect to concepts and issues within more traditional epistemological inquiry. The goal is to bridge the gap between these two large and typically disconnected literatures – concerning rationality and the psychology of human reasoning, on the one hand, and epistemological theories of justified or rational belief, on the other – and to do so in such as (...) way as to expose interesting points of contact and convergence between them. (shrink)

Johnson-Laird's mental models theory claims that reasoning is a semantic process of construction and manipulation of models in working memory of limited capacity. Accordingly, both a deduction and a given interpretation of a premise would be all the harder the higher the number of models they require. The purpose of the present experiment was twofold. First, it aimed to demonstrate that the interpretation of if...then conditional sentences in children (third, sixth, and ninth graders) evolves as a function of the number (...) of models the children can produce. We proposed a theory of conditional reasoning development that hypothesises a developmental trend of three successive levels of interpretations underlain by one, two, and then three models, i.e. conjunctive, biconditional, and conditional respectively. Second, we aimed to show that these different levels correlate with working memory capacities: the higher the working memory span, the higher the number of models underlying the conditional interpretation. These two hypotheses were verified, supporting the mental models theory. The results are compared with the rival theory of mental logic. (shrink)

Four experiments investigated the effects of probability manipulations on the indicative four card selection task (Wason, 1966, 1968). All looked at the effects of high and low probability antecedents (p) and consequents (q) on participants' data selections when determining the truth or falsity of a conditional rule, if p then q . Experiments 1 and 2 also manipulated believability. In Experiment 1, 128 participants performed the task using rules with varied contents pretested for probability of occurrence. Probabilistic effects were observed (...) which were partly consistent with some probabilistic accounts but not with non-probabilistic approaches to selection task performance. No effects of believability were observed, a finding replicated in Experiment 2 which used 80 participants with standardised and familiar contents. Some effects in this experiment appeared inconsistent with existing probabilistic approaches. To avoid possible effects of content, Experiments 3 (48 participants) and 4 (20 participants) used abstract material. Both experiments revealed probabilistic effects. In the Discussion we examine the compatibility of these results with the various models of selection task performance. (shrink)

We present a series of arguments for logical nativism, focusing mainly on the meaning of disjunction in human languages. We propose that all human languages are logical in the sense that the meaning of linguistic expressions corresponding to disjunction (e.g. English or , Chinese huozhe, Japanese ka ) conform to the meaning of the logical operator in classical logic, inclusive- or . It is highly implausible, we argue, that children acquire the (logical) meaning of disjunction by observing how adults use (...) disjunction. Findings from studies of child language acquisition and from cross-linguistic research invite the conclusion that children do not learn to be logical—it comes naturally to them. (shrink)

We present a new model of skilled performance in geometry proof problem solving called the Diagram Configuration model (DC). While previous models plan proofs in a step‐by‐step fashion, we observed that experts plan at a more abstract level: They focus on the key steps and skip the less important ones. DC models this abstract planning behavior by parsing geometry problem diagrams into perceptual chunks, called diagram configurations, which cue relevant schematic knowledge. We provide verbal protocol evidence that DC's schemas correspond (...) with the step‐skipping inferences experts make in their initial planning. We compare DC with other models of geometry expertise and then, in the final section, we discuss more general implications of our research. DC's reasoning has important similarities with Larkin's (1988) display‐based reasoning approach and Johnson‐Laird's (1983) mental model approach. DC's perceptually based schemas are a step towards a unified explanation of (1) experts' superior problem‐solving effectiveness, (2) experts' superior problem‐state memory, and (3) experts' ability, in certain domains, to solve relatively simple problems by pure forward inferencing. We also argue that the particular and efficient knowledge organization of DC challenges current theories of skill acquisition as it presents an end‐state of learning that is difficult to explain within such theories. Finally, we discuss the implications of DC for geometry instruction. (shrink)

The authors outline a theory of conditionals of the form If A then C and If A then possibly C. The 2 sorts of conditional have separate core meanings that refer to sets of possibilities. Knowledge, pragmatics, and semantics can modulate these meanings. Modulation can add information about temporal and other relations between antecedent and consequent. It can also prevent the construction of possibilities to yield 10 distinct sets of possibilities to which conditionals can refer. The mental representation of a (...) conditional normally makes explicit only the possibilities in which its antecedent is true, yielding other possibilities implicitly. Reasoners tend to focus on the explicit possibilities. The theory predicts the major phenomena of understanding and reasoning with conditionals. (shrink)

(2013). The processes of inference. Argument & Computation: Vol. 4, Formal Models of Reasoning in Cognitive Psychology, pp. 4-20. doi: 10.1080/19462166.2012.674060.

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed-world reasoning of particular interest for (...) human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine-grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3-valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

Interpretation is the process whereby a hearer reasons to an interpretation of a speaker's discourse. The hearer normally adopts a credulous attitude to the discourse, at least for the purposes of interpreting it. That is to say the hearer tries to accommodate the truth of all the speaker's utterances in deriving an intended model. We present a nonmonotonic logical model of this process which defines unique minimal preferred models and efficiently simulates a kind of closed‐world reasoning of particular interest for (...) human cognition. Byrne's “suppression” data (Byrne, 1989) are used to illustrate how variants on this logic can capture and motivate subtly different interpretative stances which different subjects adopt, thus indicating where more fine‐grained empirical data are required to understand what subjects are doing in this task. We then show that this logical competence model can be implemented in spreading activation network models. A one pass process interprets the textual input by constructing a network which then computes minimal preferred models for (3‐valued) valuations of the set of propositions of the text. The neural implementation distinguishes easy forward reasoning from more complex backward reasoning in a way that may be useful in explaining directionality in human reasoning. (shrink)

The distinction between rules and similarity is central to our understanding of much of cognitive psychology. Two aspects of existing research have motivated the present work. First, in different cognitive psychology areas we typically see different conceptions of rules and similarity; for example, rules in language appear to be of a different kind compared to rules in categorization. Second, rules processes are typically modeled as separate from similarity ones; for example, in a learning experiment, rules and similarity influences would be (...) described on the basis of separate models. In the present article, I assume that the rules versus similarity distinction can be understood in the same way in learning, reasoning, categorization, and language, and that a unified model for rules and similarity is appropriate. A rules process is considered to be a similarity one where only a single or a small subset of an object's properties are involved. Hence, rules and overall similarity operations are extremes in a single continuum of similarity operations. It is argued that this viewpoint allows adequate coverage of theory and empirical findings in learning, reasoning, categorization, and language, and also a reassessment of the objectives in research on rules versus similarity. Key Words: categorization; cognitive explanation; language; learning; reasoning; rules; similarity. (shrink)

We present a meta-analytic review on the processing of negations in conditional reasoning about affirmation problems (Modus Ponens: “MP”, Affirmation of the Consequent “AC”) and denial problems (Denial of the Antecedent “DA”, and Modus Tollens “MT”). Findings correct previous generalisations about the phenomena. First, the effects of negation in the part of the conditional about which an inference is made, are not constrained to denial problems. These inferential-negation effects are also observed on AC. Second, there generally are reliable effects of (...) a negation in the clause referred to by the categorical premise, and these referred-negation effects are constrained to the logically fallacious AC and DA inferences. All findings are presented and discussed in relation to contemporary mental model (MM) and mental logic (ML) theories. It is argued that a double-negation elimination hypothesis provides a sufficient explanation of inferential-negation effects within both MM theory and ML theory, if the latter is extended by a validating search for counter examples. Both MM and ML theories adhere to a processing scheme that allows them to incorporate an account of referred-negation effects based on the thesis that counter-example frequency is modulated by the scope of a contrast class delineated by a false affirmative. We conclude that MM and ML theories provide adequate processing schemes to accommodate for the explanatory hypotheses, at least in principle. In practice, both approaches remain equivocal as regards the connectivity and interactivity with long-term memory knowledge invoked in generating, manipulating, and testing the mental representations of negative state of affairs. (shrink)

Human cognition requires coping with a complex and uncertain world. This suggests that dealing with uncertainty may be the central challenge for human reasoning. In Bayesian Rationality we argue that probability theory, the calculus of uncertainty, is the right framework in which to understand everyday reasoning. We also argue that probability theory explains behavior, even on experimental tasks that have been designed to probe people's logical reasoning abilities. Most commentators agree on the centrality of uncertainty; some suggest that there is (...) a residual role for logic in understanding reasoning; and others put forward alternative formalisms for uncertain reasoning, or raise specific technical, methodological, or empirical challenges. In responding to these points, we aim to clarify the scope and limits of probability and logic in cognitive science; explore the meaning of the explanation of cognition; and re-evaluate the empirical case for Bayesian rationality. (shrink)

Following Marr (1982), any computational account of cognition must satisfy constraints at three explanatory levels: computational, algorithmic, and implementational. This paper focuses on the first two levels and argues that current theories of reasoning cannot provide explanations of everyday defeasible reasoning, at either level. At the algorithmic level, current theories are not computationally tractable: they do not “scale-up” to everyday defeasible inference. In addition, at the computational level, they cannot specify why people behave as they do both on laboratory reasoning (...) tasks and in everyday life (Anderson, 1990). In current theories, logic provides the computational-level theory, where such a theory is evident at all. But logic is not a descriptively adequate computational-level theory for many reasoning tasks. It is argued that better computational-level theories can be developed using a probabilistic framework. This approach is illustrated using Oaksford and Chater's (1994) probabilistic account of Wason's selection task. (shrink)

Explicatures are not cancellable. Theoretical considerations.

In certain contexts reasoners reject instances of the valid Modus Ponens and Modus Tollens inference form in conditional arguments. Byrne (1989) observed this suppression effect when a conditional premise is accompanied by a conditional containing an additional requirement. In an earlier study, Rumain, Connell, and Braine (1983) observed suppression of the invalid inferences "the denial of the antecedent" and "the affirmation of the consequent" when a conditional premise is accompanied by a conditional containing an alternative requirement. Here we present three (...) experiments showing that the results of Byrne (1989) and Rumain et al. (1983) are influenced by the answer procedure. When reasoners have to evaluate answer alternatives that only deal with the inferences that can be made with respect to the first conditional, then suppression is observed (Experiment 1). However, when reasoners are also given answer alternatives about the second conditional (Experiment 2) no suppression is observed. Moreover, contrary to the hypothesis of Byrne (1989), at least some of the reasoners do not combine the information of the two conditionals and do not give a conclusion based on the combined premise. Instead, we hypothesise that some of the reasoners have reasoned in two stages. In the first stage, they form a putative conclusion on the basis of the first conditional and the categorical premise, and in the second stage, they amend the putative conclusion in the light of the information in the second premise. This hypothesis was confirmed in Experiment 3. Finally, the results are discussed with respect to the mental model theory and reasoning research in general. (shrink)

Two experiments investigated the factors that people consider when evaluating informal arguments in newspaper and magazine editorials. Experiment 1 showed that subjects were more likely to object to the truth of the premises and the conclusions of an argument than to the strength of the link between them. Experiment 1 also revealed two manipulations that helped subjects object to the link between premises and conclusions: rating how well the premises support the conclusions and rating the believability of the premises and (...) conclusions. Experiment 2 further demonstrated that subjects who identified the premises and conclusions of an argument were better at formulating objections to the link between premises and conclusions. Moreover, subjects in Experiment 2 were better and faster at formulating objections to the truth of the premises and conclusions than to the link between premises and conclusions. The results are discussed in terms of the constraints they pose for developing a cognitive theory of informal reasoning. (shrink)

An experiment was conducted to investigate the relative contributions of syntactic form and content to conditional reasoning. The content domain chosen was that of causation. Conditional statements that described causal relationships were embedded in simple arguments whose entailments are governed by the rules -of truth-functional logic. The causal statements differed in terms of the number of alternative causes and disabling conditions that characterized the causal relationship. Subjects were required to judge whether or not each argument’s conclusion could be accepted. Judgments (...) were found to vary systematically with the number of alternative causes and disabling conditions. Conclusions of arguments based on conditionals with few alternative causes or disabling conditions were found to be more accept-able than conclusions based on those with many. (shrink)