《符号逻辑讲义》的原文摘录

  • 对所有命题变号p,p(s)= s(p); (查看原文)
    有机体 1回复 2013-01-17 23:56:41
    —— 引自第83页
  • 演绎和好的论说一样,它并不考虑前提或结论的真假。只要推演规则的选择适当,运用这些规则得到的命题都是前提的逻辑后承,亦即演绎保存真实性。当然,演绎并不保存荒谬性,可以从荒谬的命题演绎出的不仅仅是荒谬的命题 (查看原文)
    叶上窸窣 2020-03-04 22:38:09
  • 很多时候,说一个理论(或一集信念)是一致的,意思是说,在适当的解释下,这个理论中所有命题都同时是真的;而说一个理论(或一集信念)是不一致的,是说在任何解释下,这个理论中的命题都不会同时是真的。这种一致性的观念是一种语义观念,可以称它为“语义一致性”。当代逻辑中还有另一种一致性的观念:对于每一个理论,如果从它不能演绎出任何一对矛盾的命题,那么它就是一致的;否则它就是不一致的。这种一致性的观念是一种语法观念,可以称它为“语法一致性”。在当代逻辑研究中,“一致性”通常指语法一致性,而语义一致性被称为“可满足性”。 (查看原文)
    叶上窸窣 2020-03-05 11:12:24
    —— 引自第12页