Infinite Logic and The Axiom of Determinacy
Many different versions of infinitary logic were proposed in the late 20th century. One reason that has been given for believing in the axiom of determinacy is that it can be written as follows (in a version of infinite logic):
OR
Note: Seq(S) is the set of all -sequences of S. The sentences here are infinitely long with a countably infinite list of quantifiers where the ellipses appear.
In an infinitary logic, this principle is therefore a natural generalization of the usual (de Morgan) rule for quantifiers that are true for finite formulas, such as OR 
.
Read more about this topic: Axiom Of Determinacy
Famous quotes containing the words infinite, logic and/or axiom:
“Coming to terms with the rhythms of women’s lives means coming to terms with life itself, accepting the imperatives of the body rather than the imperatives of an artificial, man-made, perhaps transcendentally beautiful civilization. Emphasis on the male work-rhythm is an emphasis on infinite possibilities; emphasis on the female rhythms is an emphasis on a defined pattern, on limitation.”
—Margaret Mead (1901–1978)
“What avail all your scholarly accomplishments and learning, compared with wisdom and manhood? To omit his other behavior, see what a work this comparatively unread and unlettered man wrote within six weeks. Where is our professor of belles-lettres, or of logic and rhetoric, who can write so well?”
—Henry David Thoreau (1817–1862)
“It’s an old axiom of mine: marry your enemies and behead your friends.”
—Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)