出处:哲学卷 • 逻 辑 学 • 现代形式逻辑
词条 | 逻辑斯提 |
释义 | 逻辑斯提 逻辑斯提 拉丁文logistica的音译,本义是“计算艺术”。17世纪末莱布尼茨称他的“理性演算”为数理逻辑,有时亦称逻辑斯提。现代西方逻辑著作中常用之为数理逻辑的同义词。又用以指逻辑主义。 出处:哲学卷 • 逻 辑 学 • 现代形式逻辑 逻辑斯提 拉丁文logistica的音译,本义是“计算艺术”。17世纪末莱布尼茨称他的“理性演算”为数理逻辑,有时亦称逻辑斯提。现代西方逻辑著作中多以之为数理逻辑的同义词。又指数理逻辑和数学基础研究中以罗素为代表的把数学归结为逻辑的学说,在这个意义上的逻辑斯提亦称“逻辑主义”。 出处:数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
随便看 |
百科全书收录258893条中英文百科知识,基本涵盖了大多数领域的百科知识,是一部内容开放、自由的电子版百科全书。