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