10:43 AM <•Chadtech> Im still thinking about Thomas comment yesterday 'I am white, cows are white, therefore I am a cow. BUT I AM NOT A COW'
10:45 AM <jack-frost> What? That's just a faulty syllogism.
10:45 AM <•Chadtech> He had some school paper I didnt understand, and we ended up having a weird discussion about logic.
10:46 AM <•Chadtech> Ive been trying to think about whats wrong with asserting that you are not a cow.
10:46 AM <•Chadtech> Is there really something wrong internally with the syllogism? Or is it just useless?
10:47 AM <•Chadtech> One would have to know that not all white things are cows. And thats not evident in the syllogism itself.
10:47 AM <•Chadtech> Of course I suppose one knows these things despite them being expressed in syllogisms.
10:48 AM <•Chadtech> But then I think... I think that might suggest the truth isnt of the logical variety.
10:48 AM <•Chadtech> That would be wrong to suggest the syllogism is wrong simply because of how things happen to be.
10:49 AM <•Chadtech> Yeah! Yeah thats it! I feel pretty good about that comment.
10:51 AM <jack-frost> Why would it be wrong to suggest the syllogism is wrong because of the facts? Makes sense to me. But I'm pretty trash at formal logic stuff to be honest.
10:52 AM <•Chadtech> (P.P->Q)->Q for example, is a tautology. Its always true, even if both p and q are false.
10:53 AM <•Chadtech> Does that make any sense? I am trying to think of a good way to express this.
10:54 AM <•Chadtech> Logical truths are not dependent on the facts. Though we express facticity in terms of propositions of a logical form.
10:55 AM <•Chadtech> Mathematical truths, for example, are not evidence of consistency in human calculation.
10:55 AM <jack-frost> That makes sense. Logic is only a representation of certain facts, not a creator of them, basically?
10:56 AM <•Chadtech> Yeah. I think so. The rules of representation pertains to logic as much as the facts.
10:58 AM <•Chadtech> Wow, 2 minutes until kick off.