The History and Philosophy of Polish Logic