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