形上学（英语：Metaphysics），或形而上学，是指研究存在和事物本质的学问[1]。形上学是哲学研究中的一个范畴，被视为“第一哲学”和“哲学的基本问题”。对于不能直接透过感知所得到答案的问题， 它在先验条件（可看成公理化的假设）下，通过理性的逻辑推理推演出答案，并且不能有矛盾。 它是人类理性对于事物最普遍的面相和终极的原因的探索的一门学科[2]。
关于metaphysics的中文称谓，中国大陆地区常用“形而上学”，台湾地区则常用“形上学”。
形上学的主要问题包括[3]：
根本上有什么存在？（What is ultimately there?）它是什么样的？（What is it like?）
形上学家们试图阐明人们用以理解世界的基本概念（范畴），例如存在、客体（objects）及其性质、空间和时间、因果和可能性[4]。形上学的主要分支学科之一是本体论，即对基本范畴及其相互关连的研究。另一个形上学的主要分支是宇宙论，即对本源（如果有的话）、基本结构、本性（nature）、宇宙动力学的研究。