ふたつの論理空間