Natural Language
Claims of the form "if A, then B" are called conditional claims. Curry's paradox uses a particular kind of self-referential conditional sentence, as demonstrated in this example:
- If this sentence is true, then Germany borders China.
Even though Germany does not border China, the example sentence certainly is a natural-language sentence, and so the truth of that sentence can be analyzed. The paradox follows from this analysis. First, common natural-language proof techniques can be used to prove that the example sentence is true. Second, the truth of the example sentence can be used to prove that Germany borders China. Because Germany does not border China, this suggests that there has been an error in one of the proofs. Worse, the claim "Germany borders China" could be replaced by any other claim, and the sentence would still be provable; thus every sentence appears to be provable. Because the proof uses only well-accepted methods of deduction, and because none of these methods appears to be incorrect, this situation is paradoxical.
Read more about this topic: Curry's Paradox
Famous quotes containing the words natural language, natural and/or language:
“The eye of genius has always a plaintive expression, and its natural language is pathos.”
—Lydia M. Child (1802–1880)
“We do not want them to have less.
But it is only natural that we should think we have not enough.
We drive on, we drive on.
When we speak to each other our voices are a little gruff.”
—Gwendolyn Brooks (b. 1917)
“There is no such thing as a language, not if a language is anything like what many philosophers and linguists have supposed. There is therefore no such thing to be learned, mastered, or born with. We must give up the idea of a clearly defined shared structure which language-users acquire and then apply to cases.”
—Donald Davidson (b. 1917)