Имена в формальной логике. Имя существительное Вопросы для повторения

1. ПРЕДМЕТ И ЯЗЫК ЛОГИКИ

Логика - это наука, которая исследует структуру мышления, рас­крывает лежащие в его основе закономерности.

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

При логическом анализе язык рассматривается как знаковая сис­тема.

Знак - это материальный объект, используемый для обозначения любого другого объекта. Логика исследует знаки-символы , состав­ляющие большинство слов естественного языка. Их связь с обозна­чаемыми предметами устанавливается либо по соглашению, либо стихийно при формировании языка.

Знаки-символы имеют предметное и смысловое значение. Пред­метным значением обладает тот объект, который представляется (или обозначается) знаком; смысловым значением - выражаемая знаком характеристика объекта. Примером смыслового значения является знак, несущий информацию об этом объекте. Предметное значение часто называют просто значением, а смысловое значение -смыслом. Например, значением знака «число, которое является про­стым и четным» выступает число 2; именно оно обозначается дан­ным словосочетанием. Смысл же этого знака - информация, кото­рую он содержит о числе 2, а именно, сложный признак числа «быть простым и четным».

Наука о знаках называется семиотикой. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с су­ществованием трех аспектов языка.

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

Семантический аспект составляет совокупность отношений знаков к представляемым ими объектам, т. е. смысл и значение зна­ков.

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

При логическом анализе языка отвлекаются от прагматических характеристик.

Различают естественные и искусственные языки. Естественные (национальные) языки возникли как средство общения между людьми; их формирование и развитие представляет собой длитель­ный исторический процесс и происходит, в основном, стихийно. Искусственные языки сознательно создаются человеком для реше­ния определенных задач. Одним их таких языков является формали­зованный язык логики. Его характеризуют точность, краткость, строгие правила образования сложных выражений из элементарных и преобразования одних выражений в другие.

Логика исследует форму мыслей, отвлекаясь от конкретного со­держания. Логическая форма - это способ связи содержательных частей мысли. Содержательные части мысли - имена и высказыва­ ния , которые фиксируются с помощью переменных А, В, С, D и т. д.

Содержательная конкретизация переменных называется значе­ниями этих переменных. Для связи переменных используются ло­ гические константы , которые сохраняют свое значение в любом рассуждении. В качестве логических констант выступают слова «и», «или», «если, то», «неверно, что», «все», «некоторые» и др. Для обозначения логических констант употребляются символы, позво­ляющие более строго и компактно записать логическую форму (см. раздел «Высказывание»). Имена и высказывания являются основ­ными семантическими (логическими) категориями.

Итак, выявить логическую форму (структуру) мысли значит формализовать ее. Так, высказывания: «Все выпускники имеют выс­шее образование», «Все прямоугольники - четырехугольники», «Все металлы - проводники электричества» - имеют одинаковую схему построения: «Все S есть Р». Рассмотрим более сложные при­меры: «Если все студенты нашего курса изучают логику, а я - сту­дент нашего курса, то я изучаю логику», «Если все металлы - про­стые вещества, а литий - металл, то он - простое вещество». Эти рассуждения построены по схеме: «Если А и В, то С». Выделенные схемы являются логическими формами.

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

Логический закон ~ это логическая форма, которая порождает истинное высказывание при любой подстановке вместо переменных их значений.

Рассуждение, форма которого - логический закон, называется правильным. Правильность отличают от истинности мышления. Мысль является истинной, если она соответствует действительно­сти. Можно рассуждать правильно, но исходить из ложных данных, что приведет к ложному заключению. Так, из ложного высказыва­ния «Все сплавы - простые вещества» выводится высказывание «Некоторые простые вещества - сплавы», которое также является ложным.

Соблюдение правильности при истинных исходных данных ве­дет к истинным результатам. Это свойство мышления было замече­но в глубокой древности. Логика как отдельная наука сложилась в IV в. до нашей эры. Ее основателем является древнегреческий фи­лософ Аристотель, который сформулировал основные законы логи­ки и разработал учение о силлогистических умозаключениях .

Учение Аристотеля получило дальнейшее развитие в Средние века и в Новое время. Существенным дополнением к этому учению явилась теория индукции , разработанная английским философом Ф. Бэконом в XVI-XVII вв. и систематизированная английским логи­ком в XIX в.

Дедуктивная логика Аристотеля и индуктивная логика Бэкона-Милля - основные направления в развитии логики вплоть до сере­дины XIX в. Логику, основанную Аристотелем, принято называть формальной, или традиционной логикой .

Во второй половине XIX в. сложилась символическая, или мате­матическая логика . Она возникла как результат применения матема­тических методов к решению логических проблем. Идея использова­ния вычислительных методов в любой науке принадлежит немецкому мыслителю Лейбницу (XVII - XVIII вв.); реально она воплотилась в работах Дж. Буля, У. Джевонса, Г. Фреге, Б. Рассела и др. ученых, которые создали основные разделы математической логики, ставшей важнейшей ветвью формальной логики. Математи­ческая логика нашла широкое применение в технике, где благодаря информационно-логическим машинам осуществляются сложные вы­числения, управление автоматическими приборами и т. п.

Сегодня развитие формальной логики идет в направлении разви­тия неклассических логик (логики оценок, вопросов, временной, индуктивной и др.), создания их общей теории и расширения сферы применения формальной логики.

Современная логика включает две относительно самостоятель­ные науки: логику формальную и логику диалектическую . Фор­мальная логика изучает формы мышления, выявляет структуру, общую для различных по содержанию мыслей. Диалектическая логика исследует основные закономерности процесса познания, его возникновение, изменение и развитие.

Формальная и диалектическая логика развиваются в тесном взаимодействии, которое проявляется в практике научно-теорети­ческого мышления, использующего в процессе познания как фор­мально-логический аппарат, так и средства, разработанные диалек­тической логикой.

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

2.1. Основные характеристики имени. Виды имен.

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

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

Совокупность однородных предметов, т. е. предметов, сходных в своих существенных признаках, называется классом.

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

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

Между объемом и содержанием существует закон обратного отношения: чем больше содержание имени, тем меньше его объем, и наоборот.

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

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

Логическая операция перехода от имени с большим объем ом к имени с меньшим объемом называется ограничением объема имени , а обратная операция, т. е. переход от имени с меньшим объемом к имени с большим объемом, - обобщением объема имени.

Несмотря на то, что имен – практически бесконечное количество, логических отношений между ними немного. Имена делятся на две большие группы: сравнимые и несравнимые. Сравнимые имена имеют хотя бы один общий признак, несравнимые таких признаков не имеют. Поэтому в различных типах логических отношений могут находится только сравнимые имена, которые, в свою очередь, подразделяются на две подгруппы: совместимые и несовместимые.

Типы отношений совместимости

1. Тождество (равнообъемность).

Рис. 2.1: А - ; В - основатель МГУ

Графическая запись символизирует, что объем имени А (обозна­чается @) идентичен объему имени В. Содержательные характери­стики имен А и В могут быть как идентичными, так и различными.

2. Пересечение.

https://pandia.ru/text/78/045/images/image003_134.jpg" width="190" height="145 src=">

Рис. 2.3: А - юрист; В - адвокат,

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

Типы отношений несовместимости

I . Соподчинение.

https://pandia.ru/text/78/045/images/image005_96.jpg" width="202" height="164 src=">

Рис.2.5: А - храбрость; В - трусость

А и В занимают крайние места в последовательном ряду отно­шения, не исчерпывая при этом объема имени С. Имя В не только отрицает содержание имени А, но и заменяет его признаки на про­тивоположные («старый - молодой», «белый - черный»).

3. Противоречие

А - белый; не-А - не-белый

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

Классификация имен

По объему имена делятся на единичные, общие и пустые.

Единичные - это имена, объем которых равен единице, т. е. в действительности данному имени соответствует единственно возможный предмет. Например: «Беларусь», «самое глубокое озеро в мире».

Общие - это имена, объем которых равен либо больше двух, т. е. предметы, соответствующие данным именам, не являются уникаль­ными. Таких имен - подавляющее большинство. Например: «сту­дент», «атом», «созвездие», «геометрическая фигура».

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

1) конкретные и абстрактные;

2) положительные и отрицательные;

