What kind of thread goes in the logic forum?

[rousseau]

Serious question. I'm confused about what kind of thread you would put in this forum.

I've heard of philosophy majors taking courses on pure logic, but logic itself seems to be more of a tool to use when discussing subjects, than a subject itself, and if it is used as a subject it seems limited.

 

[Underseer]

Educational purposes?

I have to confess that I have to keep looking up the definition of the fallacy of the distributed middle, because I can never remember that damn thing.

 

[steve_bnk]

http://en.wikipedia.org/wiki/Logic


if I were to invoke logic thenlogically the sub forum would be about logic. Informal logic.


Symbolic logic


if A = B AND B = C then A = C

 

[rousseau]

Logic:

if(thingIsTrue())
{
    behaviourAppropriateForThing();
}
else if(otherThingIsTrue())
{
    behaviourAppropriateForOtherThing();
}

[/logicForum]

But am I being logical!?!? Not until someone with an ulterior perspective comes and shows me the way..

 

[steve_bnk]

void infinite_recursion(void){infinite_recursion()}



void main(void){


infinite_recursion();


}


Can you logically prove the above willever end?


Int j ;


Void main(void){


j = 2;


}




Can you logically prove the above willever end?


Proof by imperfection and the obvious is not a logical proof.

 

[Davka]

Threads in the Logic forum are always logical.
This thread is in the Logic forum.
Therefore, this thread is illogical.