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:
“Something is infinite if, taking it quantity by quantity, we can always take something outside.”
—Aristotle (384–322 B.C.)
“...some sort of false logic has crept into our schools, for the people whom I have seen doing housework or cooking know nothing of botany or chemistry, and the people who know botany and chemistry do not cook or sweep. The conclusion seems to be, if one knows chemistry she must not cook or do housework.”
—Ellen Henrietta Swallow Richards (1842–1911)
“It is an axiom in political science that unless a people are educated and enlightened it is idle to expect the continuance of civil liberty or the capacity for self-government.”
—Texas Declaration of Independence (March 2, 1836)