That’s similar to a demonstration I give to students that when there are no vases on the table, all the vases on the table are red. (I ask them to bring me all the vases, then I ask them what proportion of the vases they brought me were red…)
But the fact that the members of an empty set satisfy all predicates doesn’t seem to show that there is a 0-ary case of & and that it is the same thing as “true.” For one thing, why believe there is a 0-ary case of &? And then, if there is, why not say it’s the same thing as “false” since when there are no conjuncts, all of the conjuncts are false?
But having said that, I do see how the reasoning is supposed to work–and you and Indistinguishable have made it clear how it’s useful to do things the way you’re describing.
I know you understand already, but just to clarify this particular argument:
The reason is that multi-ary conjunction is a form of universal quantification (“For all X in the set of conjuncts, X”), and universal quantification over an empty domain is true, not false. Similarly, multi-ary disjunction is a form of existential quantification (“There exists an X in the set of disjuncts such that X”), and existential quantification over an empty domain is false, not true. The point isn’t “All the conjuncts/disjuncts have the same truth value”; the point is that it’s just quantification, and we already know how quantification over an empty domain is most cleanly defined, as you’ve been teaching your students.
Of course, it would be equally correct to say 100%, 0%, or 22% of the vases are red, which may be confusing for students who are used to identifying “0% [or any proportion less than 100%] are red” with “Not all of them are red”]. But I imagine you deal with this potential confusion by a similar sort of explanation to what was just noted above.