≡× МЕНЮ

• Водоснабжение
• Насосы
• Очистка воды
• Колодцы
• Фильтры

Логика обозначения символов. Логические операции и их свойства. Польша и Германия

	Способ употребления	Название	Читается
		конъюнкция
		дизъюнкция
	р v q	Строгая дизъюнкция	либо р, либо q
		импликация	если р, то q
		эквивалентность	р тогда и только тогда, когда q
		отрицание	Неверно, что р
		Квантор всеобщности	Для всякого х верно, что Р(х)
		Квантор существования	Существует такой х, что Р(х)
		Индивидные переменные	Обозначения какого угодно предмета из универсума (области наших рассуждений)
		Пропозициональные переменны	Обозначения высказываний (предложений, которые могут быть оценены как истинные или ложные)
		Предикатные переменные	Переменные, значениями которых являются имена свойств или отношений

ЛОГИКА И ЯЗЫК. СЕМАНТИЧЕСКИЕ КАТЕГОРИИ ЯЗЫКА

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

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

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

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

Знаки-образы имеют определенное сходство с обозначаемыми предметами. Примеры таких знаков: копии документов; фотоснимки; некоторые дорожные знаки с изображением детей, пешеходов и других объектов.

Знаки-символы не имеют сходства с обозначаемыми предметами. Например: нотные знаки; знаки азбуки Морзе; буквы в алфавитах национальных языков.

Множество исходных знаков языка составляет его алфавит .

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

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

Рассмотрим кратко состав и структуру этого языка.

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

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

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

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

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

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

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

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

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

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

2) х, у, z , ... - символы общих имен предметов, принимающие значения в той или другой области; их называют предметными переменными;

3) Р 1 , О 1 , К 1 ,... - символы для предикатов, индексы над которыми выражают их местность; их называют предикатными переменными;

4) р, q , r , ... - символы для высказываний, которые называют высказывательными, или пропозициональными переменными (от латинского рroposito - «высказывание»);

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

6) логические связки:

– конъюнкция (союз «и»); – дизъюнкция (союз «или»);

-> - импликация (союз «если..., то,..»);

 - эквиваленция, или двойная импликация (союз «если и только если..., то...»);

 - отрицание («неверно, что...»).

Технические знаки языка: (,) - левая и правая скобки.

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

1. Всякая пропозиционная переменная – p, q, r … есть ППФ.

2. Всякая предикатная переменная, взятая с последовательностью предметных переменных или контакт, число которых соответствует ее местности, является ППФ: А 1 (х), А 2 (х, у), А 3 (x , y , z ), A n (x , y , … , n ) , где А 1 , А 2 , А 3 , A n – знаки метаязыка для предикаторов.

3. Для всякой формулы с предметными переменными, в которой любая из переменных связывается квантором, выражения  хА(х) и  хА(х) также будут ППФ.

4. Если А и В – формулы (А и В – знаки метаязыка для выражения схем формул), то выражения:

также являются формулами.

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

Понятие как форма мышления. Образование понятий.

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

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

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

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

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

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

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

На этапе синтеза мы соединяем общие признаки в единое целое, в мысленный образ предмета.

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

Объяснение использованных понятий

Анализ – мысленное расчленение предметов на их составные части, мысленное выделение в них признаков.

Абстрагирование – мысленное выделение одних признаков предмета и отвлечение от других; часто задача состоит в выделении существенных признаков и в отвлечении от несущественных, второстепенных.

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

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

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

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

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

Признаки – это то, в чем предметы сходны друг с другом или отличны друг от друга; свойства или отношения – это признаки.

Признаки бывают существенные и несущественные.

Существенный признак – это, во-первых, признак, присущий всем предметам данного класса, во-вторых, признак, без которого мы не можем этот предмет помыслить. Вторая характеристика существенного признака отражает относительность философского понятия сущности. Сущность вещи – это отражение глубины нашего познания этой вещи на данном временном этапе. Например, древние греки выделяли в качестве начала всех вещей некие первостихии: воду, огонь, воздух и землю. Но сами эти первостихии могли определяться через сочетания основных качеств: влажное, сухое, горячее, холодное. Вода при таком подходе определялась как влажное и холодное, это понималось как её сущность. А для современного школьника сущность воды будет выражаться формулой H 2 О.

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

