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:
“I will not let him stir
Till I have used the approvèd means I have,
With wholesome syrups, drugs, and holy prayers,
To make of him a formal man again.”
—William Shakespeare (15641616)
“When the finishing stroke was put to his work, it suddenly expanded before the eyes of the astonished artist into the fairest of all the creations of Brahma. He had made a new system in making a staff, a world with full and fair proportions; in which, though the old cities and dynasties had passed away, fairer and more glorious ones had taken their places.”
—Henry David Thoreau (18171862)
“I want relations which are not purely personal, based on purely personal qualities; but relations based upon some unanimous accord in truth or belief, and a harmony of purpose, rather than of personality. I am weary of personality.... Let us be easy and impersonal, not forever fingering over our own souls, and the souls of our acquaintances, but trying to create a new life, a new common life, a new complete tree of life from the roots that are within us.”
—D.H. (David Herbert)
“All I have to do
is hear his name
and every hair on my body
just bristles with desire.
When I see
the moon of his face,
this frame of mine
oozes sweat like a moonstone.
When that man
as dear to me as breath
steps close enough to me
to stroke my neck,
the thought of jealousy
is shattered in my heart
thats hard as diamond
sometimes.”
—Amaru (c. seventh century A.D.)