“a logic based on philosophical realism.”