チャールズ・サンダース・パースによる記号の要素とクラス
それで、すべての思考は時間がかかる、すべての思考は記号の中にあると、パースは主張した。
いうならば、思想は即座に生じるのではない。思想は時間を必要とする。別な言い方をすれば、あらゆる思想は別のものの中で解釈されなければならない。あるいは、すべての思想は記号の中にある。 (Peirce, 1868)
思考は必ずしも脳とつながっているわけではない。蜂や結晶の働きや、純粋な物理的な世界全体を考えてみても、諸々の対象がそこにあり、色や形があるのと同様に、そこに思考が実在していることは否定できないだろう。このことを不当にも否定することに固執するならば、フィヒテに類似したある種の観念的唯名論に行き着くことになる。すなわち、思考は有機的な世界のものであり、そこにのみ発達する。「一般」が具体化する実例がなければあり得ないように、思考は記号がなければあり得ない。ここでの記号には非常に広い意味を与えてはいるが、定義の枠内に納まらないほど広すぎる訳ではない。互いに連結した記号が「擬似的な精神」のようなものを持つことを認めるならば、孤立した記号はあり得ないことがさらに断言出来るだろう。そしてさらに、記号は少なくとも二つの擬似的精神が必要となる。つまり擬似的発言者と、擬似的解釈者である。そしてこれらの二つは、記号それ自身として、一つのもの(ひとつの精神)の中にあり、しかし明確に区別されうるものである。言わば、記号の中に、これら二つは埋め込まれている。このように、あらゆる思考が論理的に展開するためには対話的であるべきだということは、人間心理学の事実に関しても、論理学の必然性についても当てはまる。 (Peirce, 1906 )
記号関係とは、存在そのもののあり方ではなく、関係の中での存在のあり方である。つまり、それ自身としてではなく、他のものに対するなんらかの関係である。記号の役割は、以下の3項の内の1つの役割を構成している:すなわち、対象、記号、解釈項の3項である。この三項関係はこれ以上には還元できない。事物がなかったとしても、三つの役割は区別される。役割は3つだけである。ある対象の記号は、解釈項を導く。解釈項は記号としてさらなる解釈項を導く。いろいろな関係において、同じ事物が、記号であったり、記号論的な意味での対象であったりする。記号とは何かという問いは、記号関係の概念に依存している。さらに、その記号関係は、三項関係の概念に依存している。そうすると、今度は関係そのものの概念に依存することになる。パースは、関係の非還元性という数学的思想に基づいて、二項的・三項的・四項的な関係を考えている。パースのReduction Thesis によれば、(a)三項関係が必然的である。なぜなら、真正の三項関係は単項的や二項的な修飾句では完全には分析できないから。さらに(b)三項で十分である。なぜなら、三項以下の関係性に還元可能でないような真正の四項的もしくはさらに多項的な関係は存在しないからである。パースや他の研究者、特にロバート・バーチ(1991年)、およびヨアヒム・ヘレス・コレイアとラインハルト・ポッシェル(2006年)はReduction Thesis に対する証明を示している。パースによれば、真正の単項関係の述部は典型的には性質を表現する。
例えば、解釈項は、対象によって表象されるなんらかのものを、単に示すだけではなくて、対象を表象する記号として、解釈項がなんらかのものを表象する。これがまさに情報的な決定関係である。つまり単なる決定論な表現よりもより多くのなんらかのものを示すことになる。パースは、determine という単語を厳密に決定論的意味で使うのではなく、特定もしくは bestimmtの意味で使った。そこには、影響のような、測定上の変異も含まれている。パースは記号-対象-解釈項を、表象の観念によってではなく、三項の決定様式によって、定義するようになった。というのも、表象自体が、定義されるべきことの部分であるからである。対象は、また別の記号(つまりは解釈項)を決定することによって、記号を決定する。そして、解釈項は、記号が対象を関係付けるのと同様のやり方で、対象を関係付ける。このことによって、解釈項は、対象に対する記号として機能するとともに、さらに別の解釈項記号を決定する。このプロセスが、論理的に構造化されて連続的に続くことにより、記号・対象・解釈項を一般的に決定するものとなる。記号過程において、あらゆる記号は、解釈項が前後に広がった連鎖となっている。情報や論理の決定関係は対象・記号・解釈項を限定するものであり、因果論的または物理的な決定関係のような特殊な場合よりも、さらに一般的なものである。一般的には、記号関係の項目のひとつに関するなんらかの情報は、他の項目に関する何かを伝えるものである。もちろん、この情報の実際量は、ある種の記号関係では、ゼロで有る場合もあるのだが。