3) относительные и безотносительные;

4) собирательные и несобирательные.

Конкретным называется имя, обозначающее материальный или идеальный класс предметов («электрон», «число», «книга», «земле­трясение»).

Абстрактным называется имя, обозначающее отдельные призна­ки, качества или свойства предмета мысли, взятые отдельно от само­го предмета («симметрия»; «неравенство», «жесткость», «белизна»).

Положительным называется имя, фиксирующее наличие у предмета мысли определенного качества или отношения («аккурат­ность», «грамотность»).

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

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

Безотносительным называется имя в том случае, если обозна­чаемый им предмет не предполагает другого соотносимого с ним предмета (чертеж, дом).

Собирательным называется имя, в котором группа однородных предметов мыслится как единое целое (стая, коллектив , ансамбль).

Несобирательным называется имя, которое предполагает воз­можность его применения относительно каждого элемента класса (цветок, здание).

2.2. Логические операции с именами

Определение имени - это логическая операция, раскрывающая содержание имени путем указания на его существенные признаки.

В структуре определения выделяют определяемое имя (то, что определяется) и определяющее имя (то, с помощью чего оно опре­деляется).

Определения делятся на явные и неявные.

В явных определениях имеет место четкое указание существен­ных признаков, присущих данному имени.

Неявные определения задают всевозможные типы отношений, в которых определяемое имя может находиться к другим именам.

Основными разновидностями явного определения являются оп­ределение через род и видовое отличие и генетическое определение.

Определение через род и видовое отличие - это определение, сущность которого состоит в указании ближайшего родового имени и видового признака, выделяющего искомое имя из класса сходных с ним (родовых) имен. Например: «Барометр - метеорологический прибор (родовое имя), предназначенный для измерения атмосфер­ного давления (видовой признак)».

Генетическое определение - определение через указание на спо­соб образования предмета (его генезис). Например: «Шар - это гео­метрическое тело, образованное вращением круга вокруг одного из диаметров».

К неявным определениям относятся описание, характеристика, сравнение, указание на отношение предмета к своей противополож­ности, контекстуальное определение и др.

Для того, чтобы определение было логически корректным, оно должно подчиняться определенным правилам:

1 . Определение должно быть соразмерным, т. е. определяемое и определяющее имена должны быть равнообъемны между собой. Например: «Цилиндр - это геометрическое тело, образованное вра­щением прямоугольника вокруг одной стороны».

При несоблюдении данного правила возможны две основные ло­гические ошибки:

1) слишком широкое определение: «Нация - устойчивая истори­ческая общность людей»; ошибка возникает в случае, если опреде­ляющее имя по объему больше определяемого; в данном случае не

указан специфицирующий признак, выделяющий нацию из осталь­ных устойчивых исторических общностей, т. е. нарушено требова­ние соразмерности;

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

2. Определение не должно содержать круга. Круг в определе­нии возникает в том случае, если определяемое имя определяется через определяющее, а последнее, - в свою очередь, через опреде­ляемое. Например: «Количество - это характеристика предмета с его количественной стороны».

3. Определение должно принимать максимально простую форму из всех возможных: «Закон - существенная связь между предметами».

4. Определение должно быть общедоступным, т. е. при его по­строении должны использоваться слова общеупотребительной лек­сики. При несоблюдении данного требования возникает ошибка оп­ределения неизвестного через неизвестное. Например: «Холизм - идеалистическая философия целостности, близкая по своим идеям к теории эмерджентной эволюции».

5. Определение, по возможности, не должно быть отрица тельным. Данное требование связано с тем, что при таком опреде­лении не происходит выявления существенных признаков предмета.
Отрицательное определение ограничивается лишь указанием на от­сутствие не принадлежащих имени признаков, поэтому познава­тельная, а тем более - прогностическая функция такого определе­ния весьма незначительна.

Деление - это логическая операция, посредством которой объем делимого имени (рода) подразделяется на ряд подмножеств (видов) с учетом избранного основания (критерия) деления.

Основные правила деления:

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

При несоблюдении данного правила возможны две ошибки:

1) неполное деление; ошибка возникает в случае, если объемы чле­нов деления не исчерпывают объема делимого имени. Например: «Арифметические действия делятся на сложение, вычитание, умноже­ние, деление, возведение в степень» (не указано «извлечение корня»);

2) деление с избыточным членом, например: «Леса делятся на лиственные, хвойные, смешанные»; здесь «смешанные» - лишний член, т. к. объем имени «лес» исчерпывается объемами имен «лист­
венный лес» и «хвойный лес».

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

Члены деления должны исключать друг друга, т. е. их объе­мы не должны находиться в отношении пересечения: «Студенты делятся на очников, вечерников и заочников».

3. Деление должно быть непрерывным; при нарушении данно­го правила возникает ошибка «скачок в делении». Например: «Преступления делятся на умышленные, неосторожные и кражи». В
данном случае кража является разновидностью умышленного пре­ступления и, следовательно, не может выступать в качестве само­стоятельного члена деления.

Деление как логическую операцию необходимо отличать от чле­нения на части: если члены деления всегда обладают признаком де­лимого имени (рода), то части признаком целого не обладают. На­пример, сравним: «Год делится на 12 месяцев», - членение на части, ибо месяц признаком года не обладает; «Углы делятся на острые, прямые и тупые», - деление объема, т. к. члены деления обладают родовым признаком (являются разновидностями угла).

Упражнения

1. Дать логическую характеристику следующим именам : студент; небрежность; Северный полюс; Ноев ковчег; ночь; стая; количество; квадрат; человек, проживший 300 лет; абстракция ; зна­менатель.

2. Изобразить графически отношения между следующими именами:

1). Каменный дом, трехэтажный дом, одноэтажный дом, недо­строенный дом.

2). Растение, декоративное растение, лечебное растение, полынь.

3) Пожар, молния, стихийное бедствие, явление природы.

4)" Спутник планеты, естественный спутник, спутник Земли, Юпитер, спутник Юпитера, Луна.

5). Пожар, причина пожара, взрыв атомной бомбы, поджог.

6). Героизм, трусость.

7). Конгруэнтный, неконгруэнтный.

8). Геометрическая фигура, ромб, трапеция, квадрат.

9). Час, секунда, минута.

10). Вуз, институт, факультет.

11). Ученый, доктор наук, доктор исторических наук, Лауреат Нобелевской премии.

3. Подобрать имена, соответствующие приведенным схемам.

https://pandia.ru/text/78/045/images/image010_50.jpg" width="150" height="146">

4. Произвести операцию ограничения следующих имен : периодическое издание, учебник, созвездие, организм, преступ­ление, металл, столица, элементарная частица.

5. Произвести операцию обобщения: осень, электрон, спортсмен, буддизм , стол, роза.

6. Правильно ли произведено ограничение следующих имен: 1). Строение - комната; строение - беседка.

2). Населенный пункт - столица - центр столицы - центр совре­менной столицы.

3). Геометрическая фигура - треугольник - равнобедренный тре­угольник.

4). Час - минута - секунда.

5). Дерево - лиственное дерево - береза - крона.

7. К данным именам подобрать подчиненные и подчиняющиеся имена: школа, учебник, трансформатор, форма правления, озеро, коме­дия, элементарная частица.

8. Выяснить, в каких из приведенных примеров имеет место де­ление имен по объему, а в каких - членение предмета на части: металл - олово; геометрическая фигура - ромб; дробь - числитель; число - рациональное число, квартира - комната; книга - глава; здание - фасад; арифметическое действие - извлечение корня; треугольник - гипотенуза.

9. Проверить правильность деления; в неправильном делении определить, какие правила нарушены:

1). Науки делятся на естественные, технические и гуманитарные.

2). Языки делятся на естественные, искусственные и народные.

3). Государство может быть феодальным, капиталистическим и социалистическим.

4). Приговоры бывают обвинительные, оправдательные и не­справедливые.

5). Республики разделяются на президентские, парламентарные и унитарные.

6). Лучи делятся на ультрафиолетовые, видимые и инфракрасные.

7). Видами искусства являются художественная литература , му­зыка, скульптура, архитектура и портретная живопись.

8). Дома делятся на одноэтажные, многоэтажные и оборудован­ные лифтом.

