Handbook of philosophical logic. Vol. 8 (Q703304)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Handbook of philosophical logic. Vol. 8
scientific article

    Statements

    Handbook of philosophical logic. Vol. 8 (English)
    0 references
    11 January 2005
    0 references
    This volume of the second edition collects two chapters from the first edition and two new ones. The first chapter, ``The logic of questions'' (pp. 1--60) by \textit{D. Harrah}, is a nicely updated and slightly modified version of the corresponding chapter in Vol. 2 of the first edition (1984; Zbl 0572.03003). The second chapter, ``Sequent systems for modal logics'' (pp. 61--145) by \textit{H. Wansing}, is completely new. It surveys the application of various generalized types of sequent calculi to modal and temporal logics, but focuses on such formalisms which do not make explicit use of semantic parameters. Special attention is payed to display calculi. The third chapter, ``Deontic logic'' (pp. 147--264) by \textit{L. Åqvist} is very much the same as the corresponding chapter in Vol. 2 of the first edition [loc. cit.]. The only changes are in the last two sections of the first version, which offered conjectures about a system \textbf{G} and an extending hierarchy. The author proved versions of these conjectures in some of his papers from the 1990s and offers these results in this modified version of that chapter. An interesting updating of topics from deontic logic gives the new final chapter (pp. 265--343) of this volume. In it, \textit{J. Carmo} and \textit{A. Jones} discuss ``Deontic logic and contrary-to-duties'' from a theoretical as well as from an applicational point of view. The applications they have in mind concern, e.g., discrepancies between actual and ideal duties and are thus relevant for philosophy as well as for knowledge representation and the theory of agents.
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    proof theory of modal logic
    0 references
    sequent calculi
    0 references
    display calculi
    0 references
    deontic logic
    0 references
    contrary-to-duties
    0 references
    logic of questions
    0 references