| 概要 |
With the publication of the present volume, the Handbook of the History of Logic turns its attention to the remarkable renaissance of modal logic in the 20th century. Beginning with the early systems ...f C.I. Lewis in 1912, modal logic was a fixture in the century's research programme in logic, but for many years it ran on a parallel track to the rich developments in the more dominant classical logic. One of the great achievements of classical logic was the comparatively early production of a deep semantics for it. Modal logic would have to wait until the seminal work of Hintikka, Kanger and Kripke in the late 1950s and early 1960s. With modal semantics now in hand, it is not too much to say that modal logic leapt its tracks and challenged classical logic head-on for dominance. Part of what makes this an interesting challenge is the sheer proliferation of well-studied systems that burst out of the modal research programme. Further expansion came by way of adaptation of modal operators to epistemic and deontic interpretations, and an ensuing exuberance of further systems. Another important development was relevant logic, and with it a change to a more general conception of modal logic, in which the modalities of a system are now represented by a broader range of qualifications on its sentences. Under press of developments in computer science and argumentation theory (chiefly dialogue logic), recognition started to be given to sentence-qualifications other than necessity, obligatoriness and relevance. These include agents, times, tense, change, situations, roles, and with them the modalization of logic came to encompass temporal and tense logic, dynamic logic, situation logic, dialogue logic, game theoretic logic, and much more. Logic and the Modalities in the Twentieth Century is an indispensable research tool for anyone interested in the development of logic, including researchers, graduate and senior undergraduate students in logic, history of logic, mathematics, history of mathematics, computer science and AI, linguistics, cognitive science, argumentation theory, philosophy, and the history of ideas. Book jacket.続きを見る
|
Mendeley出力
