四句分別（しくふんべつ、サンスクリット語: Catuṣkoṭi）は、仏教哲学における四項論理の形式である。ある命題 に対して、「是」「非」「亦是亦非」「非是非非」の四つの論理的可能性を網羅的に検討する形式を指す。
論理構造 古典的な定義によれば、以下の4つの立場（koṭi）が設定されるTillemans, Tom J. F. (2011) "Buddhist Philosophy of Logic".。 是 (Affirmation): 非 (Negation): 亦是亦非 (Both): 非是非非 (Neither):
古典論理で解釈すれば、第三句および第四句は一律で矛盾（常に偽）となるが、直観主義論理では二重否定の除去 が成り立たないため、命題の否定とその二重否定 の扱いによって意味するところが異なる。 四句分別と多値論理との様々な解釈の違いや派生はこれに関連する。
歴史 古代インドにおける四句分別の成立と変遷 インド思想史において、事象に対する四句分別的な推論の原初的な形態は、仏教成立よりはるか以前の古代インド文献に求められる。 紀元前1000年頃に編纂されたとされるリグ・ヴェーダの第10巻に収められた宇宙創造に関する(10.129)において、宇宙の起源という根源的な問いに、「存在する」「存在しない」「存在し、かつ存在しない」「存在せず、存在しないわけでもない」という四句的構造がみられる。
四句分別と空の関係
四句分別は、仏教を中心として、空の概念を導出するための論理として歴史的に用いられてきた。
中観派における四句分別での空の解釈 紀元200年頃、ナーガールジュナ(龍樹)は、事物が「自性（固定的な実体）」を持たないことを示すために、これら四句のすべてを否定(四句否定)する手法を用いたRobinson, Richard H. (1967) "Early Madhyamika in India and China".。これにより、言語的・論理的概念化を超えた「空」の状態が顕現するとされる。
龍樹の中論での空の導出は、初期仏教、特に釈迦の十四無記の手法を継承し、それを四句分別を用いて論理的に徹底させたものであるとされるNagarjuna, David J. Kalupahana, 2015 Mulamadhyamakakarika of Nagarjuna: The Philosophy of the Middle Way。
チベット仏教での四句分別の再帰的適用による空の分析 龍樹の中論での四句分別や四句否定による空についての記述は過不足がないものの、空見と呼ばれる、空に自性があるという誤解や論争の発生を抑止することはできていなかった。
チベット仏教チョナン派のドルポパ(1292-1361)は「山法・了義海ri chos nges don rgya mtsho zhes bya ba mthar thug thun mong ma yin pa'i man ngag」において、伝統的な中観派の四句分別を単層的な否定に留めず、その否定の結果得られた「空」の状態に対しても再度四句分別を適用する再帰的な分析を展開した。これにより、一切の言語的戯論を焼き尽くした後に現れる残余(Lha gma)や「不変・不退転の勝義(他空)」を論理的に導出し、ここから如来蔵を導出する。この手法は本書では16種の否定(4×4)として体系化されている。
しかし、このチベット仏教チョナン派の如来蔵に対する見解について、ゲルク派を中心として、如来蔵に自性があるとした誤った解釈であるという論争が巻き起こった。
近年にみられる哲学的解釈 山内得立は、1974年出版の主著『ロゴスとレンマ』において、ギリシャ哲学におけるレンマを再考し、ギリシャ哲学のテトラレンマと四句分別を融合した独自のテトラレンマを展開した。 中川は、四句分別でいうところの「亦是亦非」と「非是非非」の順序の入れ替えによってテトラレンマを論理的な体系として確立をはかったが、これは龍樹のように、空や縁起を説明するためではなく、事象の両面性を明らかにするためであった。 現代論理学での四句分別と空の解釈 現代の論理学者は、四句分別を単なる矛盾ではなく、真理値の矛盾を許容する矛盾許容論理や、三値以上の多値論理の先駆的な形態として分析している。
なかでも、グレアム・プリーストは、四句分別を二値論理を拡張した四値論理と解釈し、さらには、空を扱うためにを加えて真理値空間をの五値へと拡張し、重層的な解釈を許容することで、仏教の勝義諦を記述する試みを行なっているPriest, Graham. 2018. The Fifth Corner of Four: An Essay on Buddhist Metaphysics and the Catuṣkoṭi. Oxford: Oxford University Press. 。
矛盾、不整合、空を、論理の中に明示的に論理値として持つことで整合的に扱えるとしているが、論理的な値として操作するという意味において、空には自性がないとする古来からの仏教の解釈とは整合していない。
現代仏教学での四句分別と空の解釈
立川武蔵は、中論における四句分別の用いられ方について、肯定形と否定形の二種に大別して分析している。立川の解釈によれば、肯定的な四句分別は日常の言語活動が及ぶ「俗なるもの（世俗諦）」の領域にとどまるが、それらの可能性を徹底的に否定する四句否定のプロセスを経ることで、言語的展開（戯論）が止滅した「空（聖なるもの/勝義諦）」へと至る構造が示されているとする
参考文献
関連項目 レンマ 多値論理 四値論理 矛盾許容論理 真矛盾主義