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:
“You must realize that I was suffering from love and I knew him as intimately as I knew my own image in a mirror. In other words, I knew him only in relation to myself.”
—Angela Carter (19401992)
“The whole point of Camp is to dethrone the serious. Camp is playful, anti-serious. More precisely, Camp involves a new, more complex relation to the serious. One can be serious about the frivolous, frivolous about the serious.”
—Susan Sontag (b. 1933)
“You have lived longer than I have and perhaps may have formed a different judgment on better grounds; but my observations do not enable me to say I think integrity the characteristic of wealth. In general I believe the decisions of the people, in a body, will be more honest and more disinterested than those of wealthy men.”
—Thomas Jefferson (17431826)
“There is no morality by instinct.... There is no social salvationin the endwithout taking thought; without mastery of logic and application of logic to human experience.”
—Katharine Fullerton Gerould (18791944)