Признаки бывают отличительные и неотличительные.

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

Неотличительные признаки – это признаки, которые принадлежат не только данным предметами.

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

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

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

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

В понятии «преступление » мы выделяем два существенных и (в совокупности) отличительных признака: (1) быть общественно опасным деянием; (2) быть предусмотренным уголовным законодательством.

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

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

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

Степени систематизации знания;

Степени определённости знания и его выражения;

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

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

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

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

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

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

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

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

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

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

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

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

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

Операции ограничения и обобщения понятий

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

А Операция сложения понятий заключается в объединении двух или нескольких классов в один класс

Так, операция сложения понятий \"обвинительный приговор\" и \"оправдательный приговор\" заключается в объединении класса обвинительных приговоров с классом оправдательных приговоров в один класс или в одно понятие \"об бинувальний приговор \"буквой А, а понятие\" оправдательный приговор \"- буквой В, то результат этой операции можно отобразить графически так (см. рис 7) Заштрихованная поверхность е класс приговоре. 7.

С помощью операции сложения можно объединить классы (понятия), находящихся между собой в самых отношениях: тождества, подчинения, пересечения, соподчинения, противоречия., Например, при объединении понятий \"свидетели\" (А) и \"родственники\" (В), которые находятся в отношении пересечения, мы получим новый класс (рис 8), в который войдут не только свидетели, не является родственникам и, и родственники, которые не являются свидетелями, но и родственники-свидетели При составлении понятий \"договор\" (А) и \"соглашение\" (В), между которыми существуют отношения подчинения, получат новый класс (заштрихованная поверхность рис 9), в который войдут не только сделки, не являются договорами, но и соглашения.

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

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

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

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

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

Графически результат операции умножения этих понятий будет такое отображение (см. рис 11) Заштрихованная поверхность обозначает класс тех элементов (преступлений), которые одновременно входят в понятие А (\"преступление\") и к в понятие В (\"должностное преступление).

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

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

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

Например, сферой нашего рассуждения являются юридические соглашения Отрицая понятия \"купля-продажа\" (А), мы получим понятие \"не купля-продажа\" (не-А) Сложив понятия \"купля-продажа\" и \"не купля-продажа\", мы получим класс юридических.

Графически результат этой операции можно представить так (см. рис 12) Здесь квадрат - это сфера предметов, о которой мы рассуждаем (в данном случае юридические соглашения) Круг понятия (А) \"купля-продажа\" Заштрихованная часть квадрата - понятие (не-А) \"не купля-продажа\" Понятия не-А, отрицает понятие А, имеет определенный объем Так, в объем понятия \"не купля-продажа\" (не-А) войдет не все, предмет действительности, например дерево, дом, человек и т д, а только те элементы класса юридических сделок, не является куплей-продажей, не входят в объем понятия А И поскольку каждый предмет или явление материального мира может рассматриваться нами в составе различных классов предметов, то объем конкретного понятия не-А находиться в зависимости от объема той сферы предметов, о которой мы рассуждаем.

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

Обобщение и ограничение понятий

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

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

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

Например, когда от понятия \"договор\" мы переходим к понятию \"сделка\", а от него к понятию \"гражданские правоотношения\", а затем к понятию \"правоотношения\" - мы обобщаем понятие \"договор\" мы перейдем к понятию \"страхование\", а от него - к понятию \"имущественное страхование\", то мы ограничиваем понятия (см. рис 13).

Процесс обобщения и ограничения понятий не бесконечен

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

Пределом ограничения является единичное понятие Так, ограничением понятия \"кража\" будет \"кража, совершенная Петровым\"

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

При ограничении случаются ошибки, когда понятие, к которому приходят, не является видом относительно того понятия, которое ограничивается Если, например, ограничивая понятие \"государство\", мы перейдем к понятию \"семья\", то такое е ограничение будет неправильно

Обобщение и ограничение понятий позволяет уточнить содержание и объем понятий, установить отношения между ними, что весьма важно для познания

Виды понятий

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

1. Понятия делятся наединичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Понятие, в котором мыслится один элемент, называетсяединичным (например, «Москва», «Л.Н. Толстой», «Российская Федерация»). Понятие, в котором мыслится множество элементов, называетсяобщим (например, «столица», «писатель», «федерация»).

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Конкретные - это понятия, в которых мыслится предмет или совокупность предметов как нечто самостоятельно существующее: "академия", "студент", "романс", "дом", "поэма А. Блока "Двенадцать" и др.

Абстрактные - это понятия, в которых мыслится не сам предмет, а какой-либо из признаков предмета, взятый отдельно от самого предмета: "смелость", "добросовестность", "храбрость", "синева", "тождество" и др.

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

Безотносительные - это такие понятия, в которых мыслятся предметы, существующие самостоятельно, вне зависимости от другого предмета: "фермер", "правило", "деревня", "человек" и др.

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

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

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

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

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

Логические отношения между понятиями

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

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

Совместимые - это такие понятия, объемы которых совпадают полностью или частично. Несовместимые - это понятия, объемы которых не совпадают ни в одном элементе.

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

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

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

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

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

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

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

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

Определение понятий и виды определений. Приемы, сходные с определением.

ОПРЕДЕЛЕНИЕ ПОНЯТИЯ КАК ЛОГИЧЕСКАЯ ОПЕРАЦИЯ

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

Виды определений:

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

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

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

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

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

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

1) уже возник и существует;

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

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

