Giornata mondiale della logica