Relation To General First-order Logic
At first glance it might appear that by using axiom schemata as in the example any first-order logic can be made zeroth-order. However, in general only universal quantifiers at the outermost level can be eliminated this way.
Logic portal |
|
Read more about this topic: Zeroth-order Logic
Famous quotes containing the words relation to, relation, general and/or logic:
“There is the falsely mystical view of art that assumes a kind of supernatural inspiration, a possession by universal forces unrelated to questions of power and privilege or the artists relation to bread and blood. In this view, the channel of art can only become clogged and misdirected by the artists concern with merely temporary and local disturbances. The song is higher than the struggle.”
—Adrienne Rich (b. 1929)
“You know there are no secrets in America. Its quite different in England, where people think of a secret as a shared relation between two people.”
—W.H. (Wystan Hugh)
“A general loathing of a gang or sect usually has some sound basis in instinct.”
—Ezra Pound (18851972)
“... We need the interruption of the night
To ease attention off when overtight,
To break our logic in too long a flight,
And ask us if our premises are right.”
—Robert Frost (18741963)