注音:ㄕㄨˋ ㄌㄧˇ ㄌㄨㄛˊ ㄐㄧ
亦称“符号逻辑”。狭义指用数学方法研究数学中的演绎思维以及数学基础的学科。广义指一切用符号和数学方法处理和研究演绎法的学问。既是数学的一个分支,又是逻辑学的一个分支。数理逻辑对数学研究和工程技术有重要意义,对一般思维中某些问题的解决也有成效。
形式逻辑形式上符号化、数学化的逻辑,本质上仍属于知性逻辑的范畴。
数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支,也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是基础数学的一个不可缺少的组成部分。虽然名称中有逻辑两字,但并不属于单纯逻辑学范畴。
● 数
(數)
shù ㄕㄨˋ
● 数
(數)
shǔ ㄕㄨˇ
● 数
(數)
shuò ㄕㄨㄛˋ
英语 number; several, count; fate
德语 zählen, abzählen, gelten (V),häufig, oft,Numerus, Numeri (Zählform; Singular, Dual od. Plural) 法语 nombre,nombre,quelques,plusieurs,compter
基本字义
● 理
lǐ ㄌㄧˇ
英语 reason, logic; manage
德语 Recht, Naturwissenschaft (S),sich kümmern, verwalten (V),Li (Eig, Fam)
法语 gérer,mettre en ordre,ranger,raison,logique,vérité,science,texture,faire cas de
基本字义
● 逻
(邏)
luó ㄌㄨㄛˊ
英语 patrol; inspect; watch; patrol
德语 Logik, logische (S)
法语 patrouiller,logique
基本字义
● 辑
(輯)
jí ㄐㄧˊ
英语 gather up, collect; edit, compile
德语 abholen, einsammeln ,zusammenstellen (V)
法语 volume,tome,partie