Recent theorizing about the nature of the cognitive impairment in autism suggests that autistic individuals display abnormally weak central coherence, the capacity to integrate information in order to make sense of one’s environment. Our article shows the relevance of computational models of coherence to the understanding of weak central coherence. Using a theory of coherence as constraint satisfaction, we show how weak coherence can be simulated ina a connectionist network that has unusually high inhibition compared to excitation. This connectionist model (...) simulates autistic behaviour on both the false belief task and the homograph task. (shrink)

This paper considers the prospects for objectivity in reasoning strategies in response to empirical studies that apparently show systematic culture‐based differences in patterns of reasoning. I argue that there is at least one modest class of exceptions to the claim that there are alternative, equally warranted standards of good reasoning: the class that entails the solution of certain well‐structured problems which, suitably chosen, are common, or touchstone, to the sorts of culturally different viewpoints discussed. There is evidence that some cognitive (...) tasks are seen in much the same way across cultures, not least by virtue of the common run of experiences with the world of material objects in early childhood by creatures with similar cognitive endowments. These tasks thus present as similarly structured sets of claims that have similar priority: what is framed, and what is bracketed, or held constant in the background, is shown to be naturally common across cultures. As a consequence, a normative view of reasoning and, by implication, critical thinking can be defended. While this might be a modest sense of objectivity, the high level of intercultural articulation that is able to occur among people of different backgrounds suggests that it provides cognitive scaffolding for a lot of other reasoning tasks as well. (shrink)

We study human performance in two classical NP‐hard optimization problems: Set Cover and Maximum Coverage. We suggest that Set Cover and Max Coverage are related to means selection problems that arise in human problem‐solving and in pursuing multiple goals: The relationship between goals and means is expressed as a bipartite graph where edges between means and goals indicate which means can be used to achieve which goals. While these problems are believed to be computationally intractable in general, they become more (...) tractable when the structure of the network resembles a tree. Thus, our main prediction is that people should perform better with goal systems that are more tree‐like. We report three behavioral experiments which confirm this prediction. Our results suggest that combinatorial parameters that are instrumental to algorithm design can also be useful for understanding when and why people struggle to choose between multiple means to achieve multiple goals. (shrink)

The coherence of independent reports provides a strong reason to believe that the reports are true. This plausible claim has come under attack from recent work in Bayesian epistemology. This work shows that, under certain probabilistic conditions, coherence cannot increase the probability of the target claim. These theorems are taken to demonstrate that epistemic coherentism is untenable. To date no one has investigated how these results bear on different conceptions of coherence. I investigate this situation using Thagard’s ECHO model of (...) explanatory coherence. Thagard’s ECHO model provides a natural representation of the evidential significance of multiple independent reports. (shrink)

Whether it would take one decade or several centuries, many agree that it is possible to create a *superintelligence*---an artificial intelligence with a godlike ability to achieve its goals. And many who have reflected carefully on this fact agree that our best hope for a "friendly" superintelligence is to design it to *learn* values like ours, since our values are too complex to program or hardwire explicitly. But the value learning approach to AI safety faces three particularly philosophical puzzles: first, (...) it is unclear how any intelligent system could learn its final values, since to judge one supposedly "final" value against another seems to require a further background standard for judging. Second, it is unclear how to determine the content of a system's values based on its physical or computational structure. Finally, there is the distinctly ethical question of which values we should best aim for the system to learn. I outline a potential answer to these interrelated puzzles, centering on a "miktotelic" proposal for blending a complex, learnable final value out of many simpler ones. (shrink)

What features will something have if it counts as an explanation? And will something count as an explanation if it has those features? In the second half of the 20th century, philosophers of science set for themselves the task of answering such questions, just as a priori conceptual analysis was generally falling out of favor. And as it did, most philosophers of science just moved on to more manageable questions about the varieties of explanation and discipline-specific scientific explanation. Often, such (...) shifts are sound strategies for problem-solving. But leaving fallow certain basic conceptual issues can also result in foundational debates. (shrink)