9). Животные делятся на позвоночных, беспозвоночных и траво­ядных.

10. Произвести операцию деления следующих имен:

наука, государство, СМИ, логика, инженер, арифметическое дей­ствие, человек.

11. Указать вид определения, определяемое и определяющее имя, в последнем - родовое имя и видовое отличие:

1). Логика - философская наука о формах, в которых протекает человеческое мышление, и о законах, которым оно подчиняется.

2). Наука об общих закономерностях процессов управления и пе­редачи информации в сложных машинах, живых организмах и об­ществе называется кибернетикой.

3). Слово, употребляемое в переносном смысле, называется ме­тафорой.

4). Правильный прямоугольник - многоугольник, у которого все

стороны конгруэнтны и все углы равны.

5). Кислотами называются сложные вещества, образующиеся из кислотных остатков и атомов водорода , способных замещаться на атомы металлов или обмениваться на них.

6). Коррозия металлов - это окислительно-восстановительный процесс, происходящий в результате окисления атомов металла и перехода их в ионы.

12. Выяснить правильность следующих определений:

1). Цилиндр - геометрическое тело, образованное вращением прямоугольника вокруг одной из сторон.

2). Величина есть то, что можно уменьшать и увеличивать.

3). Дробь, числитель которой меньше знаменателя, называется

правильной.

4). Грабеж - похищение государственного имущества, совершен­ное открыто.

5). Студент - это учащийся.

6). Мошенник - это человек, занимающийся мошенничеством.

7). Упрямство есть порок слабого ума.

8). Барометр - метеорологический прибор.

Взаимоотношение" href="/text/category/vzaimootnoshenie/" rel="bookmark">взаимоотношении находятся между собой термины (S и Р).

В атрибутивных высказываниях часто используются кванторы существования и общности.

Атрибутивные высказывания делятся по качеству и количеству.

По качеству они делятся на утвердительные и отрицательные. В утвердительных указывается на принадлежность (наличие) призна­ка, мыслимого в предикате, субъекту высказывания: «S есть Р». На­пример: «Платон - философ-идеалист». В отрицательных указыва­ется на непринадлежность предиката его субъекту: «S не есть Р».

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

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

Частные высказывания имеют форму: «Некоторые S есть (не есть) Р».

В общих высказываниях субъект охватывает все предметы. Та­кие высказывания имеют форму: «Все S есть (не есть) Р».

Высказывания классифицируются по качеству и количеству. Вы­деляются 4 класса высказываний:

1) общеутвердительное (А) - общее по количеству и утверди­тельное по качеству («Все S есть Р»);

2) частноутвердительное (J ) - частное по количеству и утвер­дительное по качеству («Некоторые S есть Р»);

3) общеотрицательное (Е) - общее по количеству и отрица­тельное по качеству («Ни одно S не есть Р»);

4) частноотрицательное (О) - частное по количеству и отри­цательное по качеству («Некоторые S не есть Р»).

В каждом классе высказываний соотношение объемов S и Р (тер­минов) различно. В логике проблема соотношения объемов S и Р называется проблемой распределенности терминов. Термин распределен, если он полностью входит в объем другого термина или полностью из него исключается.

В классе А |Все S есть Р| субъект полно­стью распределен в предикате, а предикат не распределен.

https://pandia.ru/text/78/045/images/image017_55.gif" width="146 height=2" height="2">В классе О [Некоторые S не есть Р| субъект не распределен, а пре­дикат распределен.

0 " style="margin-left:3.6pt;border-collapse:collapse;border:none">

Высказывание

3.2. Отношения между простыми высказываниями по истинности

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

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

Первобытные люди рассматривали свои имена как нечто конкретное, реальное и часто священное. Психолог Л.Леви-Брюль, создавший в начале этого века концепцию первобытного мышления, считал такое отношение к именам важным фактором, подтверждающим мистический и внелогический характер мышления наших предков. Он указывал, в частности, что «индеец рассматривает своё имя не как простой ярлык, но как отдельную часть своей личности, как нечто вроде своих глаз или зубов. Он верит, что от злонамеренного употребления его имени он так же верно будет страдать, как от раны, нанесённой какой-нибудь части его тела. Это верование встречается у разных племён от Атлантического до Тихого океана». На побережье Западной Африки «существуют верования в реальную и физическую связь между человеком и его именем; можно ранить человека, пользуясь его именем… Настоящее имя царя является тайным…»

Эти наивные представления об именах как свойствах вещей удивительно живучи. Астроном В.Воронцов-Вельяминов вспоминает, например, что на популярных лекциях слушатели не раз задавали ему вопрос: «Мы допускаем, то можно измерить и узнать размеры, расстояние и температуру небесных тел; но как, скажите, узнали вы названия небесных светил?»

Ответ на такой вопрос прост. Астрономы узнают имена открытых ими небесных тел так же, как родители узнают имена своих детей - давая им эти имена. Но сам факт подобного вопроса показывает, что иллюзия «приклеенности», «привинченности» имён к вещам нуждается в специальном объяснении.

Роль имён в языке настолько велика и заметна, что иногда даже в науке о языке придание имён вещам считается едва ли не единственной задачей языка. Связь языка с миром представляется при этом как какое-то развешивание имён-ярлыков. В частности, существует и пользуется известностью логическая теория, явно склонная видеть среди выражений языка по преимуществу одни имена. Даже предложения оказываются для неё не описаниями каких-то ситуаций или требованиями каких-то действий, а только именами особых «абстрактных предметов» - истины и лжи.

Исследованием имён как одного из основных понятий и естественных и формализованных языков занимаются все науки, изучающие язык. И прежде всего логика, для которой имя - одна из основных семантических категорий.

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

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

Например, слово «Цезарь» обозначает отдельный предмет - первого римского императора Цезаря; слово «учёный» обозначает класс людей, каждый из которых занят научными исследованиями; слово «чёрный» может рассматриваться как обозначение свойства черноты; слово «дальше» - как обозначение определённого отношения между предметами и т.п.

Имя можно определить по его роли в структуре предложения. Выражение языка является именем, если оно может использоваться в качестве подлежащего или именной части сказуемого в простом предложении «S есть Р» (S - подлежащее, Р - сказуемое). Скажем, «Амундсен», «Скотт» и «человек, открывший Южный полюс» - это имена, поскольку подстановка их вместо букв S и Р даёт осмысленные предложения: «Амундсен есть человек, открывший Южный полюс», «Скотт есть человек, открывший Южный полюс» и т.п.

Имена различаются между собой в зависимости от того, сколько предметов они означают. Единичные имена обозначают один и только один предмет. Общие имена обозначают более чем один предмет. Единичным именем является к примеру слово «Солнце», обозначающее единственную звезду в Солнечной системе. Единичным является и имя «естественный спутник Земли», поскольку оно обозначает Луну, являющуюся единственным таким спутником Земли. К общим относятся имена «человек», «женщина», «школьник» и т.п. Все эти имена связаны с множествами, или классами, предметов. При этом имя относится не к множеству как единому целому, а к каждому входящему в него предмету. Слово «человек» обозначает не всех людей вместе, а каждого в отдельности, о ком можно сказать: «Это человек». В отличие от понятия «человек», слово «человечество» не общее, а единичное имя: объект, который можно назвать «человечеством», всего один. Слово «галактика» является общим именем, поскольку во Вселенной есть, помимо нашей Галактики, и другие галактики. Слово же «Вселенная» - единичное имя, так как Вселенная является единственной.

Среди общих имён особое значение имеют понятия.

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

Понятиями являются, к примеру, «дом», «квадрат», «молекула», «кислород», «атом», «любовь», «бесконечный ряд» и т.п. Отчётливой границы между теми именами, которые можно назвать понятиями, и теми, которые не относятся к понятиям, не существует. «Атом» уже с античности является достаточно оформившимся понятием, в то время как «кислород» и «молекула» до XVIII в. вряд ли могли быть отнесены к понятиям.

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

Далее под понятиями понимаются все общие имена, для которых имеется какое-то определение или содержание которых является относительно ясным. Слово «понятие» будет использоваться, таким образом, в своём обычном или близком к обычному смысле, а не в качестве специального логического термина.

