Phenomenon Logic