چکیده :
i take paraconsistent logic to be one of the most important and significant developments in logic and metaphysics in the last 100 years, challenging, as it does, one of the deepest dogmas entrenched in western philosophy: that consistency is a sine qua non of rational thought.
this paper looks back at the modern development of the subject.
it is partial, in that it concerns only what one might call the formative years of the subject.
it is personal, in that i describe my own involvement in some areas.
the first part of the paper concerns paraconsistency as such.
it starts with the name itself, its origin and its meaning.
after a brief look at the history before the 20th century, it notes the work of the early pioneers: orlov, jaśkowski, halldén, smiley, val and richard routley, and da costa.
for each of these, it describes both what motivated them, and the techniques they used in their constructions.
it then describes the early reception of paraconsistency, and the way that it became a global movement.
next, the paper turns to dialetheism, again starting with the name itself and its meaning.
after a brief look at the history of the notion before the 20th century, it describes the origin of the modern subject in the work of richard routley/sylvan and myself.
finally, it turns to one of the major applications of paraconsistency: inconsistent mathematics—and specifically set-theory, arithmetic, and geometry.
it notes the work of da costa, routley/sylvan, meyer, mortensen, and others, describing some of the results concerning the mathematical theories they investigated.