The part of "logic" and "semantics" i ripped from Wikipedia since it put it better than i could at 7oclock in the morning.
The rest of it was me tho. I have taken a few logic/philosophy courses and this is one of the first logical 'problems' we worked through
A good one, and a classic one at that!