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:
“I’m not making light of prayers here, but of so-called school prayer, which bears as much resemblance to real spiritual experience as that freeze-dried astronaut food bears to a nice standing rib roast. From what I remember of praying in school, it was almost an insult to God, a rote exercise in moving your mouth while daydreaming or checking out the cutest boy in the seventh grade that was a far, far cry from soul-searching.”
—Anna Quindlen (b. 1952)
“The wood for a temple does not come from a single tree.”
—Chinese proverb.
“It is merely a linguistic peculiarity, not a logical fact, that we say “that is red” instead of “that reddens,” either in the sense of growing, becoming, red, or in the sense of making something else red.”
—John Dewey (1859–1952)
“The quality of mercy is not strained.
It droppeth as the gentle rain from heaven
Upon the place beneath. It is twice blest:
It blesseth him that gives, and him that takes.
‘Tis mightiest in the mightiest. It becomes
The thronèd monarch better than his crown.”
—William Shakespeare (1564–1616)