代示
個体代示はさらに、離散的代示(suppositio discreta)、確定代示(suppositio determinata)、単に渾然一括的な代示(suppositio confusa tantum)、周延・分配的かつ一括渾然的な代示(suppositio confusa et distributiva)に分類される。1966年にT・K・スコットが、個体代示の下位分類の多様性は他の代示の多様性とは明らかに別の問題だから、個体代示の下位分類に関する中世の論争には独立した名前を付けるべきだと主張した。個体代示の下位分類の多様性を「代示の様態 modes of supposition」と呼ぼうと彼は提案している。
中世の論理学者たちは項辞が離散的に代示する場合、確定的に代示する場合、渾然一括的に代示する場合、周延・分配的かつ渾然一括的に代示する場合のそれぞれを決定するための精妙な一揃いの統語規則を提出した。だから例えば否定的な命題や全称的な命題の主辞は確定的に代示しているが、単称的な主張の主辞は離散的に代示しており、一方肯定的な命題は渾然一体的かつ確定的に代示しているということになる。リクマースドルフのアルベルトは項辞がどのタイプの個体代示を使っているかを決定する15の規則を提出した。さらに中世の論理学者たちは個体代示のタイプを決定する統語規則の詳細について論争するということはなかったようだ。
」という意味ではないし、まして「All coffee cups are this cup, and all coffee cups are that cup, and ...」という意味でもない。一方、世界中に一つのcoffee cupしかないようになってしまった場合には、「All coffee cups are that cup」という文が正しいことになる。そのため、「All coffee cups are that cup」ならば「All coffee cups are cups」であるという推論は妥当である。ここで全体や連結へと遡ることはできないが「全体から下っていくこと」は妥当である。これが「単に渾然一括的な代示」と呼ばれる。
以上は基本的に理論がどう働くかということであって、より困難な問題は実際は、理論が何によるのかということである。マイケル・ルークスのように、全体に遡ったり全体から下ったりする理論は量化詞に真理値を与えるためのものであると主張する批評家もいる。T・K・スコットは、本来的代示の理論は「あなたはどういう種類の物事について話しているのか?」という疑問に答えるために構築されたが個体代示の理論は「あなたはいくつの物について話しているのか」という疑問に答えるための物だったと主張してきた。ポール・スペードは、14世紀までは個体代示の様態の理論は全くもって何のための理論でもなかったと主張してきた。