Relevance Logic - History

History

Relevance logic was proposed in 1928 by Soviet (Russian) philosopher Ivan E. Orlov (1886–circa 1936) in his strictly mathematical paper "The Logic of Compatibility of Propositions" published in Matematicheskii Sbornik. The basic idea of relevant implication appears in medieval logic, and some pioneering work was done by Ackermann, Moh, and Church in the 1950s. Drawing on them, Nuel Belnap and Alan Ross Anderson (with others) wrote the magnum opus of the subject, Entailment: The Logic of Relevance and Necessity in the 1970s (the second volume being published in the nineties). They focused on both systems of entailment and systems of relevance, where implications of the former kinds are supposed to be both relevant and necessary.

Read more about this topic:  Relevance Logic

Famous quotes containing the word history:

    It is my conviction that women are the natural orators of the race.
    Eliza Archard Connor, U.S. suffragist. As quoted in History of Woman Suffrage, vol. 4, ch. 9, by Susan B. Anthony and Ida Husted Harper (1902)

    The myth of independence from the mother is abandoned in mid- life as women learn new routes around the mother—both the mother without and the mother within. A mid-life daughter may reengage with a mother or put new controls on care and set limits to love. But whatever she does, her child’s history is never finished.
    Terri Apter (20th century)

    History is the present. That’s why every generation writes it anew. But what most people think of as history is its end product, myth.
    —E.L. (Edgar Lawrence)