Constructive Negations and Paraconsistency: A Categorial Approach to L-fussy Relations: 26 - Brossura
Sinossi
Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Dalla quarta di copertina
This book presents the author s recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic.
The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson s logic Lj and paraconsistent Nelson s logic N4. It will be shown that refusing the explosion axiom "contradiction implies everything" does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4.
The methods developed in this book can be applied for investigation of other classes of paraconsistent logics.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Altre edizioni note dello stesso titolo
Risultati della ricerca per Constructive Negations and Paraconsistency: A Categorial...
Foto dell'editore
Constructive Negations and Paraconsistency (Trends in Logic, 26)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Apr0316110338875
Compra nuovo
EUR 102,67
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Constructive Negations and Paraconsistency (Trends in Logic, 26)
Da: California Books, Miami, FL, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo I-9789048177448
Compra nuovo
EUR 127,39
Spese di spedizione:
GRATIS
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Constructive Negations and Paraconsistency
Editore:
Springer Netherlands, Springer Netherlands Nov 2010, 2010
ISBN 10: 9048177448
ISBN 13: 9789048177448
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book presents the author's recent investigations ofthe two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic.The paraconsistent logics are those, which admit inconsistent but non-trivial theories, i.e., the logics which allow making inferences in non-trivial fashion from an inconsistent set of hypotheses. Logics in which all inconsistent theories are trivial are called explosive. In the intuitionistic logic Li, the negation is defined as reduction to absurdity. The concept of strong negation is realized in the Nelson logic N3. Both logics are explosive and have paraconsistent analogs: Johansson's logic Lj and paraconsistent Nelson's logic N4. It will be shown that refusing the explosion axiom 'contradiction implies everything' does not lead to decrease of the expressive power of a logic. To understand, which new expressive possibilities have the logics Lj and N4 as compared to the explosive logics Li and N3, we study the lattices of extensions of the logics Lj and N4. This is the first case when lattices of paraconsistent logics are systematically investigated. The study is based on algebraic methods, demonstrates the remarkable regularity and the similarity of structures of both lattices of logics, and gives essential information on the paraconsistent nature of logics Lj and N4.The methods developed in this book can be applied for investigation of other classes of paraconsistent logics. 248 pp. Englisch. Codice articolo 9789048177448
Compra nuovo
EUR 106,99
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Constructive Negations and Paraconsistency
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Is the first book in the field of paraconsistent logic devoted to the study of lattices of logics. Studying not particlar systems but classes of logics is one of the most important features of modern non-classical logicStudies two main concepts of. Codice articolo 5821581
Compra nuovo
EUR 92,27
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Constructive Negations and Paraconsistency
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 250. Codice articolo 2614418179
Compra nuovo
EUR 143,26
Spese di spedizione:
EUR 3,43
In U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Constructive Negations and Paraconsistency
Print on DemandDa: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
Condizione: New. Print on Demand pp. 250 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. Codice articolo 11255516
Compra nuovo
EUR 152,92
Spese di spedizione:
EUR 7,44
Da: Regno Unito a: U.S.A.
Quantità: 4 disponibili
Foto dell'editore
Constructive Negations and Paraconsistency (Trends in Logic)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 248 pages. 8.90x5.98x0.63 inches. In Stock. Codice articolo x-9048177448
Compra nuovo
EUR 150,65
Spese di spedizione:
EUR 11,44
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili
Foto dell'editore
Constructive Negations and Paraconsistency
Print on DemandDa: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: New. PRINT ON DEMAND pp. 250. Codice articolo 1814418185
Compra nuovo
EUR 154,33
Spese di spedizione:
EUR 9,95
Da: Germania a: U.S.A.
Quantità: 4 disponibili
Immagini fornite dal venditore
Constructive Negations and Paraconsistency
Da: preigu, Osnabrück, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. Constructive Negations and Paraconsistency | Sergei Odintsov | Taschenbuch | vi | Englisch | 2010 | Springer | EAN 9789048177448 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. Codice articolo 107220321
Compra nuovo
EUR 96,40
Spese di spedizione:
EUR 70,00
Da: Germania a: U.S.A.
Quantità: 5 disponibili
Immagini fornite dal venditore
Constructive Negations and Paraconsistency
Editore:
Springer Netherlands, Springer Netherlands Nov 2010, 2010
ISBN 10: 9048177448
ISBN 13: 9789048177448
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 248 pp. Englisch. Codice articolo 9789048177448
Compra nuovo
EUR 106,99
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili