博文纲领：
逻辑学是谁创立的
1、逻辑学的创立者可以追溯至古希腊的伟大思想家亚里士多德。以下是关于逻辑学创立及发展的关键点：传统形式逻辑的创立：创立者：亚里士多德著作：《工具论》意义：为逻辑发展史树起了第一座丰碑。
2、综上所述，逻辑学的创立者是亚里士多德。他的逻辑学理论不仅在古代产生了深远影响，而且在现代社会中仍然具有重要的价值和意义。
3、年，中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说就是制约逻辑。
4、逻辑学是最专业化的哲学分支。它有时被定义为有效推理的科学。这门科学是亚里士多德在公元前 4 世纪创立的，它本质上是一种形式的研究。也就是说，逻辑学想要知道，什么样的论证形式是有效的，这种有效性本身与论证得出的结论的真值状态无关，而只与论证中的推理结构有关。例如，请看以下论证： 这是有效的论证。
图灵创立了数理逻辑学吗
是的。亦称“普通逻辑”。不同于数理逻辑的形式逻辑。它创立于古代，不断丰富发展而沿用迄今，故称传统逻辑。数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。
战后研究：战后，图灵继续在计算机科学领域探索，提出“仿真系统”和“自动程序”概念，并参与了曼彻斯特大学计算实验室的工作。跨领域成就：图灵的研究不仅限于计算机科学，还在量子力学、数理逻辑、生物学和化学等领域有所建树，晚年还创立了非线性力学。
图灵的研究不仅限于计算机科学，他还在量子力学、数理逻辑、生物学和化学等领域有所建树，晚年还创立了非线性力学。他的成就使美国计算机协会自1960年代起设立的“图灵奖”成为全球计算机科学的最高荣誉，表彰他在这一领域的杰出贡献。
阿兰图灵（1912年6月23日—1954年6月7日），英国数学家与逻辑学家，被誉为计算机科学之父与人工智能之父，是计算机逻辑的奠基人。他提出了“图灵机”与“图灵测试”等重要概念，对计算领域做出了杰出贡献。
艾伦·麦席森·图灵(Alan Mathison Turing)，别名：图灵、艾伦·图灵、人工智能之父，生于1912年6月23日，雨1954年6月7日去世，代表作有：《论数字计算在决断难题中的应用》、《机器能思考吗？》。
边际效用学派的创始人之一，数理经济学派早期代表人物。阿兰·麦席森·图灵（1912~1954），英国著名数学家、逻辑学家、密码学家，被称为计算机科学之父、人工智能之父。
对于数理逻辑的创立,罗素独立于弗雷格的工作有哪些?
弗雷格促使数理逻辑成为一门独立学科；罗素促使数理逻辑产生了重要分支——公理集合论。略如下述：1884年，德国数学家弗雷格出版了《数论的基础》一书，在书中引入量词的符号，使得数理逻辑的符号系统更加完备。
在许多年里，罗素一直相信，逻辑原理和数学知识的实体是独立于任何精神而存在并且仅为精神所感知的。这种知识是客观的，永恒的，这一立场在他1912年的著作《哲学的问题》中给予了明确的阐述。在真理问题上，罗素的意图是要走得比弗雷格更远。
他的工作独立于弗雷格，对数学逻辑的命题演算、类演算以及量词理论做出了重要区分，并明确了全称命题和单称命题的逻辑性质。他的这些理论革新深刻影响了数学界，包括推动了尼古拉·布尔巴基学派的形成和罗素在《数学原理》中的逻辑应用。
年7月，罗素在巴黎国际哲学会议上遇到了意大利逻辑学家皮亚诺，在皮亚诺的数学逻辑系统中找到他多年来所寻求的“用于逻辑分析的工具”，从而使他在实现把数学还原为逻辑的技术可能性上打开了眼界。罗素对皮亚诺的技术进行改进，而后转到分析数学基本概念工作上。
数理逻辑的发展与数学基础的研究有很大的关系。19世纪对数学分析中实数系的研究吸引了数学家的注意，集合论曾被视为数学的基础，但罗素悖论的出现动摇了集合论的基础。为了排除悖论，寻找严格的数学基础，数学家和逻辑学家做了大量研究，形成了多个学派，推动了数理逻辑的发展。
早在罗素之前，弗雷格在研究算术公理化时就已提出了将数学还原于逻辑的观点，罗素在吸收弗雷格研究成果的基础上与怀特海合作，进行了艰苦的工作，于1913年完成了巨著《数学原理》。声称：“从逻辑中展开数学的工作，已经由怀特海和我在《数学原理》中详细地做出了。