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

Различают имена двух типов:

1. Имя, относящееся к первому типу (ЕДИНИЧНЫЕ), обозначает один предмет.

2. Имя второго типа (ОБЩИЕ) является общим для предметов некоторого класса. Класс, который составляют предметы, являющиеся значениями имени, называется объемом имени. Объем единичного имени-класс, состоящий из одного предмета. Общие имена могут быть универсальными. Также имена могут обозначать несуществующие предметы, мнимые (русалка, самая удаленная точка Вселенной). Примеры единичных имен: Луна; столица России; автор романа “Война и мир”. Примеры общих имен: хозяйственное преступление; европейское государство; кража личного имущества.

Вопрос 5. Основные логические и дескриптивные термины.

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

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

К дескриптивным (описательным) терминам относятся:

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

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

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

3. Функциональные знаки-выражения, обозначающие предметные функции, операции («ctg б», «+», «V-» и др.).

Кроме того, в языке встречаются так называемые логические термины (логические постоянные, или логические константы).

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

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

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

Конъюнкция соответствует союзу «и». Конъюнктивное высказывание обозначается, или , или (например, «Закончились лекции (а), и студенты пошли домой (b)») .

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

Петров находится дома или в институте» обозначается как

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

Эквиваленция соответствует словам «если и только если», «тогда и только тогда, когда», «эквивалентно». Эквивалентное высказывание обозначается, или , или

Отрицание соответствует словам «не», «неверно, что». Отрицание высказывания обозначается (например, «падает снег» (а); «неверно, что падает снег».

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

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

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

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

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

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

Отношение принадлежности элемента а классу А записывается так: (например, а — «Байкал» и А — «озеро»).

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

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

Вопрос 7. Виды понятий.

По объему:

Единичным называется понятие, в котором мыслится один предмет. На­пример, «русский адвокат Федор Никифорович Плевако (1842-1908)», «Орга­низация Объединенных Наций», «столица Российской Федерации» и другие.

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

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

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

Виды понятий по содержанию:

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

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

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

Безотносительные-это такие понятия, в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета. На­пример, «инвестиция», «правило», «сепаратизм» и другие.

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

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

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

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

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

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

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

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

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

Во втором значении - общее, нерегистрирующее, конкретное, положи­тельное, безотносительное, собирательное.

Вопрос 8. Обобщение и ограничение понятий.

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

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

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

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

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

Эта логическая операция характеризуется уменьшением объема за счет расширения содержания.

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

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

Вопрос 9. Деление понятий. Особенности таксономического и мерологического деления понятий.

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

Правила деления понятий

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

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

Нарушение этого правила ведет к ошибкам двух видов:

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

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

2. Деление должно проводиться только по одному основанию. Это означает, что нельзя брать два или большее число призна­ков, по которым бы производилось деление.

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

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

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

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

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

Таксономическое (от лат. оценивать) деление — это выделение в объеме понятия подклассов, являющихся объемами видовых понятий. Виды:

1. Дихотомическое (двучленное) деление предполагает, что объем понятия делится на два вида по наличию или отсутствию некоторого признака, на два противоречащие понятия: «А» и «не-А».

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

Мерологическое (от греч. - часть) деление основано на отношении целого и части, сложного и простого. Такое деление предполагает расчленение целого объема понятия на простые составные части.