Paraconsistent Logic - Notable Figures

Notable Figures

Notable figures in the history and/or modern development of paraconsistent logic include:

  • Alan Ross Anderson (USA, 1925–1973). One of the founders of relevance logic, a kind of paraconsistent logic.
  • F. G. Asenjo (Argentina)
  • Diderik Batens (Belgium)
  • Nuel Belnap (USA, b. 1930). Worked with Anderson on relevance logic.
  • Jean-Yves Béziau (France/Switzerland, b. 1965). Has written extensively on the general structural features and philosophical foundations of paraconsistent logics.
  • Ross Brady (Australia)
  • Bryson Brown (Canada)
  • Walter Carnielli (Brazil). The developer of the possible-translations semantics, a new semantics which makes paraconsistent logics applicable and philosophically understood.
  • Newton da Costa (Brazil, b. 1929). One of the first to develop formal systems of paraconsistent logic.
  • Itala M. L. D'Ottaviano (Brazil)
  • J. Michael Dunn (USA). An important figure in relevance logic.
  • Stanisław Jaśkowski (Poland). One of the first to develop formal systems of paraconsistent logic.
  • R. E. Jennings (Canada)
  • David Kellogg Lewis (USA, 1941–2001). Articulate critic of paraconsistent logic.
  • Jan Łukasiewicz (Poland, 1878–1956)
  • Robert K. Meyer (USA/Australia)
  • Chris Mortensen (Australia). Has written extensively on paraconsistent mathematics.
  • Lorenzo Peña (Spain, b. 1944). Has developed an original line of paraconsistent logic, gradualistic logic (also known as transitive logic, TL), akin to Fuzzy Logic.
  • Val Plumwood (Australia, b. 1939). Frequent collaborator with Sylvan.
  • Graham Priest (Australia). Perhaps the most prominent advocate of paraconsistent logic in the world today.
  • Francisco Miró Quesada (Peru). Coined the term paraconsistent logic.
  • Peter Schotch (Canada)
  • B. H. Slater (Australia). Another articulate critic of paraconsistent logic.
  • Richard Sylvan (New Zealand/Australia, 1935–1996). Important figure in relevance logic and a frequent collaborator with Plumwood and Priest.
  • Nicolai A. Vasiliev (Russia, 1880–1940). First to construct logic tolerant to contradiction (1910).

Read more about this topic:  Paraconsistent Logic

Famous quotes containing the words notable and/or figures:

    “Every notable advance in technique or organization has to be paid for, and in most cases the debit is more or less equivalent to the credit. Except of course when it’s more than equivalent, as it has been with universal education, for example, or wireless, or these damned aeroplanes. In which case, of course, your progress is a step backwards and downwards.”
    —Aldous Huxley (1894–1963)

    “It could probably be shown by facts and figures that there is no distinctly native American criminal class except Congress.”
    —Mark Twain [Samuel Langhorne Clemens] (1835–1910)