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:
“True variety is in that plenitude of real and unexpected elements, in the branch charged with blue flowers thrusting itself, against all expectations, from the springtime hedge which seems already too full, while the purely formal imitation of variety ... is but void and uniformity, that is, that which is most opposed to variety....”
—Marcel Proust (1871–1922)
“For the universe has three children, born at one time, which reappear, under different names, in every system of thought, whether they be called cause, operation, and effect; or, more poetically, Jove, Pluto, Neptune; or, theologically, the Father, the Spirit, and the Son; but which we will call here, the Knower, the Doer, and the Sayer. These stand respectively for the love of truth, for the love of good, and for the love of beauty.”
—Ralph Waldo Emerson (1803–1882)
“A two-parent family based on love and commitment can be a wonderful thing, but historically speaking the “two-parent paradigm” has left an extraordinary amount of room for economic inequality, violence and male dominance.”
—Stephanie Coontz (20th century)
“So was produced this tragedy
In a far tower of ivory
Where, O young men, late in the night
All you who drink light and stroke the air
Come back, seeking the night, and cry
To strict Rapunzel to let down her hair.”
—Allen Tate (1899–1979)