
Re: Is logic part of mathematics  or is mathematics part of logic?
Posted:
Jul 8, 2013 12:50 PM



On Jul 8, 2013, at 11:33 AM, Joe Niederberger <niederberger@comcast.net> wrote:
> By your argument, there are people who walk around with fairly complete knowledge of propositional logic as a system, that just came to them naturally. And of all the other dozens of logics as well. Ha!
No. My argument is that there are people who walk around with a fairly complete SENSE of propositional logic and a SENSE of a system and a SENSE of a system of propositional logic. I never said that I or any single individual could recreate the PRODUCT of countless centuries of contemplation by thousands of other individuals with that SENSE, in one lifetime.
On Jul 8, 2013, at 11:33 AM, Joe Niederberger <niederberger@comcast.net> wrote:
> I see. One day you sat down and wrote up the truth table for p > q all by yourself.
No. I saw a truth table and said (to myself) "Of course!".
I suppose you think music is also like this. Mostly just hard work?
The biggest point in my previous post wasn't that the senses that people have in these things varies greatly (which is obvious). It was that in order to have ignition, the sense must be moderately high. Otherwise, the fire goes out as soon as you remove the match.
Bob Hansen

