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