The paper introduces an extension of the proposal according to which conceptual representations in cognitive agents should be intended as heterogeneous proxytypes. The main contribution of this paper is in that it details how to reconcile, under a heterogeneous representational perspective, different theories of typicality about conceptual representation and reasoning. In particular, it provides a novel theoretical hypothesis - as well as a novel categorization algorithm called DELTA - showing how to integrate the representational and reasoning assumptions of the theory-theory (...) of concepts with the those ascribed to the prototype and exemplars-based theories. (shrink)

Nick Bostrom's book *Superintelligence* outlines a frightening but realistic scenario for human extinction: true artificial intelligence is likely to bootstrap itself into superintelligence, and thereby become ideally effective at achieving its goals. Human-friendly goals seem too abstract to be pre-programmed with any confidence, and if those goals are *not* explicitly favorable toward humans, the superintelligence will extinguish us---not through any malice, but simply because it will want our resources for its own purposes. In response I argue that things might not (...) be as bad as Bostrom suggests. If the superintelligence must *learn* complex final goals, then this means such a superintelligence must in effect *reason* about its own goals. And because it will be especially clear to a superintelligence that there are no sharp lines between one agent's goals and another's, that reasoning could therefore automatically be ethical in nature. (shrink)

Advancement in cognitive science depends, in part, on doing some occasional ‘theoretical housekeeping’. We highlight some conceptual confusions lurking in an important attempt at explaining the human capacity for rational or coherent thought: Thagard & Verbeurgt’s computational-level model of humans’ capacity for making reasonable and truth-conducive abductive inferences (1998; Thagard, 2000). Thagard & Verbeurgt’s model assumes that humans make such inferences by computing a coherence function (f_coh), which takes as input representation networks and their pair-wise constraints and gives as output (...) a partition into accepted (A) and rejected (R) elements that maximizes the weight of satisfied constraints. We argue that their proposal gives rise to at least three difficult problems. (shrink)

I develop a probabilistic account of coherence, and argue that at least in certain respects it is preferable to (at least some of) the main extant probabilistic accounts of coherence: (i) Igor Douven and Wouter Meijs’s account, (ii) Branden Fitelson’s account, (iii) Erik Olsson’s account, and (iv) Tomoji Shogenji’s account. Further, I relate the account to an important, but little discussed, problem for standard varieties of coherentism, viz., the “Problem of Justified Inconsistent Beliefs.”.

In 1983, Dr. J. Robin Warren and Dr. Barry Marshall reported finding a new kind of bacteria in the stomachs of people with gastritis. Warren and Marshall were soon led to the hypothesis that peptic ulcers are generally caused, not by excess acidity or stress, but by a bacterial infection. Initially, this hypothesis was viewed as preposterous, and it is still somewhat controversial. In 1994, however, a U. S. National Institutes of Health Consensus Development Panel concluded that infection appears to (...) play an important contributory role in the pathogenesis of peptic ulcers, and recommended that antibiotics be used in their treatment. Peptic ulcers are common, affecting up to 10% of the population, and evidence has mounted that many ulcers can be cured by eradicating the bacteria responsible for them. (shrink)

Over the past years, a number of probabilistic measures of coherence have been proposed. As shown in the paper, however, many of them do not conform to the intuitition that equivalent testimonies are highly coherent, regardless of their prior probability.

In robustness analysis, hypotheses are supported to the extent that a result proves robust, and a result is robust to the extent that we detect it in diverse ways. But what precise sense of diversity is at work here? In this paper, I show that the formal explications of evidential diversity most often appealed to in work on robustness – which all draw in one way or another on probabilistic independence – fail to shed light on the notion of diversity (...) relevant to robustness analysis. I close by briefly outlining a promising alternative approach inspired by Horwich’s (1982) eliminative account of evidential diversity. (shrink)

Paul Thagard’s theory of deductive coherence, as set out in his Coherence in Thought and Action, faces a regress objection. Thagard’s method of solving deductive coherence problems presupposes some notion of logical consequence. The problem of specifying which logic to use to this end is itself a deductive coherence problem, so we would expect Thagard’s theory to be able to solve it. However, on pain of regress, the theory of deductive coherence cannot reach such a solution.

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

