哲學大綱研究人关于道德性的信念。 規範倫理學 – 规范人们应该怎么行动，是它的研究对象。 元伦理学 – 寻求理解伦理学性质、陈述、态度、判断的本质。 逻辑学（英语：Outline of logic） – 系统研究有效推理和理性的学问，参见逻辑学。 命题逻辑 一阶逻辑 模态逻辑 形而上学 – 尝试回答：根本上有什么存在？是什么样的？参见形而上学。
国会图书馆图书分类法年鉴、目录 AZ 学者学识学习史、人文知识 B 哲學大綱 BC 逻辑学大纲（英语：Outline of logic） BD 思辨哲学 BF 心理学大纲 BH 美学 BJ 伦理学 BL 宗教大纲（英语：Outline of religion）、神话、理性主义 BM 犹太教 BP 伊斯兰教、大同教、见神论等
谓词逻辑在数理逻辑中，谓词逻辑（英語：predicate logic）是符号形式系统的通用术语，比如一阶逻辑，二阶逻辑、多类逻辑或无穷逻辑等等。 A. G. Hamilton (1978). Logic for Mathematicians. Cambridge, England: Cambridge University
大綱U. of Chicago Press. 2003: 63–64. You should have at least two items to list at each level; if you do not, reconsider the structure of the outline. Gibaldi
非形式逻辑非形式逻辑（英文：Informal Logic）, 泛指能够用于分析、评估和改进出现于人际交流、政治辩论、以及报纸、电视、等大众媒体之中的非形式论证理论。 非形式逻辑 是对自然语言论证的研究，也被认为与批判性思维相关联。 拉尔夫·约翰逊（Ralph H. Johnson）和安东尼·布莱尔（J. Anthony