1 ノーター性の定義
ノーター性とは、ある主張や形式、推論が持つ「評価や妥当性の判断が、特定の注記や補助的な記述（ノート）に過度に左右されない」という性質を指す概念である。ここでいう注記とは、論点の背後に付随する前提の置き方、前提の読み替え、用語の注釈、記法上の都合など、判断に不要となることが望ましい情報を含む。
ノーター性が問題になるのは、同じ対象に対しても、注記の与え方や記法の選択によって評価が変わるように見える場面があるためである。したがって、この性質は「何を見ればよいか」を切り分け、評価対象の本質的部分に焦点を当てるための考え方として働く。
また、厳密な定義は対象分野や形式体系により変わり得るが、共通する核は「余計な情報に依存しない度合い」を、何らかの基準で評価しようとする点にある。
1.1 「ノート（注記）」との関係
「ノート（注記）」は、判断に必要ない情報、あるいは本質的要素を隠してしまう可能性がある補足記述として扱われることが多い。例としては、導入される前提の言い回し、文脈依存の省略、書き手の意図を読み取るためのコメント、図示の添え書きなどが挙げられる。
ノーター性が高いとされる場合、注記が変わっても評価結果が保たれるか、少なくとも評価に与える影響が限定されると考えられる。逆に、注記を変えるだけで成立・不成立が左右されるなら、当該の主張や推論はノーター性が低いとみなされやすい。
なお、注記のすべてが不要というわけではなく、体系の意味を与えるために本質的に必要な部分は別として扱われるのが通常である。そのためノーター性は「不要な情報の混入を抑える」方向性を持つ。
1.2 論理的性質としての位置づけ
論理学や形式言語の文脈では、評価の対象と、その評価を支える要因（体系、前提、解釈、記法）が区別される。ノーター性は、この区別を明確にするための観点として位置づけられる。
具体的には、主張の意味や推論の妥当性が、体系外の事情や書き手固有の補足によって恣意的に左右されていないかを問う。これにより、形式化した式や推論列が「記号列として何を表すか」「どの意味で成立と呼ぶか」という点が、過度に注釈に依存しない形で整理される。
この意味でノーター性は、単なる記述上の好みではなく、判断の再現性や検証可能性に関わる論理的特徴として扱われる。
2 主要な捉え方
ノーター性の理解には複数の流儀がある。大きく分けて、形式の整合性に注目する見方、意味論に基づく見方、証明操作に基づく見方がある。それぞれが「何が注記に相当するか」「依存しないとは何か」を異なる角度から評価する。
2.1 形式的観点からの理解
形式的観点では、注記が事実上「規則の使い方」や「前提の見かけ」を変えるとき、その変化が形式全体の判断にどの程度影響するかを問題にする。焦点は、記号操作や整形式の条件に移るため、依存性の可否を相対的に定量化しやすい。
この立場でのノーター性は、表記上の差異を除いて同等な形式が同じ結論へ到達する、あるいは結論が同一の基準で評価される、という形で表されることが多い。
2.1.1 推論規則との整合性
推論規則との整合性としてのノーター性は、注記の変更が推論規則の適用可能性を不当に変えないかに関わる。つまり、補足説明により「同じはずの適用」が突然許可されたり禁止されたりしないことが重要になる。
例えば、ある規則が対象に対して適用可能であるべき条件が、注記でのみ暗黙に補完されている場合、注記が欠落すると規則の適用が成立しない可能性がある。このとき、当該推論はノーター性が弱いと評価されやすい。
逆に、適用の可否が形式的に決まり、注記が単に説明役に留まるなら、整合性は高くなる。
2.1.1.1 前提依存性の評価方法
前提依存性の評価では、注記が「前提集合」や「適用条件」を実質的に変えているかを検査する。方法としては、注記を除いた形での導出可能性、注記を変えた場合の導出の可否、あるいは注記の変更が同値変形の範囲内であることを確認する手続きが挙げられる。
具体例として、注記がある種の前提を追加している場合、その追加が論理的に冗長であるか、導出を本質的に支えるかが問題になる。冗長であれば注記の変更は評価に影響しにくくなるが、支える側であればノーター性は低下する。
この評価は、形式的同等性の概念（同値変換や保存性）と結びつけることで、主観的な読み取りに依存しない形に寄せられる。
2.2 意味論的観点からの理解
意味論的観点では、注記が「解釈」や「指示対象の取り方」を変えてしまうことが問題になる。ここでのノーター性は、注記を変えても同じ対象クラスや同じ真理条件が保たれるか、あるいは保たれないときに何が変質しているかを明示できるかに表れる。
たとえば、記号の読み替えを促す注釈によって解釈が変わると、成立性の判定が変化するのが自然である。しかし、注記が本来の意味を説明しているだけで、解釈の中身を変えないなら、評価は保たれるはずである。
したがって意味論的理解では、注記を「意味を与えるもの」と「意味を説明するもの」に仕分けることが中心課題となる。
2.3 証明論的観点からの理解
証明論的観点では、推論の正当化が「証明の形」や「導出可能性」という操作的な側面と結びつく。ノーター性は、注記が証明の作り方や許容される変形を左右し、結果の妥当性に影響してしまうかどうかとして現れる。
証明論の枠組みでは、前提の扱い、導出規則の適用、制限の有無などが明確に設定されることが多い。したがってノーター性が高いなら、注記は証明の骨組みを変えず、同じ結論を導く証明変換が可能であると期待される。
逆に注記がないと証明の手順が記法上成立しない、あるいは注記がない場合に限って規則適用ができないなら、操作的な依存が疑われる。このとき、ノーター性は低いと判定される。
3 関連概念との比較
ノーター性は単独で完結する語ではなく、いくつかの近縁概念と対比しながら整理される。ここでは、可否判定可能性、不変性・頑健性、依存性の減少という3点からの比較を行う。
3.1 可否判定可能性
可否判定可能性は、「ある性質が成り立つか成り立たないかを判断できるか」に焦点がある。ノーター性はそれ自体、判断の可否そのものよりも、判断結果が注記に左右される度合いを問題にする点で区別される。
ただし両者は関係しうる。注記に強く依存する概念は、同じ状況を形式的に再現したときに判定がぶれやすく、結果として判定手続きの実行可能性が損なわれる場合がある。よって、判定可能性を高めるには、ノーター性を高める設計が有効になり得る。
要するに、可否判定可能性が「判断できるか」、ノーター性が「判断が記述の揺れで変わらないか」に対応する関係として捉えられる。
3.2 不変性・頑健性
不変性や頑健性は、変化に対して結論が維持されるかという観点に近い。ノーター性は、その変化の中心が「注記」や補助的記述にある点で、より焦点化された概念と考えられる。
たとえば、解釈の変更や体系の変更が結論へ波及する場合、それは不変性の観点では失敗とみなされることがある。一方でノーター性は、同じ意味内容を説明する注釈の差がもたらす影響を主に問題にするため、変化の種類を限定して評価する傾向がある。
したがって、ノーター性の高さは、限定された範囲での頑健性として理解できるが、より広い意味での不変性と同一視はできない。
3.3 依存性の減少（注記の影響）
依存性の減少は、ノーター性の実務的な表現に近い。注記によって判断が左右される度合いを下げるという目的が、そのままノーター性の志向として現れるためである。
ただし減少には二種類がありうる。第一に、注記が削除されても同じ結論が得られるという意味での減少。第二に、注記が残っていても影響が形式化され、どの部分が評価に寄与しているかが明確になるという意味での減少である。
ノーター性の議論では、特に第二の側面、すなわち「影響の所在の説明可能性」も重要視されることがある。これは、単に注記を消すのではなく、注記の役割を整理することで評価の安定性を確保する考え方に対応する。
4 用途と具体例
ノーター性は、論証の管理、形式化の品質評価、誤解の抑制といった場面で役立つ。以下では、実際の作業に即した形で用途を整理する。
4.1 論証の書き換えと検証
論証の書き換えでは、表記や注釈を整理して論点を明確化する。このときノーター性の観点は、書き換え前後で結論が変わらないか、また依存していた要因が別の形で露呈していないかを検証するための指針になる。
例えば、ある議論が「注記に含まれる暗黙の前提」に強く依っている場合、書き換えの過程で注記が取り除かれると結論が崩れることがある。この崩れを検出し、前提を適切に明示することで、議論全体の信頼性が高まる。
検証では、同等性の範囲（記法の違い、説明の違い）を定め、その範囲内での結論維持を確認することで、ノーター性を実質的に測ることができる。
4.2 形式化の際の品質指標
形式化は、自然言語の議論を記号体系へ移す作業である。ノーター性は、形式化の品質を評価する補助指標として用いられることがある。
質が高い形式化とは、注釈に依存しない形で必要条件が確定し、記述の揺れが導出結果に影響しない状態を指す。具体的には、前提が明確な形で記され、意味の読み替えを促すコメントがなくても同じ解釈に到達できることが望ましい。
逆に、注記に頼らないと意味が確定しない形式化は、検証の再現性が低く、誤りの温床になり得る。ノーター性の観点を取り入れると、どこが説明に頼っているかを特定し、形式化の改善点が見えやすくなる。
4.3 議論の誤解を減らす工夫
誤解の多くは、注記が本質ではないのに、それが本質のように働いてしまう場合や、逆に本質が注記に紛れ込む場合に生じる。ノーター性を意識することで、情報の分離が進み、読み手が迷う余地を減らせる。
具体的な工夫としては、用語の定義と補足説明を分ける、前提の追加は明示する、結論に必要ないコメントは独立した欄に移す、といった運用が挙げられる。これにより、注記が「背景事情の説明」に留まり、判断の根拠が形式本文に確実に固定される。
加えて、同値な言い換えを許す範囲を最初に示すと、読み手は記述の差を注記の違いと誤認しにくくなる。結果として、議論は誤読されにくくなり、議論の進行速度も上がる場合がある。