Is the following sentence grammatically incorrect?
Is it true that 1+1=2 ?
I know it is easier to say: Is 1+1=2 true?
No; the sentence "Is it true that 1 + 1 = 2?" is perfectly grammatically correct.
In logic, there are tests that depend on being able to prefix almost arbitrary sentences with "It is the case that ..." or "It is true that ..." and if the result still makes sense, then certain properties hold (it is a declarative sentence which could be a proposition). For example, you can test:
The sun rises each day
Go there!
The first is a declarative sentence like 'one plus one equals two' is a declarative sentence; it can be prefixed with "Is it true that" and it makes sense. However, you can't say "Is it true that go there!" -- it is not a declarative sentence.
In ordinary usage, “is it true that 1+1=2 ?” and “is 1+1=2 true?” are both grammatically correct, synonyms, and largely interchangeable. The first sentence construction might be preferred because it places the mathematical expression at one end of the sentence. The second construction is particularly awkward when pronounced: when you hear “is complicated mathematical expression true”, it's hard to remember the verb that “true” is a complement of.
In mathematical usage, treating mathematical relations as verbs is frowned upon. A sentence like “is it true that 1+1=2 ?” looks ungrammatical because “1+1=2” looks like a mathematical expression (which happens to be a proposition), distinct from the English phrase “one plus one equals two”. In grammatical terms, “1+1=2” is equivalent to a noun group, it can't function as a verb. This is particularly true amongst logicians, since there is a step of semantic interpretation involved in going from “1+1=2” to “one plus one equals two”, and logicians are used to settings where this step is non-trivial. Even mathematicians and assorted practicioners who aren't logicians often consider “is it true that 1+1=2 ?” bad style.
=
as the verb equals, and therefore a logical proposition like 1+1=2
can be used as a grammatical proposition. It can also serve as a noun group, like any quote can be treated as a noun group (“‘green ideas furiously’ is meaningless.”). Mathematical usage tends to treat 1+1=2
as a mathematical expression or formula, =
being just one of the symbols in the logical proposition, and this cannot be used in constructs like “Is it true that X?” where X cannot be a noun.
Commented
Sep 23, 2011 at 18:07
1+1=2
is not read formally as “one plus one equals two”, but rather as “the equality between the sum of one and one, and two”. “Is is true that the equality between …” is not grammatically correct, because “the equality between …” is not a proposition (in the grammatical sense) but a noun group.
Commented
Sep 23, 2011 at 18:56