(от лат. suppositio — подкладывание, подмена) — термин, использовавшийся средневековыми логиками для обозначения разных употреблений термина (имени).
В обычном языке один и тот же термин может относиться к предметам различных типов.
1. Он может использоваться для обозначения отдельного предмета соответствующего класса. Это употребление термина в его собственном, или обычном, смысле называется формальной (или естественной) С. Напр., слово «человек» обычно является общим именем множества людей. Говоря «Человек смертен», мы имеем в виду: «Все люди смертны», т.е. «Каждый из людей смертен».
2. Слово может обозначать себя, т.е. использоваться в качестве своего собственного имени. Примером такого употребления слова «человек» служит утверждение: «"Человек" начинается с согласной буквы». Это т.н. материальная С. или роль, слова.
3. В определенном контексте слово может оказаться именем единичного объекта того класса объектов, который обычно обозначается этим словом. Так, слово «человек» обозначает множество людей, но в конкретном случае оно может употребляться для обозначения отдельного человека: мы говорим «Идет человек», подразумевая: «Идет конкретный человек». Такая роль слова называется персональной С.
4. Слово может употребляться для обозначения всего соответствующего класса объектов, взятого как целое. Это — т.н. простая С.Слово «человек» обозначает в ней всех людей, рассматриваемых как некоторое единство: «Человек является одним из видов животных».
Изучение С. терминов важно для предотвращения логических ошибок. Если кто-то обещает говорить по-кит., это может означать как то, что он заговорит на кит. языке (формальная С), так и то, что он начнет монотонно повторять: «По-китайски, по-китайски ...» (материальная С). В рассуждении «Поскольку человек — вид живых существ, а столяр — человек, то столяр — вид живых существ» явно смешиваются персональная и простая С. слова «человек».
В современной логике из многочисленных С. выделявшихся средневековыми логиками, сохранило свое значение различение формальной и материальной С. Все остальные С. слишком громоздки и неточны для того, чтобы ими пользоваться, во многом они опираются на определенную аморфность естественного языка. При построении искусственных (формализованных) языков логики, от которых требуется однозначность, употребление одного и того же термина во многих разных «ролях» способно привести к неопределенности и ошибкам.
Использование слова или иного выражения в материальной С. т.е. в качестве имени самого себя, получило название автонимного употребления выражений. Оно широко распространено в логике и др. науках. Сохранение в одном языке двух «ролей» одних и тех же слов — их формальной и материальной С. — двусмысленно. Но эта двусмысленность часто бывает удобной. Напр., вместо слов «знак импликации» мы можем писать «—>», и эта стрелка является именем самой себя.
Двусмысленностей и непонимания, связанных с путаницей между обычным употреблением слова и его употреблением как своего собственного имени, можно избежать. Для этого используются либо дополнительные слова в формулировке утверждения, либо кавычки, либо курсив. Скажем, кто-то может написать: «Человек состоит из трех слогов». Но чтобы не возникло недоразумения, лучше употребить к.-л. из следующих формулировок: «Слово "человек" состоит из трех слогов», или «"Человек" состоит из трех слогов», или «Человек состоит из трех слогов».