可算名詞
Godehard Link(英語版)のような論理学者やManfred Krifka(英語版)のような言語学者の研究に続いて、不可算名詞や量子化などの概念に関して、不可算名詞の区別には正確な数学的定義を与えることができる。
1993年にBarry Scheinによって議論された、複数形論理 (plural logic) と呼ばれる新しい論理的フレームワークは、可算名詞と不可算名詞の意味論を特徴づけるためにも使用されている。