Plenty to say on this one, but i am out and about so can't really. But i see logic as a aeriea of rules for manipulating symbols. It may happen to be useful for describing "the real world" but there is no necessity for either to follow the other.