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:
“When men achieve the fruits of their material success, they often become aware of an emptiness—an incompleteness—in their lives; the hollowness of having, but not raising, children, of not making true commitments to them. Which, sadly, does not mean that they weren’t capable of it.”
—Willard Gaylin (20th century)
“Ever fresh the broad creation,
A divine improvisation,
From the heart of God proceeds,
A single will, a million deeds.”
—Ralph Waldo Emerson (1803–1882)
“The truth is, that common-sense, or thought as it first emerges above the level of the narrowly practical, is deeply imbued with that bad logical quality to which the epithet metaphysical is commonly applied; and nothing can clear it up but a severe course of logic.”
—Charles Sanders Peirce (1839–1914)
“The Great Society is a place where every child can find knowledge to enrich his mind and to enlarge his talents.... It is a place where the city of man serves not only the needs of the body and the demands of commerce but the desire for beauty and the hunger for community.... It is a place where men are more concerned with the quality of their goals than the quantity of their goods.”
—Lyndon Baines Johnson (1908–1973)