3. Логика и релейные устройства.

4. Понятие имени. Содержание и объем имени.

Имена – необходимое средство познания и общения. Обозначая предметы и их совокупности, имена связывают язык с реальным миром.

Имена естественны и привычны, как те вещи, с которыми они связаны. Настолько естественны, что когда-то они казались принадлежащими самим вещам, подобно цвету, тяжести и другим свойствам.

Содержание имени – это совокупность тех свойств, которые присущи всем предметам, обозначаемым данным именем, и только им. Например: содержание имени «стул» составляют свойства «быть предметом мебели, предназначенным для сидения» и «иметь ножки, сиденье и спинку». Этими свойствами, относящимися к функциям стула и его строению, обладает каждый стул и не обладает ничто иное. Если изъять из числа структурных частей стула, скажем, спинку, получим содержание уже иного имени («табурет»). В содержание имени «стол» входят признаки «быть предметом мебели, предназначенным для сидения за ним» и «иметь ножки и крышку».

Помимо содержания, или смысла, имя имеет также объем.

Объем имени – это совокупность, или класс, тех предметов, которые обладают признаками, входящими в содержание имени.

Например, объем имени «стул» включает все стулья, объем имени «стол» – все столы. Нетрудно заметить, что объемы даже таких простых имен, как «стул» и «стол», являются неопределенными, размытыми, а значит, сами эти имена относятся к неточным.

5. Виды имен.

Единичные и общие имена. Предметными значениями единичных имен являются отдельные предметы («Волга», «Сократ», «естественный спутник земли», «самая высокая гора в мире»), т.е. единичное имя обозначает один предмет. Общее имя является знаком произвольного, любого предмета из некоторого класса предметов (является общим для предметов определенного класса) и в силу этого как знак представляет в нашем мышлении именно данный класс, который и считается предметным значением общего имени («река», «человек», «небесное тело»).

В классе общих имен выделяют универсальные, т.е. такие общие имена, объемом которых является весь универсум рассуждения.

Описательные и неописательные имена. Как общие, так и единичные имена делятся на описательные (сложные) и неописательные (простые). Простыми (неописательными) являются имена, которые не имеют собственного смысла и могут иметь лишь приданный смысл («Эверест», «гора», «река», «Волга»). Сложными (описательными) являются имена, которые имеют собственный смысл («самая большая река в Европе», «плоская, замкнутая, ограниченная тремя сторонами фигура»).

Действительные и мнимые имена. По отношению к данному универсуму (реальности, множеству) имена подразделяются на действительные, обозначающие предметы из данного универсума, и мнимые, обозначающие предметы, не входящие в данный универсум.

6.Отношения между именами по объему и содержанию

Имена находятся в различных отношениях друг к другу. Между объемами двух произвольных имен, которые есть какой-то смысл сопоставлять друг с другом, имеет место одно и только одно из следующих отношений: равнозначность, пересечение, подчинение (два варианта) и исключение.

Равнозначными являются два имени, объемы которых полностью совпадают. Иными словами, равнозначные имена отсылают к одному и тому же классу предметов, но делают это разными способами.

Равнозначны, к примеру, имена «квадрат» и «равносторонний прямоугольник»: каждый квадрат является равносторонним прямоугольником, и наоборот.

Равнозначность означает совпадение объемов двух имен, но не их содержаний. Например, объемы имен «сын» и «внук» совпадают (каждый сын есть чей-то внук и каждый внук – чей-то сын), но содержания их различны.

Отношения между объемами имен можно геометрически наглядно представить с помощью круговых схем. Они называются по имени математика XVIII в. Л. Эйлера «кругами Эйлера». Каждая точка круга представляет один предмет, входящий в объем рассматриваемого имени. Точки вне круга представляют предметы, не подпадающие под это имя.

О тношение между двумя равнозначными именами изображается в виде двух полностью совпадающих кругов.

В отношении пересечения находятся два имени, объемы которых частично совпадают.

П ересекаются, в частности, объемы имен «летчик» и «космонавт»: некоторые летчики являются космонавтами (они представлены заштрихованной частью кругов), есть летчики, не являющиеся космонавтами, и есть космонавты, не являющиеся летчиками.

В отношении подчинения находятся имена, объем одного из которых полностью входит в объем другого.

В отношении подчинения находятся, к примеру, имена «треугольник» и «прямоугольный треугольник»: каждый прямоугольный треугольник является треугольником, но не каждый треугольник прямоугольный.

В этом же отношении находятся имена «дедушка» и «внук»: каждый дедушка есть чей-то внук, но не каждый внук является дедушкой. «Внук» – подчиняющее имя, «дедушка» – подчиненное.

Если в отношении подчинения находятся общие имена, то подчиняющее имя называется родом, а подчиненное – видом. Имя «треугольник» есть род для вида «прямоугольный треугольник», а имя «внук» – род для вида «дедушка».

В отношении исключения находятся имена, объемы которых полностью исключают друг друга.

И сключают друг друга имена «трапеция» и «пятиугольник», «человек» и «планета», «белое» и «красное» и т.п.

Можно выделить два интересных вида исключения:

1. Исключающие объемы дополняют друг друга так, что в сумме дают весь объем рода, видами которого они являются. Имена, объемы которых исключают друг друга, исчерпывая объем родового понятия, называются противоречащими.

Противоречащими являются, например, имена «умелый» и «неумелый», «стойкий» и «нестойкий», «красивый» и «некрасивый» и т.п. Противоречат друг другу также имена «простое число» и «число, не являющееся простым», исчерпывающие объем родового имени «натуральное число», имена «красный» и «не являющийся красным», исчерпывающие объем родового имени «предмет, имеющий цвет», и т.п.

2. Исключающие имена составляют в сумме только часть объема того рода, видами которого они являются. Имена, объемы которых исключают друг друга, не исчерпывая объем родового имени, называются противоположными.

К противоположным относятся, в частности, имена «простое число» и «четное число», не исчерпывающие объема родового имени «натуральное число», имена «красный» и «белый», не и счерпывающие объема родового имени «предмет, имеющий цвет» и т.п.

Круговые схемы могут применяться для одновременного представления объемных отношений более чем двух имен. Такова, к примеру, приводимая на рисунке схема, представляющая отношения между объемами имен: «планета» (S), «планета Солнечной системы» (Р), «Земля» (M), «спутник» (L), «искусственный спутник» (N), «Луна» (О) и «небесное тело» (R). Согласно этой схеме существуют, в частности, небесные тела, не являющиеся ни планетами, ни их спутниками, планеты, не входящие в Солнечную систему, спутники, не являющиеся искусственными, и т.д. Объемы единичных имен представляются точками.