論理学って実用性そんなになくない?