TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

The Open Logic Project

64 点作者 altro将近 10 年前

3 条评论

winestock将近 10 年前
To round out suggestions for studying logic, I recommend the following.<p>Mathematical Logic, Set Theory and its Logic, Methods of Logic. All three of these are by Willard van Orman Quine. If you know anything about modern logic, then that is a name that you should recognize.<p>A more accessible textbook is Sweet Reason by Tymoczko &amp; Henle. They&#x27;re a philosopher &amp; mathematician pair and I like their approach. I&#x27;m currently halfway through the first edition. The errors are a bit annoying and I wish that I had waited for the second edition.<p>We&#x27;re all nerds, here, so I understand the emphasis on mathematical logic, but you owe it to yourself to be familiar with traditional Aristotelian logic, as well. Noting the difference in mindset between traditional and modern logic is enlightening.<p>Being Logical, by D.Q. McInerny is a quick introduction to traditional logic. Socratic Logic by Peter Kreeft is much more involved. Be warned; Kreeft takes a strong stand against modern logic. He has some good points, but he&#x27;s a bit unfair.
infodroid将近 10 年前
Looks like a great start. But I didn&#x27;t find any intention to add some exercises. No textbook is complete without exercises!
评论 #9965059 未加载
JadeNB将近 10 年前
I&#x27;m a little disconcerted by the fact that no-one involved in this is a mathematician, full stop. At least three of those involved seem to have joint appointments in math and philosophy (Antonelli, Arana, and Avigad). While the aim of the text to be suitable for non-mathematician philosophy majors means that a heavy bias towards philosophers is probably both inevitable and correct, I would like to see at least one just-mathematician to make sure that it really deserves its description as <i>mathematical</i> logic.<p>(Maybe I am being unfair to those jointly appointed. I am a mathematician, but not a logician, so I don&#x27;t have a proper sense of what such an appointment means.)
评论 #9964978 未加载
评论 #9964750 未加载
评论 #9964373 未加载
评论 #9965614 未加载
评论 #9965211 未加载
评论 #9964893 未加载