百度搜搜

形式逻辑、数理逻辑、辩证逻辑、模糊逻辑等，具体内容可以在相关网络查找。

形式逻辑、数理逻辑、辩证逻辑、模糊逻辑等，具体内容可以在相关网络查找。

博弈逻辑是博弈论和逻辑学相交叉的一个新的研究领域

逻辑学分为： 
A、基本逻辑 
B、元逻辑 
C、数学方面的发展 
D、科学方面的发展 
E、哲学方面的发展 
A、基本逻辑 
　　1、传统逻辑 
　　　　a、亚里士多德逻辑 
　　　　　　① 性质命题理论 
　　　　　　② 直接推理 
　　　　　　③ 三段论的逻辑 
 　　　 b、其它的发展 
　　2、正统现代逻辑 
　　　　a、命题逻辑 
　　　　b、量化逻辑 
　　　　　　①　谓词逻辑 
　　　　　　②　关系逻辑 
　　3、非正统现代逻辑 
　　　　a、模态逻辑 
　　　　　　①　真势模态 
　　　　　　②　物理模态（见D1b） 
　　　　　　③　规范模态（见E1b） 
　　　　　　④　认知模态（见E3b） 
　　　　b、多值逻辑 
　　　　c、蕴涵的非标准系统 
　　　　　　①　严格蕴涵 
　　　　　　②　直觉主义命题逻辑 
　　　　　　③　推衍与相干逻辑 
　　　　　　④　联结蕴涵 
　　　　d、量化的非标准系统
B、元逻辑 
　　1、逻辑句法学 
　　2、逻辑语义学 
　　　　a、基本语义学（指称、外延/内涵、真、可满足性、有效性、完全性） 
　　　　b、模型论 
　　　　c、特殊论题 
　　　　　　　①　定义理论 
　　　　　　　②　词项（抽象）理论 
　　　　　　　③　摹状词理论 
　　　　　　　④　同一性理论 
　　　　　　　⑤　存在理论（存在物语非存在物）（见A3d，E2a） 
　　　　　　　⑥　信息逻辑与信息过程（见E3d） 

　　3、逻辑语用学 
　　　　a、逻辑语言学语自然语言的逻辑理论（见B4） 
　　　　b、修辞的分析（亚里士多德的“论题”；Chaim Perelman 的“新修辞学” 
　　　　c、“语境蕴涵”（在Grice的意义上） 
　　　　d、非形式（或实质）谬误理论 
　　　　e、逻辑的非正统应用 
　　4、逻辑语言学（见B3a） 
　　　　a、结构理论（词态学） 
　　　　b、意义理论 
　　　　c、有效性理论  
 
  
 作者：philogic2006-6-30 15:13 回复此发言    
 
--------------------------------------------------------------------------------
 
4 回复：★逻辑研究分支★雷谢尔的逻辑图  
 C、数学方面的发展 
　　1、算术 
　　　　a、算法 
　　　　b、可计算性理论 
　　　　c、计算机程序 
　　2、代数 
　　　　a、布尔代数 
　　　　b、格子理论的逻辑 
　　3、函项理论 
　　　　a、回归函项 
　　　　b、Lambda 转换 
　　　　c、结合逻辑 
　　4、证明论（公理化、甘岑化理论） 
　　5、概率逻辑（见E4b） 
　　[6、集合论] 
　　[7、数学基础]  
 C、数学方面的发展 
　　1、算术 
　　　　a、算法 
　　　　b、可计算性理论 
　　　　c、计算机程序 
　　2、代数 
　　　　a、布尔代数 
　　　　b、格子理论的逻辑 
　　3、函项理论 
　　　　a、回归函项 
　　　　b、Lambda 转换 
　　　　c、结合逻辑 
　　4、证明论（公理化、甘岑化理论） 
　　5、概率逻辑（见E4b） 
　　[6、集合论] 
　　[7、数学基础] 

D、科学方面的发展 
　　1、物理学的应用 
　　　　a、量子论逻辑 
　　　　b、“物理的”或“因果的”模态的理论（见A3a） 
　　2、生物学的应用 
　　　　a、Woodger式的发展 
　　　　b、控制论逻辑 
　　3、社会科学的应用 
　　　　　　①　规范逻辑（见E1b） 
　　　　　　②　价值逻辑 
　　　　　　③　法律应用 
E、哲学方面的发展 
　　1、伦理学的应用 
　　　　a、行动逻辑 
　　　　b、规范逻辑（见D3a） 
　　　　c、优选与选择逻辑（效用、成本、博奕论与决策论中的逻辑问题） 
　　2、形而上学的应用 
　　　　a、存在逻辑（见B2c，A3d） 
　　　　b、时序逻辑（时态逻辑、变化逻辑、过程逻辑） 
　　　　c、部分/整体的逻辑（起码学、个体的演算） 
　　　　d、Lesiewski的“本体论” 
　　　　e、结构主义逻辑（逻辑简化论，Aufbau 主义） 
　　　　f、本体论（在唯名论与唯实论争论的意义上） 
　　3、认识论的应用 
　　　　a、问题逻辑（与回答逻辑） 
　　　　b、认知逻辑（信念、断定、知识、相干、“关于”、以及其它意图性概念） 
　　　　c、假设逻辑（假言推理，反事实句） 
　　　　d、信息逻辑与信息过程（见B2c） 
　　　　e、归纳逻辑（见B4） 
　　4、归纳逻辑（见E3e） 
　　　　a、证据逻辑与证实、接受（接受规则） 
　　　　b、概率逻辑（见C5）

3、认识论的应用 
　　　　a、问题逻辑（与回答逻辑） 
　　　　b、认知逻辑（信念、断定、知识、相干、“关于”、以及其它意图性概念） 
　　　　c、假设逻辑（假言推理，反事实句） 
　　　　d、信息逻辑与信息过程（见B2c） 
　　　　e、归纳逻辑（见B4） 
　　4、归纳逻辑（见E3e） 
　　　　a、证据逻辑与证实、接受（接受规则） 
　　　　b、概率逻辑（见C5）

有兴趣不行，得有行动

形式逻辑、数理逻辑、辩证逻辑、模糊逻辑等

google.cn  自己找看看，很多的。呵呵