2

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.

4
  • 1
    If you can specify its form exactly, it can possibly be done. But not in general.
    – jlawler
    Sep 29, 2018 at 23:06
  • @jlawler Why "not in general"?
    – Geremia
    May 6, 2023 at 17:58
  • Because many syllogisms are interpreted as such by pragmatic circumstances, rather than by written form.
    – jlawler
    May 6, 2023 at 18:19
  • Does ChatGPT do what I'm asking?
    – Geremia
    Oct 21, 2023 at 22:10

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.