和我的其它文字不同，这次是想虚心征求一下各位老师的意见。退休了，现在想把精力全部放在逻辑学上。我最近在使用谷歌的 NotebookLM，感觉比一般大模型更实用，更适合做研究和学习。最近一直在学习逻辑学，也就是一般被称作《数理逻辑》的逻辑学。越学越觉得逻辑学博大精深，深不可测，但是大部分教科书 ——我这里主要指英文版的教科书（中文教科书从未读过，不评论）并非是理想的选择。在 NotebookLM 输入进最大限度的 50 本著名逻辑教科书，数理逻辑的，哲学逻辑的、计算逻辑的，我发现了一些从未有人认真讨论的话题，而这些话题又是理解掌握逻辑的充分必要知识。所以，回到标题的问题，在 AI 文字大量充斥的时代，再写一些“人力亲为” 的文字是否还有必要？希望各位老师解惑。