1
大学数学基礎解説
文献あり

関連性論理に触れてみよう: First Degree Entailment

950
0
$$\newcommand{And}[0]{~~\textrm{and}~~} \newcommand{b}[0]{\mathbf{b}} \newcommand{defeq}[0]{\stackrel{{\small\mathsf{def}}}{=}} \newcommand{defiff}[0]{\stackrel{{\small\mathsf{def}}}{\iff}} \newcommand{eps}[0]{\varepsilon} \newcommand{Exists}[0]{{}^\exists} \newcommand{F}[0]{\mathbb{F}} \newcommand{f}[0]{\mathbf{f}} \newcommand{fde}[0]{\vDash_\mathsf{FDE}} \newcommand{Fml}[0]{\mathrm{Fml}} \newcommand{Forall}[0]{{}^\forall} \newcommand{four}[0]{\vDash_\mathsf{4}} \newcommand{FV}[0]{\mathrm{FV}} \newcommand{intpr}[1]{[\![{#1}]\!]} \newcommand{lequiv}[0]{\modeledby\models} \newcommand{M}[0]{\mathcal{M}} \newcommand{modeledby}[0]{=\!\mathrel|} \newcommand{n}[0]{\mathbf{n}} \newcommand{Or}[0]{~~\textrm{or}~~} \newcommand{Pow}[0]{\mathcal{P}} \newcommand{PV}[0]{\mathrm{PV}} \newcommand{qty}[1]{\left\{#1\right\}} \newcommand{rel}[0]{\vDash_\mathsf{rel}} \newcommand{star}[0]{\vDash_\ast} \newcommand{sub}[0]{\subset} \newcommand{sube}[0]{\subseteq} \newcommand{t}[0]{\mathbf{t}} \newcommand{T}[0]{\mathbb{T}} \newcommand{tuple}[1]{\langle{#1}\rangle} \newcommand{vphi}[0]{\varphi} $$

First Dgree Entailment(以下FDE)という論理体系があります。これは非古典論理(non-classical logic)の一種であり、古典論理で妥当な推論の一部が成り立たない体系になっています。とくに、前提と結論の間に「関連性」がない推論を批判するという点で、関連性論理(relevant logic)の1つとされています。日本語で検索してもあんまり情報がなかったので、ちょっとした紹介記事みたいな感じで書いてみます。

本稿では以下の3点について説明しようと思います。

  1. 導入として、FDEなどの関連性論理が古典論理の何を問題としているかについて説明し、形式的な定義の動機付けをします。
  2. FDEにはモデルの与え方が複数あります。ここでは2通りの定義を紹介し、等価性を示します。
  3. 最後に、FDEではうまく説明できない推論をいくつか紹介します。

2は割とテクニカルな話になるので、FDE(ないし関連性論理)の概要に興味がある方は1だけ読むと良いと思います。

本稿は、私が大西『論理学』ゼミで参考用に作った資料がもとになっています。そのため、古典論理・様相論理の基本的な性質や、可能世界意味論の扱い方に読者がある程度慣れていることを前提にしています(とくに2のところ)。ご了承ください。
また、非古典論理については勉強し始めたばかりで、どこかで間違えているかもしれません。詳しい方、ぜひご指摘よろしくお願いします。

関連性論理としてのFDE

関連性の誤謬

古典論理では、以下のような推論が妥当になる。

  • 排中律: $B\vDash A\lor\lnot A$
  • 爆発律: $A\land \lnot A\vDash B$

しかし、このような推論は本当に「前提から結論が帰結する」という関係になっているのだろうか?以下の自然言語による例を見てみよう。

妥当な推論?
  • 「今日の天気は晴れである」ならば「ゴールドバッハ予想は成り立つか、成り立たないかのいずれかである」
  • 「3は素数であり、素数ではない」ならば「次の総理大臣は私である」

それぞれの文を素朴に命題変項に変換すれば、これらの推論は古典論理上では妥当ということになる。しかし、直観的にはこれらの推論は正しいとは言えそうにない。少なくとも、日常的な会話でこのように「ならば」を使われたら耳を疑うだろう。

この違和感の根底には、前提と結論の間に何も関連がないことがあると考えられる。ふつう「推論」といえば、前提の内容をもとに思考をめぐらして結論を引き出すような作業のことを指す。ということは、前提とは何も関係のない結論が出てくるような推論は「正しい」ないし「妥当」とは言い難いのではないだろうか?このような考えから、上に挙げた排中律・爆発律のような推論は関連性の誤謬(fallacy of relevance)を犯している、と言われる。

関連性の有無による違いを見るために、共通の前提を持つ例を挙げてみる([Restall 1999]の例を少し改変)。

  • もし「Aさんが定規とコンパスで角を三等分できる」なら、「Aさんは有名になるだろう」
  • もし「Aさんが定規とコンパスで角を三等分できる」なら、「Aさんの家の芝生は紫色だ」

どちらも前提は成り立っていないが(このような作図はできない)、推論の正しさという点では違いがある。前者は妥当と思われる。というのも、もしそのような作図ができたとしたら、幾何学を揺るがすような発見になるからである。一方、後者はよく分からない推論になってしまっており、例1と同様妥当には見えない(少なくとも前者ほど納得のいく説明をするのは難しい)。このような違いが生じるのは、前者では前提と結論に「関連」があり、後者はそうではないからだ、という風に説明できるだろう。

以上を踏まえて、関連性の誤謬が避けられるべきものだということを受け入れるなら、妥当な推論が満たすべき1つの条件は「前提と結論の間に何か共通の内容がある」ということになる。このスローガンを形式的な論理体系に適用できるように定式化するのは難しいが、多くの場合以下のような規準が用いられる。

関連性の規準

「全ての妥当な推論について、前提と結論が共通の命題変項を含む」ような論理を、関連性論理(relevant logic)という。

原因と対策

冒頭で述べた通り、関連性の規準を満たす論理として今回はFDEを扱う。形式的な定義を述べる前に、まずはなぜ古典論理では関連性の誤謬が起こってしまうのか、そしてFDEはそれをどう直そうとしているのか、大まかな方針について説明する。

ただし、以下の説明は私が「こう解釈して書くと分かりやすそう」と思って書いているだけで、歴史的経緯などを踏まえたものではないことに注意されたい。

原因

当たり前に思われるかもしれないが、なぜ古典論理では排中律・爆発律が妥当になるのかを丁寧に確認してみよう。

古典論理における排中律・爆発律の妥当性

まず、$A\vDash B$の定義は以下のとおりである (論理式に$0,1$の真理値を割り当てる関数$\intpr{-}_v$は通常通り帰納的に定義されるものとする)。
$$ A \vDash B \defiff \Forall v:付値.~\intpr{A}_v=1\implies \intpr{B}_v=1 $$
ここで$\implies$は「前提が真ならば結論が真」ということである。これは「前提が偽または結論が真」ということであるから[1]、以下が成り立つ。

  • $\intpr{A}_v=1$$\intpr{A}_v=0$が成り立ち、後者の場合$\intpr{\lnot A}_v=1$なので、いずれにせよ$\intpr{A\lor\lnot A}_v=1$である。よって、$\intpr{B}_v$の値に関係なく、$\intpr{B}_v=1 \implies\intpr{A\lor\lnot A}_v=1$が成り立つ。
  • $\intpr{A\land\lnot A}_v=1$を仮定すると、$\intpr{A}_v=1$かつ$\intpr{A}_v=0$となり、矛盾する。よって$\intpr{A\land\lnot A}_v=0$である。よって、$\intpr{B}_v$の値に関係なく、$\intpr{A\land\lnot A}_v=1 \implies\intpr{B}_v=1$が成り立つ。

以上の妥当性の導出において中心となる$\intpr{-}$の性質は、以下のようなものである。

  1. 任意の論理式$A$について、$\intpr{A}=1$$\intpr{A}=0$のうちいずれか一方だけが成り立つ。
  2. 任意の論理式$A$について、$\intpr{\lnot A}=1 \iff \intpr{A} = 0$

前者は$0,1$という真理値の振る舞いに注目している一方で、後者は$\lnot$という論理結合子の挙動を見ている、と言えるだろう。$\intpr{A}=1$とは「$A$が真である」ということなので、これを以下のように言い換えておこう。

2つの仮定
  1. 真理値に関する仮定: 任意の論理式は、真または偽のいずれか一方だけになる。
  2. 否定に関する仮定: 任意の論理式について、それが偽になることと否定が成り立つことは同値である。

以下では、それぞれの仮定に注目することで、関連性の誤謬を回避する「対策」を考える。

対策1: 真理値を増やす

「真理値に関する仮定」を2つに分解すると、以下のようになる。

  • 論理式が真にも偽にもならない、ということはない
  • 論理式が真かつ偽になる、ということはない

このうち前者を退ける最も簡単な方法は、論理式が「真でも偽でもない」状態になることを認めることである。同様に、後者を棄却したければ「真でも偽でもある」という状態を認めればよい。このように考えると、以下2×2=4通りの候補がありうることになる。

  • $\t$: 真であり偽ではない(true only)
  • $\f$: 偽であり真ではない(false only)
  • $\b$: 真かつ偽である(both true and false)
  • $\n$: 真でも偽でもない(neither true nor false)

これら4つを真理値にとるように付値の定義を変えよう、というのが第一の対策である[2]。なお、$\b$は真理値の過剰(glut)$\n$は真理値の隔たり(gap)と言われる。

対策2: 否定の内包化

「否定に関する仮定」について考えるために、排中律を非妥当とする直観主義論理(intuitionistic logic)における否定の定義を取り上げてみよう。直観主義論理のクリプキ・モデルによる意味論では、状態(ないし可能世界)の間の遷移関係$\leq$を考えて、「モデル$\M$の状態$x$$\lnot A$が真である」を以下のように定める(詳細は省略)。
$$ \M,x\vDash \lnot A \defiff 任意のx\leq yとなるy\in Wに対して、\M,y\nvDash A $$
ここで大事なことは、「ある状態における$\lnot A$の真偽は、その状態だけから決まるとは限らない」ということである。すなわち、
$$ \M,x\vDash\lnot A ~\not\Leftrightarrow~ \M,x\nvDash A $$
要は、命題の否定が真であることが、それが偽であることと同値ではなくなっているのである。この点から、直観主義論理の$\lnot$は否定に関する仮定を破っていると見ることができる。

では、何がこのような相違を生み出しているのだろうか?古典論理では、真理値は1つの関数$\intpr{-}$によってのみ定まったが、直観主義論理では真理値を状態ごとに考え、特定の演算子の真理値が他の状態を参照して決まることを許容する。このような演算子を内包的である(intensional)ということにする(一方で、普通の真理値上の関数として定まるような演算子を外延的である(extensional)という)。否定に関する仮定を棄却するキーは、$\lnot$を内包的な演算子として定義することにあると考えられる。

では、このアイデアをもっと単純化するとどうだろうか。「別の状態」をとりあえず参照すればよいのなら、各状態$x$に対応する$x^\ast$を予め用意しておいて、次のように否定を定義できるような気がしてくる。
$$ \M,x\models\lnot A \defiff \M,x^\ast\not\models A $$

実は、このような単純な定義により関連性の誤謬を回避できるモデルを作ることができる。これが第二の対策の基本的なアイデアである。なお、この$\ast:W\to W$には(Routleyの)スター関数(star function)という名前が付いている。

FDEの2つのモデル

前節の導入をもとに、以下ではFDEを定める2つのモデルを定義する。FDEの言語は命題変項の加算無限集合$\PV$$\land,\lor,\lnot$からなるものとし、これらにより帰納的に構成される論理式の集合を$\Fml$とする。なお、含意は$A\to B \defeq \lnot A\lor B$と定める。

4値モデル

先述のように真理値の過剰・隔たりを考慮して、4つの真理値を取るような付値によって妥当性を定義していく。まずは、真理値の間の演算を定義する。

真理値演算

$V_4=\qty{\t,\f,\b,\n}$とし、$V_4$上で以下のように演算を定める。
$$ \begin{array}{c|c} f_\lnot &\\ \hline \t & \f\\ \f & \t\\ \b & \b\\ \n & \n \end{array} \quad \begin{array}{c|cccc} f_\land & \t & \f & \b & \n \\ \hline \t & \t & \f & \b & \n \\ \f & \f & \f & \f & \f \\ \b & \b & \f & \b & \f \\ \n & \n & \f & \f & \n \end{array} \quad \begin{array}{c|cccc} f_\lor & \t & \f & \b & \n \\ \hline \t & \t & \t & \t & \t \\ \f & \t & \f & \b & \n \\ \b & \t & \b & \b & \t \\ \n & \t & \n & \t & \n \end{array} $$

$\t,\f,\b,\n$の直観的な「意味」を考えると、この定義は理解しやすい。また、$\t,\f$の部分だけ見れば古典論理の真理値表と同じである。

モデルは付値のこととし、妥当性は「真であること」($\t$or$\b$)を基準に定める。

4値モデル・妥当性

FDEの4値モデルは、以下のような関数$v$で与えられる。

  • $v:\PV\to V_4$
  • 付値の拡張
    • $\intpr{p}_v \defeq v(p)$
    • $\intpr{A\land B}_v\defeq f_\land(\intpr{A}_v, \intpr{B}_v)$
    • $\intpr{A\lor B}_v\defeq f_\lor(\intpr{A}_v, \intpr{B}_v)$
    • $\intpr{\lnot A}_v\defeq f_\lnot(\intpr{A}_v)$

このように与えられるモデル全てのクラスを$M_\mathsf{4}$とする。$\Gamma\cup \qty{A}\subseteq\Fml$に対して、推論の妥当性を以下のように定める。
$\Gamma\four A\defiff \Forall v\in M_\mathsf{4}.\intpr{\Gamma}_v\subseteq\qty{\t,\b}\implies \intpr{A}_v\in\qty{\t,\b}$

  • 文脈上明らかな場合は$\intpr{-}_v$の添え字を省略する。
  • $\intpr{\Gamma}$$X$$\intpr{-}$による像を表す。$\intpr{\Gamma}\subseteq\qty{\t,\b}$とは、「任意の$A\in \Gamma$に対して$\intpr{A}\in\qty{\t,\b}$」ということである。

このようなモデルのもとでは、確かに排中律・爆発律は非妥当になる。

排中律・爆発律
  • $B \not\four A\lor\lnot A$
  • $A\land\lnot A\not\four B$

前者だけ示す。$p,q\in\PV$をとり、$v(p)=\n,~v(q)=\t$とする。このとき$$ \intpr{p\lor\lnot p}=f_{\lor}(\n,f_\lnot(\n))=f(\n,\n)=\n $$
であるから、$q\not\four p\lor\lnot p$となる。

妥当な推論もいくつか紹介する(証明は割愛)。

妥当な推論の例
  • $A \lequiv_\mathsf{4} \lnot\lnot A$
  • $\lnot(A\land B) \lequiv_\mathsf{4} \lnot A\lor\lnot A$
  • $\lnot(A\lor B) \lequiv_\mathsf{4} \lnot A\land\lnot A$

最後に、これが関連性論理になっていることを確認しよう。

$\four$により定まる論理は関連性論理である。すなわち、$\Gamma\cup\qty{A}\sube\Fml$について、$\Gamma\four A$ならば$\Gamma$$A$には共通の命題変項が存在する。

概略

まず、$A$に現れる全ての命題変項に$\n$(resp. $\b$)を割り当てるような付値$v$のもとでは、$\intpr{A}_v = \n$(resp. $\intpr{A}_v = \b$)になることが、論理式の構成に関する帰納法によりわかる。

これを用いて、定理の対偶を示す。$\Gamma,A$に共通の命題変項が存在しないならば、$\Gamma$に現れる全ての命題変項に$\b$を、$A$に現れる全ての命題変項に$\n$を割り当てるような付値$v$が存在し、この付値のもとで$\intpr{\Gamma}_v\sube{\b}$だが$\intpr{A}_v=\n$なので、$\Gamma\not\four A$となる。

可能世界によるモデル

否定を内包的な演算子として定義するために、可能世界(状態)ごとに真理値が定まるようなモデルを考える。

可能世界によるモデル・妥当性

FDEの可能世界によるモデルは、以下で定まる組$\M=\tuple{W,\ast,v}$として与えられる。

  • $W$: 非空な集合
  • 関数$\ast:W\to W$であって、$\Forall w\in W.w^{\ast\ast}=w$を満たすもの
  • $v:W\times\PV\to \qty{0,1}$
  • 付値の拡張
    • $\M,w\vDash p \defiff v(w,p)=1$
    • $\M,w\vDash A\land B \defiff \M,w\vDash A\And \M,w\vDash B$
    • $\M,w\vDash A\lor B \defiff \M,w\vDash A\Or \M,w\vDash B$
    • $\M,w\vDash \lnot A \defiff \M,w^\ast\not\vDash A$
  • $\M,w\vDash\Gamma\defiff\Forall A\in\Gamma.\M,w\vDash A$

このように与えられるモデル全てのクラスを$M_\ast$とする。$\Gamma\cup \qty{A}\subseteq\Fml$に対して、推論の妥当性を以下のように定める。
$\Gamma\star A\defiff \Forall \M\in M_\ast.\Forall w\in W.\M,w\vDash\Gamma\implies \M,w\vDash A$

後で示すことだが、このように定まる妥当性$\star$$\four$と等価なので、先ほど4値モデルについて示した性質はこの可能世界によるモデルでも成り立つ。

とはいえ、定義の特徴をつかむために、非妥当な推論の例だけ見ておこう。

排中律・爆発律
  • $B \not\star A\lor\lnot A$
  • $A\land\lnot A\not\star B$

前者だけ示す。以下のようにモデル$\M=\tuple{W,\ast,v}$を定める。

  • $W=\qty{x,y}$
  • $x^\ast = y,~y^\ast = x$
  • $p,q\in\PV$をとり、$v$を次のように定める(他の引数をとる場合は値を0とする)
    • $v(x,p)=0,~v(y,p)=1$
    • $v(x,q)=1$

$$ \begin{xy} (10,0) *+{x}*\frm{o}="w0", (10, 10) *{-p}, (10, -10) *{-\lnot p}, (40,0) *+{y}*\frm{o}="w1", (40, -10) *{+p}, \ar@{<->}^{\ast} "w0";"w1" \end{xy} $$

このとき、$\M,x^\ast\vDash p$より$\M,x\not\vDash\lnot p$であるから、$\M,x\not\vDash p$と併せて$\M,x\not\vDash p\lor\lnot p$となる。一方で$\M,x\vDash q$なので、このような$\M,x$の存在により$q\not\star p\lor\lnot p$となる。

2つのモデルの等価性

以上で定まる2つの妥当性$\four,\star$は、かなり異なる形のモデルによって定義されているが、実際は等価である。非常に粗く言えば、特定の$A\in\Fml$$x\in W$に対して

  • $\M,x\vDash A$であることは$A$が真($\t,\b$)であることと同じ
  • $\M,x^\ast\nvDash A$であることは$A$が偽($\f,\b$)であることと同じ

という対応関係がある。これをきちんと証明しよう。

$\Gamma\four A \iff \Gamma\star A$

$(\Rightarrow)$の対偶を示す。$\Gamma\not\star A$を仮定すると、ある反例となるモデル$\M=\tuple{W,\ast,v}$$w\in W$が存在して、$\M,w \vDash \Gamma,~\M,w \not\vDash A$となる。

このとき、付値$v:\PV\to V_4$を次のように定める[3]

  • $v(p)=\t \iff \M,w\vDash p \And \M,w^\ast\vDash p$
  • $v(p)=\f \iff \M,w\nvDash p \And \M,w^\ast\nvDash p$
  • $v(p)=\b \iff \M,w\vDash p \And \M,w^\ast\nvDash p$
  • $v(p)=\n \iff \M,w\nvDash p \And \M,w^\ast\vDash p$

ここで、任意の$A\in\Fml$について

  1. $\M,w\vDash A \iff \intpr{A}\in\qty{\t,\b}$
  2. $\M,w^\ast\vDash A \iff \intpr{A}\in\qty{\t,\n}$

となることを、$A$の構成に関する帰納法で示す。

  • $A=p\in\PV$の場合: 定義より成立

  • $A=B\land C$の場合: (1)の方のみ示す((2)は同様に示せる)
    $$ \begin{align*} \M,w\vDash B\land C &\iff \M,w\vDash B \And \M,w\vDash C\\ &\iff \intpr{B}\in\qty{\t,\b} \And \intpr{C}\in\qty{\t,\b}\quad(\because~帰納法の仮定(1))\\ &\iff \intpr{B\land C}\in\qty{\t,\b} \end{align*} $$

  • $A=B\lor C$の場合: $\land$の場合と同様

  • $A=\lnot B$の場合: (1)の方のみ示す((2)は同様に示せる)
    $$ \begin{align*} \M,w\vDash \lnot B &\iff \M,w^\ast\nvDash B\\ &\iff \intpr{B}\notin\qty{\t,\n} \quad(\because~帰納法の仮定(2))\\ &\iff \intpr{B}\in\qty{\f,\b}\\ &\iff \intpr{\lnot B}\in\qty{\t,\b} \end{align*} $$

この補題の(1)と最初の仮定より、$\intpr{\Gamma}\sube\qty{\t,\b},~\intpr{A}\notin\qty{\t,\b}$となるので、$\Gamma\not\four A$が成り立つ。

$(\Leftarrow)$もほとんど同様に示されるので、概略だけ説明する。$\Gamma\not\four A$とするような反例の付値$v$を用いて、以下のようにモデル$\M=\tuple{W,\ast,\overline{v}}$を定める。

  • $W=\qty{x,y}$
  • $x^\ast = y,~y^\ast = x$
  • $\overline{v}$を以下のように定める
    • $\overline{v}(x,p) = 1 \iff v(p)\in\qty{\t,\b}$
    • $\overline{v}(y,p) = 1 \iff v(p)\in\qty{\t,\n}$

先ほどの補題と同様、命題変項における対応関係は論理式全体へと拡張され、これにより$\Gamma\not\star A$が示される。

2つのモデルの相違点

等価であるにもかかわらず、なぜ複数モデルの定義があるのか?と疑問に思われる方もいるかもしれない。この背景には歴史的な経緯がある。当初、これらのモデルはそれぞれ別の派閥によって研究されていた。4値モデルは北米で発展した一方、可能世界によるモデルはオーストラリアで盛んに研究された(らしい)。このため、関連性論理に対するアプローチとして、前者はAmerican plan・後者はAustralian planといわれる。

このような経緯で、2つのモデルには相反する長所・短所がある。4値モデルでは複合式に対する付値を簡単かつ直観的に与えられるが、可能世界によるモデルでは付値を定義する際に「スター関数」というよく分らないモノに訴えることになる。一方、後者のモデル論では、可能世界がなす構造に課す制約を調整することで、様相論理における対応理論と同様に、妥当になる論理式を細かく調整することができる。この点では4値モデルは単純すぎ、やや見劣りする。さらに、4値モデル上では含意$\to$をうまく定義することが難しいという問題もある。

という感じで一長一短であり、これらを併せて「4値可能世界モデル」を提案するような研究すらあるようだが、これ以上は本稿の射程を超えるので、この辺にしておく。

FDEの限界

関連性の規準を満たす論理ができたからヨシ!、としたいところだが、FDEにも問題は残っている。FDEは否定$\lnot$の絡む問題についてはうまく対応できるかもしれないが、その他の結合子の扱いに弱点がある。

含意にまつわる問題

まず、含意$\to$に問題がある。FDEでは「ならば」が$A\to B = \lnot A\lor B$と定義されるが、このような含意だと、望ましくない推論が妥当になったり、成り立ってほしい推論が妥当にならなかったりする。

実質含意のパラドックス

まず、FDEでは以下の推論が妥当になる ($\four,\star$は同じことなので、以下では統一して$\fde$と書く)。

  • $A\fde B\to A$
  • $\lnot A\fde A\to B$
  • $A\fde \lnot A\to B$

どれも関連性の誤謬を犯しているわけではないが、冒頭の例と同様、自然言語にすれば「ならば」の使い方としておかしいことがわかる。これらは、古典論理流の$\lnot A\lor B$で定義された含意に伴う問題ということで、実質含意のパラドックス(paradox of material implication)と言われる。

これはある意味で、「偽からはなんでも結論できる」「どんな前提からでも真を結論できる」という爆発律・排中律と同様の問題であるとも捉えられる。これまでは$\four,\star$というメタレベルの記号について議論していたが、話が$\to$という対象レベルに移ったわけである。

modus ponensの不成立

一方で、FDEでは以下のように、modus ponens($\to$の除去則)が成り立たない。modus ponensは非常に基本的な推論であり、流石にこれは成り立ってほしいだろう。

$A,A\to B\not\fde B$

というわけで、$A\to B$を単に略記とするのではなく、独立に意味の与え方を考えることで、含意固有の事情を考慮する必要がある。

典型的な関連性論理では、FDEの否定と同様、含意を「内包化」する(別の可能世界・状態を参照して真理値が定まる演算子とする)ことになるが、詳細な定義を説明すると長くなるので割愛する。

選言にまつわる問題

含意を実質含意として定義することをやめたとしても、もとの$\lnot A\lor B$の方ではmodus ponensに相当する推論は非妥当である。すなわち、

  • $A,\lnot A\lor B\not\fde B$
  • $\lnot A,A\lor B\not\models B$

実際、FDEの立場からすれば、$A$が成りたったとしても$\lnot A$の成立は排除されない(両方が真になりうる)ので、$B$とは結論できない。2つ目も同様である。

しかし、これらの推論形式は選言三段論法(disjunctive syllogism)とよばれ、現代的な数理論理学ができる前から妥当とされてきた由緒正しい推論である。そして実際、私たちは日常的にこのような推論をしている。例えば、Aさんは夕方には職場にいるか家にいるかのどちらかであるとして、Aさんが家にいないことを確認したら、「ああじゃあ今は職場かな」と推論するのは至極もっともなことだろう。

ということで、選言三段論法を捨てるのは惜しい。関連性論理を擁護する立場から可能な1つの応答は、真理値上の関数で定まる$\lor$とは別に、選言三段論法が成り立つ「または」を考えればよい、ということである。例えば$\mathbf{R}$という関連性論理の体系では、含意$\to$を使って「$A$でないならば$B$」として定義される「$A$または$B$」がある。

$$ A \bullet B \defeq \lnot A\to B $$

このような「または」はいったい何者なのだろうか?まず、$\to$は実質含意のパラドックスを回避できるように定義されるため、$A$(または$B$)が成りたったとしても$A\lor B$が真になるとは限らない。一方で、$\lnot A$$\lnot B$が両方成り立つと$\lnot (A\bullet B)$となる。これは単なる真理値上の関数として定義される$\lor$の振る舞いに対照的である($A$から$A\lor B$が帰結するが、$\lnot A$$\lnot B$が両方成り立っても$\lnot(A\lor B)$は必ずしも帰結しない)[4]

このような$\bullet$を適切に解釈するためには、「$A$$B$がともに否定される可能性はない」という様相(modality)を含んだ読み方をするとよい。「可能性」の話をしているわけだから、$A$$B$の一方が現実に成り立っていたとしても、このような「または」を主張することはできない。一方で、現に$\lnot A$$\lnot B$が成り立つことが分かったら、「可能性はない」とは言い切れない(反例があることになる)ので、$\lnot (A\bullet B)$となるだろう。このように「可能性」や「必然性」を解釈に含むという点から、$\bullet$内包的選言(intensional disjunction)と呼ばれる(対して、$\lor$外延的選言(extensional disjunction)といわれる)[5]。テクニカルな定義としても、$\mathbf{R}$では$\to$が内包的な演算子とされるので、$\bullet$の真理値は別の状態・世界を参照して定まることになる。

とはいえ、自然言語における「または」を外延的に読むか内包的に読むかは難しい問題であり、そもそもこのような区別など存在しないと批判する論者もいる。また、これら2つの違いは論理学という言葉通りの意味を扱う分野ではなく、文脈や状況との関係により決まる語用論(pragmatics)的なレベルで議論されるべきだとする人もいる。さらに、排他的選言(exclusive disjunction)という別の「または」もあることが知られており、内包的選言を導入しただけで全て解決、というわけではなさそうである。

とはいえ、モデルを細かく設定することで、現実の推論に関する現象をこれまでよりは「うまく」説明できるようになりそうだ、とは言えるだろう。人間の行う推論活動の一見して「曖昧」で「ふわふわ」した側面を、このように形式的に捉えられるのが関連性論理の魅力の一つと思われるのだが、いかがだろうか。


長くなってしまったので、まとめに入ります。古典論理に対する批判として関連性の誤謬に注目したものがあり、FDEはこの問題を解決しようと試みる論理体系です。そして、FDEには4値モデルと可能世界によるモデルという、等価な2種類のモデル論があることを紹介しました。そして最後に、FDEでは含意や選言に関する問題が指摘されうることを観察し、「内包化」した演算子を考えることで対応できる可能性があることが分かりました。

そして先述の通り、FDEにはなかった内包的な含意・選言を扱う体系として関連性論理$\mathbf{R}$があります。これに対するモデル論としては、RoutleyとMeyerによるものが有名で、FDEの可能世界によるモデルにさらなる構造を加えたものになっています。詳細を知りたい方は、大西『論理学』の第11章以降や、Priestの教科書の10章を参照してください。




[1]: ここに引っかかる方がいるかもしれないので補足をしておく。この説明では最終的に関連性の誤謬の原因を$\intpr{-}$の性質というモデルの定義に帰着させているが、この段階で$P\implies Q$を「$P$でないまたは$Q$」と古典論理の「ならば」(実質含意)で読んでしまっていることがパラドックスの原因だ、と主張することもできそうなものである。しかし、ここでは落ち着いて区別をする必要がある。いま分析している「$\lnot A$」や「$A\to B$」に出現する論理結合子は、形式言語の体系、すなわち「対象レベル」に属する記号である一方、$\implies$はそのような体系について外側から議論する際に私たちが使う「メタレベル」に属する言葉である($\TeX$での見栄えを良くするために後者も記号にしているだけである)。形式的な論理学が$\intpr{-},\vDash$などの数学的な道具で意味の定義を与えるのは前者の対象レベルの言語であって、ここでメタレベルの$\implies$の「定義」について議論しようとすると、2つのレベルの境界が曖昧になってしまう。数学的に論理を扱う際にはこれらを区別しないと混乱が生じる。また、現代の数学では、メタ論理は基本的に古典論理とされる(もちろん構成主義数学などそうではない立場はたくさんあるが)。以上が、$\implies$を古典論理的に扱っていることをパラドックスの原因としなかった理由である。
とはいえ、疑問は残る。形式的な論理学は、自然言語の「かつ」「または」といった論理的な言葉を記号にして分析しているわけであるが、これら2つのレベルを区別するとなると、「私たちが使っている論理の正しさ・妥当性」を最終的に保障するのはいったい誰なのかという問題が出てくる。論理法則を正当化しようとさらなる「上位の」法則に訴えるとキリがない(無限後退する)という問題は「ルイス・キャロルのパラドックス」として知られている。これ以上は論理学の哲学(philosophy of logic)の問題になるので本稿では触れないが、興味のある方には読みやすい入門書として 飯田隆(2016)『規則と意味のパラドックス』(ちくま学芸文庫)をオススメする。

[2]: 数学的には付値の値域を2元集合から4元集合に変えるだけなので大した手間ではないが、真理値というものがこのような状態をとることが本当に正当化されるかどうかについては、「真理」に関する哲学的な議論が必要である。真理値の隔たりを認める立場としては、「真理」概念を「主張可能性」ないし「証拠の有無」に帰着させるものがある(マイケル・ダメットの反実在論など)。このような立場からすれば、「まだ真とも偽とも主張できない(証拠がないから)」という状況は自然なものとして受け入れられる。一方で、真理値の過剰を認める立場は、真なる矛盾を容認するという意味で真矛盾主義(dialetheism)とよばれ、現代の論理学の哲学ではグレアム・プリーストなどが有名だが、古代のインド思想にもこのような考えが見られるらしい。

[3]: $w\neq w^\ast$とは限らないが、もし$w=w^\ast$なら$v$$\b,\n$を値に取らなくなるだけであり、この後の証明に影響はない。

[4]: ここで「両方成り立つと」と自然言語で書いたのは、$\lnot A\land \lnot B\vDash\lnot(A\bullet B)$​というわけではないからである。関連性論理においては、「複数の前提を併せる」ような「かつ」には、内包的連言$\circ$​という別の演算子が使われる。が、本稿の解説の範囲外になるので、このように説明を簡略化している。なお、モデルに対して適当な制約を課せば、確かに$\lnot A\circ\lnot B\vDash\lnot(A\bullet B)$​となる。さらにこの逆も成り立つので、内包的連言・選言の間にはド・モルガン律が成立することになる。

[5]: 計算機科学や数理論理学の分野に触れたことがある方は、これを見て線形論理(linear logic)における加法的・乗法的な論理結合子の区別のことを想起したかもしれない。関連性論理の演算子とこれらは厳密に一致しているわけではないが、どちらの論理もある種の部分構造論理(substructural logic)であり、証明論における構造規則の一部を却下する点が共通している。

参考文献

[1]
Restall, G., Negation in Relevant Logics (How I Stopped Worrying and Learned to Love the Routley Star), What is Negation? (Applied Logic Series, 13), 1999
[2]
Graham Priest, An Introduction to Non-Classical Logic, Second Edition: From If to Is, Cambridge University Press, 2008
[3]
大西琢朗, 論理学, 3ステップシリーズ, 昭和堂, 2021
投稿日:2022430
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

⊥
24
7791

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中