Abstract
Cognitive neuroscience has provided important insights into the notions like implicit versus explicit information processing in perception, object identification, memory, and general information retrieval. Even more topically, neuroscience has brought the notion of awareness in the forefront. of human knowledge. Yet the logical reflections of awareness and the implicit/explicit distinction have remained by and large uncharted. To improve on this situation, we introduce cognitively motivated logical operators related to actual experimental aspects of awareness into the modal language. Their semantics is given by grounding logical senses of awareness on a dynamic structure of possible worlds. We show that many neuroscientific findings on neural dysfunctions can be made to contribute to the logical level of investigation. In particular, the logics of awareness are enriched by experimental findings on brain and cognitive disorders such as blindsight, unilateral neglect, prosopagnosia, and implicit memory.
Original language | English |
---|---|
Title of host publication | Proceedings - 1st IEEE International Conference on Cognitive Informatics, ICCI 2002 |
Editors | Yingxu Wang, Ronald H. Johnston, Michael R. Smith |
Publisher | IEEE |
Pages | 155-162 |
Number of pages | 8 |
ISBN (Print) | 0769517242, 9780769517247 |
DOIs | |
Publication status | Published - Aug 2002 |
Event | 1st IEEE International Conference on Cognitive Informatics, ICCI 2002 - Calgary, Canada Duration: 19 Aug 2002 → 20 Aug 2002 https://ieeexplore.ieee.org/xpl/conhome/8057/proceeding |
Publication series
Name | Proceedings - IEEE International Conference on Cognitive Informatics |
---|
Conference
Conference | 1st IEEE International Conference on Cognitive Informatics, ICCI 2002 |
---|---|
Country/Territory | Canada |
City | Calgary |
Period | 19/08/02 → 20/08/02 |
Internet address |
Scopus Subject Areas
- Artificial Intelligence
- Computational Theory and Mathematics
- Information Systems
User-Defined Keywords
- awareness
- implicit/explicit distinction
- Logic
- neur oscience
- possible-worlds semantics