Two Cognitive Systems, Two Implications, and Selection Tasks

Angelina Bobrova, Ahti Veikko Pietarinen*

*Corresponding author for this work

Research output: Chapter in book/report/conference proceedingConference proceedingpeer-review

Abstract

Dual-process theories of reasoning take for granted the fundamental difference between the two cognitive systems, Systems 1 and 2. This paper, in contrast, argues that System 1, which is responsible for fast, intuitive, associative, and effortless reasoning, can be explained to be just as logical as System 2, which is said to draw consequences in rule-based, rational and criticised fashions. The only difference between the two systems is argued to be that the former draws conclusions in a logic which is diagrammatic, and moreover a positive and implicational fragment of ordinary, classical logic. Such a fundamental connection between the two systems is then applied to explain away cognitive biases in the Wason card selection task. The selection task thus ceases to represent a paradigm case of confirmation bias, because both systems of reasoning exhibit important processes of logical inferences.

Original languageEnglish
Title of host publicationSoftware Engineering and Formal Methods
Subtitle of host publicationSEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
EditorsJavier Camara, Martin Steffen
PublisherSpringer Cham
Pages195-205
Number of pages11
Edition1st
ISBN (Electronic)9783030575069
ISBN (Print)9783030575052
DOIs
Publication statusPublished - 9 Sept 2020
Event3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, International Workshop on Automated and verifiable Software System Development, ASYDE 2019, International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th International Workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019 - Oslo, Norway
Duration: 16 Sept 201920 Sept 2019
https://link.springer.com/book/10.1007/978-3-030-30446-1
https://link.springer.com/book/10.1007/978-3-030-57506-9

Publication series

NameLecture Notes in Computer Science
Volume12226
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349
NameProgramming and Software Engineering (LNPSE)
NameSEFM: International Conference on Software Engineering and Formal Methods

Conference

Conference3rd International Workshop on Formal Co-Simulation of Cyber-Physical Systems, CoSim-CPS 2019, International Workshop on Automated and verifiable Software System Development, ASYDE 2019, International Workshop on Cognition: Interdisciplinary Foundations, Models and Applications, CIFMA 2019 and 17th International Workshop on Foundations of Coordination Languages and Self-Adaptiveness of Software Applications, FOCLASA 2019, co-located with the 17th International Conference on Software Engineering and Formal Methods, SEFM 2019
Country/TerritoryNorway
CityOslo
Period16/09/1920/09/19
Internet address

Scopus Subject Areas

  • Theoretical Computer Science
  • Computer Science(all)

User-Defined Keywords

  • Cognition
  • Diagrammatic logic
  • Dual-processes
  • Logic
  • Peirce’s graphs
  • Positive implication
  • Wason card selection task

Fingerprint

Dive into the research topics of 'Two Cognitive Systems, Two Implications, and Selection Tasks'. Together they form a unique fingerprint.

Cite this