精确的逻辑与模糊的意义

“一句话要么是真的，不然就是假的。”这听上去像是某种废话文学。但从哲学和逻辑的角度来说，我们需要思考：一句话是否可以既真又假？可以既不真也不假么？60%真呢？再比如，当我们作出对于可能性描述的反事实陈述时，我们又从何推断其真假？

逻辑学试图提供一个对于自然语言的意义完全精确的描述：每个陈述句都非真即假、推理必须依据逻辑规则。但自然语言却远不止这样简单二元，它模糊、歧义、充斥着语境依赖。于是哲学家不得已发明新的工具对逻辑学修修补补：多值逻辑、模态逻辑、可能世界语义学……这些“补丁”有些堪称精妙有些又很是牵强，而其背后是自然语言的模糊性与逻辑学的精确性之间的相互牵制。这节课程将带你深入探讨这些语言中的复杂性以及逻辑学中相对应的解释。我们不仅要学会这些逻辑学框架的定义和使用，更要追问这些框架本身是否巧妙地捕捉了语言的意义，还是只是作为权宜之计的“补丁”。