量化子変動（りょうかしへんどう、）とは、世界を記述するために唯一最善の存在論的言語というものは存在しないという主張を指す用語である。「量化子変動」という用語は、哲学用語の「量化子」、より正確には存在量化子に基づく。「量化子」とは「少なくとも一つの『何々』が存在する」といった表現のことである。量化子変動とは、量化子の意味が曖昧であるという論題である。この論題は、存在論における一部の論争が、論争する側が使用する量化子の意味について合意できていないことに起因するにすぎないと説明するために用いることができる。
によれば、量化子変動はの格言の発展形である。
量化子
冒頭で言う量化子という語は、論域（議論の対象となる事物の集まり）の中で用いられる変数を指す。日常生活では、論域は「リンゴ」や「人」、あるいはあらゆるものでありうる。 より専門的な文脈では、論域は例えば「整数」となりうる。ある論域において量化子変数（例えば x）は、その論域内の任意の対象を「値」として取ったり指示したりすることができる。「ユニコーン」という特定の対象が存在することは、記号論理学の様式では次のように表現される。 ∃ x; x はユニコーンである。
ここで「Eを反転させた」記号 ∃ は「…が存在する」と読み、存在量化の記号と呼ばれる。対象間の関係も量化子を用いて表現できる。たとえば整数の論域において（整数に慣例的な選択として量化子を n で表すと）、「5」を「25」との関係によって間接的に特定することができる。 ∃ n; n × n = 25。
特に整数の論域が意図されていることを明示したい場合は、次のように書くことができる。 ∃ n ∈ ; n × n = 25。
ここで ∈ は「…の要素である」を意味し、集合の元の記号と呼ばれる。また は整数全体の集合を表す。
様々な存在論において同一の目的を果たす表現が多様に存在し、それらはいずれも量化子表現とみなされる。量化子変動とは、どのような表現が量化子として解釈されうるか、また量化子の引数として（「何々」の代わりに）どのような代入が許容されるかについての一つの議論である。
「用法」であって「存在」ではない ハーシュは、量化子変動の概念は言語の機能に関わるものであり、「実際に何が存在するか」という存在論的問いとは無関係だと述べる。ただしその見解は普遍的ではない。
量化子変動の根底にある論題はパトナムによって次のように表明された。
このパトナムの引用を挙げて、ワッサーマンは次のように述べる。「この論題――存在量化子には等しく中立的かつ全事実の記述に等しく適切な多くの意味が存在するという論題――はしばしば『量化子変動の教説』と呼ばれる」。
ハーシュの量化子変動は、カルナップの言語的枠組みの概念と「新」カルナップ的見解として結び付けられてきた。すなわち「量化子に多くの等しく良好な意味が存在するという見解であり、これらの枠組みのうちの一つを選ぶことは、カルナップ的な枠組みを選ぶことと類比的に理解されるべきだ」という見解である。もちろん、すべての哲学者（とりわけクワインや「新」クワイン派）が複数の言語的枠組みという概念を支持するわけではない。メタ存在論も参照。
ハーシュ自身は、量化子変動の自身のバージョンをカルナップと結び付けることに慎重であると述べている。「（ほぼ）存在するものすべてが言語から完全に独立して存在するという考えに明確にコミットしていない限り、いかなる哲学者も量化子変動論者とは呼ばない」。これに関連してハーシュは「しかし、カルナップを量化子変動論者と呼ぶことには問題がある。彼はしばしば検証主義的反実在論者と見なされるからだ」と述べる。トムソンはカルナップが適切に反実在論者とは見なされないと考えているが、それでもカルナップをハーシュの量化子変動から切り離している。「しかし私は、カルナップが実際にはハーシュの意味での量化子変動にコミットしておらず、形而上学的論争を偏向させる自身の方法においてそれに依拠していないと論じる」。
関連項目 日常言語哲学 メタ哲学 メレオロジー 内在的・外在的区別
脚注