Switch to: References

Citations of:

Deduction

Psychology Press (1991)

Add citations

You must login to add citations.
  1. (1 other version)Why Do We Prove Theorems?Yehuda Rav - 1999 - Philosophia Mathematica 7 (1):5-41.
    Ordinary mathematical proofs—to be distinguished from formal derivations—are the locus of mathematical knowledge. Their epistemic content goes way beyond what is summarised in the form of theorems. Objections are raised against the formalist thesis that every mainstream informal proof can be formalised in some first-order formal system. Foundationalism is at the heart of Hilbert's program and calls for methods of formal logic to prove consistency. On the other hand, ‘systemic cohesiveness’, as proposed here, seeks to explicate why mathematical knowledge is (...)
    Download  
     
    Export citation  
     
    Bookmark   95 citations  
  • Conditionals, Context, and the Suppression Effect.Fabrizio Cariani & Lance J. Rips - 2017 - Cognitive Science 41 (3):540-589.
    Modus ponens is the argument from premises of the form If A, then B and A to the conclusion B. Nearly all participants agree that the modus ponens conclusion logically follows when the argument appears in this Basic form. However, adding a further premise can lower participants’ rate of agreement—an effect called suppression. We propose a theory of suppression that draws on contemporary ideas about conditional sentences in linguistics and philosophy. Semantically, the theory assumes that people interpret an indicative conditional (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Imaging deductive reasoning and the new paradigm.Mike Oaksford - 2015 - Frontiers in Human Neuroscience 9.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A rational analysis of the selection task as optimal data selection.Mike Oaksford & Nick Chater - 1994 - Psychological Review 101 (4):608-631.
    Download  
     
    Export citation  
     
    Bookmark   243 citations  
  • Bayesian reasoning with ifs and ands and ors.Nicole Cruz, Jean Baratgin, Mike Oaksford & David E. Over - 2015 - Frontiers in Psychology 6.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • New normative standards of conditional reasoning and the dual-source model.Henrik Singmann, Karl Christoph Klauer & David Over - 2014 - Frontiers in Psychology 5.
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The Oxford Handbook of Causal Reasoning.Michael Waldmann (ed.) - 2017 - Oxford, England: Oxford University Press.
    Causal reasoning is one of our most central cognitive competencies, enabling us to adapt to our world. Causal knowledge allows us to predict future events, or diagnose the causes of observed facts. We plan actions and solve problems using knowledge about cause-effect relations. Without our ability to discover and empirically test causal theories, we would not have made progress in various empirical sciences. In the past decades, the important role of causal knowledge has been discovered in many areas of cognitive (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • What reasoning might be.Markos Valaris - 2017 - Synthese 194 (6).
    The philosophical literature on reasoning is dominated by the assumption that reasoning is essentially a matter of following rules. This paper challenges this view, by arguing that it misrepresents the nature of reasoning as a personal level activity. Reasoning must reflect the reasoner’s take on her evidence. The rule-following model seems ill-suited to accommodate this fact. Accordingly, this paper suggests replacing the rule-following model with a different, semantic approach to reasoning.
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • How Diagrams Can Support Syllogistic Reasoning: An Experimental Study.Yuri Sato & Koji Mineshima - 2015 - Journal of Logic, Language and Information 24 (4):409-455.
    This paper explores the question of what makes diagrammatic representations effective for human logical reasoning, focusing on how Euler diagrams support syllogistic reasoning. It is widely held that diagrammatic representations aid intuitive understanding of logical reasoning. In the psychological literature, however, it is still controversial whether and how Euler diagrams can aid untrained people to successfully conduct logical reasoning such as set-theoretic and syllogistic reasoning. To challenge the negative view, we build on the findings of modern diagrammatic logic and introduce (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Enactivism and the New Teleology: Reconciling the Warring Camps.Ralph D. Ellis - 2014 - Avant: Trends in Interdisciplinary Studies (2):173-198.
    Enactivism has the potential to provide a sense of teleology in purpose-directed action, but without violating the principles of efficient causation. Action can be distinguished from mere reaction by virtue of the fact that some systems are self-organizing. Self-organization in the brain is reflected in neural plasticity, and also in the primacy of motivational processes that initiate the release of neurotransmitters necessary for mental and conscious functions, and which guide selective attention processes. But in order to flesh out the enactivist (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Minimality Criteria in Spatial Belief Revision.Leandra Bucher & Paul D. Thorn - 2014 - In Paul Bello, Marcello Guarini, Marjorie McShane & Brian Scassellati (eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society. Cognitive Science Society. pp. 1952-8.
    Agents typically revise their beliefs when confronted with evidence that contradicts those beliefs, selecting from a number of possible revisions sufficient to reestablish consistency. In cases where an individual’s beliefs concern spatial relations, belief revision has been fruitfully treated as a decision about which features of an initially constructed spatial mental model to modify. A normative claim about belief revision maintains that agents should prefer minimal belief revisions. Yet recent studies have rebutted the preceding claim, where minimality is understood to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Construction and Revision of Spatial Mental Models under High Task Demand.Jelica Nejasmic, Leandra Bucher, Paul D. Thorn & Markus Knauff - 2014 - In Paul Bello, Marcello Guarini, Marjorie McShane & Brian Scassellati (eds.), Proceedings of the 36th Annual Conference of the Cognitive Science Society. Cognitive Science Society. pp. 1066-72.
    Individuals often revise their beliefs when confronted with contradicting evidence. Belief revision in the spatial domain can be regarded as variation of initially constructed spatial mental models. Construction and revision usually follow distinct cognitive principles. The present study examines whether principles of revisions which follow constructions under high task demands differ from principles applied after less demanding constructions. We manipulated the task demands for model constructions by means of the continuity with which a spatial model was constructed. We administered tasks (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Conditional reasoning with a spatial content requires visuo-spatial working memory.Wouter Duyck, André Vandierendonck & Gino De Vooght - 2003 - Thinking and Reasoning 9 (3):267-287.
    Download  
     
    Export citation  
     
    Bookmark  
  • The influence of responsibility and guilt on naive hypothesis-testing.Francesco Mancini & Amelia Gangemi - 2004 - Thinking and Reasoning 10 (3):289-320.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Mental models and logical reasoning problems in the GRE.Yingrui Yang & P. N. Johnosn-Laird - 2001 - Journal of Experimental Psychology: Applied 7 (4):308.
    Download  
     
    Export citation  
     
    Bookmark  
  • In defense of representation.Arthur B. Markman & Eric Dietrich - 2000 - Cognitive Psychology 40 (2):138--171.
    The computational paradigm, which has dominated psychology and artificial intelligence since the cognitive revolution, has been a source of intense debate. Recently, several cognitive scientists have argued against this paradigm, not by objecting to computation, but rather by objecting to the notion of representation. Our analysis of these objections reveals that it is not the notion of representation per se that is causing the problem, but rather specific properties of representations as they are used in various psychological theories. Our analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   36 citations  
  • Similarity and rules: distinct? exhaustive? empirically distinguishable?Ulrike Hahn & Nick Chater - 1998 - Cognition 65 (2-3):197-230.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Unified cognitive theory is not comprehensive.P. C. Dodwell - 1992 - Behavioral and Brain Sciences 15 (3):443-445.
    Download  
     
    Export citation  
     
    Bookmark  
  • Précis of Unified theories of cognition.Allen Newell - 1992 - Behavioral and Brain Sciences 15 (3):425-437.
    The book presents the case that cognitive science should turn its attention to developing theories of human cognition that cover the full range of human perceptual, cognitive, and action phenomena. Cognitive science has now produced a massive number of high-quality regularities with many microtheories that reveal important mechanisms. The need for integration is pressing and will continue to increase. Equally important, cognitive science now has the theoretical concepts and tools to support serious attempts at unified theories. The argument is made (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  • Some thinking is irrational.Jonathan Baron - 1991 - Behavioral and Brain Sciences 14 (3):486-487.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Does the environment have the same structure as Bayes' theorem?Gerd Gigerenzer - 1991 - Behavioral and Brain Sciences 14 (3):495-496.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Deduction and degrees of belief.David Over - 1993 - Behavioral and Brain Sciences 16 (2):361-362.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • A number of questions about a question of number.Alan Garnham - 1993 - Behavioral and Brain Sciences 16 (2):350-351.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A step toward modeling reflexive reasoning.Lokendra Shastri & Venkat Ajjanagadde - 1993 - Behavioral and Brain Sciences 16 (3):477-494.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What we know and the LTKB.Stanley Munsat - 1993 - Behavioral and Brain Sciences 16 (3):466-467.
    Download  
     
    Export citation  
     
    Bookmark  
  • Computational and biological constraints in the psychology of reasoning.Mike Oaksford & Mike Malloch - 1993 - Behavioral and Brain Sciences 16 (3):468-469.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Useful ideas for exploiting time to engineer representations.Richard Rohwer - 1993 - Behavioral and Brain Sciences 16 (3):471-471.
    Download  
     
    Export citation  
     
    Bookmark  
  • Not all reflexive reasoning is deductive.Graeme Hirst & Dekai Wu - 1993 - Behavioral and Brain Sciences 16 (3):462-463.
    Download  
     
    Export citation  
     
    Bookmark  
  • Time phases, pointers, rules and embedding.John A. Barnden - 1993 - Behavioral and Brain Sciences 16 (3):451-452.
    This paper is a commentary on the target article by Lokendra Shastri & Venkat Ajjanagadde [S&A]: “From simple associations to systematic reasoning: A connectionist representation of rules, variables and dynamic bindings using temporal synchrony” in same issue of the journal, pp.417–451. -/- It puts S&A's temporal-synchrony binding method in a broader context, comments on notions of pointing and other ways of associating information - in both computers and connectionist systems - and mentions types of reasoning that are a challenge to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • From symbols to neurons: Are we there yet?Garrison W. Cottrell - 1993 - Behavioral and Brain Sciences 16 (3):454-454.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Temporal and spatial relations in sentential reasoning.Csongor Juhos, Ana Cristina Quelhas & Philip N. Johnson-Laird - 2012 - Cognition 122 (3):393-404.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Formalization and Analysis of Reasoning by Assumption.Tibor Bosse, Catholijn M. Jonker & Jan Treur - 2006 - Cognitive Science 30 (1):147-180.
    This article introduces a novel approach for the analysis of the dynamics of reasoning processes and explores its applicability for the reasoning pattern called reasoning by assumption. More specifically, for a case study in the domain of a Master Mind game, it is shown how empirical human reasoning traces can be formalized and automatically analyzed against dynamic properties they fulfill. To this end, for the pattern of reasoning by assumption a variety of dynamic properties have been specified, some of which (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Strategies in sentential reasoning.Jean‐Baptiste Henst, Yingrui Yang & P. N. Johnson‐Laird - 2002 - Cognitive Science 26 (4):425-468.
    Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based on mental models. Reasoners vary their use of tactics in ways that have no deterministic account. This variation leads different individuals to assemble different strategies, which include the construction of incremental diagrams corresponding to mental models, (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Strategies in sentential reasoning.Jean-Baptiste Van Der Henst, Yingrui Yang & Johnson-Laird N. Philip - 2002 - Cognitive Science 26 (4):425-468.
    Four experiments examined the strategies that individuals develop in sentential reasoning. They led to the discovery of five different strategies. According to the theory proposed in the paper, each of the strategies depends on component tactics, which all normal adults possess, and which are based on mental models. Reasoners vary their use of tactics in ways that are not deterministic. This variation leads different individuals to assemble different strategies, which include the construction of incremental diagram corresponding to mental models, and (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)A Cognitive Theory of Graphical and Linguistic Reasoning: Logic and Implementation.Keith Stenning & Jon Oberlander - 1995 - Cognitive Science 19 (1):97-140.
    We discuss external and internal graphical and linguistic representational systems. We argue that a cognitive theory of peoples' reasoning performance must account for (a) the logical equivalence of inferences expressed in graphical and linguistic form, and (b) the implementational differences that affect facility of inference. Our theory proposes that graphical representation limit abstraction and thereby aid “processibility”. We discuss the ideas of specificity and abstraction, and their cognitive relevance. Empirical support both comes from tasks which involve the manipulation of external (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Naive causality: a mental model theory of causal meaning and reasoning.Eugenia Goldvarg & P. N. Johnson-Laird - 2001 - Cognitive Science 25 (4):565-610.
    This paper outlines a theory and computer implementation of causal meanings and reasoning. The meanings depend on possibilities, and there are four weak causal relations: A causes B, A prevents B, A allows B, and A allows not‐B, and two stronger relations of cause and prevention. Thus, A causes B corresponds to three possibilities: A and B, not‐A and B, and not‐A and not‐B, with the temporal constraint that B does not precede A; and the stronger relation conveys only the (...)
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Precis of the rational imagination: How people create alternatives to reality.Ruth Mj Byrne - 2007 - Behavioral and Brain Sciences 30 (5):439-452.
    The human imagination remains one of the last uncharted terrains of the mind. People often imagine how events might have turned out something had been different. The of reality, those aspects more readily changed, indicate that counterfactual thoughts are guided by the same principles as rational thoughts. In the past, rationality and imagination have been viewed as opposites. But research has shown that rational thought is more imaginative than cognitive scientists had supposed. In The Rational Imagination, I argue that imaginative (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Commentary/Elqayam & Evans: Subtracting “ought” from “is”.Natalie Gold, Andrew M. Colman & Briony D. Pulford - 2011 - Behavioral and Brain Sciences 34 (5).
    Normative theories can be useful in developing descriptive theories, as when normative subjective expected utility theory is used to develop descriptive rational choice theory and behavioral game theory. “Ought” questions are also the essence of theories of moral reasoning, a domain of higher mental processing that could not survive without normative considerations.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logic, Models, and Paradoxical Inferences.Isabel Orenes & P. N. Johnson-Laird - 2012 - Mind and Language 27 (4):357-377.
    People reject ‘paradoxical’ inferences, such as: Luisa didn't play music; therefore, if Luisa played soccer, then she didn't play music. For some theorists, they are invalid for everyday conditionals, but valid in logic. The theory of mental models implies that they are valid, but unacceptable because the conclusion refers to a possibility inconsistent with the premise. Hence, individuals should accept them if the conclusions refer only to possibilities consistent with the premises: Luisa didn't play soccer; therefore, if Luisa played a (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Emotion Experience, Rational Action, and Self-Knowledge.John A. Lambie - 2009 - Emotion Review 1 (3):272-280.
    This article examines the role of emotion experience in both rational action and self-knowledge. A key distinction is made between emotion experiences of which we are unaware, and those of which we are aware. The former motivate action and color our view of the world, but they do not do so in a rational way, and their nonreflective nature obscures self-understanding. The article provides arguments and evidence to support the view that emotion experiences contribute to rational action only if one (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Logic, Reasoning and the Logical Constants.Pascal Engel - 2006 - Croatian Journal of Philosophy 6 (2):219-235.
    What is the relationship between logic and reasoning? How do logical norms guide inferential performance? This paper agrees with Gilbert Harman and most of the psychologists that logic is not directly relevant to reasoning. It argues, however, that the mental model theory of logical reasoning allows us to harmonise the basic principles of deductive reasoning and inferential perfomances, and that there is a strong connexion between our inferential norms and actual reasoning, along the lines of Peacocke’s conception of inferential role.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Deductive Reasoning.Joshua Schechter - 2009 - In Hal Pashler (ed.), Encyclopedia of the Mind. Sage Publications.
    Deductive reasoning is the kind of reasoning in which, roughly, the truth of the input propositions (the premises) logically guarantees the truth of the output proposition (the conclusion), provided that no mistake has been made in the reasoning. The premises may be propositions that the reasoner believes or assumptions that the reasoner is exploring. Deductive reasoning contrasts with inductive reasoning, the kind of reasoning in which the truth of the premises need not guarantee the truth of the conclusion.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Reliability Challenge and the Epistemology of Logic.Joshua Schechter - 2010 - Philosophical Perspectives 24 (1):437-464.
    We think of logic as objective. We also think that we are reliable about logic. These views jointly generate a puzzle: How is it that we are reliable about logic? How is it that our logical beliefs match an objective domain of logical fact? This is an instance of a more general challenge to explain our reliability about a priori domains. In this paper, I argue that the nature of this challenge has not been properly understood. I explicate the challenge (...)
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Integrating Neuroscience and Phenomenology in the Study of Consciousness.Ralph D. Ellis - 1999 - Journal of Phenomenological Psychology 30 (1):18-47.
    Phenomenology and physiology become commensurable through a self-organizational physiology and an "enactive" view of consciousness. Self-organizing processes appropriate and replace their own needed substrata, rather than merely being caused by interacting components. Biochemists apply this notion to the living/nonliving distinction. An enactive approach sees consciousness as actively executed by an agent rather than passively reacting to stimuli. Perception does not result from mere stimulation of brain areas by sensory impulses; unless motivated organismic purposes first anticipate and "look for" emotionally relevant.stimuli, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Cross-Cultural Preferences in Spatial Reasoning.Markus Knauff & Marco Ragni - 2011 - Journal of Cognition and Culture 11 (1-2):1-21.
    How do people reason about spatial relations? Do people with different cultural backgrounds differ in how they reason about space? The aim of our cross-cultural study on spatial reasoning is to strengthen this link between spatial cognition and culture. We conducted two reasoning experiments, one in Germany and one in Mongolia. Topological relations, such as “A overlaps B” or “B lies within C”, were presented to the participants as premises and they had to find a conclusion that was consistent with (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Conditionals: A theory of meaning, pragmatics, and inference.Philip Johnson-Laird & Ruth M. J. Byrne - 2002 - Psychological Review 109 (4):646-678.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   182 citations  
  • Logicism, Mental Models and Everyday Reasoning: Reply to Garnham.Nick Chater & Mike Oaksford - 1993 - Mind and Language 8 (1):72-89.
    Download  
     
    Export citation  
     
    Bookmark   86 citations  
  • Rationality in mental disorders: too little or too much?Valentina Cardella - 2020 - European Journal of Analytic Philosophy 16 (2):13-36.
    The idea that mental illnesses are impairments in rationality is very old, and very common (Kasanin 1944; Harvey et al. 2004; Graham 2010). But is it true? In this article two severe mental disorders, schizophrenia and delusional disorder, are investigated in order to find some defects in rationality. Through the analysis of patients’ performances on different tests, and the investigation of their typical reasoning styles, I will show that mental disorders can be deficits in social cognition, or common sense, but (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The role of cognitive and socio-cognitive conflict in learning to reason.Katiuscia Sacco & Monica Bucciarelli - 2007 - Mind and Society 7 (1):1-19.
    The mental model theory claims that the ability to falsify is at the core of human rationality. We assume that cognitive conflicts (CCs) and socio-cognitive conflicts (SCCs) induce falsification, and thus improve syllogistic reasoning performance. Our first study assesses adults’ ability to reason in two different conditions in a single experimental session. In both conditions the participants are presented with conclusions alternative to their own. In the CC condition they are told that these conclusions are casual, in the SCC condition (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Précis of bayesian rationality: The probabilistic approach to human reasoning.Mike Oaksford & Nick Chater - 2009 - Behavioral and Brain Sciences 32 (1):69-84.
    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 (...)
    Download  
     
    Export citation  
     
    Bookmark   151 citations