Concepts Expressible in Infinitary Logic
In the language of set theory the following statement expresses foundation:
Unlike the axiom of foundation, this statement admits no non-standard interpretations. The concept of well foundedness can only be expressed in a logic which allows infinitely many quantifiers in an individual statement. As a consequence many theories, including Peano arithmetic, which cannot be properly axiomatised in finitary logic, can be in a suitable infinitary logic. Other examples include the theories of non-archimedean fields and torsion-free groups. These three theories can be defined without the use of infinite quantification; only infinite junctions are needed.
Read more about this topic: Infinitary Logic
Famous quotes containing the words concepts and/or logic:
“Institutional psychiatry is a continuation of the Inquisition. All that has really changed is the vocabulary and the social style. The vocabulary conforms to the intellectual expectations of our age: it is a pseudo-medical jargon that parodies the concepts of science. The social style conforms to the political expectations of our age: it is a pseudo-liberal social movement that parodies the ideals of freedom and rationality.”
—Thomas Szasz (b. 1920)
“The logic of worldly success rests on a fallacy: the strange error that our perfection depends on the thoughts and opinions and applause of other men! A weird life it is, indeed, to be living always in somebody else’s imagination, as if that were the only place in which one could at last become real!”
—Thomas Merton (1915–1968)