It is still largely unclear which pathways explain the religion-health connection and how these mechanisms work. One such intervening mechanism, coherence, is the focus of this article. Based on database searches and a review of the literature retrieved, I differentiate between six meanings of coherence in religion-related research: 1) consistency; 2) credibility; 3) congruence; 4) confidence; 5) character; and 6) cohesion. In this article, this classification is utilized to analyse the conceptualizations and operationalizations of coherence within a particular strain of (...) research, namely the discourse on the so-called coherence hypothesis. In so doing, I accomplish three objectives: 1) the reconsideration of the classical coherence hypothesis launched by Idler in the mid-1980s; 2) the reconstruction of the history of the reception and modification of the hypothesis by using the example of the work of three influential scholars (Christopher G. Ellison, Linda K. George, and Sebastian Murken); and 3) the development of a new theoretical model of religion, coherence, and health. Since the review yielded that coherence was primarily used within the meaning of confidence and congruence and that personal and social factors have been widely neglected, one advantage of my model is the integration of all six conceptual varieties of coherence within a meaning-making coping framework. (shrink)

How can we explain the intentional nature of an expert’s actions, performed without immediate and conscious control, relying instead on automatic cognitive processes? How can we account for the differences and similarities with a novice’s performance of the same actions? Can a naturalist explanation of intentional expert action be in line with a philosophical concept of intentional action? Answering these and related questions in a positive sense, this dissertation develops a three-step argument. Part I considers different methods of explanations in (...) cognitive neuroscience (Bennett & Hacker’s philosophical, conceptual analysis; Marr’s three levels of explanation; Neural Correlates of Consciousness research; mechanistic explanation), defending ‘mechanistic explanation’ as a method that provides the necessary tools for integrating interdisciplinary insights into human action. Furthermore, a dynamic, explanatory mechanism allows the assessment of the impact of learning and development on expert action in a valuable way that other methods don’t. Part II continues by scrutinizing several cognitive neuroscientific theories of learning and development (neuroconstructivism; dual-processing theories; simulation theory; extended mind/cognition hypothesis), arguing for the complex interactions between different types of processing and different action representations involved in expert action performances. Moreover, according to our discussion of a particular ‘simulation theory’ these interactions can be influenced in several ways with the use of language, allowing an agent to configure a specific action representation for performance at a later stage. The results of Parts I and II are then applied in Part III to a parallel discussion of philosophical analyses of intentional action (discussing i.a. Frankfurt, Bratman, Pacherie and Ricoeur) and cognitive neuroscientific insights in it. Both approaches are found to converge in emphasizing the importance for an expert to develop stable patterns of actions that comply maximally not only with his intentions, but also with his motor expertise and with situational conditions. Consequently, his actions – automatic, or not – rely on this ‘sculpted space of actions’. (shrink)

The extent to which belief revision is affected by systematic variability and direct experience of a conditional (if A then B) relation was examined in two studies. The first used a computer generated apparatus. This presented two rows of 5 objects. Pressing one of the top objects resulted in one of the bottom objects being lit up. The 139 adult participants were given one of two levels of experience (5 or 15 trials) and one of two types of apparatus. One (...) of these was completely uniform, while the other had an element that randomly alternated in its result. Following the testing of the apparatus, participants were asked to rate their certainty of the action of the middle element, which was always uniform (the AB belief). Then they were told of an observation inconsistent with this belief. Participants were then asked whether they considered the AB belief or the anecdotal observation to be more believable. Results showed that increased experience decreased the tendency to reject the AB belief, when the apparatus did not have any randomness. However, the presence of a single element showing random variation in the system strongly increased rejection of this belief. A second study looked at the effect of a single random element on a mechanical system as well as an electronic system using graphical representations. This confirmed the generality of the effect of randomness on belief revision, and provided support for the effects of embedding a belief into a system of relations. These results provide some insight into the complex factors that determine belief revision. (shrink)

