在逻辑中,一个参数是有效的,当且仅当它采用一种形式使得前提不可能是真的而且结论仍然是假的。有效参数不需要具有实际上正确的前提,但是如果它们是真的则具有前提可以保证论证结论的真实性。当且仅当在每个解释下它都为真时,公式才有效,并且当且仅当该逻辑形式的每个参数都有效时,参数形式(或模式)才有效。
解释的概念,这是解释的核心,可以直观地理解为命题逻辑理解中变量赋值的推广:只有通过命题公式的命题变量的赋值,公式作为一个整体才能归属于真值。在更复杂的逻辑中,还必须对公式的正式组件进行分配,这决定了整个公式的真值。例如,在谓词逻辑中,发生了Universe的定义以及谓词(在此Universe上)和函数(在此Universe上)的函数符号的谓词符号赋值。只有通过参考所考虑的世界中的一组对象,才能确定是否可以满足公式以及是否可以始终满足公式,即普遍有效。
下表列出了一些密切相关的术语和同义词。如果 不可满足,那么列和 等价关系,例如B.就是普遍有效的 。
同义词 | 条件 | ||
---|---|---|---|
普遍 | 重言式(命题逻辑) | 所有解释都符合公式。 | 高不可攀 |
可满足 | 一致,一致 | 有一种解释满足公式。 | 证伪 |
证伪 | 可辩驳 | 有一种解释反驳了这个公式。 | 可满足 |
高不可攀 | 不一致,矛盾 | 没有解释符合公式。 | 普遍 |
参数
当且仅当其前提的真实性包含其结论的真实性并且参数中的每个步骤,子参数或逻辑运算有效时,参数才有效。在这种情况下,确认前提并否定结论将是自相矛盾的。有效论证的相应条件是逻辑真理,其相应条件的否定是矛盾的。结论是其前提的逻辑结果。
无效的论据被认为是“无效的”。
以下众所周知的三段论给出了一个有效参数的例子:
所有人都是凡人。
苏格拉底是个男人。
因此,苏格拉底是凡人。
这是一个有效论据的原因并不是它有真实的前提和真正的结论,而是结论的逻辑必然性,给出了两个前提。如果前提和结论是错误的,那么论证也同样有效。以下参数具有相同的逻辑形式,但具有错误前提和错误结论,并且同样有效:
所有杯子都是绿色的。
苏格拉底是一杯。
因此,苏格拉底是绿色的。
无论宇宙是如何构建的,都不可能[为什么?]这些论证应该同时具有真正的前提但却是错误的结论。上述参数可能与以下无效参数形成对比:
所有人都是不朽的。
苏格拉底是个男人。
因此,苏格拉底是凡人。
在这种情况下,结论与前面的前提的演绎逻辑相矛盾,而不是从中得出。因此,论证在逻辑上是“无效的”,即使结论可以被认为是“真实的”。“所有人都是不朽的”前提同样在古典逻辑框架之外被视为虚假。然而,在该系统中,“真实”和“假”本质上更像是数学状态,例如二进制1和0,而不是通常与这些术语相关的哲学概念。
标准视图是参数是否有效是参数的逻辑形式的问题。逻辑学家使用许多技术来表示论证的逻辑形式。应用于上述两个插图的一个简单示例如下:让字母’P’,’Q’和’S’分别代表一组人,一组凡人和苏格拉底。使用这些符号,第一个参数可以缩写为:
所有P都是Q.
S是P.
因此,S是Q.
同样,第二个参数变为:
所有P都不是Q.
S是P。
因此,S是一个Q.
如果一个参数具有结构自相关性,即如果前提之间的操作数都是真的,则该参数被称为正式有效,所得到的结论总是也为真。在第三个例子中,初始前提不能在逻辑上得出结论,因此被归类为无效参数。
有效的公式
形式语言的公式是一个有效的公式,当且仅当它是根据语言的每一个可能的解释属实。在命题逻辑中,它们是重言式。
这些参数是有效的,因为它们都具有析取式三段论的形式,这是一个有效的参数方案:
poq
No p
因此,q
为了确定特定参数的有效性,确定其参数方案的有效性就足够了,这可以通过语义手段或语法手段来实现。
语义方法
在语义方法中,当前提不可能且结论错误时,参数方案被认为是有效的。为了确定是否是这种情况,假定了前提的真实性,并且通过应用真理的定义,人们试图从结论中推断出真相。或者,前提应该是真实的,结论是错误的,并且通过应用真理的定义,试图推断出一个矛盾(减少到荒谬)。
在命题逻辑中,另一种方法是将参数转换为其对应的公式,并构建一个真值表。如果公式证明是一个逻辑真理,那么该参数是有效的。这是因为演绎定理及其相反是有效的,但也因为命题逻辑是可判定的,因此总是承认算法程序来确定任何公式是否是逻辑真理。
句法方法
在句法方法中,当只使用允许的推理规则从参数的前提和系统的公理中推导出结论时,参数方案被认为是有效的。
在自然演绎系统中,它就像公理集是空的,当从房屋中扣除结论时,只使用允许的长度规则,参数方案将是有效的。
陈述
如果在所有解释中都是真的,则陈述可以被称为有效,即逻辑真理。
合理
性演绎的有效性不受前提的真实性或结论的真实性的影响。以下扣除完全有效:
所有动物都生活在火星上。
所有人都是动物。
因此,所有人都生活在火星上。
争论的问题在于声音不大。为了使演绎论证合理,扣除必须是有效的,并且所有前提都是正确的。
可满足性
模型理论在适当的数学结构中分析关于特定解释类别的公式。在这个阅读中,如果所有这些解释都成立,公式就是有效的。如果验证场所的所有解释都验证结论,则推理有效。这被称为语义有效性。
保存
在保持真值的有效性中,所有变量被赋予真值“真”的解释产生真值’真’。
在假保留有效性中,所有变量被赋予真值“解释”的解释产生真值“假”。
保存特性 | 逻辑连接句 |
---|---|
真假保留: | 命题•逻辑连接(AND, )•逻辑析取(OR, ) |
真正保留: | 重言式( )•双条件(XNOR, )•含义 ( )•对立 含义( ) |
仅假保留: | 矛盾( )•独占分离(XOR, )•非紧伪( )•逆向非复制( ) |
非保: | 否定( )•替代拒绝(NAND, )•联合拒绝(NOR ) |