Имена можно разделить также на пустые , или беспредметные, и непустые. Пустое имя не обозначает ни одного реально существующего предмета. Имя, не являющееся пустым, отсылает хотя бы к одному реальному объекту. К пустым относятся, к примеру, имена «Зевс», «Пегас», «кентавр», «русалка», «нимфа», созданные мифологией и обозначающие вымышленных, отсутствующих в реальном мире существ. Пустыми являются также имена «идеальный газ», «абсолютно чёрное тело», «идеально упругое тело», «несжимаемая жидкость», «точка», «линия», «материальная точка», используемые в физике и математике и обозначающие не реально существующие, а идеализированные предметы. Пустое имя может отсылать к одному единственному несуществующему предмету («король, правивший во Франции в начале этого века», дед Мороз, Снегурочка и т.п.) или к двум и более таким предметам (леший, домовой, гном и т.п.).

Имена подразделяются далее на конкретные и абстрактные. Конкретное имя обозначает физические тела или живые существа. Абстрактное имя обозначает объекты, не являющиеся индивидами. К конкретным относятся, например, имена «стол», «тетрадь», «лес», «звезда», «ангел», «речной вокзал», «Казань» и т.п. Абстрактными являются имена свойств, отношений, классов, чисел и т.п.: слово «чёрный» может рассматриваться как обозначение свойства «черноты»» слово «ближе» как обозначение определённого отношения между предметами и т.п. Абстрактными являются также имена «человечность», «справедливость», «законность» и т.п.

3.1. Общая логическая характеристика имени

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

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

3.2. Объем и содержание имени

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

Объем имени представлен совокупностью его носителей илидесигнатов , которые могут быть как материальными предметами, так и только мыслимыми.

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

имена, обладающие минимальным объемом (единичные, чаще всего собственные).

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

3.3. Виды имен

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

Единичным называется имя, которое имеет один десигнат («первый космонавт», «Конституция Республики Беларусь», «Иммануил Кант»). К единичным, как правило, относятся и имена собственные. Имена, имеющие два и более десигната, называютсяобщими («студент», «закон», «конституция»). Имена, которые не имеют десигнатов, называютсяпустыми (нулевыми) . Такие имена имеют смысловое значение, но лишены предметного. К ним относятся имена из сферы человеческой фантазии, сказок, мифов («русалка», «Змей Горыныч», «единорог»), научные понятия как результат предельного абстрагирования («идеальный газ», «абсолютно черное тело») и имена, в содержании которых мыслятся признаки, противоречащие природе обозначаемых предметов («треугольный квадрат», «ледяное солнце»).

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

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

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

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

Имя, обозначающее совокупность предметов, мыслимых как единое целое, называется собирательным («созвездие», «сервиз»). Причем имя целостности не совпадает с именами предметов, ее составляющих. Так, десигнатом имени «созвездие» выступают Созвездие Большой Медведицы и другие созвездия, а не звезды и небесные тела.Несобирательными называются имена, обозначающие предметы и их классы и мыслимые не как самостоятельные целостности, а существующие отдельно («планета», «окно»).

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

3.4. Отношения между именами по объему

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

Виды совместимости:

1. Тождество (равнообъемность ).

А – студент, В – учащийся вуза.

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

2. Пересечение

А – студент, В – шахматист, С – студент-шахматист.

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

3. Подчинение

А – учащийся, В – студент.

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

Виды несовместимости: 1. Соподчинение

А – вуз, В – БНТУ, С – БГУ.

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

2. Противоположность

А – белый, В – черный, С – цвет.

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

Вопросы по курсу «ЛОГИКА» (зачет)

1. Предмет логики как науки. Логическая форма (структура) мысли.

2. Формализация как средство выявления логической формы.

3. Общая характеристика и язык логики высказываний.

4. Ошибки в мышлении. Их классификация.

5. Понятие «высказывание». Виды высказываний. Язык логики высказываний.

6. Виды сложных высказываний. Значение логических союзов.

7. Табличный способ определения логических законов.

8. Элементарные законы логики: закон тождества, закон противоречия, закон исключенного третьего.

9. Логическая характеристика имени: объем и содержание.

11. Объем имени. Виды имен по объему.

12. Отношения между именами. Круги Эйлера как средство анализа отношений между объемами имен.

13. Ограничение и обобщение имени.

14. Деление как логическая операция. Структура деления.

15. Виды деления (логическое, аналитическое).

16. Правила логического деления. Ошибки при делении.

17. Определение как логическая операция. Структура определения.

18. Правила определения и возможные ошибки при их нарушении.

19. Структура и виды атрибутивных высказываний.

20. Распределенность терминов в атрибутивных высказываниях.

21. Отношения между атрибутивными высказываниями. Логический квадрат.

22. Непосредственные силлогистические выводы: превращение (обверсия), обращение (конверсия), противопоставление предикату (частичная контрапозиция).

23. Основное правило непосредственных силлогистических выводов.

24. Структура простого категорического силлогизма.

25. Общие правила простого категорического силлогизма.

27. Энтимема. Процедура восстановления энтимемы до полного силлогизма.

28. Аргументация: её структура, виды и правила.

29. Ошибки в аргументации.

30. Логические требования к созданию научного текста.

Составитель: доцент кафедры

философии культуры, к.ф.н., доцент Малая Н.В.

ЛОГИКА. Предмет логики как науки

Логическая схема – это та её сторона, которая не зависит от конкретного содержания, но служит для связи, упорядочения и преобразования его элементов.

Виды логических схем. Рассуждения правильные, рискованные и абсурдные.

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

Выполнимая схема - логическая схема, которая при одних подстановках преобразуется в истинные, а при других в ложные выражения, а соответствующее ему рассуждение – рискованное .

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

Соотношение правильности и истинности

Мысль истинна, если она соответствует действительности. Правильность характеризует мысль с точки зрения внутренней связи между её элементами. Соблюдение правильности при истинных исходных данных всегда ведет к истинным результатам.

Познавательные ошибки в рассуждениях

Познавательные ошибки, связанные с неверными представлениями о действительном положении дел, называются содержательными.

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

Паралогизм – это непреднамеренная логическая погрешность. Софизм – преднамеренное нарушение требований логики, прием интеллектуального мошенничества, связанный с попыткой выдать ложь за истину, или наоборот.

РАЗДЕЛ 1. ВЫСКАЗЫВАНИЯ

Общая характеристика логики высказываний

Высказывание - языковое выражение, о котором можно сказать только одно из двух: истинно оно или ложно.

Высказывания (как и соответствующие им схемы построения) делятся на простые и сложные. Сложное высказывание можно разбить на простые. Простое высказывание на более простые не расчленяется. При построении схем в качестве переменных для простых высказываний обычно используются строчные буквы латинского алфавита: p,q,r,s,… ; для любых же (иногда нам безразлично, простое это высказывание или сложное) - прописные буквы этого алфавита: A,B,C,D, ...

Схема высказывания принимает логическое значение – «истинно» или «ложно».

Логическое значение сложной схемы высказывания в современной логике ставится в зависимость (является функцией) от логических значений простых схем.

Определения важнейших схем логики высказываний

Сложные высказывания и соответствующие им схемы образуются с помощью особых выражений, которые называются функторами (отрицание, конъюнкция, дизъюнкция (слабая и сильная), импликация, эквиваленция). Сложную схему принято называть именем функтора, с помощью которого оно образовано, т.е. если, например, схема образуется с помощью конъюнкции, то и сама она называется конъюнкцией.

Отрицанием A называется схема, обозначаемая выражением ØA (читается: «не-A», «неверно, что A»), которая принимает значение «истинно», если и только если A принимает значение «ложно». Данное определение можно выразить с помощью следующей таблицы (таблицы истинности), где «и» обозначает «истинно», а «л» – «ложно»:

Таблица 1

Конъюнкция A и B - схема, обозначаемая выражением AÙB, которая принимает значение «истинно», если и только если значение «истинно» принимает как A , так и B (см. 3-й столбец табл. 2). Выражение A Ù B читается: «A и B ».

Таблица 2

Дизъюнкция слабая А и В - схема, обозначаемая выражением AÚB, которая принимает значение «истинно», если и только если значение «истинно» принимает хотя бы одно из A и B (см. 4-й столбец табл. 2). Выражение A ÚB читается: «A или B ».

