Logic is not just about mindless following of certain rules (that’s algebra :P) its conclusions must have truth values that refer to some “model”.
Seems like it would make exactly as much sense to say the opposite; what use is algebra if the quantities in your equation don’t refer to some model?
Of course, if you’re exploring algebra for its own ends, you can just leave everything abstract… but then again, you can also do that with logic.
Seems like it would make exactly as much sense to say the opposite; what use is algebra if the quantities in your equation don’t refer to some model?
Of course, if you’re exploring algebra for its own ends, you can just leave everything abstract… but then again, you can also do that with logic.