首页|国学书库|影印古籍|诗词宝典|精选|汉语字典|汉语词典|部件查字|书法大师|甲骨文|历史人物|历史典故|年号|姓氏|民族|丛书|中医|软件下载
译文|四库全书|全文检索|古籍书目|正史|成语词典|康熙字典|说文解字|字形演变|金 文|历史地名|历史事件|官职|知识|对联|印谱|地图|会员中心
拉丁文logistica的音译,本义是“计算艺术”。17世纪末莱布尼茨称他的“理性演算”为数理逻辑,有时亦称逻辑斯提。现代西方逻辑著作中多以之为数理逻辑的同义词。又指数理逻辑和数学基础研究中以罗素为代表的把数学归结为逻辑的学说,在这个意义上的逻辑斯提亦称逻辑主义。