Is there treebank search software that can locate a syllogism, identifying its major and minor premises and terms?

cf. Eyal Mozes, “A Deductive Database Based on Aristotelian Logic,” Journal of Symbolic Computation 7, no. 5 (May 1, 1989): 487–507.

  • 1
    If you can specify its form exactly, it can possibly be done. But not in general. – jlawler Sep 29 '18 at 23:06

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.