论文部分内容阅读
墨家逻辑是基于事物间“类同”关系的“推类”推理。《九章算术》刘徽注（简称“刘注”）继承和发展了墨家逻辑的“推类”推理理论，并将其广泛应用于《九章算术》中“九类”应用数学题的注释与论证。我国古代科学技术中蕴含的这种“推类”推理，其推理的前提与结论之间具有必然性。论文以《九章算术》“割圆术”为例，进一步揭示了这种推理的机制与程序。