出处:哲学卷 • 逻 辑 学 • 现代形式逻辑
字词 | 逻辑斯提 |
释义 | 逻辑斯提 逻辑斯提 拉丁文logistica的音译,本义是“计算艺术”。17世纪末莱布尼茨称他的“理性演算”为数理逻辑,有时亦称逻辑斯提。现代西方逻辑著作中常用之为数理逻辑的同义词。又用以指逻辑主义。 出处:哲学卷 • 逻 辑 学 • 现代形式逻辑 逻辑斯提 拉丁文logistica的音译,本义是“计算艺术”。17世纪末莱布尼茨称他的“理性演算”为数理逻辑,有时亦称逻辑斯提。现代西方逻辑著作中多以之为数理逻辑的同义词。又指数理逻辑和数学基础研究中以罗素为代表的把数学归结为逻辑的学说,在这个意义上的逻辑斯提亦称“逻辑主义”。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
|
修远网汉语字词典收录72225条汉语词条,基本涵盖了全部常见汉语字词的翻译、注释及用法释义,是语文学习的有利工具。