There are a lot of merits to avoiding unnecessary premises when they might be wrong.
There are also a lot of merits for reasoning from premises when they allow more progress, and they’re likely to be correct. That is, of course, what I’m trying to do here.
Which of these factors is larger has to be evaluated on the specific instances. There’s lots more to be said about those in this case, but I don’t have time to dig into it now, and it’s worth a full post and discussion.
There are a lot of merits to avoiding unnecessary premises when they might be wrong.
There are also a lot of merits for reasoning from premises when they allow more progress, and they’re likely to be correct. That is, of course, what I’m trying to do here.
Which of these factors is larger has to be evaluated on the specific instances. There’s lots more to be said about those in this case, but I don’t have time to dig into it now, and it’s worth a full post and discussion.