形而上学（英语：Metaphysics），或形而上学，是指研究存在和事物本质的学问。形而上学是哲学研究中的一个范畴，被视为“第一哲学”和“哲学的基本问题”。它指通过理性的推理和逻辑去研究不能直接透过感知所得到答案的问题，它是人类理性对于事物最普遍的面相和终极的原因的探索的一门学科。关于metaphysics的中文称谓，大陆常用“形而上学”，台湾则常用“形上学”。形而上学的主要问题包括：形而上学家们试图阐明人们用以理解世界的基本概念（范畴），例如存在、客体（objects）及其性质、空间和时间、因果和可能性。形而上学的主要分支学科之一是本体论，即对基本范畴及其相互关连的研究。另一个形而上学的主要分支是宇宙论，即对本源（如果有的话）、基本结构、本性（nature）、宇宙动力学的研究。英语“metaphysics”或拉丁语“metaphysica”一词源自希腊语：μετά（metá），意思是之后或之上，而 φυσικά（physiká）在希腊语原意是“自然，自然的产物”，两个字根组合起来μεταφυσικά的意思就是“在自然之后”。metaphysica的出现其实由于亚里斯多德在他的作品集中，把他对逻辑、含义和原因等抽象知识的讨论编排在他讨论物理学的书册《自然学》（Φυσικά）之后，并给这些讨论一个标签：“在自然学之后”（τὰ μετὰ τὰ φυσικὰ βιβλία），意即在《自然学》之后的书册）。而这个用语被拉丁语注解家错误地理解为“超越于自然学的科学”。而亚里斯多德在书中讨论的问题成为了形而上学的很多基本问题。中文译名“形而上学”是由日本人井上哲次郎（明治时代）由metaphysic翻译而来。取自《易经 • 系辞上传》“形而上者谓之道，形而下者谓之器”一词。形而上学是指通过理性的推理和逻辑去研究不能直接透过感知而得到答案的问题。形而上学是指哲学的基本法则。形而上学关注理论哲学的核心问题，如基础、前提、成因、第一原因和基本结构，如所有真实存在的意义和目的。形而上学被尼采称之为“柏拉图主义”。形而上学，有很多解释：形而上学也叫“第一哲学”，如笛卡儿的《第一哲学沉思集》（Meditationes de prima philosophia）也称为《形而上学沉思录》。笛卡儿把人类的知识分为三部分，用大树作比喻：在西方，形而上学共有三个传统分支：形而上学的问题通常都是充满争议而没有确定的结论。这一部分是因为经验事实所累积的资料，作为人类知识的最大宗，通常无法解决形而上学争议；另一部分是因为形而上学家们所使用的词语时常混淆不清，他们的争论因而只是各持己见，而又没有交集的讨论。二十世纪的逻辑实证论者们反对某些形而上学议题。他们认为某些形而上学问题本身是没有意义的。在现代科学发轫之前，科学问题被当做形而上学的一部分来研究，被称为自然哲学。术语“science”（科学，拉丁语scientia）原本只有“knowledge”（知识）的意思。然而，随着科学方法的广泛运用，自然哲学逐渐转变为了一种源于实验的经验科学，与哲学的其他领域分道扬镳。到了十八世纪末，它开始被称为“科学”以示其与哲学的区别。从那时以后，“形而上学”被用来指代对存在本质的非经验性哲学研究。一些科学哲学家，例如新实证主义者，声称自然科学排斥形而上学的研究，而其他科学哲学家对此强烈反对。