Why oughtn’t it be? The construction “A, though B” is an independent assertion of A and B. Syntactic linkage is not enough to establish contingency.
It is not like “A, because B” for example, where it’s arguably unfair if B and A are both false to count it as two failures… in that case, the claim of A can be seen as contingent on the claim of B, and not independent.
To put this differently, “A, though B” makes the following claims: A B You might (mistakenly) expect -B given A, which is why I mention B explicitly.
Whereas “A, because B” makes the following claims: B If B, then A
If A happens in the first case, the first claim is correct. If B happens, the second is correct. If both happen, both claims are correct.
If A happens in the first case but B doesn’t, the first claim is correct and the second claim is unevaluatable.
(I suppose one could argue that the second case implicitly claims “if -B, then -A” as well… “because” is somewhat ambiguous in English.)
This is only a problem because we haven’t been comparing the relative “difficulty” of predictions. Admittedly this is hard to do; but I think it’s clear that:
“Intelligent roads are in use, primarily for long-distance travel.” is a much more ambitious prediction than “Local roads, though, are still predominantly conventional.”
Treating the two statements as a single prediction “A, though B” is more ambitious than either, and should be worth as many points as the two of them combined.
Moreover, any partial credit for “A, though B” would take into account that B happened though A didn’t. Or rather, a prediction that intelligent roads are only somewhat in use should receive more credit than a prediction that intelligent roads are ubiquitous.
In the future, we might distinguish “difficult” predictions from trivial ones by seeing if the predictions are unlike the predictions made by others at the same time. This is easy to do if we evaluate contemporary predictions.
But I have no idea how to accomplish this when looking back on past predictions. I can’t help but to feel that some of Kurzweil’s predictions are trivial, yet how can we tell for sure?
Well, if you analyze the statements in terms of prepositional logic, then all the English language conjunctions “and”, “but”, “though”, etc. map to the only type of logical conjunction ∧.
But natural language is richer than (directly mapped) prepositional logic. I interpret the statement “Local roads, though, are still predominantly conventional.” as a clarification of “Intelligent roads are in use, primarily for long-distance travel.”.
Formally, if you just claim: ”Intelligent roads are in use, primarily for long-distance travel.” it is equivalent to: ”Intelligent roads are in use, primarily for long-distance travel.” ∧ ( “Local roads are still predominantly conventional” ∨ ¬”Local roads are still predominantly conventional” ) which is different from ”Intelligent roads are in use, primarily for long-distance travel.” ∧ “Local roads are still predominantly conventional”
However, we can assume that if you claim: ”Intelligent roads are in use, primarily for long-distance travel.” you also wanted to communicate that ”Local roads are still predominantly conventional” not that you are undecided between ”Local roads are still predominantly conventional”, ¬”Local roads are still predominantly conventional” otherwise you would have probably stated that explicitely.
Therefore, the information content of: ”Intelligent roads are in use, primarily for long-distance travel.” and: ”Intelligent roads are in use, primarily for long-distance travel. Local roads, though, are still predominantly conventional.” is rougly the same.
Why oughtn’t it be? The construction “A, though B” is an independent assertion of A and B. Syntactic linkage is not enough to establish contingency.
It is not like “A, because B” for example, where it’s arguably unfair if B and A are both false to count it as two failures… in that case, the claim of A can be seen as contingent on the claim of B, and not independent.
To put this differently, “A, though B” makes the following claims:
A
B
You might (mistakenly) expect -B given A, which is why I mention B explicitly.
Whereas “A, because B” makes the following claims:
B
If B, then A
If A happens in the first case, the first claim is correct. If B happens, the second is correct. If both happen, both claims are correct.
If A happens in the first case but B doesn’t, the first claim is correct and the second claim is unevaluatable.
(I suppose one could argue that the second case implicitly claims “if -B, then -A” as well… “because” is somewhat ambiguous in English.)
This is only a problem because we haven’t been comparing the relative “difficulty” of predictions. Admittedly this is hard to do; but I think it’s clear that:
“Intelligent roads are in use, primarily for long-distance travel.” is a much more ambitious prediction than “Local roads, though, are still predominantly conventional.”
Treating the two statements as a single prediction “A, though B” is more ambitious than either, and should be worth as many points as the two of them combined.
Moreover, any partial credit for “A, though B” would take into account that B happened though A didn’t. Or rather, a prediction that intelligent roads are only somewhat in use should receive more credit than a prediction that intelligent roads are ubiquitous.
Agreed that understanding the “difficulty” of a prediction is key if we’re going to evaluate the reliability of a predictor in a useful way.
In the future, we might distinguish “difficult” predictions from trivial ones by seeing if the predictions are unlike the predictions made by others at the same time. This is easy to do if we evaluate contemporary predictions.
But I have no idea how to accomplish this when looking back on past predictions. I can’t help but to feel that some of Kurzweil’s predictions are trivial, yet how can we tell for sure?
Well, if you analyze the statements in terms of prepositional logic, then all the English language conjunctions “and”, “but”, “though”, etc. map to the only type of logical conjunction ∧.
But natural language is richer than (directly mapped) prepositional logic. I interpret the statement “Local roads, though, are still predominantly conventional.” as a clarification of “Intelligent roads are in use, primarily for long-distance travel.”.
Formally, if you just claim:
”Intelligent roads are in use, primarily for long-distance travel.”
it is equivalent to:
”Intelligent roads are in use, primarily for long-distance travel.” ∧ ( “Local roads are still predominantly conventional” ∨ ¬”Local roads are still predominantly conventional” )
which is different from
”Intelligent roads are in use, primarily for long-distance travel.” ∧ “Local roads are still predominantly conventional”
However, we can assume that if you claim:
”Intelligent roads are in use, primarily for long-distance travel.”
you also wanted to communicate that
”Local roads are still predominantly conventional”
not that you are undecided between
”Local roads are still predominantly conventional”, ¬”Local roads are still predominantly conventional”
otherwise you would have probably stated that explicitely.
Therefore, the information content of:
”Intelligent roads are in use, primarily for long-distance travel.”
and:
”Intelligent roads are in use, primarily for long-distance travel. Local roads, though, are still predominantly conventional.”
is rougly the same.