霍布斯关于推理即是计算的逻辑思想

<正>托马斯·霍布斯（1588——1679）不仅是位伟大的唯物主义哲学家，而且在一定意义上也可以说是近代逻辑史上一个重要的逻辑学家，其中，他关于推理即是计算的逻辑思想，在逻辑发展史上占有重要的地位，同时也具有很大的现实意义。本文就他的这一思想提出一些粗浅的看法，以就教于同行。