Condensed detachment (Rule D) is a method of finding the most general possible conclusion given two formal logical statements. It was developed by the Irish logician Carew Meredith in the 1950s and inspired by the work of Łukasiewicz.
Read more about Condensed Detachment: Informal Description, D-notation, Advantages
Famous quotes containing the words condensed and/or detachment:
“If you read only the best, you will have no need of reading the other books, because the latter are nothing but a rehash of the best and the oldest. To read Shakespeare, Plato, Dante, Milton, Spenser, Chaucer, and their compeers in prose, is to read in condensed form what all others have diluted.”
—Anna C. Brackett (1836–1911)
“There is no detachment where there is no pain. And there is no pain endured without hatred or lying unless detachment is present too.”
—Simone Weil (1909–1943)