Дизъюнкциия сильная А и В - схема, обозначаемая выражением AÚ B, которая принимает значение «истинно», если и только если значение «истинно» принимает лишь одно из A и B (см. столбец 5-й табл. 2). Выражение A Ú B читается: «либо A, либо B ».

Импликация A и B - схема, обозначаемая выражением A®B, которая принимает значение «ложно», если и только если A принимает значение «истинно», а B – значение «ложно» (см. 6-й столбец табл. 2). Выражение A ®B читается: «Если A , то B ».

Эквиваленция A и B – схема, обозначаемая выражением A«B, которая принимает значение «истинно», если и только если логические значения A и B совпадают (см. 7-й столбец табл. 2). Выражение A «B читается: «A тогда и только тогда, когда B ».

Алфавит логики высказываний включает символы:

1.p , q , r , s , … – символы, которые обозначают переменные для простых высказываний; A, B, C, D, … - символы, которые обозначают переменные для любых высказываний;

2.Ù, Ú, Ú, ®, «, Ø - символы для обозначения логических союзов;

3.(,) – скобки как указатели совершения логических действий.

Никаких других символов в логике высказываний нет.

Осмысленное выражение языка логики высказываний определяется следующим образом:

1.Всякая переменная есть осмысленное выражение;

2.Если А – осмысленное выражение, то ØA, A Ù B, A Ú B, A Ú B, A®B, A«B - тоже осмысленные выражения;

3.Никаких других осмысленных выражений в логике высказываний нет.

Законы логики высказываний

Для выявления форм, являющихся логическими законами, можно воспользоваться таблицами истинности. Схема, порождающая только истинные сложные высказывания, является ЛОГИЧЕСКИМ ЗАКОНОМ .

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

Закон исключенного третьего – схема A ÚØA – два отрицающих друг друга высказывания не являются вместе ложными, выполняется одна из возможностей: если ложно одно из этих высказываний, то истинно его отрицание, а что-либо третье исключено .

Закон противоречия - схема Ø(A Ù ØA ) - два отрицающих друг друга высказывания не являются вместе истинными, одно их них ложно .

Закон тождества – схема A «A – всякое высказывание является эквивалентным (тождественным) самому себе , следовательно, в правильном рассуждении оно согласуется с самим собой .

Закон удаления двойного отрицания – схема ØØA ®A - отрицание дважды некоторого высказывание образует его утверждение.

Закон введения двойного отрицания – схема A ® ØØA - утверждение некоторого высказывание образует его двойное отрицание. Справедливость рассмотренных законов с одной переменной легко проверяется табличным способом (см. таблицу 5).

Таблица 5

РАЗДЕЛ 2. ИМЕНА

Основные характеристики имени

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

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

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

Основным содержанием имени можно называть ту минимальную часть его содержания, из которого в той теории, к которой относится имя, логически выводимо все остальное содержание имени (которое в таком случае называется производным ). Совокупность же основного и производного содержаний имени является его полным содержанием.

ВИДЫ ИМЕН

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

Общее имя - это имя, в объём которого входит более одного элемента. Класс, являющийся объёмом общего имени, называют значением этого имени.

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

Нулевые (пустые) имена в самом общем виде определяются как имена, объём которых не содержит ни одного элемента. Класс, не содержащий ни одного элемента, называют нулевым, или пустым.

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

Важно различать собирательные и несобирательные имена. Несобирательным называется такое имя, каждый элемент объёма которого представляет собой нечто единое, целостное. Собирательным называется такое имя, каждый элемент которого является совокупностью, собранием, объединением каких-то объектов.

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

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

ОТНОШЕНИЕ СОВМЕСТИМОСТИ

Имена считаются совместимыми если их объёмы хотя бы частично совпадают, т.е. эти объёмы имеют общие элементы.

Виды совместимых имён:

1) Равнообъёмными (равнозначными) считаются имена, объёмы которых полностью совпадают (рис.1). При отношении равнообъёмности имен A иB каждый предмет, обозначенный именем A ,может бытьобозначен именем B , и наоборот.

2) Имена находятся в отношении подчинения , если объём одного полностью включается в объём другого, но не совпадает с ним. При этом включающеё имя называется подчиняющим, или родовым, а включенное – подчиненным, или видовым. Если имя A подчиняется имени B (рис.2), то все признаки B присущи содержанию имени A , и каждый предмет, обозначаемый именем A , может обозначаться именем B (но не наоборот).

3) Пересекающимися (перекрещивающимися ) являются такие имена, объёмы которых лишь частично входят друг в друга. При этом некоторые предметы, обозначаемые именем A , могут обозначаться именем B, и наоборот. Если имена A и B находятся в отношении пересечения (рис.3), то предметы, входящие одновременно в объёмы имен A и B , то есть находящиеся на пересечении этих объёмов, обладают одними и теми же признаками.

Отношения между родственными именами.

Отношение несовместимости

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

Виды несовместимых имён:

1) Противоречащими называются два несовместимых имени, видовое содержание одного из которых (т.е. совокупность его видовых признаков) является отрицанием видового содержания другого. Такие имена полностью исчерпывают объём третьего, подчиняющего их имени (рис.4).

2) Внеположенными называются такие несовместимые имена, объёмы которых в сумме составляют часть объёма некоторого подчиняющего (родового) имени. Поскольку A и B , будучи внеположенными, одновременно подчинены С , постольку их называют также соподчиненными относительно С (рис. 5).

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

Обобщение и ограничение как операции с именами

Обобщение объема A ‑ логическая операция, в результате которой образуется имя с объемом B , содержащим в себе объем A . Иными словами, обобщить имя A ‑ значит образовать такое другое имя B (род), которое подчиняло бы себе имя A (вид). Пределом обобщения в каждом конкретном случае выступает некое универсальное имя.

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

Особой разновидностью ограничения является выделение типа, или типизация . Тип ‑ это имя, которому однородные предметы соответствуют в той или иной мере. Если некоторые предметы составляют объем имени A и среди них есть такие, что безусловно (т.е. со степенью, равной 1) принадлежат к объему B , а другие обладают этим свойством в некоторой (меньшей 1) степени, то имя с объемом B представляет собой тип.

Присоединение к объему А новых предметов, тождественных со старыми по некоторому признаку, называется логической операцией расширения объема A .

Операция, обратная расширению, т. е. удаление из объема A предметов, которые тождественны с оставшимися по некоторым признакам, называется локализацией объема имени A .

Логические операции с объёмами имен не следует смешивать с мысленными переходами от части к целому и, наоборот, от целого к части. Специфика последних наиболее отчетливо выявляется при их сопоставлении с операциями обобщения и ограничения.

ОПЕРАЦИЯ ДЕЛЕНИЯ

Деление логическое – это логическая операция, посредством которой объём имени (род) распределяется по классам (видам).

Деление аналитическое – это операция, связанная с мысленным вычленением в целом его частей. Эти операции не следует смешивать.

Деление может быть классическим или неклассическим. При классическом делении как род, так и виды – имена с четким объёмом, при неклассическом они представляют собой нечеткие, расплывчатые имена, или типы.

Классическое логическое деление состоит в нахождении для имени A таких имен A 1 , A 2 , ..., A n (n – конечное число), что:

а) каждый из объёмов A 1 , A 2 , ... , A n находится в отношении подчинения к объёму A );

б) сумма объёмов A 1 , A 2 , ... , A n равна объёму A ;

в) каждая пара объёмов A 1 , A 2 , ... , A n связана отношением несовместимости. При этом имя A называется делимым именем , а A 1 , A 2 , ... , A n – членами деления .

Возможно, что в качестве основания деления выступает признак, присущий лишь части предметов некоторого класса. В таком случае предметы делятся на те, которые этим признаком обладают, и те, которые им не обладают. Такое деление называется дихотомическим (греч. dicho – на две части, tome – сечение). В отличие от него деление по признаку, которым обладают все предметы рода и который варьируется в видах, называется политомическим греч. polis– много).

Отличие деления от расчленения базируется на различном характере отношений "целое – часть" и "род – вид".

ПРАВИЛА ДЕЛЕНИЯ

