Formal System Based On The Sheffer Stroke
The following is an example of a formal system based entirely on the Sheffer stroke, yet having the functional expressiveness of the propositional logic:
Read more about this topic: Sheffer Stroke
Famous quotes containing the words formal, system, based and/or stroke:
“Two clergymen disputing whether ordination would be valid without the imposition of both hands, the more formal one said, “Do you think the Holy Dove could fly down with only one wing?””
—Horace Walpole (1717–1797)
“Some rough political choices lie ahead. Should affirmative action be retained? Should preference be given to people on the basis of income rather than race? Should the system be—and can it be—scrapped altogether?”
—David K. Shipler (b. 1942)
“Both magic and religion are based strictly on mythological tradition, and they also both exist in the atmosphere of the miraculous, in a constant revelation of their wonder-working power. They both are surrounded by taboos and observances which mark off their acts from those of the profane world.”
—Bronislaw Malinowski (1884–1942)
“We are double-edged blades, and every time we whet our virtue the return stroke straps our vice. Where is the skillful swordsman who can give clean wounds, and not rip up his work with the other edge?”
—Henry David Thoreau (1817–1862)