逻辑学导论8 符号逻辑

        现代逻辑不建立在三段论系统基础之上，也不始于对直言命题的分析，使用的概念和技术与古典逻辑完全不同。

        现代逻辑在分析演绎时引入人工的 符号语言 。自然语言中的某些因素会影响逻辑分析的精确性，如：模糊或有歧义的语词、结构含混的论证、引起混淆或误导的比喻和习语、引起混乱的诉诸情感等。而符号能使我们直达论证核心，只展示出其本质属性，这有助于使推理转换变得更容易。

        现代逻辑不将类间关系置于核心位置，而关注命题或论证的内部结构和逻辑连词，因而无需将演绎论证转换为三段论形式。如前文所述（尤其在上一章节），后者有时是很费力的。

        陈述可分为两大类，即简单的和复合的。 简单陈述 不包含任何其他陈述作为其分支，如“查理是整洁的”； 复合陈述 包含另外的陈述（可以是简单陈述或复合陈述）作为其分支，如“查理是整洁的并且查理是可爱的”。

        陈述的某部分要成为其 分支 ，必须满足两个条件：（1）该部分本身必须是一个陈述；（2）如果该部分被其他任何一个陈述替换，这种替换的结果必须是有意义的。

        每个陈述都有 真值 ，真陈述的真值是 真 ，假陈述的真值是 假 。某些复合陈述的真值是完全由其各分支陈述的真值决定的，这种对应关系称为 真值函项 ，建立这种关系所使用的词语是 真值联结词 ，其符号是 真值函项算子 。如果一个复合陈述的某个分支被任何真值相同的陈述替换，所得的复合陈述真值不变，那么该分支是复合陈述的 真值函项分支 。所有分支都是真值函项分支的复合陈述是 真值函项复合陈述 。

        我们 只关注真值函项复合陈述 ，此后将用 简单陈述 指称不是真值函项复合陈述的任何陈述。

        合取 通常在两个陈述（ 合取支 ）间使用语词and（“和”、“并且”）形成。以圆点“·”作为合取符号，如“p·q”。合取是真值函项复合陈述，合取支是真值函项分支，“·”是真值联结词。

        合取的真值由其合取支真值确定的情形可由 真值表 简明地刻画，它可看做“·”的定义，即一个合取是真的当且仅当它的合取支都是真的。

        and（“和”、“并且”）除联结陈述外还有其他用法，如：“林肯和格兰特是同时代人” 不是 合取，但“刘易斯和克拉克是著名探险家” 是 合取，因为它是完整形式“刘易斯是著名探险家并且克拉克是著名探险家”的简写；在特定语境下，and指谓的 不只有 陈述，还表示先后顺序（这建立在两个陈述均已分别阐明的基础之上），如“他脱了鞋并且上了床”，与“他上了床并且脱了鞋”区别很大，这种意味是超出“·”的。

        类似地，自然语言语词“但是”、“还”、“也”、“仍然”、“尽管”、“然而”、“此外”、“虽然如此”构造的语句也都是有超出“和”、“并且”的朴素意义，但仍可以用合取一定程度上表示的复合陈述。逗号、分号、顿号等标点符号亦然。

        否定 是对陈述的拒斥，通常在陈述前加“并非”或由“这是假的”、“事情并非如此”等表达。以波浪号“~”作为否定符号，如~M。

        否定的真值表如下，否定的真值与陈述相反。

        析取 通常在两个陈述（ 析取支 或 选言支 ）间插入“或”形成。

        “或”有两个相关但可区分的含义： 弱的 或 相容的 含义， 强的 或 不相容的 含义。对于前者，析取为真当且仅当至少一个析取支为真；对于后者，析取为真当且仅当至少一个且至多一个析取支为真。

        尽管析取在现代自然语言中表述模糊，但在拉丁文中这两种含义有明确区分：vel指谓弱的或相容的“或”，aut指谓强的或不相容的“或”。习惯上用vel的第一个字母代表弱的、相容意义上的“或”，即楔劈号“∨”。

        弱析取的真值表如下。

        下面是一个析取三段论的例子：

        可见在析取三段论中，对其中的析取前提无论如何解释“或”都不影响论证的有效性。我们可以简单地把语词“或”翻译为逻辑符号“∨”，而 不管“或”采取何种含义 。我们约定“或”的 任意一次 出现都是相容的。如果通过“二者不可得兼”等附加词组明确地表达了不相容析取，有符号方法描述这种附加意义。

        “除非”通常用来表达析取，由于指谓“只有在A时才可能B”，其含义可能是相容或不相容的，取决于发言人试图传达的观点。如前文，它最好简单地用相容的“∨”符号化。

        

           

以上就是关于逻辑学导论8 符号逻辑全部的内容，包括:逻辑学导论8 符号逻辑、、等相关内容解答，如果想了解更多相关内容，可以关注我们，你们的支持是我们更新的动力！