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:
““Good boys they seemed, and let them love the city.
All they could say was ‘God!’ when you proposed
Their coming out and making useful farmers.””
—Robert Frost (1874–1963)
“Great works constructed there in nature’s spite
For scholars and for poets after us,
Thoughts long knitted into a single thought,
A dance-like glory that those walls begot.”
—William Butler Yeats (1865–1939)
“It was at that moment, just after Krug had fallen through the bottom of a confused dream and sat up on the straw with a gasp—and just before his reality, his remembered hideous misfortune could pounce upon him—it was then that I felt a pang of pity for Adam and slid towards him along an inclined beam of pale light—causing instantaneous madness, but at least saving him from the senseless agony of his logical fate.”
—Vladimir Nabokov (1899–1977)
“Play not with paradoxes. That caustic which you handle in order to scorch others may happen to sear your own fingers and make them dead to the quality of things.”
—George Eliot [Mary Ann (or Marian)