1. Правило адекватности. Деление должно быть соразмерным. Это означает, что в случае деления каждый из объёмов A 1 , A 2 , ... , A n должен быть видом объёма A, и сумма A 1 , A 2 , ... , A n должна исчерпывать весь объём A ;в случае расчленениямысленное соединение частей должно быть равно целому . Отступление от этого правила ведет к ошибкам, наиболее известные из которых: "деление с лишними членами ", когда некоторый из объёмов (частей) A 1 , A 2 , ... , A n не является видом A (не входит как часть в целое А ); "неполное деление ", когда не все виды (части) делимого рода (целого) названы, и сумма объёмов членов деления меньше объёма делимого имени.

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

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

Вместо термина "деление" иногда в качестве синонима используется термин "классификация". Классификация в узком смысле (именно в этом смысле мы будем использовать данный термин в дальнейшем) - это многоступенчатое, разветвленное деление, такое, что каждый из членов, полученный в процессе этой операции, становится предметом дальнейшего деления.

Соответственно классическому и неклассическому делению следует различать классическую и неклассическую классификацию. Последняя называется типологией .

За многоступенчатым и разветвленным расчленением пока что простого и однозначного термина не закрепилось. Эту операцию можно назвать иерархизацией .

Классификация и иерархизация подчиняются всем правилам деления. Кроме того, они имеют свои особые правила.

1. Правило последовательности . В случае классификации следует от рода переходить к ближайшим видам, а в случае иерархизации – от целого к его частям одного и того же уровня, не пропуская их. При нарушении этого правила допускаемая погрешность – «скачком в классификации (иерархизации) ».

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

Частным случаем расчленения является периодизация .Её особенностью является, во-первых, указание на развитие отображаемого предмета во времени. Во-вторых, члены расчленения (периоды) отличаются своей мерой как единством качественных и количественных характеристик предмета.

ОПРЕДЕЛЕНИЕ, ИЛИ ДЕФИНИЦИЯ (ОБЩАЯ ХАРАКТЕРИСТИКА)

В логике различают прежде всего два разных смысла термина "определение". Во-первых, под определением понимается операция, позволяющая выделить некоторый предмет среди других предметов, однозначно отличить его от них . Это достигается путем указания на признак, присущий этому, и только этому, предмету. Такой признак называется отличительным (специфическим). Как мы поступаем, например, если требуется выделить квадраты из класса прямоугольников? Мы указываем на признак, присущий квадратам и не присущий другим прямоугольникам, – на равенство их сторон.

Во-вторых, определением называют логическую операцию, дающую возможность раскрыть, уточнить или сформировать смысл одних языковых выражений с помощью других языковых выражений . Так, если человек не знает, что означает слово "вершок", ему разъясняют, что вершок – это древняя мера длины, равная 4,4 см. Поскольку человеку заранее известно, что такое "древняя мера длины, равная 4,4 см", постольку для него становится ясным и понятным смысл слова "вершок".

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

Прием установления значения языкового выражения путем его непосредственного соотнесения с обозначаемым предметом или его образом называется остенсивным определением.

В структуре определения выделяется три части:

1) определяемое имя или выражение, его содержащеё (обозначается знаком Dfd – сокращением от лат. definiendum);

2) выражение, раскрывающеё, уточняющеё или формирующеё значение определяемого имени (обозначается знаком Dfn - сокращением лат. definiens);

3) дефинитивная связка, соотносящая Dfd и Dfn по их значению (обозначается знаком º).

Формально структура определения представляется выражением: Dfd º Dfn.

ПРАВИЛА ОПРЕДЕЛЕНИЯ

1. Правило соразмерности . Dfd и Dfn должны быть равнообъёмны .

Отклонение от правила соразмерности приводит к ошибкам:

1) «слишком широкое определение» - объём Dfn больше объёма Dfd;

2) «слишком узкое определение» - объём Dfn меньше объёма Dfd;

3) «одновременно слишком широкое и слишком узкое определение» - объёмы Dfd и Dfn находятся в отношении пересечения.

4) определение через пустое имя - Dfd и Dfn оказываются несовместимыми.

2. Правило запрета порочного круга . Запрещается Dfd определять через Dfn, который, в свою очередь, определен через Dfd . Допускаемое при этом нарушение называется "порочный круг в определении ". Частным случаем "порочного круга" является тавтология – повторение Dfd и Dfn (хотя бы и в иной словесной форме) без установления значения Dfd.

3. Правило однозначности. Каждому Dfn в точности должен соответствовать один единственный Dfd, и наоборот. Это правило устраняет явления синонимии и омонимии, запрещает использование метафор, художественных образов.

4. Правило простоты. Dfn должен выражаться описательным именем, характеризующим определяемые предметы лишь своими основными признаками. В противном случае определение будет избыточным. В классических определениях это правило выполняется при условии, если: а) входящий в Dfn род является ближайшим по отношению к Dfd, т.е. таким, что никакое другое имя, подчиненное роду и подчиняющеё Dfd, ранее не определено; б) в Dfn отсутствуют выражения, находящиеся в отношении следования (подчинения).

5. Правило компетентности. В Dfn могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется "определением неизвестного через неизвестное".

СОКРАЩЕННЫЕ СИЛЛОГИЗМЫ

Для интеллектуально-речевой деятельности используются выражения с пропущенными, но подразумеваемыми частями. К таким выражениям относятся энтимемы (от греч. en time – в уме), – сокращенные силлогизмы, в которых опускается одна из посылок или заключение.

Методика восстановления и оценки энтимемы на её состоятельность состоит из следующих шагов:

1.Энтимема записывается в стандартном виде: имеющиеся посылки помещаются над чертой, заключение – под ней.

2.В соответствии с принятой классификацией устанавливается разновидность данного вывода (это может быть категорический силлогизм, условный силлогизм и пр.).

3.В соответствии с определениями посылок и заключения устанавливается, какая из частей вывода является подразумеваемой.

4.С использованием определений и правил, характерных для данного класса выводов, восстанавливается недостающая часть вывода.

5.Производится анализ связей между посылками и заключением на соответствие логическим правилам. Нарушение хотя бы одного из правил свидетельствует о наличии формальной ошибки в энтимеме.

6.Производится анализ восстановленной посылки на соответствие действительному положению дел. Её ложность означает наличие содержательной ошибки в энтимеме.

РАЗДЕЛ 4. АРГУМЕНТАЦИЯ

ПРАВДОПОДОБНАЯ АРГУМЕНТАЦИЯ

Важнейшее свойство ДЕДУКТИВНОЙ АРГУМЕНТАЦИИ (правильных выводов) – наличие отношения следования между посылками и заключениями, вследствие чего истинность посылок гарантирует истинность заключений. Для правдоподобной аргументации (правдоподобных выводов) характерно отсутствие этого отношения, и истинность посылок не гарантирует, но и не исключает истинности заключений, делает ее возможной, правдоподобной. Важнейшими разновидностями правдоподобной аргументации являются аналогия, индукция и абдукция

АНАЛОГИЯ

Аналогия – это вид аргументации, характеризующийся переносом признака, присущего одному предмету, на другой, подобный первому, предмет.

Аналогия строится по следующей схеме:

S 1 есть P 1 , P 2 , P 3 , ... , P n-1 , P n .

S 2 есть P 1 , P 2 , P 3 , ... , P n-1

S 2 есть P n

Здесь S 1 и S 2 – имена сопоставляемых предметов, P 1 , P 2 , P 3 , ... , P n -1 – имена признаков, общих для предметов S 1 и S 2 , P n – имя признака, принадлежащего предмету S 1 и переносимого на предмет S 2 . Разрывная черта указывает на правдоподобность вывода.

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

Хрестоматийным примером вывода по аналогии является рассуждение о возможности жизни на Марсе. Сторонники этой гипотезы обращают внимание на то, что между Землей (S 1) и Марсом (S 2) много общего: это две расположенные рядом планеты Солнечной системы (P 1), здесь и там есть вода (P 2), атмосфера (P 3), на поверхностях этих планет приблизительно одинаковая температура (P 4) и т.д. Но на Земле есть жизнь (P n). Поэтому вполне правдоподобно, что и на Марсе есть жизнь (P n).

