Time

It is time for something new, at least a new post. I don't know if I am excited enough to write something about logic any more. I don't think language has an exact logic, and...human thought might have some type of most basic logic, and I think that Frege/Russell logic comes pretty close to that. I think when you start adding different variables (modal logic, cognitive logic, second-order logic) that things become too big and crazy for them to truly represent basic reasoning.

As far as mathematics finding its roots in logic, I am pretty skeptical. I think numbers exist, just as modus ponens does, but I don't think that numbers come from modus ponens. Logic+set theory creates problems that I don't know, at least I haven't been told in the 4 logic classes that I have had, how the problems with set theory can be resolved. Ok, I better get back to work now. I wasn't planning on talking about logic, but I did. I promise something else next time.