I feel like vacuous truth is an attempt to rescue formal logic from Gödel instead of just admitting that there are problems with truth values other than true/false. But then again, my glrennorts are frimvle today, so you might consider that when deciding how much you should trust my assertions.