Аргументация по аналогии находят широкое применение в самых разнообразных сферах человеческой деятельности – в науке, искусстве, повседневной жизни. В частности, мыслительные схемы, выработанные в процессе многовековой практики человечества, мы переносим на рассуждения с самым разнообразным содержанием. Решение любой задачи связано с тем, что используются методы и средства, оправдавшие себя при решении других задач. Происхождение многих загадочных явлений природы находит свое объяснение по аналогии с теми предметами, сущность которых уже известна. Басни, сказки, притчи, пословицы, поговорки имеют прототипы в повседневной жизни. Благодаря аналогии открывается простор для творческой фантазии, осуществляется выход человеческой мысли в такие сферы, где связи с реальным миром могут оборваться. В ряде случаев аналогия лежит в основе интуитивных познавательных процессов.

ИНДУКЦИЯ

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

Индукция (от лат. inductio – наведение) – форма обоснования, при которой заключение (тезис) получается путем обобщения сведений, содержащихся в посылках (аргументах).

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

S 1 есть P

S 2 есть P

S n есть P

S 1, S 2,...… S n суть S

Все S суть P

Пример:

Медь – хороший проводник электричества.

Алюминий – хороший проводник электричества.

Железо – хороший проводник электричества.

Свинец – хороший проводник электричества.

Золото – хороший проводник электричества.

Медь, алюминий, железо, свинец, золото – металлы

Все металлы – хорошие проводники электричества

На правдоподобный характер этой аргументации указывает тот факт, что из заключения, имеющего форму «Все S суть P », и посылки формы «S 1 , S 2 , ..., S n суть P » вытекает каждая из остальных посылок: «S 1 есть P », «S 2 есть P » и т.д. Но это редукция особого рода: здесь заключение обобщает единичные факты, принадлежащие к одному и тому же классу предметов.

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

При полной индукции заключение (тезис) с необходимостью вытекает из посылок. Поэтому ее правомерно считать дедуктивным выводом. (Не случайно полную индукцию иногда называют индуктивным силлогизмом.)

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

У человека нижняя челюсть является подвижной.

У лошади – то же самое.

У гуся – то же самое.

У щуки – то же самое.

У змеи – то же самое.

Эти факты, на основании знания о том, что человек, лошадь, гусь, щука, змея – позвоночные животные, «наводят» на заключение:

Все позвоночные животные имеют подвижную нижнюю челюсть.

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

Научная индукция опирается в своих посылках не на всякие, а на существенные признаки рассматриваемого класса предметов . Выявление таких признаков требует целенаправленного отбора посылок в соответствии с выработанными в науке методами и критериями. Зайдя в церковь и увидев большую массу молящихся людей, легко поддаться внушению и сделать вывод о сплошной религиозности населения данной местности. Но такого рода обобщения по первому впечатлению противоречат научному подходу. Чтобы исследовать степень религиозности населения в некоторой местности, ученый-социолог проведет большую подготовительную работу: выделит различные группы людей, распределив их по роду занятий, образованию, возрасту, месту проживания и т.д., установит количественные отношения между ними, тщательно сформулирует и отберет анкетные вопросы, подвергнет статистической обработке полученные ответы и т.д. Таким образом, посылки научной индукции – это не просто какие-то случайные сведения, а данные опыта с дополнительными признаками, позволяющими вскрыть существенное в изучаемом предмете – некоторую закономерную связь. Ясно, что в случае научной индукции степень вероятности заключения значительно выше, чем при простой индукции.

Поскольку логика изучает формы мыслей и способы их выражения в языке, постольку логика является также наукой о языке. В логике исследуются отдельные аспекты естественных языков (языков, которые возникли и развиваются в основном стихийно), а также создаются искусственные языки - специальные языки логики. Одним из таких языков является язык логики предикатов, широко используемый при выявлении связей между мыслями по их логическим формам. Основное достоинство этого языка заключается в том, что его выражения однозначны. В нем нет омонимов и нет неясных выражений. Это позволяет строго фиксировать ход рассуждений и точно решать вопрос об их правильности или неправильности, а также ряд других вопросов.

При логическом анализе язык рассматривается как система знаков.

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

Можно выделить знаки следующих трех типов: (1) знаки-индексы; (2) знаки-образы; (3) знаки-символы.

Знаки-индексы связаны с представляемыми ими объектами материально, например, как следствия с причинами. Так, дым говорит о наличии огня, повышенная температура тела человека - о заболевании, изменение цвета ногтей - о заболевании внутренних органов, изменение высоты ртутного столба - об изменении атмосферного давления.

Знаками-образами являются те знаки, которые сами по себе несут информацию о представляемых ими объектах (карта местности, картина, чертеж), поскольку они находятся в отношении подобия с обозначаемыми объектами.

Знаки-символы не связаны материально и не сходны с представляемыми ими объектами.

Логика исследует знаки последнего вида.

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

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

Роль знаков в познании исследовал еще Аристотель. Этой проблемой занимались Лейбниц и другие ученые. Особенно актуальным стало развитие учения о знаках в XIX в. в связи с запросами лингвистики и символической логики. Американский философ Чарльз Пирс (1839-1914) заложил основы особой науки о знаках - семиотики. В этой науке выделяют три раздела - синтаксис, семантику и прагматику, что связано с наличием трех аспектов языка.

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

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

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

Одним из видов знаков являются имена. Учение об именах, называемое теорией именования , относительно полно разработано немецким ученым Готлобом Фреге (1848-1925). Большой вклад в создание этого учения внесли американские логики Р. Карнап (1891-1970) и А. Черч (1903-1995), а также отечественный логик Е.К. Войшвилло (р. 1913).

Основным понятием теории именования является понятие «имя».

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

Различают имена двух типов. Имя, относящееся к первому типу, обозначает один предмет. Имя второго типа является общим для предметов некоторого класса. Имена первого типа называются единичными , а второго - общими . Примеры единичных имен: Луна; столица России; автор романа «Война и мир». Примеры общих имен: животное, имеющее мягкие мочки ушей; европейское государство; ученик. Таким образом, значением единичного имени является единственный предмет. Значениями общего имени являются предметы некоторого класса, содержащего более одного элемента. Класс, который составляют предметы, являющиеся значениями имени, называется объемом имени. Объем единичного имени - класс, состоящий из одного предмета.

Графически:

пометка">универсальными . Универсальными называются общие имена, объемами которых является весь универсум рассуждения, т.е.: вся предметная область, о которой рассуждают. Например, «человек, знающий некоторые иностранные языки или не знающий ни одного иностранного языка». Универсум рассуждения здесь - множество (всех) людей. Объем имени - то же самое множество. Имя «человек, знающий какие-то иностранные языки» - не универсальное, поскольку его объем не совпадает с множеством (всех) людей. Универсум рассуждения определяется контекстом, в котором употребляется имя.

Могут быть имена с разными смыслами и одним и тем же объемом (например, «самый большой город Англии» и «столица Англии»), но не может быть имен с одним и тем же смыслом, но разными объемами.

Имена могут обозначать предметы, не существующие в универсуме рассуждения. Такие имена являются мнимыми . Примеры: «русалка», «самая удаленная точка Вселенной». Эти имена являются мнимыми, если универсум рассуждения составляют предметы, существующие в объективной реальности. Объем мнимого имени - пустое множество.

пометка">действительными .

Фреге и Черч считают, что все имена имеют смысл. Войшвилло полагает, что не все. Аргументируя свою точку зрения, он делит имена на два вида по типу смыслов - на имена, имеющие собственный смысл, и имена, не имеющие собственного смысла. Имена, имеющие собственный смысл, - это описательные имена типа «самая большая река в Европе». Смысл таких имен определяется их структурой, а также смыслами или значениями имен, составляющих эти описательные имена. Если имена, входящие в сложное имя, не имеют смысла, то и в этом случае описательное имя имеет смысл. Этот смысл заключается в указании отношения между значениями составляющих имен. Не описательные имена типа «Волга» не имеют собственного смысла. Если они и имеют смысл, то лишь приданный. Не описательным именам придается смысл посредством описательных имен, которые ставятся им в соответствие. В описательные имена в свою очередь входят имена не описательные. Им тоже придается смысл через описательные. Очевидно, что такой процесс не может быть бесконечным, т.е. некоторые не описательные имена имеют значение, но не имеют смысла. Эти имена обозначают предметы, но не несут о них информации, которая выражена в языке и позволяет выделять эти предметы среди других предметов универсума. Значения таких имен выделяются посредством органов чувств или интуиции.

