Элементы теории имен. Логика имён. Виды имён Общая характеристика имени. Принципы теории именования

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

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

Логическая константа – это функтор, сохраняющий свое значение в любом рассуждении. Логические константы обозначают символами. Некоторые символы уже упоминались, назовем остальные. Функтор «и» обозначается L, «или» – v, «либо, либо» – v , «если, то» – ®, «тогда и только тогда, когда» – «, «неверно, что» – Ø, «необходимо, что» – ÿ, «возможно, что» – à.

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

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

Логический закон. Правильные и неправильные рассуждения.

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

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

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

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

Тема 2. Высказывание.

1. Логика высказываний как наиболее простой и фундаментальный раздел формальной логики. Понятие высказывания. Логические значения высказывания. Высказывание, вопрос, повеление.

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

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

1. Логика высказываний как наиболее простой и фундаментальный раздел формальной логики. Понятие высказывания. Логические значения высказывания. Высказывание, вопрос, повеление.

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

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

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

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

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

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

Запишем определения этих высказываний и их выражения в символической форме:

Конъюнкция (логическое произведение) – это молекулярное высказывание, истинное тогда и только тогда, когда все составляющие его высказывания (аргументы) истинны. Обозначается: A Ù B, читается: A и B. В разговорном языке конъюнкции соответствуют союзы «а», «но», «да», «хотя», «однако» и др.

Слабая (не исключающая) дизъюнкция – это сложное высказывание, истинное тогда и только тогда, когда, по крайней мере, только один его аргумент истинен. (Логическое сложение). Обозначается: A Ú B, читается: «A или В»; «или» употребляется в не исключающем смысле.

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

Импликация – это молекулярное высказывание, ложное тогда и только тогда, антецедент истинен, а консеквент ложен. Антецедент или основание – это выражение перед оператором импликации, а консеквент – то, что идет после. Импликация обозначается как «А ® В» и читается: « если А, то В», или «из А следует В».

Эквиваленция – молекулярное высказывание, истинное тогда и только тогда, когда оба аргумента либо истины , либо ложны . То есть, когда их логические значения совпадают. Обозначается: А « В, читается: «А тогда и только тогда, когда В», «А, если и только если В».

Вот таблица истинности этих высказываний:

Отрицанием высказывания А называется высказывание, истинное тогда и только тогда, когда А ложно. Оно обозначается А и читается: «не-А», «неверно, что А». Определение выражается с помощью следующей таблицы, где «И» обозначает «истинно», а «Л» – «ложно»:

А	А
И	Л
Л	И

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

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

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

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

Логические формы альфа и бета сравнимы , если и только если имеется хотя бы одна переменная, содержащаяся как в альфа, так и в бета. Пр.: формы высказываний A Ù B и С ®В сравнимы, а A Ù B и С ® D – нет. То есть:

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

Среди сравнимых логических форм различают совместимые и несовместимые.

Совместимость логических форм определяется наличием хотя бы одного случая, когда в них содержатся высказывания, являющиеся вместе истинными . Логические формы несовместимы при отсутствии такого случая. Пр.: формы высказываний A Ù B и A Ú B совместимы. Так, при подстановке вместо А и В порождаются истинные высказывания, которые вместе истинны. Это видно из таблицы:

А	В	A Ù B	A Ú B
И	И	И	И

Формы А Ú В и А « В несовместимы. При одинаковых значениях А и В они не имеют общего значения «истинно».

Совместимые формы находятся в отношениях: а) следования или подчинения , б) , в) частичной совместимости , г) сцепления .

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

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

Отношение равнозначности позволяет в процессе рассуждения без ущерба для смысла взаимозаменять высказывания различных форм, как во всех указанных случаях, устранять избыточную информацию, как в случаях 10, 13, выделять новые формы – 12, 15. Формулы, находящиеся в отношении полной совместимости, следуют друг от друга, т.е. находятся в отношении взаимоследования .

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

Несовместимые логические формы находятся в отношениях: а) противоречия , б) противоречивости .

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

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

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

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

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

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

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

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

Число тождественно-истинных формул неограниченно, поэтому количество законов в логике бесконечно.

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

Закон тождества: всякая мысль в процессе рассуждения должна быть тождественна сама себе. Обозначается: А « А.

Закон противоречия (непротиворечия): два высказывания, которые отрицают друг друга, не могут быть вместе истинными, по крайней мере, одно из них ложно. Обозначается: Ø(А ÙØА).

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

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

С сокращенным методом селекции логических законов можно ознакомиться на примере формы ((А ® В) Ù (В ® С) Ù А) ® С. ход мысли здесь будет следующим:

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

2) Поскольку данная форма – импликация, она может оказаться ложным высказыванием только когда при некоторой подстановке ее антецедент будет истинным, а консеквент – ложным, т.е., когда ((А ® В) Ù (В ® С) Ù А) – истинно, а с – ложно.