Приемы, сходные с определением: описание, сравнение, характеристика, различение.

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

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

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

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

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

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

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

Иногда характеристика дается путем указания одного признака. К. Маркс называл Аристотеля «величайшим мыслителем древности», а Луначарский характеризовал Клима Самгина (из романа М. Горького) как «микроскопическую индивидуальность на больших каблуках самомнения». К. Д. Ушинский писал: «Леность - это отвращение человека от усилий».

В книге рекордов Гиннесса (1988 г.) даны такие характеристи­ки: «Сергей Бубка (СССР). Первый прыгун с шестом, преодолевший шестиметровый рубеж»; «Сэр Эдмунд Хиллари (Новая Зеландия). Его выдающееся достижение заключается в том, что он первым покорил Эверест»; «Самая дорогая картина. «Подсолнухи», одна из серии в 7 картин Винсента ван Гога, была продана на аукционе Кристи 30 марта 1987 г. в Лондоне за 22 500 000 ф. ст.».

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

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

Ж.-Ж. Руссо считал, что можно сделать человека добрее, изменив его потребности. Развивая эту мысль, К. Д. Ушинский дает также характеристики сильного и слабого существа: «Тот, чья сила превосходит его потребности, будь то насекомое, червяк, есть существо сильное; тот же, чьи потребности превосходят силу, будь это слон, лев, будь это победитель, герой, будь это бог, есть существо слабое». И далее: «...чувство доброты появляется, когда силы наши превышают требовательность стремлений».

Дейл Карнеги дает такую характеристику в сочетании со сравнениями. «Одним из самых трагических свойств человеческой натуры, насколько мне известно, является наша склонность откладывать осуществление своих чаяний на будущее. Мы все мечтаем о каком-то волшебном саде, полном роз, который виднеется где-то за горизонтом, - вместо того, чтобы наслаждаться теми розами, которые растут под нашим окном сегодня. Почему мы такие глупцы - такие ужасающие глупцы? «Как странно мы проводим тот маленький отрезок времени, называемый нашей жизнью, - писал Стивен Ликок. - Ребенок говорит: «Когда я стану юношей». Но что это означает? Юноша говорит: «Когда я стану взрослым». И, наконец, став взрослым, он говорит: «Когда я женюсь». Наконец, он женится, но от этого мало что меняется. Он начинает думать: «Когда я смогу уйти на пенсию». А затем, когда он достигает пенсионного возраста, он оглядывается на пройденный им жизненный путь; как бы холодный ветер дует ему в лицо, и перед ним раскрывается жестокая правда о том, как много он упустил в жизни, как все безвозвратно ушло. Мы слишком поздно понимаем, что смысл жизни заключается в самой жизни, в ритме каждого дня и часа».

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

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

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

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

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

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

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

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

Художественные сравнения часто включают в свой состав слова: «как», «как будто», «словно» и др.

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

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

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

