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:
“It is in the nature of allegory, as opposed to symbolism, to beg the question of absolute reality. The allegorist avails himself of a formal correspondence between “ideas” and “things,” both of which he assumes as given; he need not inquire whether either sphere is “real” or whether, in the final analysis, reality consists in their interaction.”
—Charles, Jr. Feidelson, U.S. educator, critic. Symbolism and American Literature, ch. 1, University of Chicago Press (1953)
“Society cannot share a common communication system so long as it is split into warring factions.”
—Bertolt Brecht (1898–1956)
“This is a war universe. War all the time. That is its nature. There may be other universes based on all sorts of other principles, but ours seems to be based on war and games.”
—William Burroughs (b. 1914)
“Now what sort of man or woman or monster would stroke a centipede I have ever seen? “And here is my good big centipede!” If such a man exists, I say kill him without more ado. He is a traitor to the human race.”
—William Burroughs (b. 1914)