词语繁体:直覺主義邏輯
词语读音:zhí jué zhǔ yì luó ji
首字拼音:Zhi
词语拼音:zhi jue zhu yi luo ji
词语简拼:ZJZYLJ
词语字数:六字词语
直觉主义逻辑或构造性逻辑是最初由阿兰德·海廷开发的为鲁伊兹·布劳威尔的数学直觉主义计划提供形式基础的符号逻辑。这个系统保持跨越生成导出命题的变换的证实性而不是真理性。从实用的观点,也有使用直觉逻辑的强烈动机,因为它有存在性质,这使它还适合其他形式的数学构造主义。
【直的意思】:直 zhí(ㄓˊ) (一)、不弯曲:直线。直角。直径。直立。直截了当。直觉( jué )。直观。(二 详情>
【觉的意思】:觉(覺) jué(ㄐㄩㄝˊ) (一)、人或动物的器官受刺激后对事物的感受辨别:感觉。知觉。触觉。视觉 详情>
【主的意思】:主 zhǔ(ㄓㄨˇ) (一)、权力或财物的所有者,家庭的首脑:主人。物主。失主(失掉财物的人)。当家 详情>
【义的意思】:义(義) yì(一ˋ) (一)、公正合宜的道理或举动:正义。义不容辞。义无反顾。仗义直言。(二)、合 详情>
【逻的意思】:逻(邏) luó(ㄌㄨㄛˊ) (一)、巡察:巡逻。逻吏(巡逻官)。逻骑。逻卒。(二)、遮拦:“蛛蝥结 详情>
【辑的意思】:辑(輯) jí(ㄐ一ˊ) (一)、聚集,特指聚集材料编书:辑录。辑要。辑逸。编辑。纂辑。(二)、聚集 详情>
• 直觉主义逻辑是达米特语义反实在论的基础。
• 为了彻底坚持其反实在论的哲学立场,达米特拒斥二值原则,把直觉主义逻辑作为其形而上学的基础。