User blog comment:A.J AL/Where does Death fit in?/@comment-109.66.36.57-20160528133306/@comment-26992577-20160528205439

''Why is it logical that if A=B, and B=C, then A=C? Because we observed it.'' This isn't what logic is. It is far more definition that observation. Logic is a branch of mathematics, computer science and philosophy. Your view on logic. Either this, this or, while I take on the Formalist view. I interprete logic as a pure formal system described by a grammar (Terminals, Non terminals, production rules and start symbol) which is nothing other than the manipulation of symbols and only gains semantic through. See, the problem that arises if only a small set of equations applies to reality is the fine tuning of natural constants. Why are exactly this equations true and not others ? If you assume that all sets of equations are true (Mathematical universe), it leads to an absolute infinite amount of universes and somewhere in existence our universe must exist.