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:
“It would be disingenuous, however, not to point out that some things are considered as morally certain, that is, as having sufficient certainty for application to ordinary life, even though they may be uncertain in relation to the absolute power of God.”
—René Descartes (15961650)
“... a worker was seldom so much annoyed by what he got as by what he got in relation to his fellow workers.”
—Mary Barnett Gilson (1877?)
“General education is the best preventive of the evils now most dreaded. In the civilized countries of the world, the question is how to distribute most generally and equally the property of the world. As a rule, where education is most general the distribution of property is most general.... As knowledge spreads, wealth spreads. To diffuse knowledge is to diffuse wealth. To give all an equal chance to acquire knowledge is the best and surest way to give all an equal chance to acquire property.”
—Rutherford Birchard Hayes (18221893)
“Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental.”
—Ludwig Wittgenstein (18891951)