Towards an axiomatic theory of consciousness
Joe Cunningham
Logic Journal of IGPL March 1, 2001 DOI: 10.1093/jigpal/9.2.325 (opens in new tab)
Study at a glance
AI-extracted from the abstract| Characteristics | Theoretical or philosophical paper Peer reviewed |
|---|---|
| Citations | 4 |
| Key points | Proposes that interval temporal logic can express ongoing conditions, such as progressive aspects, to enrich stative mental models and thereby represent an agent's internal activities and perception of external processes more faithfully. |
Abstract
In this paper we seek to provide elements of an axiomatic theory for a sentient consciousness as a quantified form of introspective awareness. A crucial step for its formulation is use of an interval temporal logic to give expression to on-going conditions such as those represented by the progressive aspect in natural language. In this way we are able to enrich more stative mental models so that an agent's internal activities and its perception of external processes can be represented more faithfully. The need for agent consciousness research is briefly discussed.