Значение логики и познания

Размещено на http://www.allbest.ru/

Размещено на http://www.allbest.ru/

1. Значение логики и познания

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

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

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

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

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

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

* Чувственное познание протекает в трех основных формах: ощущение, восприятие, представление.

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

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

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

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

Рассмотрим основные особенности мышления.

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

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

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

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

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

Как самостоятельная наука логика сложилась более двух тысяч лет назад, в IV в. до н.э. Ее основателем является древнегреческий философ Аристотель (348--322 гг. до н.э.). Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики -- логики предикатов.

Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков -- основа другого направления математической логики -- логики высказываний.

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

Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф. Бэконом (1561--1626) Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля

Разработка индуктивного метода -- огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806--1873).

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

Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.

Французский философ Р. Декарт (1569--1650) выступил с критикой средневековой схоластики, он развил идеи дедуктивной логики, сформулировал правила научного исследования, изложенные в сочинении «Правила для руководства ума».

Г. Лейбниц (1646--1716), сформулировал закон достаточного основания, выдвинувший идею математической логики, которая получила развитие лишь в XIX--XX вв.; немецкий философ И. Кант (1724--1804) и многие другие западно-европейские философы и ученые.

Ряд оригинальных идей выдвинули М.В. Ломоносов (1711-- 1765), А.Н. Радищев (1749--1802), Н.Г. Чернышевский (1828-- 1889). Известны своими новаторскими идеями в теории умозаключений русские логики М.И. Карийский (1804--1917) и Л.В. Рутков-ский (1859--1920). Одним из первых начал развивать логику отношений философ и логик С.И. Поварнин (1807--1952).

Во второй половине XIX в. в логике начинают широко применять разработанные в математике методы исчисления. Это направление разрабатывается в трудах Д. Буля, У.С. Джевонса, П.С. Порецкого, Г. Фреге, Ч. Пирса, Б. Теоретический анализ дедуктивных рассуждений методами исчисления с использованием формализованных языков получил название математической, или символической, логики.

2. Понятие как форма мышления. Общая характеристика понятия

мышление суждение силлогизм гипотеза

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

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

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

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

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

Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество») и «элемент класса».

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

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

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

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

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

1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов.

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

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

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

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

В процессе рассуждения общие понятия могут употребляться в разделительном и собирательном смысле.

Если высказывание относится к каждому элементу класса, то такое употребление понятия будет разделительным; если же высказывание относится ко всем элементам, взятым в единстве, и неприложимо к каждому элементу в отдельности, то такое употребление понятия называется собирательным.

3. Понятия делятся на конкретные и абстрактные.

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

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

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

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

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

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

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

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

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

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

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

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

Сравнимые понятия делятся на совместимые и несовместимые.

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

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

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

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

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

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

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

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

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

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

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

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

5. Логические операции с понятиями

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

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

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

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

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

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

6. Определение понятий. Сущность и значение определения

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

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

Определения делятся на 1) номинальные и реальные, 2) явные и неявные.

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

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

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

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

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

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

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

2. Определение не должно заключать в себе круга.

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

3. Определение должно быть ясным.

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

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

7. Деление понятий. Сущность деления

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

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

Различают деление 1) по видоизменению признака и 2) дихотомическое деление.

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

Правила деления

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

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

2. Деление должно производиться только по одному основанию.

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

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

4. Деление должно быть непрерывным.

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

8. Суждение как форма мышления

Суждение и предложение.

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

Связи и отношения выражаются в суждении посредством утверждения или отрицания.

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

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

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

Суждение и предложение различаются по своему составу.

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

Главные члены предложения могут совпадать с субъектом и предикатом суждения только в простом нераспространенном двусоставном предложении.

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

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

Суждения делятся на простые и сложные.

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

9. Виды и состав простых суждений

1. Атрибутивным называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается.

Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S--Р, где S -- субъект суждения, Р -- предикат суждения, «--» -- связка.

Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.

Субъект и предикат называются терминами суждения.

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

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

2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.

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

3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.

Категорические суждения делятся 1) по качеству и 2) по количеству. А так как любое суждение имеет и количественную и качественную характеристику, их принято делить по 3) объединенной классификации.

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

Утвердительное и отрицательное суждения различаются характером связки, ее качеством. Утвердительная связка («есть») указывает на принадлежность признака предмету. Суждение с отрицательным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное.

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

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

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

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

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

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

3. Объединенная классификация суждений. Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.

Общеутвердительное суждение -- это суждение, общее по количеству и утвердительное по качеству. Общеотрицательное суждение -- суждение, общее по количеству и отрицательное по качеству. Частноутвердительное суждение -- суждение, частное по количеству и утвердительное по качеству. Частноотрцательное суждение -- суждение, частное по количеству и отрицательное по качеству.

В логике принято сокращенное обозначение суждений по их объединенной классификации.

Cуждения обозначаются следующими буквами: А -- общеутвердительное, Е -- общеотрицательное, I -- Частноутвердительное, О -- частноотрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): V х (S(х) -> Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): 3 х(S(х) а Р(х))

читается: существуют х, которым присуще свойство S и свойство Р.

О (Некоторые S не суть Р): 3 х(S(х) л -1 Р(х))

читается: существуют х, которым присуще свойство S и не присуще свойство Р.

Особое место в классификации суждений занимают 1) выделяющие и 2) исключающие суждения.

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

«Некоторые города -- столицы государств» -- пример частного выделяющего суждения (некоторые 8, и только S, суть Р). Столицами государств могут быть только города, и притом только некоторая их часть. Предикат частного выделяющего суждения полностью входит в объем субъекта.

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

