Abstract, Logic