3) Данный антецедент – конъюнкция, и чтобы он был истинным, необходимо, чтобы оба его члена были истинными, т.е., (А ® В) Ù (В ® С) и А должны быть истинны.

4) Поскольку (А ® В) Ù (В ® С) – конъюнкция, при ее истинности оба члена, А ® В и В ® С должны быть истинны.

5) А ® В – истинная импликация; ее антецедент А истинен согласно п.3, В тоже будет истинным.

6) Поскольку В ® С – истинная импликация, и в – истинно, то С тоже истинно.

7) Получается, что высказывание С одновременно должно быть и ложным, согласно п.2, и истинно, согласно п.6. это невозможно, так как по определению, всякое высказывание является либо истинным, либо ложным. Полученное противоречие – результат допущения в п.1, от которого придется отказаться и признать, что рассмотренная форма – логический закон.

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

Тема 3. Имена.

1. Понятие имени. Выражение имен в естественном языке. Объем и содержание как основные характеристики имени.

2. Понятие признака. Виды признаков. Признаки общие (родовые) и отличительные (видовые). Основное и полное содержание имени.

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

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

5. Операции с объемами имен. Обобщение, ограничение, расширение, локализация, типизация. Мысленные переходы от части к целому и наоборот.

6. Деление. Логическое деление, его цели и структура. Виды логического деления – деление стандартное и нестандартное, дихотомическое и политомическое (по видоизменению признака).

7. Классификация и типология. Классификация (типология) естественная и искусственная. Правила логического деления и ошибки при их нарушении. Аналитическое деление, периодизация.

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

1. Понятие имени. Выражение имен в естественном языке. Объем и содержание как основные характеристики имени.

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

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

Основными характеристиами имени выступабт его объем и содержание.

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

2. Понятие признака. Виды признаков. Признаки общие (родовые) и отличительные (видовые). Основное и полное содержание имени.

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

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

Родовые признаки – это признаки того класса предметов, в котором выделяется более узкий класс (подкласс).

Видовые признаки –это признаки, в соответствие с которыми выделяются подклассы в рамках класса.

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

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

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

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

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

Объем, обозначаемый именем, называется денотатом , а отдельный предмет этого объема – десигнатом имени.

Различают имена единичные, общие, пустые.

Единичное имя обозначает один предмет и выражается именем собственным. Т.е., в объем единичного имени входит один элемент .

Общее имя обозначает более одного предмета. Т.е., в объем общего имени входит более одного элемента . Объемы общих имен – это классы (множества) охватываемых ими предметов. Класс, который является объемом имени , называется значением этого имени.

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

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

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

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

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

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

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

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

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

Отношения совместимости делятся на: 1) отношения равнообъемности (равнозначности) , 2) подчинения , 3) пересечения (перекрещивания) .

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

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

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

Несовместимость имен проявляется в случаях, когда имеют место: 1) отношения соподчинения , 2) противоречия , 3) противоположности .

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

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

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

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

Отношение равнообъемности (равнозначности)

А и В. Пр.: А – квадрат, В – прямоугольник,

у которого диагонали взаимно перпендикулярны.

Отношение подчинения

А –студент, В – студент первого курса.

Отношение пересечения (перекрещивания)

А – студент, В – житель Минска.

Отношение соподчинения

А – житель Руденсска, В – житель Минска,

С – гражданин Республики Беларусь.

Отношение противоречия

А -- студент, В – не-студент

Отношение противоположности

А – самые богатые граждане

Республики Беларусь, В – самые бедные

граждане Республики Беларусь

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

В отличие от соподчинения, в случае

несравнимости имен не указан более

широкий класс, подчиняющий их объемы.

5. Операции с объемами имен. Обобщение, ограничение, расширение, локализация, типизация. Мысленные переходы от части к целому и наоборот.

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

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

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

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

Типизация – особая разновидность ограничения.

Тип – это имя, которому однородные предметы соответствуют в той или иной мере.

Если некоторые предметы составляют объем имени А и среди них есть такие, которые безусловно , т.е. со степенью, равной единице , принадлежат к объему в, а другие обладают этим свойством в некоторой степени , т.е., меньшей единицы , то имя с объемом В представляет собой тип . Пр.: ограничивая объем имени «человек», можно получить «низкий человек», или «высокий человек». «низкий человек» – это тип; другой тип – «высокий человек». Итак:

Тип – это имя с нечетким объемом.

Термин «тип» может употребляться и в ином смысле, когда к типичнным представителям относятся только те предметы, которые безусловно, со степенью, равной единице, принадлежат к объему нечеткого имени. В этом случае содержание типа в концентрированном виде заключает в себе признаки родственных предметов. В этом смысле тип – это имя-образец , этало для описания и оценки предметов. Вспомните типичных представителей из числа персонажей руской литературы 19 века, например, персонажей Гоголя или Достоевского («подросток», «подпольный человек», др.).

