Принципы и парадоксы именований.

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

Имена делятся на:

1) простые (книга, снегирь);

2) сложные или описательные (самый большой водопад в Канаде и США);

3) собственные, т. е. имена отдельных людей, предметов или событий (П. И. Чайковский);

4) общие (действующие вулканы).

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

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

Именная функция – это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отец y». Подставим вместо «y» имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» – имя предмета.

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

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

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

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

Принцип взаимозаменимости: при замене имен с одинаковым значением, предложение, в котором эта замена осуществляется, не должно изменять свое истинностное значение (истинное предложение должно оставаться истинным, а ложное – ложным).

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

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

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

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

 

Парадокс Эвбулида (парадокс лжеца) известен с древнейших времен. Рассмотрим предложение: «Это предложение ложно». Если оно истинно, значит то, что в нем утверждается, – правда, то есть оно на самом деле ложно. Но если оно ложно, значит то, что оно утверждает, неверно, то есть оно истинно.

Парадокс Греллинга-Нельсона (парадокс гетерологичности). Пусть все прилагательные делятся на две категории: автологические – обладающие свойством, про которое говорят, и гетерологические – не обладающие свойством, про которое говорят.

Парадокс Ришара-Берри (парадокс определимости). В русском языке числа можно выражать с помощью слов и словосочетаний. Пусть k – минимальное число, которое нельзя выразить словосочетанием, состоящим менее чем из ста букв.

 

Семантические категории языковых выражений.

Базисными семантическими категориями являются имя (n) и предложение (s). Под именем имеется в виду выражение, обозначающее какой-либо предмет или множество предметов; под предложением – выражение, обозначающе истину или ложь.

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

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

 

Понятие и слово. Образование понятий.

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

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

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

 

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

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

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

Понятия принято делить на следующие виды: 1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и аб­страктные, 4) положительные и отрицательные, 5) безотноситель­ные и соотносительные.

 

Виды понятий.

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

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

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

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

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

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

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

Также понятия делятся на соотносительные и безотносительные.

В соотносительных понятиях один предмет мысли предполагает существование другого и без него невозможен – соотносится с ним («родители» и «дети»: нельзя быть сыном или дочерью без родителей).

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

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

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

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

Непустые понятия относятся к реальным предметам («город», «космическое тело»).

Единичные понятия – объем понятия, составляющий один предмет («Солнце», «Россия»).

Общие понятия – отражают в своем объеме группу предметов («звезда», «планета»).

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

Единичное понятие – такое, в объем которого входит один элемент (город Саратов, Россия и др.).

Общее понятие – такое, в объем которого входит более одного элемента (студент, солдат, преступник и др.).

 

Отношения между понятиями.

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

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

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

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

В отношении пересечения находятся понятия «юрист» (А) и «преподаватель» (В): некоторые юристы являются преподавателя­ми (как некоторые преподаватели — юристами).

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

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

Несовместимые понятия

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

Существуют три вида отношений несовместимости: соподчине­ние (координация), 2) противоположность, 3) про­тиворечие (контрадикторность).

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

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

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

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

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