形而上学
上記のごとく、書物の配置に着目した仮の名称「meta physika(自然・後)」が語源なのだが、偶然にも、その書物のテーマは"自然の後ろ"の探求、すなわち自然の背後や基礎を探るものであり、仮の名前が意味的にもぴったりであったため、その名のまま変更されずに定着した。アリストテレスの著作物の『形而上学』では存在論、神学、普遍学と呼ばれ西洋形而上学の伝統的部門と現在みなされている三つの部分に分けられた。また、いくつかのより小さな部分、おそらくは伝統的な問題、すなわち哲学的語彙集、哲学一般を定義する試みがあり、そして『自然学』からのいくつかの抜粋がそのまま繰り返されている。
存在論は存在についての研究である。それは伝統的に「存在としての (qua) 存在の学」と定義される。
神学はここでは神あるいは神々そして神的なものについての問いの研究を意味する。
普遍学は、全ての他の探求の基礎となるいわゆるアリストテレスの第一原理の研究と考えられる。そのような原理の一つの例は矛盾律「あるものが、同時にそして同じ点で、存在しかつ存在しないことはありえない」である。特殊なリンゴは同時に存在し、かつ存在しないことはありえない。普遍学あるいは第一哲学は、「存在としての (qua) 存在」を扱う―それは、誰かが何かある学問の個別的な詳細を付け加える前に全ての学問への基礎となるものである。これは、因果性、実体、種、元素といった問題を含む。
1970年代以降の、分析哲学の手法を用いて様相、因果性、個体と普遍者、時間と空間、自由意志といった形而上学的主題を扱う哲学を分析的形而上学と称することがある。もともと分析哲学の潮流においても、同一性や決定論のように形而上学的主題は扱われていたが、「形而上学」という呼称は独断的という意味あいをもつネガティブなものだった。この状況が変化した契機には、様相論理学やメレオロジーなど形式的な体系が成功をおさめたことが挙げられる。これによって、可能性や必然性といった現実を超えたことがらを扱う様相の形而上学的理論が登場することになった。可能性や必然性といった様相概念を論じる意義に対しては、形而上学の排斥を掲げた論理実証主義を批判し総合・分析の区別に疑義を呈したクワインも否定的であった。これは、典型的な分析的形而上学者もであり、クワインの弟子でもあるデイヴィド・ルイスが、様相実在論で個体とその集合を基礎に据えた存在論を可能世界にまで拡張したことと対照的である。その他、バークリ研究から出発し科学的世界観と普遍者の実在論の調停を目指したD.M.アームストロングや、現象学の薫陶を受けたロデリック・チザムなど、多様な哲学的背景をもった分析的形而上学者がいるのも特徴的である。