• Predicate Calculus does not easily deal with:
  • Predicate Calculus requires the Law of the Excluded Middle: if we use a predicate P to represent something, then either P or ¬ P must be true; ``sort of P'' or ``probably P'' is excluded as a possibility. The ``real intelligence'' in a reasoning process may be in the judgment of whether a proposition is true for a particular case.

    Contents    Page-10    Prev    Next    Page+10    Index