拉丁文logistica的音译，本义是“计算艺术”。17世纪末莱布尼茨称他的“理性演算”为数理逻辑，有时亦称逻辑斯提。现代西方逻辑著作中多以之为数理逻辑的同义词。又指数理逻辑和数学基础研究中以罗素为代表的把数学归结为逻辑的学说，在这个意义上的逻辑斯提亦称逻辑主义。