计算机逻辑学包含分析,逻辑学在职研究生教育的基本内容分析

就目前而言，建议逻辑学在职研究生的逻辑学在职研究生教育课主要包含如下内容:

1、传统逻轻知识。包括以亚里士多德三段论为线索的传统词项逻辑、逻辑基本规律、逻辑学在职研究生史、逻辑观念论、科学逻辑原理与方法、传统论证逻辑、谬误理论等。

2、现代逻辑学在职研究生知识与技术。包括命题逻辑、现代谓词逻辑、辑、模态逻辑等的基本和方法

3、各种逻辑应用。结合专业知识，以专业知识为实例而展开逻辑，例如，法学专业的法律逻辑、刑侦逻辑等，计算机专业的电路逻辑、语言逻辑等，数学专业的数学逻辑(学)等。

4、科学逻辑。以科学创新为直接思考线索，以科学归纳推理为基本推理模式，使用科学抽象与概括、科学预见、科学假说、科学诊释为任务，实现科学创新与科学哲学的最优结合。主要包括:逻辑方法论、谬误论、悖论、证明论、决策论、发散思维论、直觉思维论、系统论、发现模式论、科学实验论、科学规范论等。

5、非形式逻辑。以生活逻辑和自然逻辑为主要线索。

“生活逻辑”是考虑现实中一切因索如何进行逻辑处理，

“自然逻辑”则是指人们自然语言中的逻辑问题。非形式逻辑与命题逻辑、谓词逻辑及其他标准化形式逻辑相比，更多的是结合实例、实事直接运用和引用逻辑。非形式逻辑广义上讲也包括传统逻辑中的许多内容。非形式逻辑的一个重要教育功能就是能帮助人们处理听到的、谈到的和看到的种种有关现实问题的论证，能够正确地思维和运用语言进行有效的交际。