論理の科学は、論理の具体的な戦略戦術の研究ではない。

つまり数学が将棋を指す行為だとすれば、
論理学は将棋の必勝手順を探索する場合の
計算量の評価である。