Making Do With A Single Logical Quality
Logical quality has become much less central to logical theory in the twentieth century. It has become common to use only one logical quality, typically called logical assertion. Much of the work previously done by distinguishing affirmation from denial is typically now done through the theory of negation. Thus, to most contemporary logicians, making a denial is essentially reducible to affirming a negation. Denying that Socrates is ill, is the same thing as affirming that it is not the case that Socrates is ill, which is basically affirming that Socrates is not ill. This trend may go back to Frege although his notation for negation is ambiguous between asserting a negation and denying. Gentzens notation definitely assimilates denial to assertion of negation, but might not quite have a single logical quality, see below.
Read more about this topic: Logical Quality
Famous quotes containing the words making, single, logical and/or quality:
“A critic who uses new quotations is making important changes.”
—Mason Cooley (b. 1927)
“It has long been acknowledged that the single best restaurant in the world is Arthur Bryant’s Barbecue at Eighteenth and Booklyn in Kansas city.”
—Calvin Trillin (b. 1940)
“Revolution
Is the affair of logical lunatics.”
—Wallace Stevens (1879–1955)
“The point is, that the function of the novel seems to be changing; it has become an outpost of journalism; we read novels for information about areas of life we don’t know—Nigeria, South Africa, the American army, a coal-mining village, coteries in Chelsea, etc. We read to find out what is going on. One novel in five hundred or a thousand has the quality a novel should have to make it a novel—the quality of philosophy.”
—Doris Lessing (b. 1919)