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:

    “a notable prince that was called King John;
    And he ruled England with main and with might,
    For he did great wrong, and maintained little right.”
    —Unknown. King John and the Abbot of Canterbury (l. 2–4)

    “But that wasn’t fancy enough for Lord Byron, oh dear me no, he had to invent a lot of figures of speech and then interpolate them,
    With the result that whenever you mention Old Testament soldiers to
    people they say Oh yes, they’re the ones that a lot of wolves dressed up in gold and purple ate them.”
    —Ogden Nash (1902–1971)