Правила определения. Ошибки в определениях.

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

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

2. Нельзя допускать круга в определении , т.е. когда определяющее само разъясняется через определяемое понятие. Нарушение этого правила ведет к логической ошибке –тавтологии . Вот некоторые примеры тавтологии: «Преступник – это человек, совершивший преступление»; «Сравнительная аналогия» (из газеты «Телегород», № 21, 2003). Здесь видно, что определяющее понятие повторяет сказанное в определяемом, не раскрывая его значения. Во избежание этой ошибки нужно помнить, что определяемое и определяющее понятия равны по объему, но не тождественны по своему содержанию, представляют самостоятельные понятия.

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

4. Определение должно быть кратким, точным и ясным .

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

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

Деление понятий и его виды

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

1. Деление должно быть соразмерным.

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

Такое деление называетсянеполным.

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

Такое деление называется делением с лишними членами.

СВОЙСТВА ЛОГИЧЕСКИХ ОПЕРАЦИЙ

1. Обозначения

1.1. Обозначения для логических связок (операций):

a) отрицание (инверсия, логическое НЕ) обозначается ¬ (например, ¬А);

b) конъюнкция (логическое умножение, логическое И) обозначается /\
(например, А /\ В) либо & (например, А & В);

c) дизъюнкция (логическое сложение, логическое ИЛИ) обозначается \/
(например, А \/ В);

d) следование (импликация) обозначается → (например, А → В);

e) тождество обозначается ≡ (например, A ≡ B). Выражение A ≡ B истинно тогда и только тогда, когда значения A и B совпадают (либо они оба истинны, либо они оба ложны);

f) символ 1 используется для обозначения истины (истинного высказывания); символ 0 – для обозначения лжи (ложного высказывания).

1.2. Два логических выражения, содержащих переменные, называются равносильными (эквивалентными), если значения этих выражений совпадают при любых значениях переменных. Так, выражения А → В и (¬А) \/ В равносильны, а А /\ В и А \/ В – нет (значения выражений разные, например, при А = 1, В = 0).

1.3. Приоритеты логических операций: инверсия (отрицание), конъюнкция (логическое умножение), дизъюнкция (логическое сложение), импликация (следование), тождество. Таким образом, ¬А \/ В \/ С \/ D означает то же, что и

((¬А) \/ В)\/ (С \/ D).

Возможна запись А \/ В \/ С вместо (А \/ В) \/ С. То же относится и к конъюнкции: возможна запись А /\ В /\ С вместо (А /\ В) /\ С.

2. Свойства

Приведенный ниже список НЕ претендует на полноту, но, надеемся, достаточно представителен.

2.1. Общие свойства

1. Для набора из n логических переменных существует ровно 2 n различных значений. Таблица истинности для логического выражения от n переменных содержит n+1 столбец и 2 n строк.

2.2.Дизъюнкция

1. Если хоть одно из подвыражений, к которым применяется дизъюнкция, истинно на некотором наборе значений переменных, то и вся дизъюнкция истинна для этого набора значений.
2. Если все выражения из некоторого списка истинны на некотором наборе значений переменных, то дизъюнкция этих выражений тоже истинна.
3. Если все выражения из некоторого списка ложны на некотором наборе значений переменных, то дизъюнкция этих выражений тоже ложна.
4. Значение дизъюнкции не зависит от порядка записи подвыражений, к которым она применяется.

2.3. Конъюнкция

1. Если хоть одно из подвыражений, к которым применяется конъюнкция, ложно на некотором наборе значений переменных, то и вся конъюнкция ложна для этого набора значений.
2. Если все выражения из некоторого списка истинны на некотором наборе значений переменных, то конъюнкция этих выражений тоже истинна.
3. Если все выражения из некоторого списка ложны на некотором наборе значений переменных, то конъюнкция этих выражений тоже ложна.
4. Значение конюнкции не зависит от порядка записи подвыражений, к которым она применяется.

2.4. Простые дизъюнкции и конъюнкции

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

1. Простая конъюнкция принимает значение 1 (истина) ровно на одном наборе значений переменных.
2. Простая дизъюнкция принимает значение 0 (ложь) ровно на одном наборе значений переменных.

