1. предмет и значение логики для выяснения предмета логики можно использовать несколько методов, каждый из которых дает определенный результат. Первый метод этимологический
Вид материала | Документы |
- Тематический план заданий № п/п Наименование тем Количество часов лекция, 223.21kb.
- Тематический план заданий № п/п Наименование тем Количество часов лекция, 224.65kb.
- Применение языка логики предикатов для записи математических предложений, определений,, 42.87kb.
- Функции алгебры логики, 47.25kb.
- Л. В. Логика Предмет и цель логики Предметом формальной (традиционной) логики являются, 427.46kb.
- Отличия человеческой логики от математической логики, 139.86kb.
- Методические материалы для студентов 1 курса Юридического факультета, 874.23kb.
- 1. Предмет и значение логики, 119.71kb.
- С. Н. Труфанов "наука логики", 2350.97kb.
- Попов Владлен Александрович литература, 7.67kb.
1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ
Для выяснения предмета логики можно использовать несколько методов, каждый из которых дает определенный результат. Первый метод - этимологический. Он заключается в том, что требуется прояснить значение слова, которое используется для названия данной науки. Термин «логика» восходит к древнегреческому слову «логос», означавшему слово, мысль, понятие, рассуждение и закон. Древнегреческие философы считали, что в речах человека есть некая сила. Она побуждает, сказав «А», сказать и «Б». В основе этого принуждения лежит человеческий разум, который отыскивает в природе необходимое и отбрасывает случайное.
Этимология слова «логика» показывает, что это наука, имеющая отношение к человеческому мышлению, обосновывает рассуждения с помощью оснований, " которые впоследствии стали называться логическими законами.
Недостатком данного метода является многозначность слова «логика». В повседневной жизни, в популярной, общенаучной и философской литературе это слово используется в большом спектре значений. Оценки «логично» и «нелогично» могут использоваться для характеристики человеческих действий, оценки событий и т. п.
Второй метод - справочно-академический. Он заключается в том, что ответ на вопрос мы ищем в словарях и энциклопедиях. В большинстве словарей и учебников логика определяется как наука о законах и формах правильного мышления, а предметом данной науки признается человеческое мышление. Однако логика рас-сматриваетне только правильное мышление, но и ошибки, возникающие в процессе мышления: софизмы, парадоксы и т. д.
Логика - наука о законах и формах человеческого мышления, рассматриваемого как средство познания окружающей действительности.
Значение логики состоит в следующем:
- (логика выступает важнейшим средством формирования убеждений (прежде всего научных). Эти убеждения опираются на доказательные процедуры своего представления и обоснования. Именно в этом плане логика применялась даже средневековыми схоластами, пытавшимися придать христианскому вероучению рациональную форму, что послужило формальной предпосылкой возникновения действительной науки, отказавшейся от теологических подходов; формальная логика применяется в науке и технике. При этом техническими приложениями формальной логики являются: исчисление высказываний и исчисление предикатов. Без исчисления предикатов не могли появиться искусственные информационные языки,основа современной компьютерной техники. Традиционная формальная логика остается важнейшим логическим инструментом построения доказательств, обоснований во всех науках;
- традиционная формальная логика остается важнейшим средством в сфере всех видов образования. Она является основой организации всех видов знания для его подачи в процессе обучения;
- логика является важнейшим и незаменимым инструментом развития культуры. Без логики не может обойтись никакая культурная деятельность вообще, поскольку в ней присутствуют и играют принципиальную роль рациональные элементы.
2. МЫШЛЕНИЕ КАК ПРЕДМЕТ ЛОГИКИ
Предмет логики - человеческое мышление. Сам термин «мышление» является достаточно широким и не дает возможности определить специфику логики по отношению кдругим наукам. Психология тоже анализирует условия и причины, обеспечивающие развитие и нормальное функционирование человеческого мышления. Физиология высшей нервной деятельности раскрывает естественно-научные основы механизма деятельности головного мозга. Кибернетика пытается выяснить законы мышления путем их моделирования. Массовое сознание и мышление изучается социологией.
Однако логика, в отличие от других наук, рассматривает мышление не как само по себе, а как средство познания. Сущность познания заключается в следующем:
1)оно начинается с отражения окружающего мира органами чувств, дающих непосредственное знание о действительности. Чувственное познание протекает в трех основных формах: ощущение, восприятие, представление. Но чувственное познание дает представление лишь о внешних свойствах предметов, об отдельных конкретных вещах. Подобное познание присуще и высшим животным; 2(познание сущности вещей, законов природы и общества невозможно без абстрактного мышления. Абстракция - это результат процесса отвлечения от одних свойств предмета и выделения его других свойств.
В мышлении, его образах выделяют две стороны: содержательную и формальную. Содержательная сторона мышления определяется признаками тех предметов, которые оно отражает.
Формальная сторона мышления связана с отношениями, которые возникают между образами, их Vсоставными частями (мыслями и частями мыслей)
отражающими те или иные стороны предметного содержания. Формальная сторона мышления не совпадает с отношениями, которые имеют место в самих предметах, отраженных в мышлении.
Логика отвлекается от всего богатства предметного содержания мышления и сосредоточивает все свое внимание на формальной стороне мышления, учитывая при этом основные особенности предметного содержания.
С формальной стороны мышление предстает как некоторый набор форм. В широком смысле формой мышления называют всякое отношение между мыслями или частями отдельной мысли. Взятое в чистом виде всякое такое отношение называется логической формой. Логическая форма мысли не зависит от конкретного предметного содержания и может характеризовать различные виды предметного содержания.
Логические формы, носящие необходимый, устойчивый и повторяющийся характер связи мыслей, называют логическими законами.
Мышление отражает познаваемый мир в абстракциях. Отвлекаясь от конкретного, присущего только одному предмету, абстрактное мышление способно обобщать множество однородных предметов, выделять наиболее важные свойства, раскрывать закономерные связи,
Свойства абстрактного мышления:
отражение действительности в обобщенных образах;
опосредованное отражение действительности (не наблюдаемое непосредственно);
3)неразрывная связь с языком.
Предметом логики является правильное мышление, т. е. такое, которое соответствует логическим законам(принципам).
3. ВЗАИМОСВЯЗЬ ЛОГИКИ И ЯЗЫКА
Язык - знаковая информационная система, выполняющая функцию формирования, хранения и передачи информации в процессе познания действительности и общения между людьми.
При создании языка основным элементом являются знаки. Знак - это любой чувственно воспринимаемый предмет, выступающий представителем другого предмета.
Выделяют несколько видов знаков: 1) знаки-копии (фотографии, отпечатки пальцев и т. п.); 2)знаки-признаки (дым - признак огня, боль- признак болезни и т. п.); 3) знаки-сигналы (звонок - начало занятия); 4)знаки-символы (дорожные знаки, буквы алфавита и т. п.). По происхождению языки бывают естественные и искусственные.
Естественные языки - исторически сложившиеся в обществе звуковые (речь), а затем и графические (письмо) информационные знаковые системы. Они возникли для закрепления и передачи накопленной информации в процессе общения между людьми. Искусственные языки - вспомогательные знаковые системы, создаваемые на основе естественных языков для точной и экономичной передачи научной и другой информации.
Естественные языки имеют определенные недостатки, затрудняющие точную передачу информации. К таким недостаткам относится тот факт, что со временем слова изменяют свое значение. Например, слово «танк» первоначально обозначало резервуар, цистерну, а сейчас оно обозначает боевую машину. В естественном языке также одно слово часто обозначает разные предметы и имеет несколько смысловых значений (кисть руки и кисть винограда). Бывает, что V разные слова имеют одно и то же значение (перевес и превосходство). Иногда значение слов естественного языка бывает неопределенным, расплывчатым (человек не совсем здоров). Искусственные языки лишены данных недостатков, но бедны образами. Логика пользуется искусственным языком, который создан с помощью формализации. В логике операции с мыслями заменяют действиями со знаками. Основными знаками формальной логики являются слова, а сложными - предложения естественного языка. С помощью формализованного языка из формул, соответствующих истинным высказываниям, можно получить формулы, соответствующие другим истинным высказываниям, не принимая во внимание преобразование самого высказывания.
Общепринятым является язык логики предикатов. Его основными категориями являются: имена предметов, выражения, обозначающие свойства и отношения, и предложения.
Имена предметов обозначают как единичные предметы или явления, так и их множества. Например, студент Иванов и студент. Обьектом исследования могут быть как материальные, так и идеальные объекты. Имена бывают простые (государство) и сложные (студенты третьего курса); единичные (обозначающие один предмет) и общие (обозначающие множество предметов).
Выражения, обозначающие свойства и отношения, называются предикаторами. В предложении они обычно играют роль сказуемого (например, быть синим, бегать и т. п.).
Предложение - это выражение, обозначающее высказывание о предметах, в котором утверждается или отрицается наличие определенных признаков или свойств у предмета или отношения между предметами. По своему значению они выражают истину или ложь.
4. ИСТОРИЯ ФОРМИРОВАНИЯ ЛОГИКИ
В своем развитии логика прошла два этапа:
1)с IV в. до н.э. до XIX в. и. э. В этот период произошло возникновение формальной логики, автором которой традиционно считается Аристотель, и ее медленное совершенствование; 2)с конца XIX в. до наших дней произошла научная революция и на смену аристотелевской логике пришла современная.
Отдельные логические проблемы возникали перед человечеством уже свыше 2,5 тыс. лет назад в Древней Индии. В индийской логике много внимания уделяется теории умозаключения, которое в ней отождествляется с доказательством.
Логика в Древней Индии не рассматривалась как система, а трактовалась в виде кратких афоризмов. При этом логика была полностью зависима от других -| наук. Логика Древней Индии была практически неизвестна в Западной Европе. Поэтому считается, что логические проблемы получают свое освещение только в Древней Греции и Риме.
Основными причинами возникновения логики как науки являются:
1 (зарождение и развитие наук. Логика и пыталась выявить и объяснить те требования, которым должно удовлетворять научное мышление, чтобы его результаты соответствовали действительности; 2) развитие ораторского искусства и искусства спора. Основателем логики как науки принято считать Аристотеля. Однако первое систематическое изложение логических проблем было раньше дано другим древнегреческим философом - Демокритом. Среди его многочисленных трудов был и обширный трактат в трех книгах «О логическом, или о канонах» (от греч. canon -«правило, предписание»). В данной работе была раскрыта сущность основных форм познания и критерии истины, показана роль логических рассуждений в познании, дана классификация суждений и предпринята попытка разработать индуктивную логику.
В центре логических размышлений Аристотеля лежит теория дедуктивных умозаключений и доказательства. Он также дал классификацию категорий и близкую к демокритовской классификацию суждений, сформулировал три фундаментальных закона мышления - закон тождества, закон противоречия и закон исключенного третьего.
В Средние века в развитии логики как науки сыграла проблема общих понятий - «универсалий». Суть проблемы заключается в том, что появляется раньше -общие понятия, вытекающие из нашего разума (рационализм), или единичные, фактические предметы (номинализм).
В эпоху Возрождения логика переживала настоящий кризис. Она расценивалась как искусственное мышление и противопоставлялась естественному мышлению, основывающемуся на интуиции и воображении.
Следующий этап в развитии логики начинается сXVII в. Он связан с созданием в ее рамках индуктивной логики, в которой нашли отражение многообразные процессы получения общих знаний на основе накопившегося эмпирического материала. Потребность в таких знаниях наиболее полно осознал и выразил в своих трудах Ф. Бэкон. Он и стал родоначальником интуитивной логики.
Растущие потребности научно-технического прогресса обусловливают дальнейшее развитие современной логики.
5. ЛОГИКА И ЯЗЫК
Предметом изучения логики являются формы и законы правильного мышления. Мышление есть функция человеческого мозга, которая неразрывно связана с языком.
Функции естественного языка многочисленны и многогранны. Язык - средство повседневного общения людей, средство общения в практической и научной деятельности. Языку свойственны и такие функции: хранить информацию, быть средством выражения эмоций, быть средством познания. Язык является знаковой информационной системой, продуктом духовной деятельности человека. Накопленная информация передается с помощью знаков (слов) языка.
Речь может быть устной или письменной, звуковой или незвуковой, внешней или внутренней, выраженной с помощью естественного или искусственного языка, в основе которых лежит естественный язык, сформулированы положения всех наук.
На базе естественных наук возникли искусственные языки науки. К ним принадлежат языки математики, символической логики, химии, физики, а также алго-метрические языки программирования для ЭВМ, которые получили широкое применение а современных вычислительных машинах и системах.
Имя - это-слово или словосочетание, обозначающее какой-либо определенный предмет. Предмет в данном случае понимается в широком смысле: это вещи, свойства, отношения,процессы,явления как природы,так и общественной жизни, психической деятельности людей, продуктов их воображения и результатов абстрактного мышления.
Имена делятся на: 1)простые (книга, снегирь); 2)сложные или описательные (самый большой водопад в Канаде и США);
3)собственные, т. е. имена отдельных людей, предметов или событий (П. И. Чайковский); 4(общие (действующие вулканы).
Каждое имя имеет значение или смысл. Значением или смыслом имени является способ, которым имя обозначает предмет, т. е. информация о предмете, содержащаяся в имени.
В логике различают выражения, которые являются именными функциями, и выражения, являющиеся пропозициональными функциями.
Именная функция - это выражение, которое при замене переменных постоянными превращается в обозначение предмета. Возьмем именную функцию «отецу». Подставим вместо «у» имя «писатель Жюль Верн», получим «отец писателя Жюля Верна» - имя предмета.
Пропозициональной функцией называется выражение, содержащее переменную и превращающееся в истинное или ложное высказывание при постановке вместо переменной имени предмета из определенной системной области.
Понятие пропозициональной функции широко используется в математике. Все уравнения с одним неизвестным представляют собой одноместные пропозициональные функции.
При логическом анализе язык рассматривается как знаковая система.
Знак - это материальный объект, используемый в процессе познания или общения в качестве представителя какого-либо объекта.
Можно выделить знаки следующего вида: 1)знаки-индексы; 2(знаки-образцы; 3) знаки-символы.
Логика исследует знаки последнего вида.
Знаки-символы не связаны причинно и не сходны с представляемыми ими объектами.
6. ОСОБЕННОСТИ СОВРЕМЕННОЙ ЛОГИКИ
Необходимые потребности научно-технического прогресса ведут к развитию современной логики. Прошедшая революция в логике в конце ХГХ-начале XX вв. послужила результатом возникновения логической теории, впоследствии получившей название «классическая логика». Ее основателями являются ирландский логик Д. Буль, американский философ и логик Ч. Пирс и немецкий логик Г. Фреге. В своих работах они переносили в логику методы, в своем большинстве принимаемые в математике. Но классическая логика все еще остается центром современной логики, она продолжает традиции аристотелевской логики, используя при этом современный математический путь.
В первой половине XX в. классическая логика подверглась критике, после чего возникло большое количество новых направлений, которые и получили название неклассической логики. Ее главное отличие от классической логики состоит в том, что она сформировалась не как единое целое, а стала представлять собой различные теории. К их числу можно отнести следующие направления: 1 {многозначная логика. Она начала складываться в 20-х гг. XX в. В классической логике присутствовал один особенный принцип, на основании которого все высказывания либо истинны, либо ложны. Данный принцип назывался принципом двузначности. В противопоставление данному принципу были выведены многозначные системы. В них вместе с истинными и логическими суждениями допускаются и неопределенные суждения. Данный принцип был известен еще Аристотелю, который не считал его лучшим. Данный подход Аристотеля еще в древности вызывал споры. В более позднее время принцип двузначности также оспаривался мно-V гими логиками. Но только в современной логике стало возможный использовать, сомнения в универсальности принципа двузначности в форме логических систем. Независимо друг от друга первые многозначные логики были построены польским логиком Я. Лукасевичем и американским логиком Э. Постом. Лукасевичем была предложена трехзначная логика, которая основана на предположении, что высказывания бывают истинными,ложными и неопределенными, в отличие от него, Пост формально подходил к многозначной логике; 2)интуиционистская логика. В 1908 г. классические законы исключенного третьего, двойного отрицания и косвенного доказательства были подвержены сомнению голландским математиком и логиком Л. Брауэром. В результате чего возникла интуиционистская логика, которая, естественно,не содержала данных законов. Брауэр полагал, что, возникнув в рассуждениях о конечном множестве объектов, закон исключенного третьего впоследствии был распространен на бесконечные множества, в результате чего проверить, обладают ли все предметы определенным свойством или нет, не представляется возможным; 3)релевантная логика.
Классическая логика была подвержена критике еще и за то, что не дает никакого описания логического следования. Логическое следование - это отношение, которое существует между утверждением и выводимыми из него заключениями. Выводимое следствие должно быть связано с тем, из чего оно выводится. Наиболее полное развитие данное положение получило в релевантной логике.
7. МНОГОЗНАЧНАЯ ЛОГИКА
Принцип двузначности был известен еще Аристотелю, который не считал его, однако, универсальным и не распространял его действия на высказывания о будущем. Аристотелю казалось, что высказывания о будущих случайных событиях, наступление которых зависит от человека, не являются ни истинными, ни ложными. Они не подчиняются принципу двузначности. Прошлое и настоящее определены однозначно и не подвержены изменению. Будущее же в определенной мере свободно для изменения и выбора.
Подход Аристотеля уже в древности вызывал ожесточенные споры. Его высоко оценивал Эпикур, который допускал существование случайных событий. Другой древнегреческий логик Хрисипп, категорически отрицавший случайное, с Аристотелем не согла-шалея. Он считал принцип двузначности одним из основных положений не только всей логики, но и философии.
В более позднее время положение, что всякое высказывание либо истинно, либо ложно, оспаривалось многими логиками и по множеству причин. В частности, указывалось на неприменимость данного принципа к высказываниям о неустойчивых, переходных состояниях, о несуществующих объектах, об объектах, недоступных наблюдению.
Но только в современной логике оказалось возможным реализовать сомнения в универсальности принципа двузначности в форме логических систем. Первые многозначные логики построили независимо друг от друга польский логик Я. Лукасевич в 1920 г. и американский логик Э. Пост в 1921 г.
Лукасевичем была предложена трехзначная логика, основанная на предположении, что высказывания бывают истинными, ложными и неопределенными
К последним были отнесены высказывания наподобие: «Студенты летом поедут в отпуск». Событие, описываемое данным высказыванием, сейчас никак не определено - ни позитивно, ни негативно. Значит, высказывание не является ни истинным, ни ложным, оно только возможно.
Все законы трехзначной логики Лукасевича оказались также и законами классической логики, однако обратное утверждение смысла не имело. Ряд классических законов в трехзначной логике отсутствовал. Среди них были закон противоречия, закон исключенного третьего, закон косвенного доказательства и ряд других.
В отличие от Лукасевича, Э. Пост подходил к построению многозначной логики чисто формально. Допустим, 1 обозначает истину, а 0 - ложь. Естественно допустить, что числа между единицей и нулем обозначают степени истины.
В то же время, чтобы построение логической системы перестало быть чисто техническим упражнением, а сама система - сугубо формальной конструкцией, необходимо придать символам данной системы определенный логический смысл и содержательно ясную интерпретацию. Вопрос о такой интерпретации - самая сложная и спорная проблема многозначных логик. Как только между истиной и ложью допускается что-то промежуточное, встает вопрос: что означают высказывания, не относящиеся ни к истинным, ник ложным? Кроме того, введение промежуточных степеней истины изменяет обычный смысл самих понятий истины и лжи.
Было много попыток содержательно обосновать многозначные логические системы, однако удовлетворительного объяснения до сих пор нет.
8. РЕЛЕВАНТНАЯ ЛОГИКА
Непосредственным результатом революции, произо-| шедшей в логике в конце 1ХХ-начале XX вв., было ' возникновение логической теории, получившей со I временем название «классическая логика».
Классическая логика по-прежнему остается ядром I современной логики, сохраняющим как теоретическую, I так и практическую значимость. Основной задачей ло-' гики считается систематизация правил, которые позво-I ляют из принятых утверждений выводить новые. Клас-
сическая логика подвергалась критике долгое время за I то, что она не дает корректного описания логического I следования, которое представляет собой отношение, 1 существующее между утверждениями и обоснованно | выводимыми из них заключениями. Для логики важно
уточнить интуитивное представление о следовании, I а также сформулировать на этой основе однозначно I определенное понятие следования. Основная задача . логики - систематизация правил, позволяющих из при-I нятых утверждений выводить новые.
Логическое следствие - это отношение, существую-' щее между утверждениями и обоснованно выводи-I мыми из них заключениями. Логика должна уточнить
■ интуитивное представление о следовании и сформу-
I пировать на этой основе однозначно определенное
I понятие следованиия. Логическое следование ведет
от истинных положений только к истинным. Класси-| ческая логика удовлетворяет этим требованиям, но I многие ее положения плохо согласуются с привыч-I ными представлениями.
Так, классическая логика говорит, что из противоре-. чивого суждения «Студент Иванов - отличник» и «Сту-| дент Иванов не является отличником» следует утверж-V дение «Студенты не хотят учиться». Но при этом между исходным утверждением и этими вытекающими из него утверждениями нет никакой содержательной связи. Здесь видно уклонение от обычного представления о следовании, выводимое следствие должно быть каким-либо образом связано с тем, из чего оно выводится. Но классическая логика пренебрегает этим обстоятельством.
Американский логик К. И. Льюис в 1912 г. обратил внимание на эти так называемые «парадоксы импликации». Он разработал неклассическую теорию логического следования,основанную на понятии строгой импликации.
Американскими логиками А. Р. Андерсоном и Н. Д. Бел-напом эта концепция получила наиболее полное развитие в релевантной логике, которая была в суммированном образе представлена в их работе «Выведение следствий» (1975). Они считали, что для высказываний характерно существование некой связи между их содержанием, так как для релевантной логики не считается постыдным быть интенсиональной и допускать свободные рассуждения о значениях.
Это учение об импликации, об обусловливании (в более широком смысле) получило развитие в довольно неортодоксальных направлениях в Австралии и Южной Америке, положив начало «паранепротиворечивым» логикам. Требования релевантной логики исключали парадоксы как строгой, так и материальной импликации. Существовало множество дискуссий о том, что является ли «релевантность» формальным понятием, отличным от понятий риторики, или нет.
9. ОСОБЕННОСТИ ЛОГИЧЕСКИХ ЗАКОНОВ И ИХ СВЯЗЬ С ПРИНЦИПАМИ МЫШЛЕНИЯ
Связность - всеобщее свойство составляющих его элементов. Это способность предметов и явлений существовать не порознь, а вместе, вступая в те или иные связи и отношения. Одним из видов связей является и закон.
Закон - это внутренняя, существенная и необходимая связь между предметами и явлениями, повторяющаяся всегда и всюду при определенных условиях.
Мышление тоже имеет связный характер, но его связность качественно иная. Структурными элементами здесь выступают не сами вещи, а лишь мысли, т. е. отражения вещей. Поэтому связность проявляется в том, что возникающие и циркулирующие в головахлю-дей мысли существуют не отдельно и изолированно одна от другой, подобно осколкам разбитого зеркала, в каждом из которых отражаются лишь какие-то отдельные кусочки действительности. В логике аналогом любой формы целостности, в которой прослеживаются те или иные связи, выступает универсум - та совокупность объектов, мыслимая как единое целое, на элементах которой мы рассматриваем необходимые нам связи. Универсум задает предметную область логических действий, связывает в одно целое все части рассуждений. Например,если мы собираемся рассматривать преступления, то универсумом выступают все преступления, совершаемые сейчас, совершенные ранее, а также те, которые будут совершены в будущем.
Поскольку мышление имеет содержание и форму, то эти связи двоякого рода - содержательные и формальные. Так, в высказывании «Москва есть столица» содержательная, или фактическая, связь состоит в том, что мысль о конкретном городе - Москве - соотносится с мыслью о специфических городах - столицах. Но здесь есть и иная, формальная связь между самими формами мыслей - понятиями. Она выражается в русском слове «есть» и означает, что один предмет включается в группу предметов. С изменением содержания высказывания меняется и содержательная связь, а формальная может повторяться сколь угодно долго. Высказываниях «Право есть общественное явление» и «Конституция есть закон» содержательная связь каждый раз новая, а формальная - одна и та же. Так вот, логика изучает не содержание высказываний, а их форму. Соответственно, формальные связи между высказываниями получили название «логические связи». Логических связей также существует огромное множество. Это связи между признаками в понятии и самими понятиями, между элементами суждения и самими суждениями и т. п. Они выражаются союзами «и», «или», «если,... то» и др. В них отражаются реальные, объективно существующие связи и отношения между предметами и явлениями действительности: соединения,разъединения, обусловленности и пр. Особым видом логической связи является закон мышления, или закон логики.
Закон логики - это внутренняя, необходимая и существенная связь между мыслями в процессе рассуждения, рассматриваемая со стороны ее формы.
Цель законов логики - сформулировать основания, фундамент правил и рекомендаций, следуя которым можно достичь истины. Поэтому законы мышления не являются законами в том смысле, в котором указанный термин используется для описания явлений природы.
10. ЗАКОН ТОЖДЕСТВА
Предмет мысли понимается на всем протяжении суждения в одном и том же содержании его признаков. Требованиями закона тождества являются определенность и однозначность. Им запрещается многозначное использование терминов.
Любая мысль в процессе рассуждения должна иметь определенное, устойчивое содержание. Это коренное свойство мышления - его определенность - выражает закон тождества: всякая мысль в процессе рассуждения должна быть тождественна самой себе (а есть а, или а = а, где под а понимается любая мысль).
Закон тождества может быть выражен формулой
р ->р (если р, то р),
где р - любое высказывание, —» - знак импликации.
Из закона тождества следует: нельзя отождествлять различные мысли, нельзя тождественные мысли принимать за нетождественные. Нарушение этого требования в процессе рассуждения нередко бывает связано с различным выражением одной и той же мысли в языке.
Например, два суждения «Н. совершил кражу» и -Н. тайно похитил чужое имущество», выражают одну и ту же мысль(если, разумеется, речь идет об одном и том же лице). Предикаты этих суждений - равнозначные понятия: кража и есть тайное хищение чужого имущества. Поэтому было бы ошибочным рассматривать эти мысли как нетождественные.
С другой стороны, употребление многозначных слов может привести к ошибочному отождествлению различных мыслей. Например, в уголовном праве словом -штраф' обозначают меру наказания, предусмотренную Уголовным кодексом, в гражданском праве этим словом обозначают меру административного воздействия. Очевидно, употреблять подобное слово в одном значении не следует.
Отождествление различных мыслей нередко связано с различиями в профессии, образовании и т. д. Так бывает в следственной практике, когда обвиняемый или свидетель, не зная точного смысла некоторых понятий, понимает их иначе, чем следователь. Это нередко приводит к путанице, неясности, затрудняет выяснение существа дела. Отождествление различных понятий представляет собой логическую ошибку - подмену понятия, которая может быть как неосознанной,так и преднамеренной.
Соблюдение требований закона тождества имеет большое значение в работе юриста, требующей употребления понятий в их точном значении.
При разбирательстве любого дела важно выяснить точный смысл понятий, которыми пользуется обвиняемый или свидетели, и употреблять эти понятия в строго определенном смысле. В противном случае предмет мысли будет упущен и вместо выяснения дела произойдет его запутывание.
Таким образом, закон тождества представляет закон человеческого мышления, гласящий, что в процессе рассуждения значение понятий и рассуждений изменять запрещается. Они должны оставаться тождественными сами себе, иначе свойства одного объекта незаметно окажутся приписанными совершенно другому объекту.
Данное требование является справедливым не только в русле логики, но и в других науках, поэтому данный закон носит всеобщий характер.
11. ЗАКОН НЕПРОТИВОРЕЧИЯ
Логическое мышление характеризуется непротиворечивостью. Противоречия разрушают мысль, затрудняют процесс познания. Требование непротиворечивости мышления выражает формально-логический закон непротиворечия: два несовместимых друг с другом суждения не могут быть одновременно истинными; по крайней мере одно из них необходимо ложно
Этот закон формулируется следующим образом: неверно, что а и не-а (не могут быть истинными две мысли, одна из которых отрицает другую). Он выражается формулой1(р л]р) (неверно, что р и не-р одновременно истинны). Под р понимается любое высказывание, под ]р - отрицание высказывания]р,знак ] перед всей формулой - отрицание двух высказываний, соединенных знаком конъюнкции.
Закон непротиворечия действует в отношении всех несовместимых суждений.
Для правильного его понимания необходимо иметь в виду следующее.
Утверждая что-либо о каком-либо предмете, нельзя, не противореча себе, отрицать то же самое о том же самом предмете, взятом в то же самое время и в том же самом отношении.
Понятно, что не будет противоречия между суждениями, если в одном из них утверждается принадлежность предмету одного признака, а в другом отрицается принадлежность этому же предмету другого признака и если речь идет о разных предметах.
Противоречия не будет и в том случае, если мы что-либо утверждаем и то же самое отрицаем относительно одного лица, но рассматриваемого в разное время. Допустим, что обвиняемый Н. в начале следствия дал ложные показания, однако в конце следствия он был вынужден под тяжестью изобличающих его улик признаться и дать истинные показания. В этом случае суждения «Показания обвиняемого Н. являются ложными» и «Показания обвиняемого Н. являются истинными» не противоречат друг другу.
Наконец один и тот же предмет нашей мысли может рассматриваться в разных отношениях. Так, о студенте Щукине можно сказать, что он хорошо знает немецкий язык, так как его знания удовлетворяют требованиям, предъявленным к поступающим в институт. Однако этих знаний недостаточно для работы в качестве переводчика. В этом случае мы вправе сказать: «Щукин плохо знает немецкий язык». В двух суждениях знание Щукиным немецкого языка рассматривается с точки зрения разных требований, следовательно, эти суждения также не противоречат друг ДРУГУ-
Закон непротиворечия выражает одно из коренных свойств логического мышления - непротиворечивость, последовательность мышления. Его сознательное использование помогает обнаруживать и устранять противоречия в своих и чужих рассуждениях, вырабатывает критическое отношение хо всякого рода неточности, непоследовательности в мыслях и действиях.
Н. Г. Чернышевский подчеркивал, что непоследовательность в мыслях ведет к непоследовательности в поступках. У кого не уяснены принципы во всей логической полноте и последовательности, писал он, у того не только в голове сумбур, но и в делах чепуха. Умение вскрывать и устранять логические противоречия, нередко встречающиеся в показаниях свидетелей, обвиняемого, потерпевшего, играет важную роль в судебной и следственной практике.
12. ЗАКОН ИСКЛЮЧЕННОГО ТРЕТЬЕГО
Закон исключенного третьего действует только в отно-I шении противоречащих (контрадикторных) суждений. | Он формулируется следующим образом: два противо-I речащих суждения не могут быть одновременно I ложными, одно из них необходимо истинно: а есть либо Ь, либо не-b. Истинно либо утверждение некоторого факта, либо его отрицание. Проти-, воречащими (контрадикторными) называются суждения, I в одном из которых что-либо утверждается (или отрица-| ется) о каждом предмете некоторого множества, а в дру-' гом - отрицается (утверждается) о некоторой части это-I го множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то I другое ложно, и наоборот. Например, если суждение «Каж-I дому гражданину РФ гарантируется право на получение I квалифицированной юридической помощи» истинно, то I суждение «Некоторым гражданам Российской Федерации ' не гарантируется право на получение квалифицирован-I ной юридической помощи» ложно. Противоречащим яв-■ ляются также два суждения об одном предмете, в одном I из которых что-либо утверждается, а в другом то же са-| мое отрицается. Например: -П. привлечен к администра-I тиеной ответственности» и 'П. не привлечен к админис-I тративной ответственности». Одно из этих суждений . необходимо истинно, другое - необходимо ложно. Этот закон можно записать с помощью дизъюнкции:
pV]p,
где р - любое высказывание,
] р - отрицание высказывания р.
Подобно закону непротиворечия, закон исключенно-I го третьего выражает последовательность, непроти-V воречивость мышления, не допускает противоречий
в мыслях. Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременно истинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано.
Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Этот вопрос решается другими средствами. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно.
Закон исключенного третьего требует ясных, определенных ответов, указывая на невозможность отвечать на один и тот же вопрос в одном и том же смысле и «да», и «нет», на невозможность искать нечто среднее между утверждением чего-либо и отрицанием того же самого.
Большое значение имеет этот закон в юридической практике, где требуется категорическое решение вопроса. Юрист должен решать дело по форме «или -или». Данный факт либо установлен, либо не установлен. Обвиняемый либо виновен, либо не виновен. Право знает только: «или - или». Таким образом, закон исключенного третьего, конкретизирующий предыдущий принцип (два противоречащих суждения не могут быть одновременно ложными, одно из них обязательно истинно), тоже зависит от содержания рассуждения. Должна быть установлена либо истина, либо ложность данного суждения. К сожалению, это не всегда возможно, что показали современные исследования проблем бесконечных классов.
13. ЗАКОН ДОСТАТОЧНОГО ОСНОВАНИЯ
Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть Ь, то есть и его основание а.
Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. Так, для человека, явившегося свидетелем преступления, обоснованием истинности суждения «Н. совершил преступление» будет сам факт преступления, очевидцем которого он был. Но личный опыт ограничен. Поэтому человеку в своей деятельности приходится опираться на опыт других людей, например на показания очевидцев того или иного события.
Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта. Если, например, нам известен закон Архимеда (каждое тело, погруженное в жидкость, теряет в своем весе столько, сколько весит вытесненная им жидкость), то нет никакого смысла погружать в жидкость какой-либо предмет, чтобы выяснить, сколько он теряет в весе. Закон Архимеда будет достаточным основанием для подтверждения любого частного случая.
Достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли.
Если из истинности суждения а следует истинность суждения Ь, то а будет основанием для Ь, а Ь - следствием этого основания.
Связь основания и следствия является отражением в мышлении объективных, в том числе причинно-следственных, связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). Однако это отражение не является непосредственным. В некоторых случаях логическое основание может совпадать с причиной явления (если, например, мысль о том, что число дорожно-транспортных происшествий увеличилось, обосновывается указанием на причину этого явления - гололед на дорогах). Но чаще всего такого совпадения нет. Суждение «Недавно был дождь» можно обосновать суждением «Крыши домов мокрые»; след протекторов автомобильных шин - достаточное основание суждения «В данном месте прошла автомашина». Между тем мокрые крыши и след, оставленный автомашиной, - не причина, а следствие указанных явлений. Поэтому логическую связь между основанием и следствием необходимо отличать от причинно-следственной связи.
Обоснованность - важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыслей. В этом состоит коренное отличие научного мышления от мышления ненаучного, которое характеризуется бездоказательностью, способностью принимать на веру различные положения и догмы. Это особенно характерно для религиозного мышления, опирающегося не на доказательство, а на веру.
14. МЕТОДЫ В ЛОГИКЕ
Метод - это способ построения системы знания, совокупность приемов и операций теоретического и практического освоения действительности.
Современная система методов столь же разнообразна, как и сама наука. Различают экспериментальные, теоретические, эвристические и алгоритмические методы. Можно выделить количественные и качественные методы изучения реальности. В зависимости от степени обоснованности можно выделить статистические, вероятностные, гипотико-индуктивные и дедуктивные методы. Исходя из механизма обобщения рассматривают синтетические и аналитические, индуктивные и дедуктивные методы, методы идеализации, обобщения, типо-логизации и классификации.
Каждый из этих методов конкретизируется в какой-либо науке и наполняется своим конкретным содержанием. Некоторые методы являются универсальными, другие более ограничены. Например, эмпирический метод. Он заключается в накоплении, описании, объяснении, классификации и систематизации фактов и данных экспериментов над явлениями. Будучи конкретным, он далек от универсальности.
Перейдем к рассмотрению некоторых методов, используемых в логике.
Прежде всего это эвристический метод. Он представляет собой нахождение некоторого алгоритма решения проблемы. Здесь начинают играть существенную роль методы познания, связанные с математикой. В то же время данный метод, хотя и является теоретическим, тесно связан с эмпирическими методами построения теорий.
Более эффективным в логике является использование аксиоматического метода. Это способ построения теории, при котором некоторые положения V теории выбираются а качестве исходных, а все ос-
тальные ее положения выводятся из них чисто логическим путем с помощью доказательств. Исходные положения называются аксиомами, а положения, доказываемые на их основе, - теоремами. Далее формулируется система правил, позволяющая преобразовывать исходные положения и из ограниченного числа аксиом получать множество доказуемых положений -теорем.
Одним из важных методов логики является метод формализации. Этот метод основывается на различении естественных и искусственных языков. Естественные языки складываются в процессе коммуникации и служат средством общения, передачи информации, выражения эмоций и т. д. В отличие от них, искусственные языки ориентированы на строго определенные и ограниченные задачи исследования. Они претендуют не только на сокращение записи, но и на более эффективную работу. Над формулами искусственных языков можно проводить операции, получать из них новые формулы и отношения. Символическое исчисление становится аналогом рассуждения, позволяющим дедуктивным образом из одних структур знаков и символов получать другие, выражающие новое знание о данном объекте.
Между структурами мышления и структурами их языкового выражения существует определенное соответствие. Это приводит к тому, что внутри формальной логики операции с мыслями о предметах можно заменить действиями со знаками и символами. Следовательно, формализация в данном случае представляет собой логический метод уточнения содержания мысли посредством уточнения ее логической формы.
15. ПОНЯТИЕ КАК ФОРМА МЫШЛЕНИЯ
Понятие - это форма мышления, отражающая предметы или явления на основе существенных и отличительных признаков.
Исходной формой абстрактного человеческого мышления является понятие. Любая мысль выражается посредством понятия.
Понятие образуется на основе ощущения, восприятия и представления с помощью общенаучных методов: анализ, синтез, сравнение, обобщение, абстрагирование. Эти приемы широко используются в познании. Важную роль они играют в формировании понятий, основанном на выявлении существенных признаков.
Чтобы составить понятие о предмете, нужно сравнить данный предмет с другими предметами, найти признаки сходства и различия. Логический прием, устанавливающий сходство или различие предметов, называется сравнением.
Выделение признаков связано с мысленным расчленением предмета на составляющие его части, стороны, элементы. Мысленное расчленение предмета на части называется анализом.
Выделение с помощью анализа признаков позволяет отличить существенные признаки от несущественных и отвлечься, абстрагироваться от последних. Мысленное выделение признаков одного предмета и отвлечение от других признаков называется абстрагированием.
Элементы,стороны, признаки предмета, выделенные с помощью анализа, должны быть соединены в единое целое. Это достигается с помощью приема, противоположного анализу, - синтеза, представляющего собой мысленное соединение частей предмета, расчлененного анализом.
Признаки изучаемых предметов распространяются \/на все сходные предметы. Эта операция осуществ-
ляется путем обобщения - приема, с помощью которого отдельные предметы на основе присущих им одинаковых свойств объединяются в группы однородных предметов. Благодаря обобщению существенные признаки, выявленные у отдельных предметов, рассматриваются как признаки всех предметов, к которым приложимо данное понятие.
Признаки - это то, в чем предметы сходны друг с другом или отличны друг от друга.
Следовательно, свойства предметов и их отношения являются признаками. Предметы могут быть тождественны по своим признакам (например, сахар и мед сладкие), но могут и отличаться (мед сладкий, полынь горькая).
Понятие неразрывно связано с основной языковой единицей - словом. Понятия выражаются и закрепляются в словах и словосочетаниях, без которых невозможно ни формирование понятий, ни оперирование ими.
Любое понятие имеет структуру, которая включает объем и содержание.
Объем понятия - совокупность предметов, которая мыслится в данном понятии. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.
Содержание понятия - это совокупность основных существенных признаков предмета или группы однородных предметов, отраженных в данном понятии. Например, содержанием понятия «преступление» является совокупность существенных признаков преступления: общественно опасный характер деяния, виновность, противоправность, наказуемость.
16. ВИДЫ ПОНЯТИЙ
В практике мышления функционирует множество определенных и разнообразных понятий. Они подразделяются на виды в соответствии с двумя фундаментальными логическими характеристиками любого понятия -содержанием и объемом.
Объективные различия между предметом мысли отражаются в различиях между понятиями прежде всего по их содержанию. В соответствии с этим признаком понятия делятся на следующие наиболее значимые группы.
Конкретные - понятия, в которых находят свое отражение сами предметы и явления, обладающие относительной самостоятельностью существования (книга, ручка).
Абстрактные - это понятия, в которых мыслятся свойства предметов или отношения между предметами, не существующие самостоятельно без этих предметов (жесткость, электропроводимость).
Необходимо учитывать, что если абстрактное понятие, отражающее свойство, употребляется применительно к самим предметам, обладающим этим свойством, то они обретают множественное число.
Те понятия, в которых отражается наличие у предметов мысли каких-либо качеств, свойств и так далее, называются положительными.
Отрицательные понятия - это понятия, характеризующиеся отсутствием у предметов мысли каких-либо качеств, свойств и т. п. Для выражения отрицательных понятий используются отрицательные частицы («не») и отрицательные приставки («без-» и «бес-»). Кроме русских, могут быть использованы иностранные отрицательные приставки («а-», «анти-», «дез-», «контр-» и др.
Также понятия делятся на соотносительные и безотносительные
В соотносительных понятиях один предмет мысли предполагает существование другого и без него невозможен - соотносится с ним («родители» и «дети»: нельзя быть сыном или дочерью без родителей).
В безотносительных понятиях мыслится предмет, существующий до известной степени самостоятельно - отдельно от других: «природа»,«человек» и т. д.
Собирательные и несобирательные понятия различаются в зависимости от того, как соотносится с охватываемыми ими предметами мысль: с группой предметов в целом или с каждым предметом этой группы в отдельности. Одна из особенностей собирательных понятий состоит в том, что они не могут быть отнесены к каждому предмету одного класса.
Особенность несобирательных понятий заключается в том, что они относятся не только к группе предметов в целом, но и к каждому отдельному предмету данной группы.
Пустые понятия - они относятся к реально не существующим предметам или явлениям («русалка», «леший», «идеальный газ»).
Непустые понятия относятся к реальным предметам («город», «космическое тело»).
Единичные понятия - объем понятия, составляющий один предмет («Солнце», «Россия»).
Общие понятия - отражают в своем объеме группу предметов («звезда», «планета»).
Деление понятий на виды по их содержанию и объему позволяет в огромном понятийном материале выделить наиболее крупные и распространенные группы, а также более или менее отчетливо представлять себе особенности этих групп.
Единичное понятие - такое, в объем которого входит один элемент (город Саратов, Россия и др.).
Общее понятие - такое, в объем которого входит более одного элемента (студент, солдат, преступник и др.).
17. ПРИЕМЫ ОБРАЗОВАНИЯ ПОНЯТИЙ
Образование понятия - это сложнейший процесс, который предполагает активность субъекта и включает в себя множество логических приемов. Важнейшими из них принято считать анализ, синтез, сравнение, абстрагирование и обобщение.
Анализ - это мысленное разложение предмета на его признаки.
Синтез - мысленное соединение признаков предмета в единое целое.
Сравнение - мысленное сопоставление одного предмета с другим, выявление признаков их сходства или различия 8 том или ином отношении.
Абстрагирование - мысленное упрощение предмета путем выделения в нем одних признаков и отвлечения от других.
Обобщение - мысленное объединение однородных предметов и их группировка на основе тех или иных общих признаков. Его конечным итогом является мысль, имеющая разнообразное содержание, но принимающая одну и ту же форму - понятия.
С изменением и развитием действительности возникают новые понятия. Возникновение новых понятий связано и с процессом углубления и развития самого познания, открытием в предметах новых сторон, свойств, связей, отношений.
Понятие выполняет две основные функции: 1 {познавательная функция - осуществляется на основании такой логической операции, как применение понятий. Накапливаясь, знания систематизируются, углубляются и уточняются, со временем превращаясь в науку. Без понятий нет науки, а без науки невозможно развитие материального производства и других сторон общественной жизни; 2)коммуникативная функция, т. е. функция средств общения.
Закрепляя свои знания в форме понятий, люди затем обмениваются ими в процессе совместной деятельности. Тем самым осуществляется социальное наследование знаний, обеспечивается духовная преемственность поколения.
В понятии различают прежде всего содержание и объем. Под содержанием понимаются мыслимые в понятии общие и существенные признаки предметов. В системе признаков, образующих содержания понятия, различают два типа: родовые признаки, общие и существенные для всей предметной области, к которой относится данный предмет мысли, и видовые признаки, общие и существенные лишь для данного предмета мысли и отличающие его от других предметов той же предметной области. Объем понятия - это охватываемые им предметы мысли.
Предметы, входящие в объем понятия, называются в логике классом, или множеством. Класс (множество) состоит из подклассов, или подмножеств. Класс предметов может быть универсальным, единичным и нулевым.
Универсальный класс включает совокупность предметов исследуемой области, например класс планет Солнечной системы.
Единичный класс - класс, состоящий из одного предмета, например планета Земля.
Пустой класс - это такой класс, который не содержит ни одного предмета, например кентавр.
Содержание и объем понятия связаны между собой. Данная связь состоит в том, что определенному содержанию понятия соответствует свой определенный объем, и наоборот, причем с уменьшением объема понятия его содержание становится богаче, так как число признаков в нем увеличивается, а с уменьшением объема число признаков уменьшается.
18. ОБОБЩЕНИЕ И ОГРАНИЧЕНИЕ ПОНЯТИЯ
Обобщение понятия - это логическая операция перехода от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием, при котором происходит исключение видового признака. В силу относительности понятий логического рода и вида родовое понятие может быть в свою очередь видовым по отношению к более общему понятию. Во многих случаях процесс обобщения может охватывать очень длинный ряд понятий. С каждым новым обобщением объем понятия, получающегося в результате обобщения, будет становиться все более широким. Например, обобщая понятие «МВД РФ» (а), мы последовательно перейдем к понятиям «министерство» (в), «орган государственного управления»(с), «орган управления» (d), «орган» (е).
Для наглядности операцию обобщения можно представить в кругах Эйлера.(рис.1)
Каждое последующее понятие является родовым по отношению к предыдущему и полностью входит в его объем Таким образом, для обобщения понятия необходимо уменьшить содержание исходного понятия, т. е. исключить видовые или индивидуальные признаки.
Обобщение понятий не может быть бесконечным. Пределом обобщения являются понятия с предельно широким объемом - философские категории (материя, сознание, движение и т. д.). Категории не имеют родового понятия, и обобщать их нельзя.
Ограничение понятия - это логическая операция перехода от понятий с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но с большим содержанием, при котором в содержание данного понятия включается новый существенный признак.
Если же включаемый в содержание понятия новый признак не принадлежит к числу существенных, а выводится из них, то добавление такого признака объем понятия не меняет. Например, если к числу существенных признаков понятия «квадрат» - к прямоугольное™ и равносторонности - мы добавим признак равности диагоналей, то объем понятия не изменится.
Напротив, если присоединяемый к содержанию понятия новый признак не принадлежит всем предметам, мыслящимся в данном понятии, то добавление такого признака ведет к изменению объема. Объем понятия сужается. Так, если к числу признаков растения мы добавим признак размножения при помощи спор, то мы сузим объем мыслимого в этом случае понятия «растение», ограничив его «споровыми растениями», исключив «цветковые растения».
Данная операция является обратной по отношению к обобщению понятия. Соответственно, для того чтобы ограничить понятие, необходимо к нему прибавлять отличительные, видовые признаки. Например, для ограничения понятия «юрист» мы добавляем отличительные признаки рода деятельности и получаем понятие «следователь». Пределом ограничения являются единичные понятия. Например, «следователь прокуратуры Иванов И. И.».
Также, как и обобщение, ограничение понятия может продолжаться достаточно долго, охватывая длинную цепь понятий. При этом с каждым таким переходом объем каждого следующего вида будет становиться все более узким.
19. ОПРЕДЕЛЕНИЕ ПОНЯТИЯ КАК ЛОГИЧЕСКАЯ ОПЕРАЦИЯ
Определение - это логическая операция, раскрывающая содержание понятия.
Виды определений: '(номинальное - это определение, посредством которого взамен описания какого-либо предмета вводится новый термин (имя). Цель данного определения - формирование нового термина. Например, несоответствие субъективных представлений человека объективному положению вещей называется заблуждением. В данном случае мы ввели новый термин - заблуждение - вместо описания процесса; 2) реальное - это определение, раскрывающее существенные признаки предмета. Например,логика -философская наука о законах и формах человеческого мышления, рассматриваемого как средство познания окружающей действительности. Так как определение понятия состоит в установлении его существенных признаков, то правила определения должны, очевидно, заключать в себе указания приемов, с помощью которых могут быть найдены именно существенные, а не иные признаки определяемого понятия.
Во многих случаях перечисление всех таких признаков - слишком продолжительное занятие. Существует иной способ, который состоит в том, что указывается, во-первых, ближайший род, к которому данное определяемое понятие принадлежит. Во-вторых, указывается особый признак, посредством которого данное понятие отличается как вид от всех других видов указанного рода. Этот признак называют «видовым отличием», а сам прием определения называется определением «через ближайший род и через видовое отличие».
Определение через ближайший род и видообразую-щее отличие применяется всюду, где предыдущее исследование выяснило, что определяемое понятие есть понятие о предмете, принадлежащем к одному из видов некоторого рода. Таковы многие понятия математических, физических и других наук. Например, логику можно определить как философскую науку о законах и формах человеческого мышления, рассматриваемого как средство познания окружающей действительности. Это есть определение через род и видовое отличие.
Определение через ближайший род и видообразую-щее отличие предполагает, что определяемое понятие есть понятие о предмете, который: 1) уже возник и существует; 2(связан определенным отношением принадлежности к другому классу предметов, заключающему его
в себе так, как род включает вид.
При этом способ возникновения предмета не отмечается в самом определении.
Приемы, сходные с определением:описание, сравнение, характеристика, различение.
Описание - перечисление, как правило, внешних признаков предмета. Оно играет важную роль в деятельности. Так, принимая какое-либо решение, необходимо стремиться к наиболее полному описанию всех следствий, к которым приведет данное действие.
Характеристика - это указание отличительных, характерных черт и признаков единичного предмета.
Сравнение - это прием, который используется для образной характеристики предмета.
С помощью различения устанавливаются признаки, отличающие один предмет от других, сходных с ним, предметов. Например, в практике следователя часто встречаются так называемые «особые приметы».
20. ВИДЫ ОПРЕДЕЛЕНИЙ. ДЕЛЕНИЕ ПОНЯТИЯ. КЛАССИФИКАЦИЯ
По характеру определяемого определения подразделяются на два вида: реальные и номинальные.
Реальное - это определение самого предмета, отраженного в понятии. Примеры таких определений дают энциклопедии и специальные научные словари.
В номинальных определениях раскрывается смысл самого слова.
Примером данного определения служат толковые словари.
По характеру определяющего определения выделяются через ближайший род и видовое отличие, а также соотносительные определения.
Определение через ближайший род и видовое отличие имеет множество разновидностей: генетическое определение, сущностное определение, функциональное определение, структурное определение.
Деление - это логическая операция, при помощи которой развивается объем понятия. Благодаря делению выявляется круг предметов, на которые распространяется слово, выражающее понятие о них.
Деление следует отличать от мысленного расчленения. Первое есть деление рода на виды, а второе -членение целого на части.
Деление - это родовое понятие, объем которого раскрывается через составляющие его виды.
Члены деления - полученные в результате самой операции виды родового понятия.
Основание деления - признак, по которому производится эта операция.
В зависимости от характера признака различают следующие виды деления:
1 (деление по наличию или отсутствию признака, служащего основанием деления; 2)деление по видоизменению признака, положенного
в основание этой операции; '3)смешанное деление.
Классификацией называется распределение вещей по классам согласно сходству между ними. Классификация вещей, или распределение их по классам, преследует определенные задачи, которые можно формулировать так: распределение вещей по группам в таком порядке, который наиболее полезен для припоминания вещей и для определения их свойств. Классификация широко используется в науке, и именно здесь встречаются наиболее сложные и совершенные классификации. Отличным примером научной классификации является Периодическая система элементов Д. И. Менделеева. Она фиксирует связи между химическими элементами и определяет место каждого из них в единой таблице. Первое требование хорошей классификации заключается в том, чтобы пункты сходства, на основании которых мы составляем классы, были важны в практическом отношении.
Требование классификации состоит в том, чтобы она давала возможность сделать наибольшее число утверждений. Та классификация будет наилучшей, в которой предметы сходны друг с другом в возможно большем числе признаков. Выделяют следующие виды классификаций:
1)естественная классификация. В качестве ее основания берутся существенные признаки, из которых вытекают многие производные свойства упорядочиваемых объектов; 2) искусственная классификация - использует для упорядочения объектов несущественные признаки, вплоть до ссылки на начальные буквы классифицируемых объектов.
Искусственная классификация дает очень скудные и неглубокие знания о своих объектах; естественная же классификация приводит их в систему, содержащую наиболее важную информацию о них.
21. ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ. ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ
Отношения между понятиями отражают в кругах Эйлера, где каждый круг обозначает объем понятия, а каждая точка - предмет, входящий в объем понятия.
1. Равнозначными называют такие понятия, содержания которых соответствуют друг другу, а объемы совпадают. Например, «великая русская река» и «Волга». X - Волга; R - великая русская река. (рис. 2)
2. В отношении пересечения находятся понятия, объем одного из которых частично входит в объем другого понятия. Например, «юрист»и «военнослужащий». Х-юрист; R - военнослужащий, (рис. 3)
В совместившейся части круга х и R (заштрихованная часть) мыслятся те юристы, которые являются военнослужащими.
3. В отношении подчинения находятся понятия, объем одного из которых полностью входит в объем другого, составляя его часть. Например, «преступление» и «взятка». X - преступление; R -взятка, (рис. 4)