Расширение объема А – присоединение к объему А новых предметов, тождественных со старыми по некоторому признаку.

Локализация объема имени А – операция, обратная расширению, удаление из объема А предметов, тождественных с оставшимися по некоторым признакам. Пр.: в биологии из класса рыб в свое время удалили китов, но объем и содержание имени «рыба» остались неизменными.

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

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

6. Деление. Логическое деление, его цели и структура. Виды логического деления – деление стандартное и нестандартное, дихотомическое и политомическое (по видоизменению признака).

Логическое деление –операция, посредством которой объем имени (род) распределяется по классам (видам) в соответствии с некоторым признаком. При этом род называют делимым именем , виды – членами деления , признак – основанием деления . Иногда признак может также называться точкой зрения или аспектом рассмотрения.

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

Логическое деление бывает классическое и неклассическое. При классическом делении род и виды – это имена с четким объемом , при неклассическом – это нечеткие, расплывчатые имена или типы .

Охарактеризовать операцию деления можно с точки зр

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

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

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

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

Итак, языковые выражения, которые имеют свойство быть обозначая, называют и м е н а м и. К именам относятся отдельные слова ("Шевченко", "Днепр", "река") и словосочетания ("автор поэмы" Сон "", " река, на берегах которой расположена столица Украины »). Каждое из имен обозначает или индивидуальный предмет, или совокупность предметов.

То, на что указывает имя я, называют д е н о т а т о м (десигнатом, номинантом) или значением имени.

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

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

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

Значение имеют только истинные имена ("Франция", "изобретатель радио", "Киев"). Мнимые же имена лишь символически то обозначают, поскольку в действительности обозначаемых ими предметов не существует (таковы имена "Пегас", "абсолютно твердое тело", "в-1" и т.п.).

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

Рассмотрим необходимость анализа теории имен для логики.

Логика делает объектом анализа имя с целью решения, прежде всего, таких вопросов:

1) как соотносятся имя и понятия, а именно: смысл имени и содержание понятия;

2) как зависит логическое значение высказывания от значений имен, входящих в него;

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

Виды имен

В зависимости от того, указывает имя на отдельный предмет или отличает какой-то предмет из множества предметов, все имена делятся на:

Собственные и

Имена обозначают (индивидуальные) предметы.

Общие имена выделяют один предмет из множества предметов.

Например, "государство", "город", "книга", "естественный спутник".

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

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

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

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

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

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

Имена в естественном языке выражаются не только словом или словосочетанием ("Шекспир", "Родина Шекспира"), но и целыми предложениями с помощью оператора обозначенной дескрипции, который называют йота - оператором и в естественном языке записывают в виде выражения "тот, кто... ". Например, "тот, кто написал поэму" Энеида "", "Тот, кто первым открыл Америку". Форма выражения "тот, кто..." не явно передает свое имя в естественном языке.

Возьмем для примера имя, которое звучит так: "Тот, кто является автором" Кобзаря "". Денотат этого имени - реальный человек по фамилии Шевченко, родился он 1814 в селе Моринцы на Черкасщине; был крепостным в Энгельгардта; один из видов Шевченко творческой деятельности была поэзия, и способствовало появлению на свет "Кобзаря".

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

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

Очевидно, что есть имена смысл которых установить достаточно просто. Но ситуация осложняется, когда имя рассматривается вне контекста, скажем слово "Киев". Денотат может быть и город, и военный корабль, и гостиница. Чтобы однозначно установить смысл имени, нужен дополнительный анализ и объяснение.

Если смысл имени определяется конкретной ситуацией или контекстом оно называется п р о с т и м либо не описательным.

Например, "Юпитер", "Днепр", "Украина".

Если смысл имени определяется его построением оно называется с к л а д и м или описательным.

Например, "Ученик Платона", "учитель Александра Македонского", "столица Франции" и другие.

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

Но довольно часто одно и то же имя указывает на различные денотаты. Это уже не расщепление массива информации о денотат оттенками (как в случае со сложными именами), а нахождение новых массивов информации, дает возможность четко отделять одни денотат от других. Именно это является свойством для НЕ описательных

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

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

Понятно, что контекстами для А будут части предложения, целые предложения, или фрагменты текста. Например, возьмем имена "Учитель Аристотеля и основатель" Академии "", "Учитель и друг Аристотеля", "Учитель Аристотеля и автор теории идей". Во всех примерах есть собственное имя "Аристотель". Выражения, в которые входит имя "Аристотель" без нарушений синтаксических правил данного языка называется контекстом для этого имени.

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

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

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

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

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

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

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

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

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

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

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

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 могут входить лишь выражения, значения которых уже приняты или ранее определены. Отклонение от этого правила называется "определением неизвестного через неизвестное".

Похожая информация.

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

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

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

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

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

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

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

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

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

3.3. Виды имен

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Можно выделить знаки следующих трех типов: (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 ».

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

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

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