В естественном языке некоторые выражения, в зависимости от контекста, обозначают различные предметы, а также встречаются случаи, когда значениями выражений могут быть сами эти выражения и т.д. Такая ситуация недопустима в языках науки, которые подчиняются следующим трем нормативным принципам: (1) принципу предметности; (2) принципу однозначности; (3) принципу взаимозаменимости.

Согласно принципу предметности в высказываниях должно утверждаться или отрицаться нечто о значениях имен, входящих в предложения, а не о самих именах. Нужно, конечно, иметь в виду, что значениями некоторых имен являются имена. Такие случаи не противоречат принципу предметности. Например, в предложении «Материя первична, а сознание вторично» «материя» - это имя объективной реальности, а в предложении «„Материя“ - философская категория» слово «материя», взятое в кавычки, - это имя имени, имя категории. Такие имена называются кавычковыми именами. Иногда в естественном языке встречаются случаи, когда именем имени является само исходное имя. Например, в предложении «Слово стол состоит из четырех букв» слово «стол» является именем самого этого слова. Такое употребление имен называется автонимным. Автонимное употребление имен недопустимо в научных языках, поскольку оно приводит к недоразумениям. Так, в известном определении В.И. Ленина: «Материя есть философская категория для обозначения объективной реальности, которая дана человеку в ощущениях его, которая копируется, фотографируется, отображается нашими ощущениями, существуя независимо от них» - имеет место автонимное употребление имени «материя». Это вызывало споры о том, что называл В.И. Ленин материей, объективную реальность или категорию, т.е. мысль, понятие о реальности.

Согласно принципу однозначности выражение, используемое в качестве имени, должно быть именем только одного предмета, если это единичное имя, а если это общее имя, то данное выражение должно быть именем, общим для предметов одного класса. В естественном языке данный принцип не всегда соблюдается. Его соблюдение необходимо при построении искусственных языков, например языка логики предикатов.

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

Принцип взаимозаменимости кажется естественным, однако можно привести примеры подстановки имен, которые ему противоречат. Рассмотрим предложение: «Птолемей считал, что Солнце вращается вокруг Земли». Оно истинно. Заменим имя «Солнце» на имя «центральное тело Солнечной системы», имеющее то же значение. Получим ложное предложение.

Такие несоответствия принципу взаимозаменимости называются антиномиями отношения именования .

Следует различать два способа употребления имен. Первый - имя просто выделяет предмет (предметы). Второй - предметы, обозначаемые именем, рассматриваются в определенном аспекте. Если имя употребляется во втором смысле, то его можно заменять другим именем с тем же значением, если только во втором имени предметы рассматриваются в том же аспекте. Указанную выше замену можно было бы произвести, если бы Птолемей считал, что значения имен «Солнце» и «центральное тело Солнечной системы» совпадают. Тогда значением предложения «Птолемей считал, что Солнце вращается вокруг Земли» была бы «ложь». Ложным бы оказалось и предложение, получаемое в результате замены: «Птолемей считал, что центральное тело Солнечной системы вращается вокруг Земли».

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

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

Предложения делятся на классы в зависимости от того, выражают ли они суждения, вопросы, нормы и т.д. Предложения, выражающие суждения, называются высказываниями.

Среди выражений, входящих в предложения и играющих в них самостоятельную роль, выделяют дескриптивные и логические термины .

К дескриптивным терминам относятся: 1) единичные имена; 2) общие имена; 3) знаки свойств и отношений; 4) знаки признаков; 5) знаки предметных функций.

Единичные и общие имена охарактеризованы выше.

Свойства - это то, чем отличаются друг от друга предметы и явления. Если мы сравниваем людей, то можем сказать, что один высокий, а другой низкий, один черноглазый, а другой голубоглазый и т.д. Относя в мыслях свойство к предмету, мы получаем истинное или ложное предложение.

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

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

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

Признак «какого-либо предмета - это наличие или отсутствие у него того или иного свойства или отношения к другим предметам». Признак n-ки (пары, тройки и т.д. предметов) - это наличие или отсутствие какого-либо отношения между ее элементами. Слова или словосочетания, выражающие признаки последовательностей из n предметов опред-е">предикатами .

В предложении «Этот стол желтый» утверждается наличие у этого стола желтого цвета. Словосочетание «является желтым» - знак признака, а слово «желтый» - знак свойства. В предложении «Москва больше Архангельска» «больше» - знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: «Москва есть большая, чем Архангельск». Здесь «есть большая, чем» («больше») - знак признака, а «большая, чем» - знак отношения.

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

При построении языка логики предикатов будем понимать свойства как общие имена предметов, а n-местные отношения - как общие имена n-ок предметов. Общие имена в таком расширительном толковании будем называть предикаторами .

Знаки предметных функций, или функциональные знаки, или предметные функторы, представляют предметные функции.

Функцией называется соответствие, в силу которого объекты (предмет, пара, тройка предметов и т.д.) из некоторого множества, называемого областью определения функции, соотносятся с объектами из другого или того же самого множества, называемыми значениями функции.

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

Основными логическими терминами русского языка являются следующие слова и словосочетания: «есть» («суть»), «и», «или», «если..., то...», «не», «неверно, что...», «всякий» («каждый»), «все», «некоторые», «тот..., который...», «следовательно». Некоторые из этих терминов выражают отношения действительности. Например, «и» выражает сосуществование двух положений дел или ситуаций, а «если..., то...» - связь двух ситуаций, когда при наличии первой всегда имеет место вторая. Такие отношения называют логическими в отличие от нелогических отношений, т.е. отношений, представляемых дескриптивными терминами.

Рассмотрим предложение: «Если ни один член семьи Ивановых не является честным человеком, и Степан - член семьи Ивановых, то Степан не является честным человеком» и определим, к каким семантическим категориям относятся выражения, являющиеся его частями. В этом предложении «если..., то...» - логический термин, «ни один» («все») - логический термин, «член семьи Ивановых» - предикатор (общее имя), «не» - логический термин, «является» («есть») - логический термин, «честный человек» - предикатор (общее имя), «и» - логический термин, «Степан» - единичное имя.

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

Проанализируем два рассуждения.

(1) Все участники этого преступления опознаны потерпевшим. Ни один из членов семьи Петровых не опознан потерпевшим. Никто из лиц, не участвовавших в совершении этого преступления, не привлечен к уголовной ответственности за его совершение. Следовательно, ни один из членов семьи Петровых не привлечен к уголовной ответственности за совершение этого преступления.

(2) Всякий, кто находится в здравом уме, может понимать логику. Ни один из сыновей Крокса не может понимать логику. Сумасшедшие не допускаются к голосованию. Следовательно, ни один из сыновей Крокса не допускается к голосованию.

Заменим дескриптивные термины-предикаторы, встречающиеся в каждом из этих рассуждений, переменными Р, Q, R, S в том порядке, в каком они входят в рассуждение.

В первое рассуждение входят четыре дескриптивных термина-предикатора, порядок их вхождения в рассуждение таков: первым встречается термин «участник этого преступления» (Р ), вторым - «опознанный потерпевшим» (Q ), третьим - «член семьи Петровых» (R ), четвертым - «привлеченный к уголовной ответственности за совершение этого преступления» (S ). Следует заметить, что термин «не участвовавший в совершении этого преступления» можно рассматривать как полученный в результате применения операции логического отрицания «не» к термину «участник этого преступления» и обозначить «не-Р ».

Во втором рассуждении встречаются четыре дескриптивных термина в следующем порядке: «находящийся в здравом уме» (Р ), «могущий понимать логику» (Q ), «сын Крокса» (R ), «допускаемый к голосованию» (S ). Термин «сумасшедший» соответствует термину «не находящийся в здравом уме» и обозначается «не-P ».

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

пометка">логическая форма .

При выявлении логической формы сохраняется информация о том, к какой семантической категории относится дескриптивный термин, заменяемый переменной. Поэтому при построении формализованных языков логики, в частности языка логики предикатов, для выражений разных категорий вводятся различные символы. Кроме того, при выявлении логической формы различные вхождения одного и того же термина в контекст заменяются одним и тем же символом и различные термины - различными символами.