И́МЯ

И́МЯ в ло­ги­ке, вы­ра­же­ние ес­те­ст­вен­но­го или фор­ма­ли­зо­ван­но­го язы­ка, обо­зна­чаю­щее пред­мет (соб­ст­вен­ное, или еди­нич­ное, И.) или класс, мно­же­ст­во пред­ме­тов (на­ри­ца­тель­ное, или об­щее, И.). От­но­ше­ние ме­ж­ду И. и обо­зна­чае­мым им объ­ек­том, на­зы­вае­мое от­но­ше­ни­ем име­но­ва­ния, яв­ля­ет­ся пред­ме­том ло­ги­ко-се­ман­тич. ана­ли­за. Обо­зна­чае­мый (на­зы­вае­мый) И. пред­мет или класс, по тер­ми­но­ло­гии тра­диц. ло­ги­ки, есть объ­ём (экс­тен­сио­нал) по­ня­тия, «но­ся­ще­го» это И. В совр. ло­ги­ко-се­ман­тич. кон­цеп­ци­ях, при­дер­жи­ваю­щих­ся тер­ми­но­ло­гии Г. Фре­ге – А. Чёр­ча, этот пред­мет (класс) на­зы­ва­ют де­но­та­том дан­но­го И. или его зна­че­ни­ем, от­ли­чая эту объ­ём­ную ха­рак­те­ри­сти­ку И. от со­дер­жа­тель­ной (ин­тен­сио­наль­ной), пред­став­ляю­щей со­во­куп­ность ха­рак­те­ри­зую­щих дан­ное И. при­зна­ков и на­зы­вае­мой его смыс­лом (ин­тен­сио­на­лом; по тра­диц. ло­гич. тер­ми­но­ло­гии – со­дер­жа­ни­ем дан­но­го по­ня­тия). Фор­ма­ли­зо­ван­ные язы­ки стро­ят­ся обыч­но так, что де­но­тат есть од­но­знач­ная функ­ция смыс­ла (в ес­теств. язы­ках это ус­ло­вие мо­жет и на­ру­шать­ся), но не на­обо­рот. Уз­кая трак­тов­ка язы­ко­вых вы­ра­же­ний толь­ко как И. при­во­дит к ан­ти­но­ми­ям от­но­ше­ния име­но­ва­ния, ана­лиз ко­то­рых дан Р. Кар­на­пом. По­пыт­ки бо­лее аде­к­ват­но учесть мно­го­об­ра­зие свя­зей язы­ка с дей­ст­ви­тель­но­стью (не­сво­ди­мые толь­ко к от­но­ше­нию име­но­ва­ния) пред­при­ня­ты в ло­ги­ко-се­ман­тич. кон­цеп­ци­ях Л. Вит­ген­штей­на, К. И. Льюи­са, в т. н. неф­ре­гев­ских ло­ги­ках. См. так­же Ло­ги­че­ская се­ман­ти­ка.