書誌事項

Alternatives to classical logic

edited by D. Gabbay and F. Guenthner

(Synthese library, v. 166 . Handbook of philosophical logic / edited by D. Gabbay and F. Guenthner ; v. 3)

D. Reidel , Sold and distributed in the U.S.A. and Canada by Kluwer Academic Publishers, c1986

タイトル別名

Alternatives in classical logic

大学図書館所蔵 件 / 71

この図書・雑誌をさがす

注記

Title slightly varies in some issue: Alternatives in classical logic

Errata slip laid in

Includes bibliographies and indexes

内容説明・目次

内容説明

This volume presents a number of systems of logic which can be considered as alternatives to classical logic. The notion of what counts as an alternative is a somewhat problematic one. There are extreme views on the matter of what is the 'correct' logical system and whether one logical system (e. g. classical logic) can represent (or contain) all the others. The choice of the systems presented in this volume was guided by the following criteria for including a logic as an alternative: (i) the departure from classical logic in accepting or rejecting certain theorems of classical logic following intuitions arising from significant application areas and/or from human reasoning; (ii) the alternative logic is well-established and well-understood mathematically and is widely applied in other disciplines such as mathematics, physics, computer science, philosophy, psychology, or linguistics. A number of other alternatives had to be omitted for the present volume (e. g. recent attempts to formulate so-called 'non-monotonic' reason ing systems). Perhaps these can be included in future extensions of the Handbook of Philosophical Logic. Chapter 1 deals with partial logics, that is, systems where sentences do not always have to be either true or false, and where terms do not always have to denote. These systems are thus, in general, geared towards reasoning in partially specified models. Logics of this type have arisen mainly from philo sophical and linguistic considerations; various applications in theoretical computer science have also been envisaged."

「Nielsen BookData」 より

関連文献: 1件中  1-1を表示

  • Synthese library

    D. Reidel , Distributed in the U.S.A. and Canada by Kluwer Boston

    所蔵館2館

詳細情報

  • NII書誌ID(NCID)
    BA00679329
  • ISBN
    • 9027716056
  • LCCN
    85025692
  • 出版国コード
    ne
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Dordrecht ; Boston,Hingham, Mass.
  • ページ数/冊数
    x, 520 p.
  • 大きさ
    23 cm
  • 分類
  • 件名
  • 親書誌ID
ページトップへ