Sheffer Stroke - Formal System Based On The Sheffer Stroke

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:

    “The conviction that the best way to prepare children for a harsh, rapidly changing world is to introduce formal instruction at an early age is wrong. There is simply no evidence to support it, and considerable evidence against it. Starting children early academically has not worked in the past and is not working now.”
    —David Elkind (20th century)

    “In a universe that is all gradations of matter, from gross to fine to finer, so that we end up with everything we are composed of in a lattice, a grid, a mesh, a mist, where particles or movements so small we cannot observe them are held in a strict and accurate web, that is nevertheless nonexistent to the eyes we use for ordinary living—in this system of fine and finer, where then is the substance of a thought?”
    —Doris Lessing (b. 1919)

    “Any reductionist program has to be based on an analysis of what is to be reduced. If the analysis leaves something out, the problem will be falsely posed.”
    —Thomas Nagel (b. 1938)

    “The five kings count the dead but do not soften
    The crusted wound nor stroke the brow;
    A hand rules pity as a hand rules heaven;
    Hands have no tears to flow.”
    —Dylan Thomas (1914–1953)