Словарь логики

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