What do epistemic logic and cognitive science have to do with each other?

Research output: Contribution to journalArticle

8 Citations (Scopus)

Abstract

Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools. These concepts ought to be in the spotlight of cognitive science too, but the two have not yet seriously been explored in cooperation. In this paper, it is shown that a number of possibilities is opened up by attempting to answer the question of what epistemic logic and cognitive science have to do with each other. Among the proposed answers are: (i) new quantified versions of multi-agent epistemic logic capture locutions involving object identification, giving rise to applications in representing knowledge in multi-agent systems and parallel processing. (ii) The framework of game-theoretic semantics for the ensuing logics enjoys increased cognitive plausibility as the true semantics for epistemic notions. (iii) Several recent findings in cognitive neuroscience pertaining to the notions of awareness and explicit versus implicit processing contribute to logical studies. These three connections are explored here from both logical and cognitive perspectives. Reflecting neuroscientific research, new extensions of epistemic logic are defined, increasing formal understanding of unconscious and unaware information processing in the brain, and making the formalism thus amenable to knowledge representation in multi-agent configurations.

Original languageEnglish
Pages (from-to)169-190
Number of pages22
JournalCognitive Systems Research
Volume4
Issue number3
DOIs
Publication statusPublished - Sep 1 2003

Fingerprint

Cognitive Science
Semantics
Knowledge representation
Processing
Multi agent systems
Brain
Data storage equipment
Automatic Data Processing
Research

Keywords

  • Awareness
  • Cognitive neuroscience
  • Epistemic logic
  • Game-theoretic semantics
  • Knowledge
  • Multi-agent systems

ASJC Scopus subject areas

  • Experimental and Cognitive Psychology
  • Cognitive Neuroscience
  • Artificial Intelligence

Cite this

What do epistemic logic and cognitive science have to do with each other? / Pietarinen, Ahti Veikko.

In: Cognitive Systems Research, Vol. 4, No. 3, 01.09.2003, p. 169-190.

Research output: Contribution to journalArticle

@article{83a47e3295de4fd7a5d3f052c9c89934,
title = "What do epistemic logic and cognitive science have to do with each other?",
abstract = "Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools. These concepts ought to be in the spotlight of cognitive science too, but the two have not yet seriously been explored in cooperation. In this paper, it is shown that a number of possibilities is opened up by attempting to answer the question of what epistemic logic and cognitive science have to do with each other. Among the proposed answers are: (i) new quantified versions of multi-agent epistemic logic capture locutions involving object identification, giving rise to applications in representing knowledge in multi-agent systems and parallel processing. (ii) The framework of game-theoretic semantics for the ensuing logics enjoys increased cognitive plausibility as the true semantics for epistemic notions. (iii) Several recent findings in cognitive neuroscience pertaining to the notions of awareness and explicit versus implicit processing contribute to logical studies. These three connections are explored here from both logical and cognitive perspectives. Reflecting neuroscientific research, new extensions of epistemic logic are defined, increasing formal understanding of unconscious and unaware information processing in the brain, and making the formalism thus amenable to knowledge representation in multi-agent configurations.",
keywords = "Awareness, Cognitive neuroscience, Epistemic logic, Game-theoretic semantics, Knowledge, Multi-agent systems",
author = "Pietarinen, {Ahti Veikko}",
year = "2003",
month = "9",
day = "1",
doi = "10.1016/S1389-0417(03)00003-2",
language = "English",
volume = "4",
pages = "169--190",
journal = "Cognitive Systems Research",
issn = "1389-0417",
publisher = "Elsevier",
number = "3",

}

TY - JOUR

T1 - What do epistemic logic and cognitive science have to do with each other?

AU - Pietarinen, Ahti Veikko

PY - 2003/9/1

Y1 - 2003/9/1

N2 - Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools. These concepts ought to be in the spotlight of cognitive science too, but the two have not yet seriously been explored in cooperation. In this paper, it is shown that a number of possibilities is opened up by attempting to answer the question of what epistemic logic and cognitive science have to do with each other. Among the proposed answers are: (i) new quantified versions of multi-agent epistemic logic capture locutions involving object identification, giving rise to applications in representing knowledge in multi-agent systems and parallel processing. (ii) The framework of game-theoretic semantics for the ensuing logics enjoys increased cognitive plausibility as the true semantics for epistemic notions. (iii) Several recent findings in cognitive neuroscience pertaining to the notions of awareness and explicit versus implicit processing contribute to logical studies. These three connections are explored here from both logical and cognitive perspectives. Reflecting neuroscientific research, new extensions of epistemic logic are defined, increasing formal understanding of unconscious and unaware information processing in the brain, and making the formalism thus amenable to knowledge representation in multi-agent configurations.

AB - Epistemic logic is a multi-faceted theory aimed at targeting notions such as knowledge, belief, information, awareness, memory and other propositional attitudes, by means of logical and semantical tools. These concepts ought to be in the spotlight of cognitive science too, but the two have not yet seriously been explored in cooperation. In this paper, it is shown that a number of possibilities is opened up by attempting to answer the question of what epistemic logic and cognitive science have to do with each other. Among the proposed answers are: (i) new quantified versions of multi-agent epistemic logic capture locutions involving object identification, giving rise to applications in representing knowledge in multi-agent systems and parallel processing. (ii) The framework of game-theoretic semantics for the ensuing logics enjoys increased cognitive plausibility as the true semantics for epistemic notions. (iii) Several recent findings in cognitive neuroscience pertaining to the notions of awareness and explicit versus implicit processing contribute to logical studies. These three connections are explored here from both logical and cognitive perspectives. Reflecting neuroscientific research, new extensions of epistemic logic are defined, increasing formal understanding of unconscious and unaware information processing in the brain, and making the formalism thus amenable to knowledge representation in multi-agent configurations.

KW - Awareness

KW - Cognitive neuroscience

KW - Epistemic logic

KW - Game-theoretic semantics

KW - Knowledge

KW - Multi-agent systems

UR - http://www.scopus.com/inward/record.url?scp=2442492761&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=2442492761&partnerID=8YFLogxK

U2 - 10.1016/S1389-0417(03)00003-2

DO - 10.1016/S1389-0417(03)00003-2

M3 - Article

VL - 4

SP - 169

EP - 190

JO - Cognitive Systems Research

JF - Cognitive Systems Research

SN - 1389-0417

IS - 3

ER -