Elements of classical logic

edited by D. Gabbay and F. Guenthner

This handbook provides a systematic survey of the central areas of philosophical logic. It is divided into four volumes, each devoted to a major sub-field within the disciplines. The articles should be of value to general philosophers, linguists, logicians, mathematicians and computer scientists. This volume - Volume 1, "Elements of Classical Logic" - deals with the background to what has come to be considered the standard formulation of predicate logic - both as far as its semantics and proof theory are concerned. The central chapter on predicate logic is followed by chapters outlining various alternative, but essentially equivalent ways of constructing the semantics for first-order logic as well as its proof theory. In addition, this volume contains a discussion of higher-order extensions of first-order logic and a compendium of the algorithmic and decision-theoretic prerequisites in the study of logical systems. Volume 2, "Extensions of Classical Logic", surveys the most significant "intensional" extensions of predicate logic and their applications to various philosophical fields of inquiry. The 12 chapters in this volume together provide a succinct introduction to a variety of intensional frameworks, a discussion of the most well-known logical systems, as well as an overview of major applications and of the open problems in the respective fields. Volume 3, "Alternatives to Classical Logic", consists of a series of surveys of some of the alternatives to the basic assumptions of classical logic. These include many-valued logic, partial logic, free logic, relevance and entailment logics, dialogue logic, quantum logic and intuitionism. Volume 4, "Topics in the Philosophy of Language", presents a panorama of the applications of logical tools and methods in the formal analysis of natural language. Since a number of developments in philosophical logic were originally stimulated by concern arising in the semantic analysis of natural language discourse, the chapters in this volume provide some criteria of evaluation of the applications of work in philosophical logic. In revealing both the adequacies and inadequacies of logical investigations in the semantic structures of natural discourse, these chapters also point the way to future developments in philosophical logic in general and thus close again the circle of inquiry relating logic and language.

「Nielsen BookData」より

この本の情報

書名 Elements of classical logic
著作者等 Gabbay, Dov M.
Guenthner, Franz
Guenthner F. (Ludwig-Maximilians Universitat)
Gabbay Dov M. (King's College London)
シリーズ名 Synthese library
出版元 Kluwer Academic
刊行年月 c1994
版表示 New ed
ページ数 xi, 493 p.
大きさ 23 cm
ISBN 079233096X
0792331001
NCID BA23957930
※クリックでCiNii Booksを表示
言語 英語
出版国 オランダ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想