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:
“You need an infinite stretch of time ahead of you to start to think, infinite energy to make the smallest decision. The world is getting denser. The immense number of useless projects is bewildering. Too many things have to be put in to balance up an uncertain scale. You cant disappear anymore. You die in a state of total indecision.”
—Jean Baudrillard (b. 1929)
“It is the logic of our times,
No subject for immortal verse
That we who lived by honest dreams
Defend the bad against the worse.”
—Cecil Day Lewis (19041972)
“The writer who neglects punctuation, or mispunctuates, is liable to be misunderstood.... For the want of merely a comma, it often occurs that an axiom appears a paradox, or that a sarcasm is converted into a sermonoid.”
—Edgar Allan Poe (18091845)