Paraconsistency: The Logical Way to the Inconsistent

by Carnielli; Walter Alexandr

• ISBN13: 9780824708054
• ISBN10: 0824708059
• Format: Nonspecific Binding
• Copyright: 2002-04-10
• Publisher: CRC Press

Summary

Presented at the Second World Congress on Paraconsistency held in Juquehy-Sao Sebastiao, Sao Paulo, Brazil, this title represents an integrated discussion of all major topics in the area of paraconsistent logic. It highlights philosophical and historical aspects, major developments and real-world applications.

Author Biography

Florencio G. Asenjo: University of Pittsburgh, Pittsburgh, Pennsylvania Diderik Batens: Ghent University, Ghent, Belgium Jean-Yves Beziau: Stanford University, Stanford, California Bryson Brown: University of Lethbridge, Alberta, British Columbia, Canada Otavio Bueno: California State University, Fresno, California Walter A. Carnielli: State University of Campinas, Campinas, SP, Brazil Itala M. Loffredo D'Ottaviano: State University of Campinas, Campinas, SP, Brazil Newton C. A. da Costa: University of Sao Paulo, Sao Paulo, SP, Brazil Don Faust: Northern Michigan University, Marquette, Michigan Marcelo Finger: Universidade de Sao Paulo, Sao Paulo, SP, Brazil R.E. Jennings: Simon Fraser University, Burnaby, British Columbia, Canada Fred Johnson: Colorado State University, Fort Collins, Colorado Decio Krause: Federal University of Santa Catarina, Florianopolis, SC, Brazil Renato A. Lewin: Pontificia Universidad Catolica de Chile, Santiago, Chile Larisa Maksimova: Institute of Mathematics, Siberian Division of the Russian Academy of Sciences, Novosibirsk, Russia Grzegorz Malinowski: University of Lodz, Lodz, Poland Joao Marcos: State University of Campinas, Campinas, SP, Brazil Ana T. Martins: Federal University of Ceara, Fortaleza, CE, Brazil Joke Meheus: Ghent University, Ghent, Belgium Robert K. Meyer: Australian National University, Canberra, ACT, Australia Chris Mortensen: The University of Adelaide, Adelaide, Australia Jose E. Moura: Federal University of Rio Grande do Norte, Natal, RN, Brazil Daniele Mundici: University of Milan, Milan, Italy Jacek Pasniczek: Maria Curie-Sklodowska University, Lublin, Poland Marcelino Pequeno: Federal University of Ceara, Fortaleza, CE, Brazil Tarcisio Pequeno: Federal University of Ceara, Fortaleza, CE, Brazil Graham Priest: University of Queensland, Queensland, Australia Shahid Rahman: University of Saarlandes, Saarlandes, Germany Guillermo Ortiz Rico: Pontificia Universidad Catolica de Chile, Santiago, Chile Marta S. Sagastume: Universidad Nacional de La Plata, La Plata, Argentina Darko Sarenac: Simon Fraser University, Burnaby, British Columbia, Canada John K. Slaney: Australian National University, Canberra, Australia Barry H. Slater: University of Western Australia, Crawley, Australia Max Urchs: University of Konstanz, Konstanz, Germany Jean P. van Bendegen: University of Brussels, Brussels, Belgium Guido Vanackere: university of Ghent, Ghent, Belgium Timothy Vermeir: Ghent University, Ghent, Belgium Gregory R. Wheeler: University of Rochester, Rochester, New York Peter W. Woodruff: University of California, Irvine, Irvine, California

Table of Contents

Preface	p. v
Contributors	p. xvii
Paraconsistency and Systems of Paraconsistent Logic
A Taxonomy of C-Systems	p. 1
Paraconsistent Classical Logic	p. 95
The Logic of Opposition	p. 109
Categorical Consequence for Paraconsistent Logic	p. 141
Ontological Causes of Inconsistency and a Change-Adaptive, Logical Solution	p. 151
An Adaptive Logic for Pragmatic Truth	p. 167
A Multiple Worlds Semantics for a Paraconsistent Nonmonotonic Logic	p. 187
An Inductive Annotated Logic	p. 213
On NCG[subscript w]: A Paraconsistent Sequent Calculus	p. 227
Paraconsistency as Related to Other Logics
A, Still Adorable	p. 241
Fuzzy Relevant Logic	p. 261
On Some Remarkable Relations between Paraconsistent Logics, Modal Logics, and Ambiguity Logics	p. 275
The Dialogical Dynamics of Adaptive Paraconsistency	p. 295
An Inconsistency-Adaptive Proof Procedure for Logic Programming	p. 323
Referential and Inferential Many-Valuedness	p. 341
When Is a Substructural Logic Paraconsistent? Structural Conditions for Paraconsistency in Ternary Frames	p. 353
Beyond Truth(-Preservation)	p. 369
Paraconsistency in Chang's Logic with Positive and Negative Truth Values	p. 381
Fault-Tolerance and Rota-Metropolis Cubic Logic	p. 397
The Annotated Logics OP[subscript BL]	p. 411
Definability and Interpolation in Extensions of Johansson's Minimal Logic	p. 435
Philosophical Aspects of Paraconsistency
Toward a Mathematics of Impossible Pictures	p. 445
Ambiguity Is Not Enough	p. 455
Are Paraconsistent Negations Negations?	p. 465
On the Role of Adjunction in Para(in) consistent Logic	p. 487
Between Consistency and Paraconsistency: Perspectives from Evidence Logic	p. 501
Kinds of Inconsistency	p. 511
Paraconsistent Logic vs. Meinongian Logic	p. 523
Can a Paraconsistent Theorist Be a Logical Monist?	p. 535
Table of Contents provided by Syndetics. All Rights Reserved.