В – 24 Общие правила категорического силлогизма




Значение логики

Ее задача состоит в том, чтобы научить человека

сознательно применять законы и формы мышления и на основе этого логичнее

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

Знание логики повышает культуру мышления, вырабатывает навык мыслить более

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

мнение, будто изучение логики не имеет практического значения,

несостоятельно.

Мыслить логично — это значит мыслить точно и последовательно, не допускать

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

качества мышления имеют большое значение в любой области научной и

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

мышления, обоснованности выводов

 

2.Познание- усвоение чувственного содержания, переживаемого положения вещей.Есть 2 уровня познания:чувственное и абстрактное. 3 формы чувственного познания:1ощущение.2.восприятие.3.представление.

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

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

Чувственное -1.сознание взаимодействия с окружающим миром.2.целостность отражаемого объекта. Абстрактное-1 опоследовательность. 2. обобщенность. 3. связано с языком .4. активность

 

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

законов:1) з-н Тождества. 2) з-н Не противоречия.3) з-н Исключенного.Аристотелевское учение о силлогизме составило основу одного из направлений современной математической логики — логики предикатов. Важным этапом в развитии учения Аристотеля явилась логика античных стоиков. Логика стоиков — основа другого направления математической логики — логики высказываний. именем Галена названа 4-я фигура категорического силлогизма. Логика развивалась и в средние века, однако схоластика исказила учение Аристотеля, приспособив его для обоснования религиозной догматики. Важнейшим этапом в ее развитии явилась теория индукции, разработанная английским философом Ф.Бэконом (1561—1626) Бэкон подверг критике извращенную средневековой схоластикой дедуктивную логику Аристотеля Разработка индуктивного метода — огромная заслуга Бэкона, однако он неправомерно противопоставил его методу дедукции; в действительности эти методы не исключают, а дополняют друг друга. Бэкон разработал методы научной индукции, систематизированные впоследствии английским философом и логиком Дж.С. Миллем (1806—1873). Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой. Формальная логика- наука о формах мышления,о формальнологических законах и связях между мыслями по их логическим формами.Рассматривает понятия,как форму мышления.Изучая суждение,логика выявляет общую структуру для различных по содержанию суждений.Изучает законы обуславливающие лог.правильность мышления без которых нельзя познать истину

 

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

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

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

 

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

 

6. Понятия принято делить на следующие виды: 1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и абстрактные, 4) положительные и отрицательные, 5) безотносительные и соотносительные. 1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов. Общие понятия могут быть регистрирующими и нерегистрирующими. Регистрирующими называются понятия, в которых множество мыслимых в нем элементов поддается учету, регистрируется. Регистрирующие понятия имеют конечный объем. Общее понятие, относящееся к неопределенному числу элементов, называется нерегистрирующим. Нерегистрирующие понятия имеют бесконечный объем. 2. Понятия делятся на собирательные и несобирательные. Понятия, в которых мыслятся признаки некоторой совокупности элементов, составляющих единое целое, называются собирательными. Содержание собирательного понятия нельзя отнести к каждому отдельному элементу, входящему в его объем, оно относится ко всей совокупности элементов. Понятие, в котором мыслятся признаки, относящиеся к каждому его элементу, называется несобирательным. В процессе рассуждения общие понятия могут употребляться в разделительном и собирательном смысле. Если высказывание относится к каждому элементу класса, то такое употребление понятия будет разделительным; если же высказывание относится ко всем элементам, взятым в единстве, и неприложимо к каждому элементу в отдельности, то такое упот­ребление понятия называется собирательным.3. Понятия делятся на конкретные и абстрактные. Понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее, называется конкретным; понятие, в котором мыслится признак предмета или отношение между предметами, называется абстрактным. Различие между конкретными и абстрактными понятиями основано на различии между предметом, который мыслится как целое, и свойством предмета, отвлеченным от последнего и отдельно от него не существующим. Абстрактные понятия образуются в результате отвлечения, абстрагирования определенного признака предмета; эти признаки мыслятся как самостоятельные объекты мысли. Не следует смешивать конкретные понятия с единичными, а абстрактные с общими. Общие понятия могут быть и конкретными, и абстрактными. 4. Понятия делятся на положительные и отрицательные в зависимости от того, составляют ли их содержание свойства, присущие предмету, или свойства, отсутствующие у него. Понятия, содержание которых составляют свойства, присущие предмету, называются положительными. Понятия, в содержании которых указывается на отсутствие у предмета определенных свойств, называются отрицательными. 5. Понятия делятся на безотносительные и соотносительные в зависимости от того, мыслятся ли в них предметы, существующие раздельно или в отношении с другими предметами. Понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения к другим предметам, называются безотносительными. Таковы понятия «студент», «государство», «место преступления» и др. Соотносительные понятия содержат признаки, указывающие на отношение одного понятия к другому понятию. Логическая характеристика понятий помогает уточнить их содержание и объем, вырабатывает навыки более точного употребления понятий в процессе рассуждения.

 

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

 

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

 

В – 9 Определение понятий Сущность и значение определения Логическая операция, раскрывающая содержание понятия, называется определением. Суждение, раскрывающее содержание понятия, называют дефиницией. Понятие, содержание которого требуется раскрыть, называется определяемым (дефиниендум); понятие, раскрывающее содержа­ние определяемого понятия, —определяющим (дефиниенс). Виды определения Определения делятся на 1) номинальные и реальные, 2) явные и неявные. Номинальным называется определение, посредством которого взамен описания какого-либо предмета вводится новый термин (имя), объясняется значение термина, его происхождение и т.п. Реальным называется определение, раскрывающее существенные признаки предмета. Номинальные и реальные определения различаются по своим задачам: объяснить значение термина или раскрыть существенные признаки предмета. По способу выявления содержания понятия определения делятся на явные и неявные. Явные определения раскрывают существенные признаки предмета; к неявным относятся определение через отношение предмета к своей противоположности, контекстуальное, остенсивное и некоторые другие виды определений. Правила определения 1. Определение должно быть соразмерным. Правило соразмерности требует, чтобы объем определяемого понятия был равен объему определяющего. Иначе говоря, эти понятия должны находиться в отношении равно-объемности. 2. Определение не должно заключать в себе круга. Если при определении мы прибегаем к другому понятию, которое, в свою очередь, определяется при помощи первого, то такое определение содержит в себе круг. Разновидностью круга в определении является тавтология — ошибочное определение, в котором определяющее понятие повторяет определяемое. Тавтология, отличается от круга в определении меньшей сложностью построения. Определяющее понятие является повторением определяемого. 3. Определение должно быть ясным. Оно должно указывать на известные признаки, не нуждающиеся в определении и не содержащие двусмысленности. Если же понятие определяется через другое понятие, признаки которого неизвестны и которое само нуждается в определении, то это ведет к ошибке, называемой определением неизвестного через неизвестное, или определением х через у. 4. Определение не должно быть отрицательным. Отрицательное определение не раскрывает определяемого понятия. Оно указывает, чем не является предмет, не указывая, чем он является.

 

В-10 Деление понятий Сущность деления Логическая операция, раскрывающая объем понятия, называется делением. В операции деления следует различать делимое понятие— объем которого следует раскрыть, члены деления — соподчиненные виды, на которые делится понятие, и основание деления — признак, по которому производится деление. Различают деление 1) по видоизменению признака и 2) дихотомическое деление. Деление по видоизменению признака. Основанием деления является признак, при изменении которого образуются видовые понятия, входящие в объем делимого (родового) понятия. Правила деления 1. Деление должно быть соразмерным. Задача деления заключается в том, чтобы перечислить все виды делимого понятия. Поэтому объем членов деления должен быть равен в своей сумме объему делимого понятия. 2. Деление должно производиться только по одному основанию. В процессе деления избранный нами признак должен оставаться одним и тем же и не подменяться другим признаком. Например, граждан какой-либо страны в зависимости от поставленной задачи можно разделить по их социальному положению или национальности, профессии или полу. Но нельзя смешивать эти признаки и делить, скажем, граждан России на рабочих, русских, шахтеров и женщин. 3. Члены деления должны исключать друг друга. Если выбрано не одно основание, то члены деления — видовые понятия — будут находиться в отношении частичного совпадения. Подобный же результат получим при делении преступлений на умышленные, неосторожные и воинские. Деление всех студентов института на заочников, первокурсников и спортсменов также приведет к нарушению данного правила. 4. Деление должно быть непрерывным. В процессе деления родового понятия нужно переходить к ближайшим видам, не пропуская их. Но нельзя переходить от деления на виды одного порядка к делению на виды другого порядка, например делить преступления на преступления против личности, в сфере экономики, и утрату военного имущества. Такое деление лишено последовательности, оно называется скачком в делении.

 

В-11 Суждение как форма мышления Суждение и предложение Познавая объективный мир, человек раскрывает связи между предметами и их признаками, устанавливает отношения между предметами, утверждает или отрицает факт существования предмета. Эти связи и отношения отражаются в мышлении в форме суждений, представляющих собой связь понятий. Связи и отношения выражаются в суждении посредством утверждения или отрицания. Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать действительности либо не соответствовать ей. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным. Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета; суждение может быть либо истинным, либо ложным. Языковой формой выражения суждения является предложение. Подобно тому как понятия не могут возникнуть и существовать вне слов и словосочетаний, так и суждения не могут возникнуть и существовать вне предложений. Однако единство суждения и предложения не означает их полного совпадения. И если всякое суждение выражается в предложении, то из этого не следует, что всякое предложение выражает суждение. Суждение выражается повествовательным предложением, в нем содержится сообщение о чем-либо. вопросительные и побудительные предложения суждений не выражают. Суждение и предложение различаются по своему составу. Суждение о связи предмета и его признака состоит из двух понятий — двух терминов суждения: субъекта, отражающего предмет суждения, и предиката, отражающего признак предмета. Субъект и предикат обо­значаются латинскими буквами S и Р. Кроме субъекта и предиката суждение включает в свой состав связку — элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака. Главные члены предложения могут совпадать с субъектом и предикатом суждения только в простом нераспространенном двусоставном предложении. Различие между суждением и предложением состоит также в том, что грамматический строй предложения в разных языках различен. Логическая же структура суждения одинакова независимо от его выражения в том или ином языке. Таким образом, суждение и предложение образуют неразрывное единство, но это единство включает в себя определенные различия, которые необходимо учитывать, так как отождествление суждения как формы мышления и предложения как его языкового выражения порождает ошибки в их анализе. Суждения делятся на простые и сложные. Простым называется суждение, не включающее другие суждения. Суждение, состоящее из нескольких простых суждений, называется сложным.

