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:
“In the order of literature, as in others, there is no act that is not the coronation of an infinite series of causes and the source of an infinite series of effects.”
—Jorge Luis Borges (1899–1986)
“You can no more bridle passions with logic than you can justify them in the law courts. Passions are facts and not dogmas.”
—Alexander Herzen (1812–1870)
““You are bothered, I suppose, by the idea that you can’t possibly believe in miracles and mysteries, and therefore can’t make a good wife for Hazard. You might just as well make yourself unhappy by doubting whether you would make a good wife to me because you can’t believe the first axiom in Euclid. There is no science which does not begin by requiring you to believe the incredible.””
—Henry Brooks Adams (1838–1918)