是否存在用于检测文本中逻辑错误论证的软件包或方法？

我希望能找到一种适用于非学术环境（如逻辑课堂）中撰写的文本的工具。虽然这可能有些困难，但我希望能找到一种能够识别出试图使用逻辑的地方，并指出逻辑错误的工具。这类工具的一个可能用途是标记社论文章中的错误。

我不需要什么完善的东西。我也不介意自己开发一些东西，所以我真正寻找的是目前已有的相关资源。

回答：

这是一个难题，因为你需要将自然语言映射到某种逻辑表示，并在过程中处理模糊性。

Attempto项目可能对你有帮助。它有几个工具，你可以在线尝试。特别是，RACE可能在做你想要做的事情。它检查给定断言的一致性。但更大的问题在于将它们转换为逻辑形式。