刘徽注《九章算术》是《九章算术》和刘徽对其所作的注这两个部分组成。它是中国古代数学史上的经典著作,含有丰富的逻辑思想,特别是刘徽注更为明显。前人对刘徽注《九章算术》的逻辑思想研究,从研究方法层面,主要表现为形式逻辑的方法和文化比较分析的方法等等。比如,从形式逻辑方法中的定义、推理、逻辑规律以及理论体系等等方面,来考察刘徽注《九章算术》的逻辑思想;也有从中西文化比较或中国古代逻辑的视角来探讨刘徽注《九章算术》的逻辑思想。基于前人的研究成果,本文将继续使用形式逻辑方法来研究刘徽注《九章算术》;再引入非形式逻辑的论证理论和广义论证来分析刘徽注的论证特点;最后,用数学方法论来阐明刘徽注在方法方面的独特之处。形式逻辑、非形式逻辑与数学方法论是三种不同维度或视域下的研究方法。三者的结合能够保证较为全面地分析刘徽注《九章算术》的逻辑思想。由于数学与逻辑具有密切联系,那么,使用形式逻辑方法来研究刘徽注《九章算术》的逻辑思想就具有一定合理性。在形式逻辑的视域下,本文简要介绍了《九章算术》和刘徽以及相关的时代背景,并简单探讨了《九章算术》在编排方面的逻辑特点;再从概念、推理、逻辑规律以及相关理论体系等几个方面,较为全面地分析了刘徽注所能展现出的逻辑特点;然后,进一步分析了欧几里得几何学与刘徽注《九章算术》在圆周率问题与勾股定理上的异同,从而区分了欧氏几何学与刘徽注《九章算术》在逻辑推理与数学证明方面的不同特征。由于刘徽注的具体论述形式多为论证,并且带有独特的文化因素,所以,本文采用了非形式逻辑的论证理论来研究其论证特点。具体来说,本文采用的非形式逻辑的论证方法是图尔敏论证模型方法,通过它能够表征刘徽注的论证模式并分析其论证效果。鉴于文化因素对论证的影响力,本文引入了广义论证理论,并把其中的广义论证五要素添入图尔敏模型中,揭示出刘徽注在论证上的逻辑文化特征。前两个视域下的研究所针对的是具体的数学内容,而在第三个视域下,用数学方法论来研究刘徽注《九章算术》,则是从更深的方法论层面来探讨刘徽注在数学方法上的逻辑特点。在这一层面,刘徽使用较多的是抽象分析方法与化归方法,特别是化归方法中的关系映射反演原则的方法。在刘徽注中,它对于解决一类难度较大的数学问题很有帮助。以上的三个维度或视域之间既相对独立又有密切联系。形式逻辑视域注重研究刘徽注《九章算术》本身所具有的逻辑内容,而非形式逻辑视域注重研究刘徽注在论证方面的特点。虽然形式逻辑与非形式逻辑都有研究论证的内容,但非形式逻辑所探讨的论证更能突出刘徽注在文化意义上的特征。然而,这两个方面所探讨的内容都没有涉及到方法论层面,所以,有必要从数学方法论视域来对刘徽注《九章算术》的数学方法进行专门分析,探究出刘徽注《九章算术》在数学方法上的特点,更深入地研究其逻辑思想。所以,从以上这三个维度或视域来进行研究,能够较为全面且充分地探讨刘徽注《九章算术》的逻辑思想,这也是对前人工作的一种推进。