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:

    “In one notable instance, where the United States Army and a hundred years of persuasion failed, a highway has succeeded. The Seminole Indians surrendered to the Tamiami Trail. From the Everglades the remnants of this race emerged, soon after the trail was built, to set up their palm-thatched villages along the road and to hoist tribal flags as a lure to passing motorists.”
    —For the State of Florida, U.S. public relief program (1935-1943)

    “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)