Up 命題論理 作成: 2019-06-04
更新: 2019-06-04


    科学が<事実>として定立する命題Pは,つぎの文脈の中にある:
      If A, then P.
      Because A, therefore P.

    《 If A, then P》は,命題論理計算である。
    これは,デスクワークである。
    《 Because A》は,Aの検知・検出である。
    これは,フィールドワークである。

    命題論理計算があるとは,命題論理系が立てられているということである。
    実際,科学は,命題論理系の構築と事実命題の獲得を並行して進める。
    ──二つはフィードバックし合う関係にある。

    科学は,命題論理系が立つことが条件になる。
    ある探求分野を科学と呼ぶときには,この条件が満たされていなければならない