グロ
グロとは、日本語におけるグロテスクの略語である。古代ローマを起源とする異様な人物や動植物等に曲線模様をあしらった美術様式である「グロテスク」が転じて奇怪・異様・不気味な様を指すようになり、日本ではこの意味でグロ、グロいという略語が用いられる。
グルーのパラドックス
グルー(grue)とは、緑を意味する英語グリーン(green)と、青を意味する英語ブルー(blue)から作った言葉で、たとえば、「2050年1月1日までに初めて観察された緑(green)のものと2050年1月1日以降に初めて観察された青(blue)のものを指す言葉」と定義される。グルーは、緑と青の切れ目にどの時点をとるかで無数の定義がありうるが、この言葉は「2050年1月1日までは緑、2050年1月1日以降は青を意味する言葉」と定義されたわけではないので、時間経過によって変化するような定義を与えたわけではない。このとき「エメラルドは緑である」という命題について考えると、2000年の段階でわれわれが持つ証拠はすべて、同時に「エメラルドはグルーである」という命題の証拠でもあることから、この2つの命題は同じくらい強く検証されている。しかしながら、2050年以降に初めて観察されるエメラルドがどういう色を持つかについてはこの2つの命題はまったく異なる予測をすることになる。