在《工具论》中创立了形式逻辑，提出科学研究的“归纳——演绎”程序的是

在《工具论》中创立了形式逻辑，提出科学研究的“归纳——演绎”程序的是
A、培根
B、笛卡尔
C、亚里士多德
D、古德
【正确答案】：C
【题目解析】：在其著作《工具论》中，创立了形式逻辑的是亚里士多德。 亚里士多德（Aristotle）是古希腊哲学家、科学家和逻辑学家，被认为是西方哲学的奠基人之一。他的著作涵盖了众多领域，包括形而上学、伦理学、政治学、物理学、生物学和逻辑学等。 在逻辑学领域，亚里士多德的贡献尤为重要。他的著作《工具论》（Organon）是逻辑学的经典之作，其中包括了形式逻辑的基本原理和方法。亚里士多德通过对命题和推理的研究，建立了一套系统的逻辑体系，被后世称为亚里士多德逻辑或传统逻辑。 亚里士多德的形式逻辑主要关注命题和推理的结构和形式，研究命题之间的关系和推理的有效性。他提出了命题的四种基本形式（A、E、I、O命题），并建立了四种基本的推理形式（Barbara、Celarent、Darii、Ferio），以及其他推理规则和原则。