Overview
Thetitleofthisbookmentionstheconceptsofparaconsistencyandconstr- tive logic. However, the presented material belongs to the ?eld of parac- sistency, not to constructive logic. At the level of metatheory, the classical methods are used. We will consider two concepts of negation: the ne- tion as reduction to absurdity and the strong negation. Both concepts were developed in the setting of constrictive logic, which explains our choice of the title of the book. The paraconsistent logics are those, which admit - consistent but non-trivial theories, i. e. , the logics which allow one to make inferences in a non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. The indicated property of paraconsistent logics yields the possibility to apply them in di?erent situations, where we encounter phenomena relevant (to some extent) to the logical notion of inconsistency. Examples of these si- ations are (see [86]): information in a computer data base; various scienti?c theories; constitutions and other legal documents; descriptions of ?ctional (and other non-existent) objects; descriptions of counterfactual situations; etc. The mentioned survey by G. Priest [86] may also be recommended for a ?rst acquaintance with paraconsistent logic. The study of the paracons- tency phenomenon may be based on di?erent philosophical presuppositions (see, e. g. , [87]). At this point, we emphasize only one fundamental aspect of investigations in the ?eld of paraconsistency. It was noted by D. Nelson in [65, p.
Full Product Details
Author: Sergei Odintsov
Publisher: Springer-Verlag New York Inc.
Imprint: Springer-Verlag New York Inc.
Edition: 2008 ed.
Volume: 26
Dimensions:
Width: 15.50cm
, Height: 1.50cm
, Length: 23.50cm
Weight: 1.170kg
ISBN: 9781402068669
ISBN 10: 1402068662
Pages: 242
Publication Date: 20 March 2008
Audience:
College/higher education
,
Postgraduate, Research & Scholarly
Format: Hardback
Publisher's Status: Active
Availability: In Print
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.
Reviews
From the reviews: This is the first book-length algebraic study of constructive paraconsistent logics. ... The monograph under review has a very clear structure. ... This monograph is indispensable for anybody interested in the algebraic study of constructive paraconsistent logics in particular, but it is also most rewarding for anyone interested in non-classical logics in general. (Heinrich Wansing, Zentralblatt MATH, Vol. 1161, 2009)
From the reviews: This is the first book-length algebraic study of constructive paraconsistent logics. ! The monograph under review has a very clear structure. ! This monograph is indispensable for anybody interested in the algebraic study of constructive paraconsistent logics in particular, but it is also most rewarding for anyone interested in non-classical logics in general. (Heinrich Wansing, Zentralblatt MATH, Vol. 1161, 2009)
