Modal Logics and Philosophy (2)

  • 141
    If it is possible for Susan to be buying a car, then it is possible that Susan is buying a car. (如果苏珊有买车的可能性,那么“苏珊要去买车”是有可能的) 这句话并不是在任何语境下成立,比如说“苏珊...
  • 108
    ∀x□Fx → □∀xFx 及 □∀xFx → ∀x□Fx 都是S5QT有效的,前一个式子称为Barcan formula。 语形上看,□∀xFx是从言模态(□辖域内没有自由变元),∀x□Fx是从物模态(□辖域内有自由变元)。Barcan ...

语言学中的逻辑 (1)

  • 138
    有时“晦暗的(opaque)”和“透明的(transparent)”两个词被当做de dicto 和de re的同义词来使用。

符号逻辑讲义 (6) 更多

  • 219
    完全性定理说的是: 如果Γ重言蕴涵φ,则φ从Γ可演绎。 另有一种说法是: 如果φ是Γ的语义后承,那么φ也是Γ的语法后承。 符号化表示: 如果Γ╞ φ,那么Γ├ φ 徐明老师这本书好像不太用语法后承、语义后...
  • 268
    “恰好有一个S是P”的最后一个式子打印错了。∃x∀y(Sy∧Py → x=y) 说的是,对于任意一个东西,如果它既是S又是P,那么它存在。这显然是一句重言式。实际上可以证明 ∅├ ∃x∀y(Sy∧Py → x=y) 也就...
  • 130
    如果知道如何构造有前提推演来证明 φ├ ψ,那么容易证明对应的无条件推演 ∅├ φ→ψ,因为这不过是在已有的从φ到ψ的推演之外加一个无假设的子证明。
  • 41
    形如p→q的公式称为蕴涵式(implication)或条件句(conditional)【或假言命题?】,p称为它的前件(antecedent),q称为它的后件(consequent)
  • 12
    很多时候,说一个理论(或一集信念)是一致的,意思是说,在适当的解释下,这个理论中所有命题都同时是真的;而说一个理论(或一集信念)是不一致的,是说在任何解释下,这个理论中的命题都不会同时是真的。这种...
  • 10
    演绎和好的论说一样,它并不考虑前提或结论的真假。只要推演规则的选择适当,运用这些规则得到的命题都是前提的逻辑后承,亦即演绎保存真实性。当然,演绎并不保存荒谬性,可以从荒谬的命题演绎出的不仅仅是荒谬...

二十世纪英美哲学 (1)

  • 27
    p→q , p / ∴q 是一个推理,其中p→q , p是条件,q是结论。 它对应一个蕴涵式((p→q)∧q)→p ,其中(p→q)∧q 是前件,p是后件。 要判断上述那个推理是不是有效的,可以看它对应的蕴涵式是不是重言式。如果是重...

科学的结构 (1)

  • 四、对说明的认识要求
    一个解释的前提必须为真,对于这一提议的评价,由于一个重要的情形而变得复杂。全称陈述,作为某个综合性科学理论的一部分,经常出现在科学解释的明确前提中。但是,全称陈述是否能够被表征为非真即假?在这一问...
<前页 1 2 3 后页>