Axiom of Determinacy - Infinite Logic and The Axiom of Determinacy

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  \exists a: \forall b:
\exists c: \forall d: \lnot R(a,b,c,d).

Read more about this topic:  Axiom Of Determinacy

Famous quotes containing the words infinite, logic and/or axiom:

    Nothing could his enemies do but it rebounded to his infinite advantage,—that is, to the advantage of his cause.... No theatrical manager could have arranged things so wisely to give effect to his behavior and words. And who, think you, was the manager? Who placed the slave-woman and her child, whom he stooped to kiss for a symbol, between his prison and the gallows?
    Henry David Thoreau (1817–1862)

    ...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’s an old axiom of mine: marry your enemies and behead your friends.
    —Robert N. Lee. Rowland V. Lee. King Edward IV (Ian Hunter)