直觉主义逻辑探究

直觉主义逻辑（intuitionistic logic）是荷兰数学家和逻辑学家Arend Heyting在1930年提出的一个旨在刻画Brouwer直觉主义数学所用的推理规则的逻辑系统。其强调否定的意义逻辑与经典逻辑有所不同，其区分了实在上的假和道理上的假，指出直觉主义逻辑上的否定是道理上的假，是一种强否定；经典逻辑上的否定是实在上的假，是一种弱否定。直觉主义逻辑的真假依赖于我们的认知，真等于我们