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
Imprint: Springer
Edition: Softcover reprint of hardcover 1st ed. 2008
Volume: 26
Dimensions:
Width: 15.50cm
, Height: 1.30cm
, Length: 23.50cm
Weight: 0.553kg
ISBN: 9789048177448
ISBN 10: 9048177448
Pages: 242
Publication Date: 17 November 2010
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: Out of print, replaced by POD
We will order this item for you from a manufatured on demand supplier.
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)
