1. argument论证：前提，结论。命题。形式化。意义藏在符号里，多看几次就懂了。
2. 语义学semantics
3. 语句连接词connective
4. 真值表：有input，肯定能得到确定的output
5. 反证法
6. 后设定里： soundness 和 completeness
7. 苏格拉底：所有人都会死，苏格拉底是人，所以苏格拉底会死
8. 命题逻辑
9. 日常用语并不严密
10. 谬误 fallacy：诉诸情感的谬误，诉诸暴力的谬误，诉诸怜悯的谬误
11. http://open.163.com/special/ntu/luoji.html
12. 逻辑乃研究说话的‘道理’的学科
13. 算命先生：什么样的预测都能解释的通
14. 前提可以是空集合。数学定理。
15. 如果一个人在非理性状态，不要跟他讲道理。
16. 不同的语句是可以表达同样的问题的。句子只是载体，意义才是内容。
17. 同样一句话，在不同的时间地点场合会传达不同的意义。比如，面对不同的人，说：你很坏。明天再说吧。
18. 怎么确定今天的你和明天的你是同一个人？人格分裂，身份证。。。
19. 用一个问句来回答一个问题，用一个祈使句来回答问题，反问句？
20. 有效论证，正确的推论，但是前提不一定是真的。因为只要符合三段论形式都是有效的，跟前提的正误无关。
21. Sound Argument，不单单是有效的，而且前提也是真的。
22. 充分条件，必要条件，充要条件。