Abstract

自明ギャグとは、一見正しそうな定義を自明に満たすものの、経験的には非自明である物質を面白がるギャグである。
本記事は、この自明ギャグの定義や基本的構造、面白さの分析、発展について述べ、乱立している自明ギャグについての整理を行うことを試みた。

自明ギャグの定義

自明丼

具体例から始める。
自明ギャグの原点は、

「自明丼」 である。 \( ^1 \)


「丼」を以下のように定義しよう。

さて、この場合具体的にどのようなものが丼になるかを考えると、次のようなことがわかる。


これは丼の定義から自明であるし、　
やや不思議な言い方だが、「最も自明である」丼であろう。
なので、この丼のことを 自明丼 と呼ぶことにする。

このように、

自然そうな定義の条件に対して、ある物体が定義を数学的には自明に満たすが、日常的な感覚からすると極めて非自明であることのギャップを利用したギャグを自明ギャグと呼ぶ。


(ここでの「自明に満たす」という意味合いはかなり厳しくとることが共通見解である。どこまでを自明とするのが一般的かはこの後の「自明ギャグのように見えるが、自明ギャグではないもの」のセクションなどを参照してほしい。)


以下は、自明丼と極めて構造が似通っている自明ギャグの例である。




これらは

• 定義が単一の集合に対して与えられている
• その集合が空集合ならば自明に条件を満たす

というタイプの自明ギャグである。
このようなタイプの自明ギャグは、「自明丼型の自明ギャグ」と呼ばれる。

自明ギャグのように見えるが、自明ギャグではないもの

さて、ここまでで登場した自明ギャグの例をもとに自明ギャグを考える場合、典型的に陥る誤謬をいくつか紹介しておく。

まずは「寿司型の自明ギャグ」である。
以下のようなギャグは、自明ギャグのように見えるが、自明ギャグではないものである。


これは一見自明ギャグのように見えるが、自明ギャグにおいて最も重要である「自明にするために変化する部分」がなんであるかが不明瞭である。
正確に書き直すと以下のようになるであろう。


すると、この場合自明寿司のシャリの上に乗っているのは \( \emptyset \) ではなく「空のオブジェクト」ということになるが、これはネタの集合の元ではない。
したがって、このギャグは自明ギャグではない。
自明丼は最も典型的な自明ギャグのタイプだが、変化する部分が集合となっているかどうかに注意が必要である。

次が、「非自明自明ギャグ」である。
以下のようなギャグについて考えよう。


これは、自明ギャグのように見えるが、非自明自明ギャグと言われるタイプのギャグで、自明ギャグではないと基本的には考えられている。

というのも、これが丼であるかどうかを判定するには、エビの天ぷらが具であるかどうかという議論が必要であり、空集合の場合の「自明度」と比較すれば自明であると言えばないと考えられているからである。

つまり、自明ギャグは、

• 公理
• (vacuous truthのような) 完全に認められていて、広く知られている事実から直ちに従う

レベルの「自明度」が求められており、特に現在は 自明丼に代表されるように空集合などを利用したもののみが認められる 風潮が強い。
とはいえこれでは極めて自明ギャグの幅が狭くなってしまうため、自明ギャグの「自明度」を保っての拡張が考えられている。

自明ギャグの発展

自明丼からの一般化

さて、ここまでは空集合を利用した極めて限定的なギャグのみが認められていたが、現在はこれらの拡張が盛んに研究されている。
代表例は、空列への応用である。
再び具体例から始める。


これは、空集合を空列に変えたのみであり、自明ギャグの一種であると広く認められていて、
「コーデ型の自明ギャグ」と呼ばれている。

コーデ型の自明ギャグは、動作を繰り返す日常の行為をよく表現できるため、非常に活発に開拓されているタイプの自明ギャグである。

対比型の自明ギャグ、最上川型の自明ギャグ

さらに、発展系として極めて自由なタイプの自明ギャグである対比型の自明ギャグと最上川型の自明ギャグがある。
注意点として、


ことに注意が必要である。


まず、対比型の自明ギャグは、条件を満たすものが二つしか存在しない場合にそれぞれを自明/非自明に分類することでユーモアを生み出すギャグである。
例えば、

• 普通の傘を自明傘と呼び、折りたたみ傘を非自明傘と呼ぶ
• 結婚式の挨拶で実の父親を自明親と呼び、義理の父親を非自明親と呼ぶ

というようなものが対比型の自明ギャグと呼ばれる。
これは、もはや自明ギャグの定義からは外れているが、自明というワードが中核概念であるため、このような非自明な命名がなされている。
次に、最上川型の自明ギャグは

• 非自明最上川
• 非自明大谷翔平

のような固有名詞に「非自明」とつけることで理解不能な状況を作り出すギャグである。
これも、もはや自明ギャグの定義からは外れているが、同様に自明というワードが中核概念であるため、このような命名がなされている。

Conclusion

自明ギャグは、自明丼を起源として、現在では様々なタイプの自明ギャグが存在する。
さらに、構造や面白さの理論的分析も進んでおり今後の発展が期待される分野である。
一方で課題としては、このギャグが通じる相手があまりにも限定的であることが知られているため、自明に良いタイミングでの使用が求められている。 \( ^2 \)

---

脚注

\( ^1 \) 丼に定義を入れて、また空集合を認めるというユーモアは http://mugenji.web.fc2.com/kare.pdf がおそらく発祥と思われる。
\( ^2 \) 理系単科大学での使用など。

---