AKB48の楽曲については「ジワるDAYS」をご覧ください。

必然性（ひつぜんせい、necessity）とは、そうなることが確実であって、それ以外ではありえない、ということである[1]。

カントは、『純粋理性批判』の様相のカテゴリーで、必然性・偶然性を対立概念として対置させている。
概説

@media screen{.mw-parser-output .fix-domain{border-bottom:dashed 1px}}必然性は反対が不可能な概念であり、反対が不可能ということは、同一性があるということになる[要説明][2]。九鬼周造は、必然性を「同一性という性質上の規定を持ったものを様相（あり方）という視点からみて言い表したもの」としている。そして、その同一性と必然性を最も顕著にそなえたものを、論理学の領域では「概念」、経験の領域では「因果性」、形而上の領域では「絶対者」と見た[2]。

様相概念のひとつで、可能性（ありうること）、現実性（現にそうであること）と並ぶ。そして、偶然性（たまたまそうであること）と対立すると見なされている[3][1]。
論理的必然性

ある命題が論理的に必然であるとは、その命題の否定が矛盾に陥るということを指す[1]。

大陸合理論哲学では、ユークリッド幾何学など[4]の数学的な諸命題が論理的必然と見なされ、こうした数学を規範として形而上学を構築しようとした。

様相論理では、命題が必然であることを示す ◻ {\displaystyle \Box } を必然性演算子、可能であることを示す ◊ {\displaystyle \Diamond } を可能性演算子と呼ぶ。ここで、「命題Pが必然的に真である（ ◻ P {\displaystyle \Box P} ）」は「命題Pが偽であることが可能ではない（ ¬ ◊ ¬ P {\displaystyle \neg \Diamond \neg P} ）」と同値であり、「命題Pが真であることが可能である（ ◊ P {\displaystyle \Diamond P} ）」は「命題Pが偽であることが必然ではない（ ¬ ◻ ¬ P {\displaystyle \neg \Box \neg P} ）」と同値である[5]。可能世界論では、すべての可能世界で真の命題を必然的真理（necessary truth）と呼ぶ[6]。
因果的必然性

論理的必然性は上述のようなものであるが、因果的必然性というのは、原因・結果の間の必然的な関係である[1]。石は陽の光があたれば暖かくなるが、だが石は暖まりはしないとしても論理的には矛盾があるわけではない。だが、論理的矛盾が起きるわけでもないのに、陽光は石を暖める。これが因果的必然性である。

ライプニッツは、命題の中でもこのような因果的必然性を示す命題を総合命題に分類した[1]。

デイヴィッド・ヒュームは因果的必然性と見なされたものに懐疑の眼を向けた。ヒュームは、原因-結果の関係があると見なされていることは、2つの事象が一定の順序で繰り返し起きることを、ある者が観察することによって、その者に生じる 単なる主観的な印象であり、よって「因果的必然性」と呼ばれているものは、蓋然性にすぎない、とした[1]。

18世紀には、ラプラスなどが、全ての出来事のあり方は一意だとする因果的決定論を主張し、こうした見方が広まったが、これは20世紀に物理学の領域で量子力学の発展とともに否定された。

一意性が否定される場合は、確率的に何らかの傾向があったり定まっていても決定論には分類しないのが一般的である。

因果的必然性は「自然必然性」と呼ばれることもある[1]。
勝負における必然性

ボクサーが2人居て、一方がチャンピオンで、もう一方は挑戦者だとする。この両者がボクシングで勝負することを考える。この場合における必然とは、誰かが不正をして勝敗を制御している状態を指す[7]。

ここで言う不正とは、

ドーピング

グラブの中に鉄拳(ナックルダスター)を仕込むこと

一方のボクサーの食事に腹痛を引き起こす薬品を仕掛けること

レフェリーやジャッジと事前交渉し自己に有利となるよう約束すること

など、その他どのような方法でも、一方に有利となるよう働き、それがあたかも公正な勝負であるかのように見せかけて試合を行うことを指す。

