##
**Charles S. Peirce’s dynamic logic of cognition.
(Die dynamische Logik des Erkennens von Charles S. Peirce.)**
*(German)*
Zbl 0934.01004

Epistemata. Würzburger Wissenschaftliche Schriften, Reihe Philosophie. 239. Würzburg: Königshausen & Neumann. xii, 278 S. (1999).

Charles S. Peirce’s “dynamic logic” is presented as an important anticipation of the logical systems that are today discussed in Artificial Intelligence and Cognitive Science. In a first part (A) Peirce’s dynamic epistemology is introduced as a theory of cognition, starting with his triadic system of categories and his theories of syllogism and reasoning. The focus is on pragmatic and temporal aspects. Peirce’s attempt to use existential graphs as adequate tools for representing cognitive processes is standing in the core.

Part B appears to be loosely connected. The author gives a critical overview on systems of formalized intensional logic, such as Kripke Semantics, Tense Logic (Prior), Epistemic Logic (Hintikka), Situation Semantics (Barwise and Perry) and Dynamic Logic (van Benthem). He furthermore provides information on logical systems used in cognitive science, most of them following a computational model of the mind.

The connection of the parts is provided by positing Peirce’s theories in this recent discussion.

Part B appears to be loosely connected. The author gives a critical overview on systems of formalized intensional logic, such as Kripke Semantics, Tense Logic (Prior), Epistemic Logic (Hintikka), Situation Semantics (Barwise and Perry) and Dynamic Logic (van Benthem). He furthermore provides information on logical systems used in cognitive science, most of them following a computational model of the mind.

The connection of the parts is provided by positing Peirce’s theories in this recent discussion.

Reviewer: V.Peckhaus (Erlangen)

### MSC:

01A55 | History of mathematics in the 19th century |

03-03 | History of mathematical logic and foundations |

03A05 | Philosophical and critical aspects of logic and foundations |