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)

    “Families suffered badly under industrialization, but they survived, and the lives of men, women, and children improved. Children, once marginal and exploited figures, have moved to a position of greater protection and respect,... The historic decline in the overall death rates for children is an astonishing social fact, notwithstanding the disgraceful infant mortality figures for the poor and minorities. Like the decline in death from childbirth for women, this is a stunning achievement.”
    —Joseph Featherstone (20th century)