ИМЯ (в логике)

— выражение языка, обозначающее нек-рый предмет, понимаемый в самом широком смысле — как все, что мы можем назвать, а не только как материальный объект. В логической семантике обычно рассматривается т. наз. “семантический треугольник”: 1) имя; 2) предмет, обозначаемый им (денотат, или десигнат); 3) смысл имени (Значение и смысл). В отличие от обычного словоупотребления совр. логика рассматривает в качестве имен не только термины (слова), но и предложения. Денотатом термина считается обозначаемый им объект, смыслом термина — выражаемое им свойство. Денотатом предложения считается его значение истинности (т. е. истина или ложь), смыслом — выражаемое им суждение.