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 bed is now as public as the dinner table and governed by the same rules of formal confrontation.”
—Angela Carter (1940–1992)
“A person, seasoned with a just sense of the imperfections of natural reason, will fly to revealed truth with the greatest avidity: while the haughty Dogmatist, persuaded that he can erect a compleat system of Theology by the mere help of philosophy, disdains any further aid, and rejects this adventitious instructor.”
—David Hume (1711–1776)
“That’s my problem, chaplain: I’m yellow. PFC Bernstein—plumb, fat coward. Hey, can you get a Section 8 for being yellow?”
—James Poe, U.S. screenwriter, and Based On Play. Robert Aldrich. Bernstein (Robert Strauss)
“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)