In this paper we present Drama, a distributed model of analogical mapping that integrates semantic and structural constraints on constructing analogies. Specifically, Drama uses holographic reduced representations (Plate, 1994), a distributed representation scheme, to model the effects of structure and meaning on human performance of analogical mapping. Drama is compared to three symbolic models of analogy (SME, Copycat, and ACME) and one partially distributed model (LISA). We describe Drama's performance on a number of example analogies and assess the model in (...) terms of neurological and psychological plausibility. We argue that Drama's successes are due largely to integrating structural and semantic constraints throughout the mapping process. We also claim that Drama is an existence proof of using distributed representations to model high‐level cognitive phenomena. (shrink)

I argue that coherence is truth-conducive in that coherence implies an increase in the probability of truth. Central to my argument is a certain principle for transitivity in probabilistic support. I then address a question concerning the truth-conduciveness of coherence as it relates to (something else I argue for) the truth-conduciveness of consistency, and consider how the truth-conduciveness of coherence bears on coherentist theories of justification.

The aim of this essay is to develop a coherence theory for the justification of evidentiary judgments in law. The main claim of the coherence theory proposed in this article is that a belief about the events being litigated is justified if and only if it is a belief that an epistemically responsible fact finder might hold by virtue of its coherence in like circumstances. The article argues that this coherentist approach to evidence and legal proof has the resources to (...) meet some of the main objections that may be addressed against attempts to analyze the justification of evidentiary judgments in law in coherentist terms. It concludes by exploring some implications of the proposed version of legal coherentism for a jurisprudence of evidence. (shrink)

Many cognitive scientists, having discovered that some computational-level characterization f of a cognitive capacity φ is intractable, invoke heuristics as algorithmic-level explanations of how cognizers compute f. We argue that such explanations are actually dysfunctional, and rebut five possible objections. We then propose computational-level theory revision as a principled and workable alternative.

This paper evaluates four competing psychological explanations for why the jury in the O.J. Simpson murder trial reached the verdict they did: explanatory coherence, Bayesian probability theory, wishful thinking, and emotional coherence. It describes computational models that provide detailed simulations of juror reasoning for explanatory coherence, Bayesian networks, and emotional coherence, and argues that the latter account provides the most plausible explanation of the jury's decision.

Discussion is frequently observed in democratic politics, but change in view is rarely observed. Call this the ‘unchanging minds hypothesis’. I assume that a given belief or desire is not isolated, but, rather, is located in a network structure of attitudes, such that persuasion sufficient to change an attitude in isolation is not sufficient to change the attitude as supported by its network. The network structure of attitudes explains why the unchanging minds hypothesis seems to be true, and why it (...) is false: due to the network, the effects of deliberative persuasion are typically latent, indirect, delayed, or disguised. Finally, I connect up the coherence account of attitudes to several topics in recent political and democratic theory. Key Words: deliberation • democracy • persuasion • change in view • coherence. (shrink)

Several recent articles on the concept of intentional action center on experimental findings suggesting that intentionality ascription can be affected by moral factors. I argue that the explanation for these phenomena lies in the workings of a tacit moral judgment mechanism, capable under certain circumstances of altering normal intentionality ascriptions. This view contrasts with that of Knobe ([2006]), who argues that the findings show that the concept of intentional action invokes evaluative notions. I discuss and reject possible objections to the (...) moral mechanism view, and offer arguments supporting the model over Knobe's account on grounds of simplicity and plausibility. (shrink)

During the latter part of the nineteenth century our description of nerve cell structure underwent a relatively unrecognized, though fundamental, transformation-a quiet revolution of sorts. The central problem facing scientists in neurology (the study of the nervous system) was a related pair: are nerve cells continuous with each other or not, and how is information conducted? Microscope resolution and staining techniques were inadequate at the time to yield definitive proof either way. I contend that explanatory coherence provides a means to (...) elucidate this instance of theory change in the history of science. The means of elucidation will be Thagard's computational model of explanatory coherence, ECHO (). (shrink)

