DSimon comments on Logic: the science of algorithm evaluating algorithms - Less Wrong

6 Post author: Christian_Szegedy 22 February 2012 06:13PM

You are viewing a comment permalink. View the original post to see all comments and the full post content.

Comments (11)

Sort By: Best

You are viewing a single comment's thread.

Comment author: DSimon 26 February 2012 07:08:04PM 1 point [-]

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.