...how can we say if it is a logic if we are not logically part of this world?