If you want to use the word “determinism” in that sense, then a far better definition would be “the voting outcome is not affected by anything other than the votes of the voters”, which my system does hold to. As I said above, I haven’t claimed to found a flaw in the mathematical proof of Arrow’s Theorem, just a mismatch between the content of the theorem and how voting systems work in real life. Certainly, in real life, we should want to distinguish between “a vote between the Democrats, the Greens, and the Republicans”, and “a vote between the Democrats, the Greens, and superintelligent UFAI”, even if our preference order is the same in both cases.
If you want to use the word “determinism” in that sense, then a far better definition would be “the voting outcome is not affected by anything other than the votes of the voters”, which my system does hold to.
Fair enough, but it’s not a matter of how I want to use the word “determinism”. That word in Arrow’s Theorem has a certain technical meaning, and your system does not qualify as deterministic under that technical meaning.
You’re making the case that determinism, in Arrow’s sense, is not such the desideratum that it’s usually made out to be. FWIW, I’m coming around to your point there.
If you want to use the word “determinism” in that sense, then a far better definition would be “the voting outcome is not affected by anything other than the votes of the voters”, which my system does hold to. As I said above, I haven’t claimed to found a flaw in the mathematical proof of Arrow’s Theorem, just a mismatch between the content of the theorem and how voting systems work in real life. Certainly, in real life, we should want to distinguish between “a vote between the Democrats, the Greens, and the Republicans”, and “a vote between the Democrats, the Greens, and superintelligent UFAI”, even if our preference order is the same in both cases.
Fair enough, but it’s not a matter of how I want to use the word “determinism”. That word in Arrow’s Theorem has a certain technical meaning, and your system does not qualify as deterministic under that technical meaning.
You’re making the case that determinism, in Arrow’s sense, is not such the desideratum that it’s usually made out to be. FWIW, I’m coming around to your point there.