1 定義
1.1 否定の基本概念
否定とは、ある命題が成り立たないこと、あるいはその内容が真でないことを示す判断・表現の総称である。否定は、肯定と対をなす働きとして理解されることが多く、話し手の立場や情報に対する評価を反映する。
論理的観点では、否定は「対象への否定的態度」と同一ではない。むしろ、命題の真偽を反転させる操作、またはそのような操作に相当する記号的・文法的構成として位置づけられる。
1.2 断定との関係
否定は、特定の断定（何かが成り立つ、あるいは成り立たないという主張）に作用する。断定があるからこそ、それを取り消す形で否定が成立するため、両者は意味論的に密接である。
また、否定は「断定の内容の真偽を否定する」という形を取りやすいが、自然言語では丁寧さ、距離の取り方、推測の程度といった語用論的要素とも組み合わさるため、表面上の形式と話者の意図が必ずしも一対一に対応しない。
1.3 肯定との対比
肯定は、対象命題が真であることを支持する方向の働きであり、否定はそれに反する方向の評価を与える。論理学では、否定がなければ命題は肯定的に扱われるとされるため、二つは真理値の対応関係として整理される。
ただし自然言語においては、肯定と否定が常に対称とは限らない。例えば、否定の形式が同じでも意味上の強度や範囲が異なる場合があるため、単純な対立だけでは説明しきれない。
2 論理学における否定
2.1 命題論理の否定
2.1.1 真理値との関係
命題論理では、否定は命題の真理値を反転させる演算として扱われる。具体的には、命題が真であれば否定は偽となり、命題が偽であれば否定は真となる。
この対応により、否定は真偽の体系の中で機械的に計算できる。結果として、推論規則の設計や証明手続きが、否定の挙動に基づいて整備される。
2.1.2 否定演算子
否定演算子は記号で表されることが多く、典型的には「¬」や「not」に相当する表現が用いられる。命題変数や複合命題に対し、演算子が適用されると、その命題の真偽が反転した命題が得られる。
演算子の適用範囲（どの部分命題に否定がかかるか）は、複合式の読み取りに直結する。誤った結合をすると別の意味の論理式になるため、括弧や結合規則が重要になる。
2.2 述語論理の否定
2.2.1 全称否定
述語論理では、量化子が導入される。全称量化（「すべて」）を否定する場合は、全称の性質を反転させる形で扱う必要がある。
代表的に、全称命題を否定すると「少なくとも一つ例外がある」という趣旨と対応する形で整理される。この対応は、量化子の否定が単に語尾を変えるだけではなく、論理構造を変える操作であることを示している。
2.2.2 存在否定
存在量化（「ある」）を否定する場合は、少なくとも一つが成り立つという主張を否定することになる。すると、成り立つ対象が存在しないという性格の命題に切り替わる。
このとき、量化子の否定は、単純な命題否定に留まらず、量化の向きと範囲に関わる。結果として、推論では量化子の扱いが中心的論点となる。
2.3 形式体系での役割
否定は推論の中核であり、導出や同値性の証明に頻出する。特に、矛盾の検出、反例の扱い、ケース分けの整理などで重要な役割を果たす。
また、否定は証明の戦略にも関係する。ある主張を直接示すのが難しい場合、否定を導いて矛盾を得るなど、否定を介した間接的な立証が用いられることがある。
3 自然言語における否定
3.1 否定文の構造
3.1.1 助動詞による否定
自然言語では、否定は文法要素として実現されることが多い。日本語では「ない」「ず」「ぬ」などの否定助動詞が典型例であり、述語や形の後ろに付くことで否定文が形成される。
英語などでは、助動詞や準助動詞に否定が組み込まれる場合がある。どの要素が否定に関わるかは言語ごとに異なり、時制・相・態などとの相互作用が生じる。
3.1.2 副詞による否定
副詞による否定では、「決して」「あまり」「ほとんど」などが用いられ、否定の影響を与える範囲が文の一部に限られることがある。これにより、否定の対象は文全体に及ぶのではなく、特定の性質や度合いにかかる。
また、副詞は慣用的な強度を持つことがある。結果として、同じ否定語を含んでも、意味のニュアンスが変化しやすい。
3.2 否定の範囲
3.2.1 文全体の否定
文全体の否定は、命題としての全体が真でないことを述べる読みになる。例えば「彼は来ない」は、到来という事態が成り立たないという全体的な主張として理解される。
この種の否定は、真偽判断に比較的近い性質を持ち、論理式への対応も作りやすい。一方で、話者の視点や事実認識の状態も文脈で補われることがある。
3.2.2 部分否定
部分否定では、文の一部だけが否定される。たとえば、命題の一部（量、場所、条件、属性）だけを対象にすることで、「全体としては成り立つが、その一要素だけは成り立たない」といった解釈が可能になる。
部分否定はスコープの概念と密接であり、どこまでが否定の対象になるかが曖昧さの原因にもなる。結果として、同じ文でも文脈や強調の仕方で意味が変わりうる。
3.3 二重否定
二重否定とは、否定が複数回重ねられる構成の総称である。論理学の理想化では、否定を二度適用すると元に戻る（いわゆる二重否定の除去）と扱われることが多い。
しかし自然言語では、「〜ではないわけではない」のように、形式上は二重否定でも肯定に近い含意、あるいは婉曲や控えめな評価が生じる場合がある。したがって、論理学的な意味反転だけで説明できない語用論的要素が現れやすい。
4 否定の意味論と解釈
4.1 意味の反転
意味論の観点では、否定は表現内容の肯定的な方向を反転させる働きとして捉えられる。論理式に変換すれば、真偽が切り替わる関係が明示されるため、形式的な理解に適している。
ただし自然言語では、反転が常に完全に対応するとは限らない。語彙の選択、肯定側の解釈、話者の態度が加わることで、表現が持つ実際の伝達内容は複層的になる。
4.2 含意との関係
否定は、含意（if...then...に代表される推論関係）とも関わる。例えば、「AでなければB」や「AでないからB」などの構造では、否定が条件の立て方に影響し、推論の向きが変わることがある。
また、否定は仮定の下での推論や、反例を用いた推論の設計にも影響する。自然言語の「断り」や「拒否」の表現は、形式論理の含意関係だけでは説明しきれないが、少なくとも形式的な土台は共有されることが多い。
4.3 曖昧性と解釈
4.3.1 スコープの違い
否定のスコープとは、否定がどの構成要素に及ぶかの範囲である。スコープが異なれば、同じ語順でも別の意味になる可能性があるため、解釈には慎重な区別が必要になる。
特に量化表現や条件節を含む文では、否定がどこに作用しているかで論理構造が組み替わる。結果として、言い換えや翻訳の際に誤差が生じやすい。
4.3.2 文脈依存性
文脈は否定の解釈を大きく左右する。話し手が何を争点にしているか、聞き手がどの情報を前提としているかにより、否定の対象が特定される。
また、会話では「同意しない」ことが「真でない」ことと同一でない場合がある。ここでは否定が、事実評価に加えて対人関係の調整として働くことがある。
5 否定と証明
5.1 背理法
背理法（reductio ad absurdum）は、ある命題の否定を仮定し、その結果として矛盾を導くことで、元の命題が成り立つことを示す手法である。否定は仮定の構成要素として用いられ、証明の中心的役割を担う。
背理法は、否定が「導出可能性」や「矛盾の発見」に接続される例といえる。単に真偽を切り替えるだけでなく、仮定の設計によって証明を進める道具として働く。
5.2 否定の導出
証明では、ある段階で否定を導くことがある。典型的には、定義や既知の事実から、ある性質が成り立たないことを結論として得る場合である。
否定の導出は、反例を見つける形、場合分けで否定が避けられない形、あるいは論理式の変形で否定が自然に現れる形など、複数の道筋を取る。いずれも「否定が確かめられる根拠」を要求する点で共通している。
5.3 反証可能性
否定は反証可能性とも関係する。一般に、主張が反証されうるなら、反証側の形として「主張が成り立たない」ことを示す必要があるため、否定は観察・検証の側に位置づけられる。
形式的にも、否定を含む命題は、特定の条件で真偽が判定可能な形に変換されることがある。すると、反例の提示が体系内で意味を持つようになる。
6 否定の応用
6.1 数学における利用
数学では、否定は定義の組み立てや定理の証明に不可欠である。例えば「存在しない」ことを示す定義や、「いかなる対象も性質を満たさない」ことを述べる命題は、量化と否定の組合せで表される。
また、条件の形を変換する際にも否定が現れる。論理同値を使った書き換えでは、否定が量化子の位置に影響しうるため、式変形の正確さが重要になる。
6.2 言語学における利用
言語学では、否定の研究が文法構造、意味論、語用論の交差点に位置する。スコープ、二重否定の解釈、否定極性項目などの現象は、否定が単なる語尾変更ではないことを示す。
さらに、否定が話者の態度や会話の管理と結びつく点も重要である。発話の目的（訂正、拒否、緩和）に応じて、否定表現の選択が変わりうる。
6.3 日常表現における利用
日常会話では、否定は事実関係の修正だけでなく、丁寧な断りや要求の拒否、期待の調整にも用いられる。例えば「それは違います」のような形式は、情報の食い違いを示しつつ、対話の方向を整える。
また、二重否定や婉曲表現は、対人摩擦を和らげるために使われることがある。形式と意図の対応が完全ではないため、聞き手は文脈、声調、関係性から推論して意味を補う。