記号論理学は論理的思考を計算で置き換えようという発想も動機の1つ