2.5. Импликация

1. Импликация A →B равносильна дизъюнкции (¬ А) \/ В. Эту дизъюнкцию можно записать и так: ¬А \/ В.
2. Импликация A →B принимает значение 0 (ложь) только если A=1 и B=0. Если A=0, то импликация A →B истинна при любом значении B.

Конъюнкция или логическое умножение (в теории множеств – это пересечение)

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

Обозначение: &, $\wedge$, $\cdot$.

Таблица истинности для конъюнкции

Рисунок 1.

Свойства конъюнкции:

1. Если хотя бы одно из подвыражений конъюнкции ложно на некотором наборе значений переменных, то и вся конъюнкция будет ложной для этого набора значений.
2. Если все выражения конъюнкции истинны на некотором наборе значений переменных, то и вся конъюнкция тоже будет истинна.
3. Значение всей конъюнкции сложного выражения не зависит от порядка записи подвыражений, к которым она применяется (как в математике умножение).

Дизъюнкция или логическое сложение (в теории множеств это объединение)

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

Обозначение: +, $\vee$.

Таблица истинности для дизъюнкции

Рисунок 2.

Свойства дизъюнкции:

1. Если хотя бы одно из подвыражений дизъюнкции истинно на некотором наборе значений переменных, то и вся дизъюнкция принимает истинное значение для данного набора подвыражений.
2. Если все выражения из некоторого списка дизъюнкции ложны на некотором наборе значений переменных, то и вся дизъюнкция этих выражений тоже ложна.
3. Значение всей дизъюнкции не зависит от порядка записи подвыражений (как в математике – сложение).

Отрицание, логическое отрицание или инверсия (в теории множеств это отрицание)

Отрицание - означает, что к исходному логическому выражению добавляется частица НЕ или слова НЕВЕРНО, ЧТО и в итоге получаем, что если исходное выражение истинно, то отрицание исходного – будет ложно и наоборот, если исходное выражение ложно, то его отрицание будет истинно.

Обозначения: не $A$, $\bar{A}$, $¬A$.

Таблица истинности для инверсии

Рисунок 3.

Свойства отрицания:

«Двойное отрицание» $¬¬A$ является следствием суждения $A$, то есть имеет место тавтология в формальной логике и равно самому значению в булевой логике.

Импликация или логическое следование

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

Обозначения: $\to$, $\Rightarrow$.

Таблица истинности для импликации

Рисунок 4.

Свойства импликации:

1. $A \to B = ¬A \vee B$.
2. Импликация $A \to B$ ложна, если $A=1$ и $B=0$.
3. Если $A=0$, то импликация $A \to B$ истинна при любом значении $B$, (из лжи может следовать истинна).

Эквивалентность или логическая равнозначность

Эквивалентность - это сложное логическое выражение, которое истинно на равных значениях переменных $A$ и $B$.

Обозначения: $\leftrightarrow$, $\Leftrightarrow$, $\equiv$.

Таблица истинности для эквивалентности

Рисунок 5.

Свойства эквивалентности:

1. Эквивалентность истинна на равных наборах значений переменных $A$ и $B$.
2. КНФ $A \equiv B = (\bar{A} \vee B) \cdot (A \cdot \bar{B})$
3. ДНФ $A \equiv B = \bar{A} \cdot \bar{B} \vee A \cdot B$

Строгая дизъюнкция или сложение по модулю 2 (в теории множеств это объединение двух множеств без их пересечения)

Строгая дизъюнкция истинна, если значения аргументов не равны.

Для электроники это означает, что реализация схем возможна с использованием одного типового элемента (правда это дорогостоящий элемент).

Порядок выполнения логических операций в сложном логическом выражении

1. Инверсия(отрицание);
2. Конъюнкция (логическое умножение);
3. Дизъюнкция и строгая дизъюнкция (логическое сложение);
4. Импликация (следствие);
5. Эквивалентность (тождество).

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

Общие свойства

Для набора из $n$ логических переменных существует ровно $2^n$ различных значений. Таблица истинности для логического выражения от $n$ переменных содержит $n+1$ столбец и $2^n$ строк.

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

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

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

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

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

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

