Handbook of philosophical logic. Vol. 8 (Q703304)

From MaRDI portal





scientific article; zbMATH DE number 2125968
Language Label Description Also known as
default for all languages
No label defined
    English
    Handbook of philosophical logic. Vol. 8
    scientific article; zbMATH DE number 2125968

      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
      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

      Identifiers

      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references
      0 references