В – 12 Простые суждения Виды и состав простых суждений ВИДЫАтрибутивным называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается. Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р — предикат суждения, «—» — связка. Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом. Субъект и предикат называются терминами суждения. Субъект и предикат образуют суждение посредством связки. Устанавливая принадлежность или не принадлежность признака предмету, связка объединяет термины суждения в единое целое. Благодаря этой функции связка является необходимым элементом суждения. Некоторые суждения отражают принадлежность (или непринад­лежность) предмету нескольких признаков. В этом суждении субъект имеет не один, а два или больше предикатов.2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.Принята следующая запись суждения с отношениями: хRу, где х и у — члены отношения, они обозначают понятия о предметах, R — отношение между ними. Запись читается: х находится в отношении R к у. Суждение с отношениями имеют структуру, отличающуюся от структуры атрибутивных суждений. Тем не менее они могут быть преобразованы в атрибутивные.3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.

 

В – 13 Классификация категорических суждений Категорические суждения делятся 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 и не присуще свойство Р.

 

В – 14 Выделяющие и исключающие суждения Особое место в классификации суждений занимают 1) выделяющие и 2) исключающие суждения. Выделяющие суждения они отражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету. «Некоторые города — столицы государств» — пример частного выделяющего суждения (некоторые 8, и только S, суть Р). Столицами государств могут быть только города, и притом только некоторая их часть. Предикат частного выделяющего суждения полностью входит в объем субъекта.Частные выделяющие суждения не следует смешивать с определенными частными суждениями. Если в определенном частном суждении уточняется объем субъекта, то в частных выделяющих суждениях уточняется объем предиката. «Все преступления, и только преступления, — предусмотренные законом общественно опасные деяния» — пример общего выделяющего суждения (Все S, и только S, суть Р). Объемы субъекта и предиката общего выделяющего суждения полностью совпадают. Слова «только», «лишь», входящие в состав предложений, выражающих выделяющие суждения, могут находиться как перед субъектом, так и перед предикатом. Но они могут и вообще отсутствовать. В этих случаях установить, что данное суждение является выделяющим, помогает логический анализ. Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части. Например: «Все студенты нашей группы, кроме Волкова, сдали экзамены». Исключающие суждения выражаются предложениями со словами «кроме», «за исключением», «помимо», «не считая» и т.п. (Все S, за исключением S1, суть Р). Значение выделяющих и исключающих суждений состоит в том, что положения, выраженные в форме этих суждений, характеризуются точностью и определенностью, что исключает их неоднозначное понимание. Именно поэтому ряд научных положений, а также статей международных документов, законов государства выражен в форме выделяющих или исключающих суждений.

 

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

 

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

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

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

Модальные суждения можно назвать уточняющими.

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

 

В-17 Логические отношения между суждениями Простые суждения Несравнимыми среди простых являются суждения, имеющие различные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины». Сравнимьши являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все амери­канские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях». Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями. Среди сравнимых различают совместимые и несовместимые суждения. К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение. 1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются. 2. Частичная совместимость характерна для суждений I u О, которые могут быть одновременно истинными, но не могут быть одновременно ложными. 3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости. При истинности общего суждения частное всегда будет истинным При ложности частного суждения общее суждение также будет ложным Отношение несовместимости. Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие. 1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. 2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.Hесовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.

 

В – 18 Сложные суждения 1. Соединительные (конъюнктивные) суждения. Соединительным, или конъюнктивным называю суждение, состоящее из нескольких простых, связанных логической связкой «и». Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р ^ q ^ г ^... ^ n. В языке соединительное суждение может быть выражено одной из трех логико-грамматических структур. 1. Соединительная связка представлена в сложном субъекте по схеме: S1 и S2 есть Р. Например: «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».2) Связка представлена в сложном предикате по схеме: S есть P1 и P2. Например: «Преступление — это общественно опасное и противоправное деяние».3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески» (Н.В. Гоголь). Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначена



Поделиться:




Поиск по сайту

©2015-2024 poisk-ru.ru
Все права принадлежать их авторам. Данный сайт не претендует на авторства, а предоставляет бесплатное использование.
Дата создания страницы: 2016-04-26 Нарушение авторских прав и Нарушение персональных данных


Поиск по сайту: