• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • HSE University
  • Publications
  • Book chapter
  • Two Cognitive Systems, Two Implications, and Selection Tasks
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Priority areas
  • business informatics
  • economics
  • engineering science
  • humanitarian
  • IT and mathematics
  • law
  • management
  • mathematics
  • sociology
  • state and public administration
by year
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • More
Subject
News
July 2, 2026
Researchers Discover How Spelling Errors Slow Down Reading in Russian
Psycholinguists from the Centre for Language and Brain at HSE University–St Petersburg have shown that words that are frequently misspelled are processed more slowly by readers, even when presented with the correct spelling. The researchers confirmed this effect for the first time using Russian-language materials and found that response speed is most strongly linked to how confidently individuals can distinguish the correct spelling of a word from an incorrect one. The study has been published in The Mental Lexicon.
July 2, 2026
HSE Develops App for Assessing Phonological Processing in Children
Researchers at the HSE Centre for Language and Brain have developed a new digital tool for assessing children's phonological processing skills—the ZARYA (Sound Analysis of the Russian Language) test battery. It is the first standardised application in Russia designed to provide a fast and reliable assessment of children's ability to distinguish speech sounds, retain them in working memory, and perform phonemic analysis. The app runs on Android tablets and smartphones and is available for download from RuStore. Details of the test validation have been published in the Journal of Speech, Language, and Hearing Research.
July 1, 2026
Scientists Discover Why Europium 'Misbehaves'
Europium is a rare-earth metal responsible for the pure red glow in displays and other luminescent materials. For a long time, however, it refused to emit light when surrounded by certain organic molecules known as acylpyrazolone ligands. Chemists have now uncovered the reason: in europium complexes with these ligands, a 'black window' appears—a charge-transfer state in which the energy absorbed by the ligand is dissipated as heat rather than emitted as light. Understanding this mechanism opens the way to designing more efficient red-emitting materials for displays, fluorescent thermometers, and chemical sensors. The results have been published in Dalton Transactions.

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!

Publications
  • Books
  • Articles
  • Chapters of books
  • Working papers
  • Report a publication
  • Research at HSE

?

Two Cognitive Systems, Two Implications, and Selection Tasks

P. 195–205.
Bobrova A., Pietarinen A.

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 rulebased, 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.

Language: English
DOI
Keywords: Existential GraphsPositive implicationWason Selection Task

In book

Software Engineering and Formal Methods: SEFM 2019 Collocated Workshops: CoSim-CPS, ASYDE, CIFMA, and FOCLASA, Oslo, Norway, September 16–20, 2019, Revised Selected Papers
Vol. 12226: Software Engineering and Formal Methods. , Champaign: Springer, 2020.
Similar publications
«Хореография танца» и «кинофильмы мыслей», или о причинах отсутствия общепризнанной танцевальной нотации
Bobrova A., Волынская К. А., Праксема. Проблемы визуальной семиотики 2026 № 2(48) С. 212–235
Musical notation has enjoyed universal recognition for centuries, whereas dance notation has remained comparatively underdeveloped and conceptually challenging. As a kinetic and embodied art form, dance requires a system of notation capable of reflecting its visual, affective, and technical dimensions while at the same time meeting the normative demands of stage practice. The first serious ...
Added: June 2, 2026
Ментальные модели и экзистенциальные графы: как определить правило
Bobrova A., Праксема. Проблемы визуальной семиотики 2024 № 2(40) С. 32–56
Проводится параллель между логической теорией Ч. Пирса – теорией экзистенциальных графов, и психологической теорией Ф. Джонсона-Лэрда – теорией ментальных моделей. В свое время теория экзистенциальных графов оказала заметное влияние на становление теории ментальных моделей, однако возможности их сотрудничества исчерпаны не были. В работе дается краткая характеристика обеих теорий, а также разбираются аспекты, в которых они ...
Added: August 27, 2024
Pragmaticism as a logical study of consciousness
Pietarinen A., Cognitive Semiotics 2021 Vol. 14 No. 1 P. 29–46
Pragmaticism states that general rules of action, or habits, are generalizing tendencies that lead us to action in conceivable situations describable in general terms. As a method of ‘putting questions to our minds,’ it assigns meanings to signs in terms of conceivable practical consequences for rational conduct. Questions are experiments on various ways of finding ...
Added: August 26, 2023
Modular vs. diagrammatic reasoning: The pragmatist side of human understanding
Bobrova A., Pietarinen A., Pragmatics and Cognition 2022 Vol. 29 No. 1 P. 111–134
Mercier and Sperber (MS) have ventured to undermine an age-old assumption in logic, namely the presence of premise-conclusion structures, in favor of two novel claims: that reasoning is an evolutionary product of a reason-intuiting module in the mind, and that theories of logic teach next to nothing about the mechanisms of how inferences are drawn ...
Added: October 31, 2022
On Linear Existential Graphs
Bellucci F., Liu X., Pietarinen A., Logique et Analyse 2020 No. 251 P. 261–296
Peirce’s linear versions of the language of his Existential Graphs (EGs), presented in 1902, are examined. Differences between linear and non-linear languages are explained by permutational invariance and type- vs. occurrence-referentiality: Standard EGs are permutationally invariant with respect to linear EGs, while the Beta part of the system, which corresponds to first-order quantificational theory with ...
Added: December 11, 2021
Some Logical Notations for Pragmatic Assertions
Carrara M., Chiffi D., Pietarinen A., Logique et Analyse 2020 No. 251 P. 297–315
The pragmatic notion of assertion has an important inferential role in logic. There are also many notational forms to express assertions in logical systems. This paper reviews, compares and analyses languages with signs for assertions, including explicit signs such as Frege’s and Dalla Pozza’s logical systems and implicit signs with no specific sign for assertion, ...
Added: December 11, 2021
Beta Assertive Graphs: Proofs of Assertions with Quantification
Pietarinen A., Bellucci F., Chiffi D., IfCoLoG Journal of Logics and their Applications 2021 Vol. 8 No. 2 P. 353–376
Assertive graphs (AGs) modify Peirce’s Alpha part of Existential Graphs (EGs). They are used to reason about assertions without a need to resort to any ad hoc sign of assertion. The present paper presents an extension of propositional AGs to the Beta case by introducing two kinds of non-interdefinable lines. The absence of polarities in ...
Added: April 22, 2021
Icons, Interrogations, and Graphs: On Peirce's Integrated Notion of Abduction
Pietarinen A., Bellucci F., Transactions of the Charles S. Peirce Society 2020 Vol. 56 No. 1 P. 43–61
Peirce's semiotic characterization of abductive reasoning in the 1903 Syllabus and in its drafts is related to the interrogative mood of the conclusion of abductive reasoning, both in the light of the Syllabus and in that of Peirce's post-1903 analysis of abduction and speculative grammar. The relevant pages of the Syllabus also present two non-standard ...
Added: August 28, 2020
Why Images Cannot be Arguments, But Moving Ones Might
Champagne M., Pietarinen A., Argumentation 2020 Vol. 34 No. 2 P. 207–236
Some have suggested that images can be arguments. Images can certainly bolster the acceptability of individual premises. We worry, though, that the static nature of images prevents them from ever playing a genuinely argumentative role. To show this, we call attention to a dilemma. The conclusion of a visual argument will either be explicit or ...
Added: June 25, 2020
Notational Differences
Bellucci F., Pietarinen A., Acta Analytica 2020 Vol. 35 No. 2 P. 289–314
Expressively equivalent logical languages can enunciate logical notions in notationally diversified ways. Frege’s Begriffsschrift, Peirce’s Existential Graphs, and the notations presented by Wittgenstein in the Tractatus all express the sentential fragment of classical logic, each in its own way. In what sense do expressively equivalent notations differ? According to recent interpretations, Begriffsschrift and Existential Graphs differ from ...
Added: June 25, 2020
Gamma graph calculi for modal logics
Ma M., Pietarinen A., Synthese 2017 Vol. 195 No. 8 P. 3621–3650
We describe Peirce’s 1903 system of modal gamma graphs, its transformation rules of inference, and the interpretation of the broken-cut modal operator. We show that Peirce proposed the normality rule in his gamma system. We then show how various normal modal logics arise from Peirce’s assumptions concerning the broken-cut notation. By developing an algebraic semantics ...
Added: September 16, 2018
Assertive graphs
Bellucci F., Chiffi D., Pietarinen A., Journal of Applied Non-Classical Logics 2018 Vol. 28 No. 1 P. 72–91
Peirce and Frege both distinguished between the propositio nal content of an assertion and the assertion of a propositional content, but with different notational means. We present a modification of Peirce’s graphical method of logic that can b e used to reason about assertions in a manner similar to Peirce’s original method. We propose a new system of Assertive Graphs (AGs), which unlike ...
Added: September 16, 2018
  • About
  • About
  • Key Figures & Facts
  • Sustainability at HSE University
  • Faculties & Departments
  • International Partnerships
  • Faculty & Staff
  • HSE Buildings
  • HSE University for Persons with Disabilities
  • Public Enquiries
  • Studies
  • Admissions
  • Programme Catalogue
  • Undergraduate
  • Graduate
  • Exchange Programmes
  • Summer University
  • Summer Schools
  • Semester in Moscow
  • Business Internship
  • Research
  • International Laboratories
  • Research Centres
  • Research Projects
  • Monitoring Studies
  • Conferences & Seminars
  • Academic Jobs
  • Yasin (April) International Academic Conference on Economic and Social Development
  • Media & Resources
  • Publications by staff
  • HSE Journals
  • Publishing House
  • iq.hse.ru: commentary by HSE experts
  • Library
  • Economic & Social Data Archive
  • Video
  • HSE Repository of Socio-Economic Information
  • HSE1993–2026
  • Contacts
  • Copyright
  • Privacy Policy
  • Site Map
Edit