The recognition that human minds/brains are finite systems with limited resources for computation has led some researchers to advance the Tractable Cognition thesis: Human cognitive capacities are constrained by computational tractability. This thesis, if true, serves cognitive psychology by constraining the space of computational‐level theories of cognition. To utilize this constraint, a precise and workable definition of “computational tractability” is needed. Following computer science tradition, many cognitive scientists and psychologists define computational tractability as polynomial‐time computability, leading to the P‐Cognition thesis. (...) This article explains how and why the P‐Cognition thesis may be overly restrictive, risking the exclusion of veridical computational‐level theories from scientific investigation. An argument is made to replace the P‐Cognition thesis by the FPT‐Cognition thesis as an alternative formalization of the Tractable Cognition thesis (here, FPT stands for fixed‐parameter tractable). Possible objections to the Tractable Cognition thesis, and its proposed formalization, are discussed, and existing misconceptions are clarified. (shrink)

Classical models of decision making deal fairly well with uncertainty, where settings are well-structured in terms of goals, alternatives, and consequences. Conversely, the typical ill-structured nature of strategy choices remains a challenge for extant models. Such cases can hardly build on the past, and their novelty makes the prediction of consequences a very difficult and poorly robust task. The weakness of the classical expected utility model in representing such problems has not been adequately solved by recent extensions. In this paper (...) we offer an explanatory coherence model for decision making in ill-structured problems. We model alternatives as sets of concurrent causal explanations of reality that act as justifications for action. According to these premises, choice is based on an evaluation of the internal coherence and the consistency of competing explanations of the available evidence. This model is psychologically grounded on causal inference and builds on the connectionist tradition of explanatory coherence. To illustrate the model, we consider the decision of investing in a new technology and we discuss how changes in the structure of alternatives may impact on the solution. We show how the final choice depends on collecting the relevant evidence, making the suitable hypotheses, and drawing the consistent causal explanations linking the two. (shrink)

This paper defines in a formal and computational way the notion of ‘consilience’, a term introduced by Whewell in 1847 for the evaluation of scientific theories. Informally, as has been used to date, a model or theory is ‘consilient’ if it is predictive, explanatory and unifies the evide-nce. Centred in a constructive framework, where new terms can be intro-duced, we essay a formalisation of the idea of unification based on the avoidance of ‘sepa-ration’. However, it is soon manifest that this (...) classical approach is vulnerable to the introduction of fantastic concepts to unify disparate sub-theories. Our second approach is constructed by using a detailed evaluation of the relationship between the theory and the evid-ence by means of reinforcement propagation. With the use of reinfor-cement, fantastic concepts can be better detected and the role of con-silience for theory construction and revision can be specialised for dif-ferent inference mechanisms like explanatory induction, abduction, deduc-tion and analogy. (shrink)

Barnes, A. and P. Thagard Empathy and analogy. Dialogue: Canadian Philosophical Review, 36: 705-720. HTML Croft, D., & Thagard, P.. Dynamic imagery: A computational model of motion and visual analogy. In L. Magnani and N. Nersessian, Model-based reasoning: Science, technology, values. New York: Kluwer/Plenum, 259-274. PDF only. HTML description of program and code for DIVA.

This paper proposes that self-deception results from the emotional coherence of beliefs with subjective goals. We apply the HOTCO computational model of emotional coherence to simulate a rich case of self-deception from Hawthorne's The Scarlet Letter.We argue that this model is more psychologically realistic than other available accounts of self-deception, and discuss related issues such as wishful thinking, intention, and the division of the self.

Structural and functional descriptions of technical artefacts play an important role in engineering practice. A complete description of a technical artefact involves a description of both functional and structural features. Engineers, moreover, assume that there is an intimate relationship between the function and structure of technical artefacts and they reason from functional properties to structural ones and vice versa. This raises the question of how structural and functional descriptions are related. The kind of inference patterns that establish coherence between structural (...) and functional descriptions are explored in this paper, using the analysis of coherence creating relations of Thagard et al. Explanatory, analogical and practical inference patterns are discussed and it is argued that of these three, practical inferences may be the most important. Practical inferences, however, cannot provide a full underpinning of the coherence of structural and functional descriptions of technical artefacts. The paper ends with the suggestion that any account of the coherence of the structural and functional descriptions of technical artefacts must involve reference to their intentional features.Keywords: Technical artefact; Structural description; Functional description; Coherence relation; Practical inference. (shrink)