Знаки, служащие для обозначения отрицания; читаются: «не», «неверно что»;

Знаки для обозначения логической связки, называемой конъюнкцией; читаются: «и»;

Знак для обозначения логической связки, называемой неисклю­чающей дизъюнкцией; читается: «или»;

Знак для обозначения строгой, или исключающей, дизъюнк­ции; читается: «либо, либо»;

Знаки для обозначения импликации; читаются: «если, то»;

Знаки для обозначения эквивалентности высказываний; читаются: «если и только если»;

Квантор общности; читается: «для всякого», «всем»;

Квантор существования; читается «существует», «имеется по крайней мере один»;

L, N, - знаки для обозначения модального оператора необходимос­ти; читаются: «необходимо, что»;

М - знак для обозначения модального оператора возможности; читается: «возможно, что».

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

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

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

А) «Тот, кто ясно мыслит, ясно говорит» -; буква А обозна­чает высказывание «Человек ясно мыслит», В - высказывание «Чело­век ясно говорит»,- связка «если, то»;

Б) «Он - образованный человек и неправда, что он не знаком с со­нетами Шекспира» -; А - высказывание «Он образованный человек», В - «Он не знаком с сонетами Шекспира»,- связка «и»,

В) «Если свет имеет волновую природу, то, когда он представляется ввиде потока частиц (корпускул), допускается ошибка» -

; А - «Свет имеет волновую природу», В - «Свет представляется в виде потока частиц», С - «Допускается ошибка»;

Г) «Если вы были в Париже, то вы видели Лувр или видели Эйфелеву башню» -- «Вы были в Париже», В - «Вы видели Лувр», С - «Вы видели Эйфелеву башню»;

4. Логическая символика

Д) «Если какое-то вещество нагревать, то оно расплавится или испа­рится, но оно может также взорваться» - (А ^ (В v С v Д)); А - «Ве­щество нагревается», В - «Вещество расплавляется», С - «Вещество испаряется», D - «Вещество взрывается».

Приведем еще один простой пример перехода от искусственного язы­ка логики к обычному языку. Пусть переменная А представляет выска­зывание «Теория Дарвина является научной», В - «Теория Дарвина может быть подтверждена опытными данными», С - «Теория Дарвина может быть опровергнута опытными данными». Какие содержательные высказывания выражаются формулами:

А) А ^ (В ^ С);

Б) (В л ~ С) ^ ~ А;

В) (~ В л ~ С) ^ ~ А?

Ответом на этот вопрос являются, соответственно, три высказывания:

А) Если теория Дарвина научна, то если она может быть подтвержде­на опытными данными, она может быть также опровергнута ими;

Б) Если теория Дарвина может быть подтверждена опытными данны­ми, но не может быть опровергнута ими, она не научна;

В) Если теория Дарвина не может быть подтверждена опытными дан­ными и не может быть опровергнута ими, она не научна.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Другие логические термины вводятся ниже.

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

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

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

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

Употребление имен подчиняется определенным требованиям (принципам). Сформулируем два из этих принципов.

Первый. Принцип предметности: в предложениях должно что-либо утверждаться или отрицаться не об именах, а о значениях имен. Например, если мы говорим, что Земля - планета, то мы говорим не о слове «Земля», а о самой Земле. Конечно, иногда приходится что-то утверждать или отрицать об именах. Тогда употребляются так называемые «кавычковые имена». Например, в предложении «“Земля” - имя планеты» говорится не о небесном теле «Земля», а об имени этого небесного тела. Иногда в естественном языке встречаются случаи, когда именем имени является само исходное имя. Например, в предложении «Стол состоит из четырех букв» слово «стол» является именем самого этого слова. Такое употребление имен называется автонимным. Автонимное употребление имен недопустимо в научных языках.

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

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

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

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

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

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

• Леонардо да Винчи пишет: «...Если ты скажешь, что прикосновение самым концомкарандаша к некоторой поверхности является созданием точки, то это будет неправильно;мы скажем, что такое прикосновение дает поверхность, окружающую свою середину,и в этой середине находится местоположение точки». См.: Жуков А. Н. НеизвестныйЛеонардо: притчи, аллегории, фацеции. Ростов, 2007. С. 79.