このボクシングの試合で、チャンピオンか挑戦者のどちらか一方、もしくは、双方が不正の事実を知っているとする。その状態で両者が対戦料を支払い、勝った方が多くのファイトマネーを取るとする取り決めした場合、これは詐欺となる。あるいは、このボクシングの勝者を予想し、その投票券を有料で販売し、当てた方に金銭を払い戻すとする取り決めをした場合も、不正の事実を知っている者が投票券の売買をすれば詐欺となる。
道徳的必然性

道徳的必然性とは、あることが善であるがゆえにそれが遂行されることである。
様々な必然性

存在（あること）そのものが必然的であるとすれば神は「絶対的必然性」とされ、それ以外が「相対的必然性」、とされることがある[1]。

ひとりひとりの人が自己の《内的なあり方》（良心・理念など）に従う、という意味での必然性は「内的必然性」と呼ばれることがあるが、これはしばしば「自由」そのものである、とされる[1]。
脚注^ a b c d e f g h i 岩波　『哲学・思想事典』、p.1317-1318 『必然性』、高山守　執筆
^ a b 木田 2001, pp. 60?61.
^ 平凡社『哲学事典』
^ 20世紀になるとユークリッド幾何学以外に論理的整合性のある幾何学がありうることが理解されるようになり、ユークリッド幾何学は必ずしも論理的必然とは見なされなくなった。
^ .mw-parser-output cite.citation{font-style:inherit;word-wrap:break-word}.mw-parser-output .citation q{quotes:"\"""\"""'""'"}.mw-parser-output .citation.cs-ja1 q,.mw-parser-output .citation.cs-ja2 q{quotes:"「""」""『""』"}.mw-parser-output .citation:target{background-color:rgba(0,127,255,0.133)}.mw-parser-output .id-lock-free a,.mw-parser-output .citation .cs1-lock-free a{background:url("//upload.wikimedia.org/wikipedia/commons/6/65/Lock-green.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-limited a,.mw-parser-output .id-lock-registration a,.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration a{background:url("//upload.wikimedia.org/wikipedia/commons/d/d6/Lock-gray-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .id-lock-subscription a,.mw-parser-output .citation .cs1-lock-subscription a{background:url("//upload.wikimedia.org/wikipedia/commons/a/aa/Lock-red-alt-2.svg")right 0.1em center/9px no-repeat}.mw-parser-output .cs1-ws-icon a{background:url("//upload.wikimedia.org/wikipedia/commons/4/4c/Wikisource-logo.svg")right 0.1em center/12px no-repeat}.mw-parser-output .cs1-code{color:inherit;background:inherit;border:none;padding:inherit}.mw-parser-output .cs1-hidden-error{display:none;color:#d33}.mw-parser-output .cs1-visible-error{color:#d33}.mw-parser-output .cs1-maint{display:none;color:#3a3;margin-left:0.3em}.mw-parser-output .cs1-format{font-size:95%}.mw-parser-output .cs1-kern-left{padding-left:0.2em}.mw-parser-output .cs1-kern-right{padding-right:0.2em}.mw-parser-output .citation .mw-selflink{font-weight:inherit}Garson, James (2023). "Modal Logic". In Zalta, Edward N.; Nodelman, Uri (eds.). The Stanford Encyclopedia of Philosophy (英語) (Spring 2023 ed.). Metaphysics Research Lab, Stanford University. 2023年8月30日閲覧。The operator ◊ {\displaystyle \Diamond } (for 'possibly') can be defined from ◻ {\displaystyle \Box } by letting ◊ A = ¬ ◻ ¬ A {\displaystyle \Diamond A=\neg \Box \neg A} . In K, the operators ◻ {\displaystyle \Box } and ◊ {\displaystyle \Diamond } behave very much like the quantifiers ∀ {\displaystyle \forall } (all) and ∃ {\displaystyle \exists } (some). For example, the definition of ◊ {\displaystyle \Diamond } from ◻ {\displaystyle \Box } mirrors the equivalence of ∀ x A {\displaystyle \forall xA} with ¬ ∃ x ¬ A {\displaystyle \neg \exists x\neg A} in predicate logic.
^ Blackburn, Simon (2008). "necessary/contingent truths". The Oxford Dictionary of Philosophy (英語) (2nd ed.). ISBN 9780199541430. Oxford Referenceより2023年8月30日閲覧。
^ 最判昭和26年5月8日