«Все преступления, и только преступления, -- предусмотренные законом общественно опасные деяния» -- пример общего выделяющего суждения (Все S, и только S, суть Р). Объемы субъекта и предиката общего выделяющего суждения полностью совпадают.

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

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

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

10. Распределенность терминов в суждениях

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

Рассмотрим, как распределены термины в суждениях А, Е, I, О.

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

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

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

Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) -- отличники (Р)». Субъект этого суждения не распределен, так как в нем мыслится только часть студентов нашей группы, объем субъекта лишь частично включается в объем предиката. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники -- студенты нашей группы.

Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.

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

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

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

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

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

Среди сравнимых различают совместимые и несовместимые суждения.

К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.

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

2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истинным

При ложности частного суждения общее суждение также будет ложным

Отношение несовместимости.

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.

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

12. Сложные суждения

1. Соединительные (конъюнктивные) суждения.

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

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

1. Соединительная связка представлена в сложном субъекте по схеме: S1 и S2 есть Р. Например: «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».

2) Связка представлена в сложном предикате по схеме: S есть P1 и P2. Например: «Преступление -- это общественно опасное и противоправное деяние».

3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Гоголь).

13. Условные (импликативные) суждения

Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если, то...». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение -- «Предохранитель плавится» называют антецедентом, второе -- «Электролампа гаснет» -- консеквентом (последующим). Если антецедент обозначить р, консеквент -- q, а связку «если..., то...» знаком «-->», то имплика-тивное суждение символически можно выразить как p-->q.

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

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

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

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

14. Сложные суждения

Сложные суждения также могут быть сравнимыми и несравнимыми.

Несравнимые -- это суждения, которые не имеют общих пропозициональных переменных. Например, р ^ q и m ^ n.

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

Сложные сравнимые суждения могут быть совместимыми и несовместимыми.

Отношение совместимости.

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

эквивалентность, частичная совместимость и подчинение.

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

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

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

Отношение несовместимости.

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

Противоположность -- отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

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

Большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными.

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

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

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

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

Умозаключения делятся на следующие виды.

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

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

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

15. Непосредственные умозаключения

1. Превращение.

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

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

Общеутвердительное суждение (А) превращается в общеотрицательное (Е).

Схема превращения суждения А:

Все S суть Р Ни одно S не есть не-Р

Общеотрицательное суждение (Е) превращается в общеутвердительное (А).

Схема превращения суждения Е:

Ни одно S не есть Р Все S суть не-Р

Частноутвердительное суждение (I) превращается в частно-отрицательное (О).

Схема превращения суждения I:

Некоторые S суть Р Некоторые S не суть не-Р

Частноотрицательное суждение (О) превращается в частно-утвердительное (I).

Схема превращения суждения О:

Некоторые S не суть Р Некоторые S суть не-Р

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

2. Обращение.

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

3. Противопоставление предикату.

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

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

16. Умозаключения из суждений с отношениями

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

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

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

1. Отношение называется симметричным, если перестановка членов отношения не ведет к изменению вида отношения. Отношение симметричности символически записывается: xRy -> yRx.

2. Отношение называется рефлексивным, если каждый член отношения находится в таком же отношении к самому себе. Отношение рефлексивности записывается: xRy -> xRx л yRy.

3. Отношение называется транзитивным, тогда и только тогда, когда из отношения между х и у и между у и z следует такое же отношение между х и z. Отношение транзитивности записывается: (xRy л yRz) -> xRz.

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

Из свойства симметричности (xRy-->yRx) вытекает правило: если суждение xRy истинно, то суждение yRx тоже истинно. Например:

А подобно В

В подобно А

Из свойства рефлексивности (xRy-»xRx ^ yRy) вытекает правило: если суждение xRy истинно, то истинными будут суждения xRx и yRy. Например:

а=B

а =а и Ь= b

Из свойства транзитивности (xRy ^ yRz->xRz) вытекает правило: если суждение xRy истинно и суждение yRz истинно, то суждение xRz также истинно. Например:

К. был на месте происшествия раньше Л.

Л. был на месте происшествия раньше М.

К. был на месте происшествия раньше М.

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

17. Простой категорический силлогизм Состав простого категорического силлогизма

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

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

Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).

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

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

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

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

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

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

18. Общие правила категорического силлогизма

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

Правила терминов.

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

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

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

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

Правила посылок.

1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует.

2-е правило: если одна из посылок -- отрицательное суждение, то и заключение должно быть отрицательным.

3-е и 4-е правила являются производными, вытекающими из рассмотренных.

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

Если обе посылки -- частноутвердительные суждения (II), то вывод сделать нельзя согласно 2-му правилу терминов: в частноутвердительном суждении ни субъект, ни предикат не распределены, поэтому и средний термин не распределен ни в одной из посылок.

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

Если одна посылка -- частноутвердительная, а другая -- частнотрицательная (IO или OI), то в таком силлогизме распределенным будет только один термин -- предикат частноотрицательного суждения. Если этим термином будет средний, то вывода сделать нельзя, так, согласно 2-му правилу посылок, заключение должно быть отрицательным. Но в этом случае предикат заключения должен быть распределен, что противоречит 3-му правилу терминов: 1) больший термин, не распределенный в посылке, окажется распределенным в заключении; 2) если же больший термин распределен, то вывода не следует согласно 2-му правилу терминов.

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

Если одна посылка общеутвердительная, а другая -- частноу-твердительная (AI, IA), то в них распределен только один термин -- субъект общеутвердительного суждения.

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

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