banq的画

联系:

  • 163邮箱: BanQ 163.com
  • Github

简介:

Thinking in Context:

  • 逻辑三个要点:
    1. 悖论罗素悖论
    2. 类型:类型解决了悖论,类型避免了自指矛盾。(量化、分类、物以类分、class、集合等)
    3. 形式:类型是一种形式。(数学、编程语言是形式逻辑;语文、物理是内容逻辑。抽象两种方法:上下文与类型
  • 认知两个陷阱:
    1. 房间里大象:房间内有头大象(问题),竟然没有人发现?灯下黑、身在庐山不识庐山真面目
    2. 盲人摸象:发现了问题再去探索解决方案,每个人是“摸象”陷阱中的盲人。
  • 上下文为王:
    1. Context是道,道生一、一生二、二生三、三生万物 ,万物计算
    2. 符号逻辑 = 计算
  • 逻辑之道
  • 培训咨询