In “A money-pump for Completeness” you say “by the transitivity of strict preference” This only says that transitive preferences do not need to be complete which is weaker than preferences do not need to be complete.
Doesn’t “(has preferences, and those preferences are transitive) does not imply (completeness)” imply (has preferences) does not imply (completeness)” ? Surely if “having preferences” implied completeness, then “having transitive preferences” would also imply completeness?
Usually “has preferences” is used to convey that there is some relation (between states?) which is consistent with the actions of the agent. Completeness and transitivity are usually considered additional properties that this relation could have.
Yes. I believe that is consistent with what I said.
“not((necessarily, for each thing) : has [x] → those [x] are such that P_1([x]))” is equivalent to, ” (it is possible that something) has [x], but those [x] are not such that P_1([x])”
not((necessarily, for each thing) : has [x] such that P_2([x]) → those [x] are such that P_1([x])) is equivalent to “(it is possible that something) has [x], such that P_2([x]), but those [x] are not sure that P_1([x])” .
The latter implies the former, as (A and B and C) implies (A and C), and so the latter is stronger, not weaker, than the former.
In “A money-pump for Completeness” you say “by the transitivity of strict preference”
This only says that transitive preferences do not need to be complete which is weaker than preferences do not need to be complete.
Doesn’t “(has preferences, and those preferences are transitive) does not imply (completeness)” imply (has preferences) does not imply (completeness)” ? Surely if “having preferences” implied completeness, then “having transitive preferences” would also imply completeness?
Usually “has preferences” is used to convey that there is some relation (between states?) which is consistent with the actions of the agent. Completeness and transitivity are usually considered additional properties that this relation could have.
Yes. I believe that is consistent with what I said.
“not((necessarily, for each thing) : has [x] → those [x] are such that P_1([x]))”
is equivalent to, ” (it is possible that something) has [x], but those [x] are not such that P_1([x])”
not((necessarily, for each thing) : has [x] such that P_2([x]) → those [x] are such that P_1([x]))
is equivalent to “(it is possible that something) has [x], such that P_2([x]), but those [x] are not sure that P_1([x])” .
The latter implies the former, as (A and B and C) implies (A and C), and so the latter is stronger, not weaker, than the former.
Right?