Actually, what happened here would be more like this exchange:
You: Red produce is exempt from the produce tariffs. Me: Oh! Is that why they don’t make you pay a tax on red carrots? You: The details are different there. Apples have long been used in making cider, and cider has to be taxed, but it can’t be double-taxed, and you can read about why [here]. Apples have a significantly different shape from carrots, and the necessity of certain infrastructure has led to shape influencing taxation. Me: Well, I don’t know about all those issues, but on the matter of whether red carrots being red gets them out of the produce tariffs, is my suggestion correct? You: I don’t even know what you’re saying now. What do you mean by “red carrots being red” when, as I’ve said, apples can be used for cider? Look, just study tax law, I can’t conceive of how I can provide any other kind of reply.
That’s a simple substitution of what happened here:
You: Infinite-voter systems avoid the consequences of Arrow’s Theorem. Me: Oh, is that why range voting avoids it? You: The details are different there. Ultrafilter voting provides a way to select a winner, similar to how an adaptive oracle works. It allows you to choose winners in a way that satisfies the Arrow constraints. Me: Well, I don’t know about all those issues, but on the matter of whether range voting being effectively infinite-voter (via infinite precision), and infinite-voter systems avoiding the consequences of Arrow’s Theorem, am I right? You: What do you mean “being effectively infinite voter … infinite precision”, when ultrafilter voting has you just vote for one candidate? Look, just study the topic, I can’t conceive of how I could reply differently.
No, it really isn’t. A closer analogy is that produce that is either red or orange is exempt from the produce tariffs, ultrafilter voting is red, and range voting is orange. If you aren’t willing to study the details then I am not going to respond any further. I’ve paid 10 karma to respond now entirely because I think ultrafilters are great and people should learn about them, but they have nothing to do with range voting.
So were you wrong to say that all “infinite voter systems avoid the consequences of Arrow’s Theorem” (“both red and orange are exempt”), or were you wrong to reject my point about range voting’s infinite effective voters being proof that it avoids the consequences of Arrow’s Theorem?
On the one hand, you want to say that the broad principle is true (“apples and oranges are exempt”/”all infinite voter systems are exempt”), but on the other hand, you don’t want to agree that the broad principle has the implications I suggested (“Navals are oranges and thus exempt”/”Range voting has infinite voters as is thus exempt”).
And a resolution of that inconsistency really does not require a thorough review of the cited sources.
Actually, what happened here would be more like this exchange:
You: Red produce is exempt from the produce tariffs.
Me: Oh! Is that why they don’t make you pay a tax on red carrots?
You: The details are different there. Apples have long been used in making cider, and cider has to be taxed, but it can’t be double-taxed, and you can read about why [here]. Apples have a significantly different shape from carrots, and the necessity of certain infrastructure has led to shape influencing taxation.
Me: Well, I don’t know about all those issues, but on the matter of whether red carrots being red gets them out of the produce tariffs, is my suggestion correct?
You: I don’t even know what you’re saying now. What do you mean by “red carrots being red” when, as I’ve said, apples can be used for cider? Look, just study tax law, I can’t conceive of how I can provide any other kind of reply.
That’s a simple substitution of what happened here:
You: Infinite-voter systems avoid the consequences of Arrow’s Theorem.
Me: Oh, is that why range voting avoids it?
You: The details are different there. Ultrafilter voting provides a way to select a winner, similar to how an adaptive oracle works. It allows you to choose winners in a way that satisfies the Arrow constraints.
Me: Well, I don’t know about all those issues, but on the matter of whether range voting being effectively infinite-voter (via infinite precision), and infinite-voter systems avoiding the consequences of Arrow’s Theorem, am I right?
You: What do you mean “being effectively infinite voter … infinite precision”, when ultrafilter voting has you just vote for one candidate? Look, just study the topic, I can’t conceive of how I could reply differently.
No, it really isn’t. A closer analogy is that produce that is either red or orange is exempt from the produce tariffs, ultrafilter voting is red, and range voting is orange. If you aren’t willing to study the details then I am not going to respond any further. I’ve paid 10 karma to respond now entirely because I think ultrafilters are great and people should learn about them, but they have nothing to do with range voting.
So were you wrong to say that all “infinite voter systems avoid the consequences of Arrow’s Theorem” (“both red and orange are exempt”), or were you wrong to reject my point about range voting’s infinite effective voters being proof that it avoids the consequences of Arrow’s Theorem?
On the one hand, you want to say that the broad principle is true (“apples and oranges are exempt”/”all infinite voter systems are exempt”), but on the other hand, you don’t want to agree that the broad principle has the implications I suggested (“Navals are oranges and thus exempt”/”Range voting has infinite voters as is thus exempt”).
And a resolution of that inconsistency really does not require a thorough review of the cited sources.