逻辑学（论理学）
-
概称句推理研究张立英 著《概称句推理研究》在对概称句进行合理解释及形式化表达的基础上对包含概称句的推理作了全面研究。作者张立英通过分析概称句的特点，并借助形式化方法把已有研究成果内在的递进研究脉络呈现出来，最终发现双正常语义和涵义语义能同时刻画概称句七个特点。区别于以往建立逻辑系统来刻画单调推理的做法，作者用逻辑系统＋前提集上的排序来刻画这些非单调推理，并以概称句推理研究的结果为基础，进一步分析了概称句推理与归纳推理的关系，指出其中所得的概称句推理研究结果可以用于刻画归纳推理。 此外，《概称句推理研究》还探讨了概称句与语义网理论的关联性。 -
归纳、确证与悖论顿新国 著《南京大学逻辑学文丛：归纳、确证与悖论》收录的论文来自近十年作者关于科学确证及与之密切相关的逻辑与哲学问题的思考。科学确证是归纳逻辑最核心的研究话题之一，科学确证理论的进展基本以解决确证理论中的严峻难题为源动力和主线，而这些难题主要是以确证悖论为核心的归纳悖论。作者这十余年的学习和研究主要围绕归纳、确证、悖论这三个紧密联系的课题展开，故将《南京大学逻辑学文丛：归纳、确证与悖论》取名为《归纳、确证与悖论》。 -
新型量子逻辑于海飞 著《新型量子逻辑：确定性逻辑的超越》主要从量子力学的本体论特性—整体互补性出发，以数理辩证逻辑为工具，即在吸收了数理辩证逻辑的合理内容的基础上引入新型的命题变项符号和联结词，借助于这些命题变项和联结词，对新型量子命题及其推理做了深入的研究。在此基础上给出了新型量子命题演算公理系统QPA及其语义解释，最后对新型量子逻辑在不确定信息认知、和谐社会构建等方面的作用做了研究。 -
何新何新《新逻辑主义哲学》为晚辈学人根据何新先生历年的哲学论著所编撰的简明本，简括了何新对西方哲学及逻辑问题的研究与思考，包含何新的逻辑理论、何新的哲学随想、关于伪希腊哲学的考辩等内容。何新先生的哲学研究涉足了逻辑学中一个崭新的、独特的、至关重要的领域，他希望借由此书能吸引有志于此的后来者，尤其是通晓数理逻辑的后来者，引导他们进入这个领域并且产生莫大的兴趣，以完成他对此逻辑学领域的开拓性工作。 -
伦理理性化与现代生活方式谈际尊 著《伦理理性化与现代生活方式：韦伯伦理思想研究》是伦理学学科道德哲学方向的一项理论研究，主要意图在于通过对于韦伯伦理思想的探究，给出一个伦理之于生活方式的历史范型，并为中国当下道德建设提供一个可资借鉴的视角。这里主要采取的是哲学伦理学的研究路径，遵循历史唯物论的基本原理，其间亦对社会理论的基本方法和哲学人类学的方法有所运用。 -
工程师伦理问题研究张恒力 著《工程伦理论丛：工程师伦理问题研究》在明晰“境域性”和“共同体”的两个基础性理论特征基础上，初步构建工程设计的环境保护、工程活动的安全健康与工程揭发的适度综合等伦理原则，并以探究工程师在工程设计、工程安全和工程揭发等活动中的伦理困境为研究主线，深入剖析了伦理困境的原因和对策。本论著结合我国工程发生境域，明确指出工程师伦理问题的突出程度与工程职业化发展水平有着密切的关系，认为我国工程职业化的发展之路也必将是推进制定并完善科学合理、适合伦理境域的工程伦理规范。 -
生成的逻辑刘敏 著《生成的逻辑：系统科学“整体论”思想研究》从整体论的发展历史出发，阐述了“整体论”这一与人们的世界观、认识论、及方法论密切相关的哲学范畴，梳理了从人类文明萌芽至今整体论在不同的时代、不同科学背景和文化背景下的含义与特征以及发展演变的历史，揭示了整体性思想在系统科学发展过程中的演进路线。系统科学的核心原则是整体论思想，整体论思想的核心是突现，突现的实质是新质的产生和显现。从而揭示整体性思想对科学史和科学哲学的影响。 -
在逻辑与哲学之间张建军 著《南京大学逻辑学文丛：在逻辑与哲学之间》综述了各种逻辑系统（包括古典的和非古典的）。阐述了逻辑哲学的许多重要理论，例如：真值理论；悖论；模态逻辑；多值逻辑等等。作者根据国际上一些著名逻辑学家的研究成果，提出了自己的创见。逻辑哲学论主要是在逻辑实证主义者中间有着影响力，但也启迪了很多其他哲学家。 -
逻辑、博弈与哲学践行潘天群 著《南京大学逻辑学文丛：逻辑、博弈与哲学践行》主要内容包括：意向性、心智模态与心智逻辑、现在的知识与未来的知识之间关系的逻辑刻画、论希望的逻辑结构、建立在“笛卡尔公理”上的一个怀疑逻辑系统、三分的认知世界与怀疑逻辑的独立性、认知命题集合的逻辑构造及其相互关系、基于亚里士多德偶然性概念的逻辑系统、基于莱布尼兹偶然真理概念的逻辑、论作为本能的归纳能力、博弈行为中的演绎与归纳推理及其问题、交流理性与逆向归纳法悖论的消解、决策逻辑中的悖论研究、论理性主义的决策观等。 -
论证型式武宏志 著《论证型式》研究20世纪70年代兴起的非形式逻辑（informallogic）的核心问题——“论证型式”（argumentschemes，也可称为语用论证形式），分为三篇。第一篇“基础理论篇”，主要研究语用论证形式在非形式逻辑中的核心地位，它的逻辑本质、功能、分类和评估，以及多学科对语用论证形式研究的最新动态。第二篇“历史篇”，系统描述语用论证形式的古代渊源——古希腊的topoi和中世纪的loci，分析它们在中世纪的标准化和近代的衰落，论证了它们在当代复兴的必然性。第三篇“应用篇”，研究了语用论证形式在法律特别是司法活动中的应用，以诉诸权威论证的分析为样本，示范了语用论证形式分析和评价的方法。 《论证型式》研究的是非形式逻辑与论辩理论的前沿课题，在中国具有开创性，是“陕西省高水平大学学科建设项目”（2012SXTS09）之“特色项目”研究最终成果。