Situational irony concerns what it is about a situation that causes people to describe it as ironic. Although situational irony is as complex and commonplace as verbal and literary irony, it has received nowhere near the same attention from cognitive scientists and other scholars. This paper presents the bicoherence theory of situational irony, based on the theory of conceptual coherence (Kunda & Thagard, 1996; Thagard & Verbeurgt, 1998). On this theory, a situation counts as ironic when it is conceived as (...) having a bicoherent conceptual structure, adequate cognitive salience, and evokes an appropriate configuration of emotions. The theory is applied to a corpus of 250 examples of situational ironies gathered automatically from electronic news sources. A useful taxonomy of situational ironies is produced, new predictions and insights into situational irony are discussed, and extensions of the theory to other forms of irony are examined. (shrink)

Coherence plays an important role in psychology. In this article, I suggest that coherence takes two main forms in humans’ cognitive system. The first belong to ‘system 1’. It relies on the degree of coherence between different representations to regulate them, without coherence being represented. By contrast other mechanisms, belonging to system 2, allow humans to represent the degree of coherence between different representations and to draw inferences from it. It is suggested that the mechanisms of explicit coherence evaluation have (...) social functions. They are used as means of epistemic vigilance—to evaluate what other people tell us. They can also be turned inwards to examine the coherence of our own beliefs. Their function is then to minimize the chances that we are perceived as being incoherent. Evidence from different domains of psychology is briefly reviewed in support of these hypotheses. (shrink)

This article is a response to Elijah Millgram's argument that my characterization of coherence as constraint satisfaction is inadequate for philosophical purposes because it provides no guarantee that the most coherent theory available will be true. I argue that the constraint satisfaction account of coherence satisfies the philosophical, computational, and psychological prerequisites for the development of epistemological and ethical theories.

The point of this paper is to provide a principled framework for a naturalistic, interactivist-constructivist model of rational capacity and a sketch of the model itself, indicating its merits. Being naturalistic, it takes its orientation from scientific understanding. In particular, it adopts the developing interactivist-constructivist understanding of the functional capacities of biological organisms as a useful naturalistic platform for constructing such higher order capacities as reason and cognition. Further, both the framework and model are marked by the finitude and fallibility (...) that science attributes to organisms, with their radical consequences, and also by the individual and collective capacities to improve their performances that learning organisms display. Part A prepares the ground for the exposition through a critique of the dominant Western analytic tradition in rationalising science, followed by a brief exposition of the naturalist framework that will be employed to frame the construction. This results in two sets of guidelines for constructing an alternative. Part B provides the new conception of reason as a rich complex of processes of improvement against epistemic values, and argues its merits. It closes with an account of normativity and our similarly developing rational knowledge of it, including (reflexively) of reason itself. (shrink)

It is shown that the probabilistic theories of coherence proposed up to now produce a number of counter-intuitive results. The last section provides some reasons for believing that no probabilistic measure will ever be able to adequately capture coherence. First, there can be no function whose arguments are nothing but tuples of probabilities, and which assigns different values to pairs of propositions {A, B} and {A, C} if A implies both B and C, or their negations, and if P(B)=P(C). But (...) such sets may indeed differ in their degree of coherence. Second, coherence is sensitive to explanatory relations between the propositions in question. Explanation, however, can hardly be captured solely in terms of probability. (shrink)

Historians and philosophers of science have, in recent decades, offered evidence in support of several influential models of conceptual change in science. These models have often drawn on and in turn driven research on conceptual change in childhood and in science education. This nexus of reciprocal influences is held together by several largely unexamined analogies and by several assumptions concerning analogy itself. In this chapter, we aim to shed some light on these hidden premises and subject them to critical scrutiny. (...) Our critical survey suggests the following hypothesis: conceptual change in both childhood and science is driven by the epistemic subject’s quest for coherence. (shrink)