把句子、语境、命题与证据分开，辨认问句、开放句和含糊判断，说明“目前不知道”为什么不等于“没有真假”。
同一句话，可能表达不同内容
“我现在在这里。”你在上海说和朋友在北京说，字面相同，表达的内容却不同。反过来，“雪是白的”与相应的英文句子，可能表达同一内容。讨论真假时，仅盯着一串字还不够。
命题可以暂时理解为陈述所表达、能够承担真假的内容。这个工作用法便于分析论证；命题究竟是什么对象、是否必须承认抽象命题，哲学上仍有不同理论。[1] 本篇不把一种本体论当成已经解决的常识。
先抓住操作上的区别：句子是语言表达，命题是我们在给定意义和语境下用它说出的内容。明确了内容，才谈得上它与事实是否符合、由什么理由支持。
哪些话不能直接填进真值表
“请关门”在发出请求；“门关了吗”在提问。它们通常不是直接断言一个真假内容。“门已经关上”才是在陈述。亚里士多德《解释篇》第4章就把一般有意义的话语与具有真假属性的陈述区分开。[2]
“x大于3”还留着变量。给定x=4，它为真；给定x=2，它为假；写成“存在一个数x，使x大于3”，又由量词形成完整陈述。这里要先说明变量的取值域，否则在自然数、实数或别的对象中，表达的内容可能不同。
这不是说命令与问题不重要，而是说它们在交流中的作用不同，不能为了方便就把每句话都塞进真假二选一。
把语境补齐，争论才有同一个对象
“这台机器很快”至少缺少任务、输入规模、比较对象和指标。把它改成“在固定输入与配置下，这次运行耗时比基线少”，才更容易核对。即使如此，也不能由一次耗时直接推出所有负载都快。
再看“今天下雨了”。说话日期、地点以及所指时间范围不同，表达的内容就可能变化。若双方各按自己的地点回答，表面上争同一句话，其实没有争同一命题。
评价一个说法之前，先记录“谁在何种语境中，用哪些词义，断言了什么”。这一步比立刻搜证更早：如果目标命题不断变化，搜集再多材料也可能回答错问题。
有真假，不等于我们现在知道真假
“某个封闭盒子里有一枚硬币”在普通、语境明确的情形下可以有确定真假，即便你还没打开盒子。证据不足描述的是我们的认知状态，不等于事物本身没有情况可言。
也不要把“可判断真假”理解为“必须已有可执行的判定程序”。数学中的命题可能很难证明，经验陈述也可能暂时没有可取得的证据。是否有真值、我们是否知道、能否有效判定，是三个不同问题。
经典逻辑常在确定解释下使用真与假两种值。它是一种重要模型，但模糊表达、未来偶然事件以及语义悖论会引出更复杂讨论，不能以一个入门定义消除这些争议。
模糊话语怎样修订，而不是伪装精确
“这座山很高”依赖比较标准；“这个方案是最好的”依赖目标与约束。可以明确标准，例如海拔或某组验收指标，但新版本比原话更具体，不能宣称从此只有一种合理标准。
构造一个评审案例：甲说“方案A更好”，意思是初次开发更快；乙说“不好”，意思是长期维护成本更高。两人未必在事实层面矛盾。先把两个命题分别写出，再讨论哪个目标应优先，才能分清经验争议与价值取舍。
如果证据显示A的维护工时其实更少，乙应修订事实判断；如果工时资料没变，只是团队改变了目标权重，则是决策条件变化。记录修改位置，能避免把所有分歧都叫作“观点不同”。
全称句的否定，为什么经常说错
“所有样本都通过”可以写成：对本次样本集合中的每个x，P(x)都成立。它的否定是“至少有一个样本没有通过”，而不是“所有样本都没通过”。前者只需要一个失败，后者要求每个都失败，强度差得很远。
同样，“有些样本通过”的否定是“没有样本通过”。如果把“尚未找到通过样本”直接当成后一句，就把搜索状态换成了对象事实。搜索是否覆盖全部集合、观察是否可靠，决定它能支持多强结论。
空集合还会带来一个值得注意的情况：在标准经典量词语义下，若集合没有任何元素，“集合中所有元素都满足P”没有反例而为真。现实验收若只看这一条件，就可能把“一个测试也没运行”误当成全部测试成功。因此验收通常还需要“确实运行了规定数量与类别的测试”。
这不是逻辑故意抬杠，而是显示一句话遗漏了存在或覆盖要求。把“所有已执行测试通过”与“规定测试均被执行且通过”分开，才能让状态描述准确。
一句话的歧义，可能改变整条论证
“每个人都喜欢一本书”至少可以有两种读法：每个人各有一本自己喜欢的书；存在同一本书，所有人都喜欢。用量词写，前者是∀人∃书，后者是∃书∀人。量词次序改变了内容。
前者并不推出后者。甲只喜欢A、乙只喜欢B，就同时满足各自有一本喜欢的书，却没有共同喜欢的一本。若一份推荐方案凭前者承诺“必定能选出大家都喜欢的一本”，错误发生在内容变强，而不在调查样本是否足够大。
“只要”“只有”“除非”也值得先改写再判断。自然语言还可能有省略、讽刺与共同背景，所以形式化应当回到原语境核对。一个精确公式若没有忠实表达原意，形式上再漂亮也没有分析原论证。
同一个词在语境中改变意义，也会制造假推理。“这个方案很轻”可能指文件体积小，也可能指维护负担低。从文件小推出维护容易，需要额外根据；不能仅因都叫轻就当作同一命题。
真假、可证性与断言责任
在既定形式系统中，一个陈述可由公理与规则推导，叫在该系统中可证；它在某种解释下为真，则是语义问题。二者的关系需要具体讨论，不能无条件用“没证出来”代替“是假的”，或用“看起来真”代替“已经证明”。
经验陈述也有类似区分：一件事发生过，与我们现在能否取得可靠材料，是不同层面。断言责任要求按现有证据表达置信与限制，而不是因为客观上可能有真假就表现得已经知道。
对于“堆积到多少粒才算一堆”这类模糊表达，边界本身可能没有被日常语言精确固定。选择一个操作阈值可以帮助实验或管理，但那是增加约定，不能宣称它揭示了所有语境中唯一的本义。
这些困难不取消命题分析的价值。恰恰因为有语境、歧义与证据差别，固定主张的内容才是认真讨论的起点。
事实争议与价值争议，如何在同一段话里拆开
“方案A更省时间，所以应该选A”至少包含两个承诺：A在相关任务中耗时更少；在当前条件下，节省这些时间足以支持选择A。第一项需要测量，第二项需要目标与约束。若A会丢数据，第二项通常还缺失重要限定。
可以把它改成：“在正确性、预算与维护约束均满足时，我们优先选择端到端耗时较少的方案；A、B均满足约束；固定负载下A耗时更少；所以按这个决策原则选A。”现在每个前提都有明确身份，批评者也知道该查事实还是该讨论原则。
若有人反对“少10毫秒不值得增加一年维护负担”，他未必否认测量结果，而是在挑战比较目标。反过来，若他说“你计时漏掉了搬运”，则是事实与模型边界问题。混在一起会让双方反复提供不相干证据。
命题分析并不会自动解决价值冲突，却能使分歧稳定下来。只有当大家讨论的是同一个内容，论证、测量与协商才有机会分别推进。
一张可实际使用的检查清单
面对一句话，依次检查：它在陈述还是提问、请求？关键词与代词指什么？是否有未赋值变量？比较条件是否明确？我质疑的是内容、真假还是证据？
本篇使用的是构造案例与概念分析，没有声称用实验解决命题本体论。把内容固定下来之后，才可以接着检查论证是否有效，以及证据是否足以让我们相信前提。
来源、证据与阅读路线
- Stanford Encyclopedia of Philosophy：Propositions，句子、内容与命题理论争议
- 亚里士多德《解释篇》第4章，E. M. Edghill 英译；陈述与一般有意义话语的区别
证据范围：本文以明确语境和构造例子区分句子、命题及真假条件；不把一种入门语义模型当作已经解决所有语言哲学争议。