『後分析論』(古代ギリシア語: Ἀναλυτικὰ Ὕστερα、ラテン語: Analytica Posteriora )は、アリストテレスの『オルガノン』に収録されているテキストで、証明、定義、科学的知識を扱っています。証明は科学的知識を生み出す三段論法として区別され、定義は物事の本質の記述、名前の意味、または同等の名詞的定式の意味の記述として特徴づけられています。
『前分析論』では、三段論法は形式的な側面から考察され、『後分析論』ではその内容について考察される。三段論法の「形式」は、前提と結論の間の必然的なつながりにある。形式に欠陥がない場合でも、内容、すなわち三段論法を構成する命題には欠陥があるかもしれない。命題は真偽や蓋然性、あるいは蓋然性の低さといった問題があり得る。
前提が確実で、真であり、かつ根源的であり、結論が形式的にそこから導き出される場合、それは証明であり、物事に関する科学的知識を生み出す。このような三段論法は断定的と呼ばれ、 『後分析論』の2巻で扱われている。前提が確実でない場合、そのような三段論法は弁証的と呼ばれ、 『トピカ』の8巻で扱われている。内容と形式の両方において完璧に見えるが、実際にはそうではない三段論法は詭弁的と呼ばれ、 『詭弁論論駁論』で扱われている。
後分析の内容は、以下のように要約できます。
第二巻で、アリストテレスは注目すべき主張から始めている。すなわち、物事の種類によって問いの種類が決まる、というものであり、問いの種類は4つある。
あるいは、より直訳的に言えば(オーウェン):1.物事が存在すること、2.なぜそれが存在するのか、3.もしそれが存在するならば、4.それが何であるか。
これらの問いのうち最後のものを、アリストテレスはギリシャ語で「事物の本質」と呼んだ。スコラ哲学の論理学者たちはこれをラテン語で「本質」(quidditas)と訳した。この本質は証明できないが、定義によって確定されなければならない。彼は定義について、そして正しい定義をどのように行うべきかについて論じている。例として、彼は3という数の定義を示し、それを最初の奇素数と定義している。
アリストテレスは、「物事の本質を知ることは、それが存在する理由を知ることである」とし、「原因を知って初めて、物事に関する科学的知識を得ることができる」と主張し、証明において最も求められる中間項として、4つの主要な原因を提唱した。すなわち、定義可能な形式、結果を必然的に引き起こす先行原因、作用原因、目的原因である。
彼は本書の最後に、人間の心がどのようにして基本的な真理、すなわち第一前提、あるいは第一原理を知るようになるのかという点について述べている。これらの真理は生得的なものではなく、人々は人生の大部分においてそれらを知らない可能性がある。また、それらは以前の知識から演繹できるものでもない。もしそうであれば、それらは第一原理とは言えないだろう。彼は、第一原理は帰納によって導き出され、感覚知覚が真の普遍性を人間の心に植え付けることによって得られると述べている。この考えから、「理解の中に、感覚に先行していなかったものは何もない」というスコラ哲学の格言が生まれたのである。
あらゆる思考形態の中で、科学的知識と直観だけが普遍的に真実であると考えられており、後者は科学的知識の起源となる源泉である。