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:
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“Justice in the hands of the powerful is merely a governing system like any other. Why call it justice? Let us rather call it injustice, but of a sly effective order, based entirely on cruel knowledge of the resistance of the weak, their capacity for pain, humiliation and misery. Injustice sustained at the exact degree of necessary tension to turn the cogs of the huge machine-for- the-making-of-rich-men, without bursting the boiler.”
—Georges Bernanos (18881948)
“Your honesty is not to be based either on religion or policy. Both your religion and policy must be based on it. Your honesty must be based, as the sun is, in vacant heaven; poised, as the lights in the firmament, which have rule over the day and over the night.”
—John Ruskin (18191900)
“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 (18171862)