1. Мышление как объект изучения логики. Роль мышления в познании.
Познание как процесс отражения объективного мира сознанием человека представляет собой единство чувственного и рационального познания.• Чувственное познание протекает в трех основных формах: ощущение, восприятие, представление.
Ощущение — это отражение отдельных чувственно воспринимаемых свойств предметов' — их цвета, формы, запаха, вкуса.
Целостный образ предмета, возникающий в результате его непосредственного воздействия на органы чувств, называется восприятием.
Представление — это сохранившийся в сознании чувственный образ предмета, который воспринимался раньше.
Чувственное познание дает нам знание об отдельных предметах, об их внешних свойствах. А это невозможно без мышления, отражающего действительность в определенных логических формах.
Рассмотрим основные особенности мышления.
1 . Мышление отражает действительность в обобщенных образах. В отличие от чувственного познания мышление абстрагируется от единичного, выделяет в предметах общее, повторяющееся, существенное
2. Мышление — процесс опосредствованного отражения действительности. При помощи органов чувств можно познать лишь то, что непосредственно воздействует или воздействовало на органы чувств. Знание, полученное из уже имеющихся знаний, без обращения в каждом конкретном случае к опыту, к практике, называется выводным, а сам процесс его получения — выведением.
3. Мышление неразрывно связано с языком. Какая бы мысль ни возникла в голове человека, она может возникнуть и существовать лишь на базе языкового материала, в словах и предложениях.
4. Мышление — процесс активного отражения действительности. Активность характеризует весь процесс познания в целом, но прежде всего — мышление. Применяя обобщение, абстрагирование и другие мыслительные приемы, человек преобразует знания о предметах действительности, выражая их не только средствами естественного языка, но и в символах языка формализованного, играющего важную роль в современной науке.
ВЗАИМОСВЯЗЬ: В реальном познавательном процессе они находятся в неразрывном единстве, составляют стороны, моменты единого процесса познания. Чувственное познание содержит в себе элементы обобщения, которые свойственны не только представлениям, но в определенной степени восприятиям и ощущениям и составляют предпосылку для перехода к логическому познанию. Как ни велико значение мышления, оно основывается на данных, полученных с помощью органов чувств. С помощью мышления человек познает такие недоступные чувственному познанию явления, как движение элементарных частиц, законы природы и общества, но источником всех наших знаний о действительности являются в конечном счете ощущения, восприятия, представления.
2. Формальная логика,её предмет,место и роль в системе науч. знания.
Эту логику принято называть формальной, так как она возникла и развивалась как наука о формах мышления. Ее называют также традиционной, или аристотелевской логикой. Логика - это наука об общезначимых формах и средствах мысли, необходимых для рационального познания в любой области. Следовательно, предмет логики составляют:
1. Законы, которым подчиняется мышление в процессе познания объективного мира.
2. Формы мыслительного процесса - понятия, суждения и умозаключения.
3. Методы получения нового выводного знания -сходства, различия сопутствующих изменений, остатков и другие.
4. Способы доказательства истинности полученных знаний: прямое и косвенное доказательство, опровержение и т.д.
Итак, логика (в наиболее широком понимании ее предмета) исследует структуру мышления, раскрывает лежащие в его основе закономерности. При этом абстрактное мышление, обобщенно, опосредствованно и активно отражая действительность, неразрывно связано с языком. Языковые выражения являются той реальностью, строение и способ употребления которой дает нам знание не только о содержании мыслей, но и об их формах, о законах мышления. Поэтому в исследовании языковых выражений и отношений между ними логика видит одну из своих основных задач. А язык в целом является при этом косвенным объектом ее внимания и интереса.
3. Основные исторические этапы развития логики. Древняя логика-Средневековая логика-Логика Возрождения и Нового времени – Современная логика. Как самостоятельная наука логика сложилась более двух тысяч лет назад, в 4 веке до н.э. Ее основателем является древнегреческий философ Аристотель,
Гален, Демокрит. –древняя логика
Средние века, теория индукции, Ф.Бэкон
Дальнейшее развитие логики связано с именами таких выдающихся западно-европейских мыслителей, как Р. Декарт, Г. Лейбниц, И. Кант и др.
Лог. Возрож и нов. Врем М.В. Ломоносов, А.Н.Радищев, Н.Г.Чернышевский
4.Понятие как форма мышления Общая характеристика понятия
Понятие — это форма мышления, отражающая предметы в их существенных признаках.
Понятие как форма мышления отражает предметы и их совокупности в абстрактной, обобщенной форме на основании их существенных признаков.
Понятие — одна из основных форм научного познания. Формируя понятия, наука отражает в них изучаемые ею предметы, явления, процессы.
Содержанием понятия называется совокупность существенных признаков предмета, которая мыслится в данном понятии.
Множество предметов, которое мыслится в понятии, называется объемом понятия. Объем понятия «преступление» охватывает все преступления, поскольку они имеют общие существенные признаки.
Логика оперирует также понятиями «класс» («множество»), «подкласс» («подмножество») и «элемент класса».
Классом, или множеством, называется определенная совокупность предметов, имеющих некоторые общие признаки. Класс (множество) может включать в себя подкласс, или подмножество. Например, класс студентов включает в себя подкласс студентов юридических вузов, класс преступлений — подкласс экономических преступлений.
Отношение элемента к классу выражается при помощи знака е:
Класс, состоящий из всех элементов исследуемой области, называется универсальным классом Если класс состоит из одного элемента, то это будет единичный класс. класс, который не содержит ни одного элемента, называется нулевым (пустым) классом.
Содержание и объем понятия тесно связаны друг с другом. Эта
5. Логические приёмы образования понятий(анализ,синтез,сравнение,абстрагирование,обобщение).
Анализ-это мысленное разложение предмета на его признаки.
Синтез-мысленное соединение признаков предмета в одно целое.
Сравнение-мысленное сопоставление одного предмета с другим, выявление признаков сходства и различия в том или ином отношении. Абстрагирование-мысленное упрощение предмета путём выделения в нём одних признаков и отвлечения от других. Результат этого прицесса назыв. абстракцией, что служит синонимом понятия.
Обобщение – мысленное объединение однородных предметов, их группировка на основе тех или иных общих признаков.
6.Содержание и объём понятия.
Содержание понятия- совокупность существенных признаков предмета, которая мыслится в данном понятии.
Объем понятия- множество предметов, которое мыслится в понятии.
7. Закон обратного отношения между содержанием и объёмом понятием.
Закон обратного отношения между объемом и содержанием понятия – увеличение(уточнение)содержания понятия ведет к образованию понятия с меньшим объемом,уменьшение(расширение)содержания понятия ведёт к образованию понятия с большим объёмом.
8.Виды понятий. Виды понятий
1) единичные и общие, 2) собирательные и несобирательные, 3) конкретные и абстрактные, 4) положительные и отрицательные, 5) безотносительные и соотносительные.
1. Понятия делятся на единичные и общие в зависимости от того, мыслится в них один элемент или множество элементов.
2. Понятия делятся на собирательные и несобирательные. Понятия, в которых мыслятся признаки некоторой совокупности элементов, составляющих единое целое, называются собирательными. Содержание собирательного понятия нельзя отнести к каждому отдельному элементу, входящему в его объем, оно относится ко всей совокупности элементов.
Понятие, в котором мыслятся признаки, относящиеся к каждому его элементу, называется несобирательным.
3. Понятия делятся на конкретные и абстрактные.Понятие, в котором мыслится предмет или совокупность предметов как нечто самостоятельно существующее, называется конкретным; понятие, в котором мыслится признак предмета или отношение между предметами, называется абстрактным.
4. Понятия делятся на положительные и отрицательные в зависимости от того, составляют ли их содержание свойства, присущие предмету, или свойства, отсутствующие у него.
Понятия, содержание которых составляют свойства, присущие предмету, называются положительными. Понятия, в содержании которых указывается на отсутствие у предмета определенных свойств, называются отрицательными.
5. Понятия делятся на безотносительные и соотносительные в зависимости от того, мыслятся ли в них предметы, существующие раздельно или в отношении с другими предметами.
Понятия, отражающие предметы, существующие раздельно и мыслящиеся вне их отношения к другим предметам, называются безотносительными. Таковы понятия «студент», «государство», «место преступления» и др. Соотносительные понятия содержат признаки, указывающие на отношение одного понятия к другому понятию.
9. Отношения между понятиями.
сравнимые и несравнимые.
Сравнимыми называются понятия, имеющие некоторые признаки, позволяющие эти понятия сравнивать друг с другом.
Несравнимыми называются понятия, не имеющие общих признаков, поэтому и сравнивать эти понятия невозможно.
Сравнимые понятия делятся на совместимые и несовместимые.
Понятия, объемы которых полностью или частично совпадают, называются совместимыми. В содержании этих понятий нет признаков, исключающих совпадение их объемов. Существуют три вида отношений совместимости: 1) равнообъемность, 2) пересечение (перекрещивание) и 3) подчинение (субординация).
Несовместимые понятия
Понятия, объемы которых не совпадают ни полностью, ни частично, называются несовместимыми. Эти понятия содержат признаки, исключающие совпадение их объемов.
Существуют три вида отношений несовместимости: 1)соподчинение 2)противоположность3)противоречие
10. Логическая операция обобщения понятия.
Обобщить понятие — значит перейти от понятия с меньшим объемом, но с большим содержанием к понятию с большим объемом, но с меньшим содержанием. Например, обобщая понятие «Министерство юстиции Российской Федерации», мы переходим к понятию «министерство юстиции». Объем нового (общего) понятия шире исходного (единичного) понятия; первое относится ко второму как индивид к виду. Вместе с тем содержание понятия, образованного в результате обобщения, уменьшилось, так как мы исключили его индивидуальные признаки.
Обобщение понятия не может быть беспредельным. Наиболее общими являются понятия с предельно широким объемом — категории, например «материя», «сознание», «движение», «свойство», «отношение» и т.п. Категории не имеют родового понятия, обобщить их нельзя.
11. Логич. операция ограничения понятия.
Ограничить понятие — значит перейти от понятия с большим объемом, но с меньшим содержанием к понятию с меньшим объемом, но большим содержанием. Иначе говоря, чтобы ограничить понятие «юрист», мы переходим к понятию «следователь», которое в свою очередь можем ограничить, образовав понятие «следователь прокуратуры». Пределом ограничения понятия является единичное понятие.
12. Логическая операция определения понятия.Виды определения.
Логическая операция, раскрывающая содержание понятия, называется определением.
Понятие, содержание которого требуется раскрыть, называется определяемым; понятие, раскрывающее содержание определяемого понятия, —определяющим.
Виды определения
Определения делятся на 1) номинальные и реальные, 2) явные и неявные.
Номинальным называется определение, посредством которого взамен описания какого-либо предмета вводится новый термин (имя), объясняется значение термина, его происхождение и т.п.
Реальным называется определение, раскрывающее существенные признаки предмета.
Номинальные и реальные определения различаются по своим задачам: объяснить значение термина или раскрыть существенные признаки предмета.
По способу выявления содержания понятия определения делятся на явные и неявные. Явные определения раскрывают существенные признаки предмета; к неявным относятся определение через отношение предмета к своей противоположности
13.Определение через ближайший род и видовое отличие.
Наиболее распространенным способом явного определения являетсяопределение через ближайший род и видовое отличие.
Сущность его состоит в том, что при определении какого-либо предмета указывают на ближайшее родовое понятие, в объеме которого мыслится определяемый предмет, и называют его отличительные признаки. Например, "Барометр - прибор для измерения атмосферного давления". В приведенном примере родом выступает понятие "прибор".
14. Правила определения понятий.
Правила определения
1. Определение должно быть соразмерным.
Правило соразмерности требует, чтобы объем определяемого понятия был равен объему определяющего.Иначе говоря, эти понятия должны находиться в отношении равно-объемности.
2. Определение не должно заключать в себе круга.
Если при определении мы прибегаем к другому понятию, которое, в свою очередь, определяется при помощи первого, то такое определение содержит в себе круг. Разновидностью круга в определении является тавтология — ошибочное определение, в котором определяющее понятие повторяет определяемое. Тавтология, отличается от круга в определении меньшей сложностью построения. Определяющее понятие является повторением определяемого.
3. Определение должно быть ясным.
Оно должно указывать на известные признаки, не нуждающиеся в определении и не содержащие двусмысленности. Если же понятие определяется через другое понятие, признаки которого неизвестны и которое само нуждается в определении, то это ведет к ошибке, называемой определением неизвестного через неизвестное, или определением х через у.
4. Определение не должно быть отрицательным. Отрицательное определение не раскрывает определяемого понятия. Оно указывает, чем не является предмет, не указывая, чем он является.
15. Логическая операция деления понятия. Виды деления.
Логическая операция, раскрывающая объем понятия, называется делением.
В операции деления следует различать делимое понятие— объем которого следует раскрыть, члены деления — соподчиненные виды, на которые делится понятие, и основание деления — признак, по которому производится деление.
Различают деление 1) по видоизменению признака и 2) дихотомическое деление.
Деление по видоизменению признака. Основанием деления является признак, при изменении которого образуются видовые понятия, входящие в объем делимого (родового) понятия.
16. Правила деления понятия.
1. Деление должно быть соразмерным.
Задача деления заключается в том, чтобы перечислить все виды делимого понятия. Поэтому объем членов деления должен быть равен в своей сумме объему делимого понятия.
2. Деление должно производиться только по одному основанию.
В процессе деления избранный нами признак должен оставаться одним и тем же и не подменяться другим признаком. Например, граждан какой-либо страны в зависимости от поставленной задачи можно разделить по их социальному положению или национальности, профессии или полу. Но нельзя смешивать эти признаки и делить, скажем, граждан России на рабочих, русских, шахтеров и женщин.
3. Члены деления должны исключать друг друга. Если выбрано не одно основание, то члены деления — видовые понятия — будут находиться в отношении частичного совпадения. Подобный же результат получим при делении преступлений на умышленные, неосторожные и воинские. Деление всех студентов института на заочников, первокурсников и спортсменов также приведет к нарушению данного правила.
4. Деление должно быть непрерывным.
В процессе деления родового понятия нужно переходить к ближайшим видам, не пропуская их. Но нельзя переходить от деления на виды одного порядка к делению на виды другого порядка, например делить преступления на преступления против личности, в сфере экономики, и утрату военного имущества. Такое деление лишено последовательности, оно называется скачком в делении.
17.Суждение-сущность и логич структура.
Связи и отношения выражаются в суждении посредством утверждения или отрицания. Всякое суждение может быть либо истинным, либо ложным, т.е. соответствовать действительности либо не соответствовать ей. Если в суждении утверждается связь, существующая в действительности, или отрицается связь, которая в действительности отсутствует, то такое суждение будет истинным.
Суждение — это форма мышления, в которой утверждается или отрицается связь между предметом и его признаком, отношения между предметами или факт существования предмета; суждение может быть либо истинным, либо ложным.
Языковой формой выражения суждения является предложение. Подобно тому как понятия не могут возникнуть и существовать вне слов и словосочетаний, так и суждения не могут возникнуть и существовать вне предложений. Однако единство суждения и предложения не означает их полного совпадения. И если всякое суждение выражается в предложении, то из этого не следует, что всякое предложение выражает суждение. Суждение выражается повествовательным предложением, в нем содержится сообщение о чем-либо.
вопросительные и побудительные предложения суждений не выражают.
Суждение о связи предмета и его признака состоит из двух понятий — двух терминов суждения: субъекта, отражающего предмет суждения, и предиката, отражающего признак предмета. Субъект и предикат обозначаются латинскими буквами S и Р. Кроме субъекта и предиката суждение включает в свой состав связку — элемент суждения, который соединяет оба термина суждения, утверждая или отрицая принадлежность предмету некоторого признака.
Суждения делятся на простые и сложные.
Простым называется суждение, не включающее другие суждения. Суждение, состоящее из нескольких простых суждений, называется сложным.
18. Виды простых категорических суждений.
. Атрибутивным называется суждение о признаке предмета. В нем отражается связь между предметом и его признаком, эта связь утверждается или отрицается.
Атрибутивные суждения называют также категорическими. Атрибутивное, или категорическое, суждение состоит из субъекта, предиката и связки; его логическая схема S—Р, где S — субъект суждения, Р — предикат суждения, «—» — связка.Субъектом суждения называется понятие о предмете суждения. Понятие о признаке предмета называется предикатом суждения. Связка выражает отношение между субъектом и предикатом.
Субъект и предикат называются терминами суждения. Субъект и предикат образуют суждение посредством связки. Устанавливая принадлежность или не принадлежность признака предмету, связка объединяет термины суждения в единое целое. Благодаря этой функции связка является необходимым элементом суждения.Некоторые суждения отражают принадлежность (или непринад-лежность) предмету нескольких признаков. В этом суждении субъект имеет не один, а два или больше предикатов.
2. Суждением с отношением называется суждение об отношении между предметами. Это могут быть отношения равенства, неравенства, родства, пространственные, временные, причинно-следственные и другие отношения.
3. В суждениях существования выражается сам факт существования или несуществования предмета суждения.
19. Объединённая классифик. простых суждений.
Объединяя количественную и качественную характеристики, суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные, частноотрицательные.
Общеутвердительное суждение — это суждение, общее по количеству и утвердительное по качеству. Общеотрицательное суждение — суждение, общее по количеству и отрицательное по качеству. Частноутвердительное суждение — суждение, частное по количеству и утвердительное по качеству. Частноотрцательное суждение — суждение, частное по количеству и отрицательное по качеству.
В логике принято сокращенное обозначение суждений по их объединенной классификации.
Cуждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — Частноутвердительное, О — частно-отрицательное.
На языке логики предикатов суждения А, Е,I, О записывают следующим образом:
А (Все S суть Р): V х (S(х) -> Р(х))
читается: для всех х, если х присуще свойство S, то х присуще свойство Р.
Е (Ни одно S не есть Р): V х (S(х) -> -1 Р(х))
читается: ни одному х, которому присуще свойство S, не присуще свойство Р.
I (Некоторые S суть Р): 3 х(S(х) а Р(х))
читается: существуют х, которым присуще свойство S и свойство Р.
О (Некоторые Sне суть Р): 3 х(S(х) л -1 Р(х))
читается: существуют х, которым присуще свойство S и не присуще свойство Р.
20. Распредеденность терминов в суждениях.
Правила А, Е, I, О.
В логических операциях с суждениями возникает необходимость установить, распределены или не распределены его термины — субъект и предикат. Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.
Рассмотрим, как распределены термины в суждениях А, Е,I, О.
Суждение А (Все S суть Р). «Все студенты нашей группы (S) сдали экзамены (Р)». Субъект распределен, он взят в полном объеме: речь идет обо всех студентах нашей группы. Предикат этого суждения не распределен, так как в нем мыслится только часть лиц, сдавших экзамены, совпадающая со студентами нашей группы.
Таким образом, в общеутвердительных суждениях S распределен, а Р не распределен. Однако в общеутвердительных суждениях, субъект и предикат которых имеют одинаковый объем, распределен не только субъект, но и предикат. К таким суждениям относятся общевыделяющие суждения, а также определения, подчиняющиеся правилу соразмерности.
Суждение Е (Ни одно S не есть Р). «Ни один студент нашей группы (S) не является неуспевающим (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключается из объема другого: ни один студент нашей группы не входит в число неуспевающих, и ни один неуспевающий не является студентом нашей группы. Следовательно, в общеотрицательных суждениях и S, и Р распределены.
Суждение I (Некоторые S суть Р). «Некоторые студенты нашей группы (S) — отличники (Р)». Субъект этого суждения не распределен, так как в нем мыслится только часть студентов нашей группы, объем субъекта лишь частично включается в объем предиката. Но и объем предиката лишь частично включается в объем субъекта: не все, а только некоторые отличники — студенты нашей группы.
Следовательно, в частноутвердительном суждении ни S, ни Р не распределены.
Суждение О (некоторые S не суть Р). «Некоторые студенты нашей группы (S) — не отличники (Р)». Субъект этого суждения не распределен, предикат распределен, в нем мыслятся все отличники, ни один из которых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном суждении S не распределен, а Р распределен.
21. Виды и структура сложных суждений.
1.Соединительные (конъюнктивные) суждения.
Соединительным, или конъюнктивным называю суждение, состоящее из нескольких простых, связанных логической связкой «и».
2. Разделительные (дизъюнктивные) суждения.
Разделительным, или дизъюнктивным называю суждение, состоящее из нескольких простых, связанных логической связкой «или,либо»-слабое
Логич. связка «или или,либо либо»
22. Соединительным, или конъюнктивным называю суждение, состоящее из нескольких простых, связанных логической связкой «и».
Соединительное суждение может быть как двух-, так и многосоставным; в символической записи: р ^ q ^ г ^ . ^ n.
В языке соединительное суждение может быть выражено одной из трех логико-грамматических структур.
1. Соединительная связка представлена в сложном субъекте по схеме: S1 и S2 есть Р. Например: «Конфискация имущества и лишение звания являются дополнительными уголовно-правовыми санкциями».
2) Связка представлена в сложном предикате по схеме: S естьP1 и P2. Например: «Преступление — это общественно опасное и противоправное деяние».
3) Связка представлена сочетанием первых двух способов по схеме: S1 и S2 есть P1 и Р2. Например: «С полицмейстером и прокурором Ноздрев тоже был на «ты» и обращался по-дружески»
Соединительное суждение истинно при истинности всех составляющих его конъюнктов и ложно при ложности хотя бы одного из них. Условия истинности суждения р ^ q показаны в таблице (рис. 31), где истинность обозначена И, а ложность — Л. В первых двух столбцах таблицы р и q берутся как независимые и принимают поэтому все возможные сочетания значений И и Л: ИИ, ИЛ, ЛИ, ЛЛ. В третьем столбце показано значение суждение р л q. Из четырех построчных вариантов истинным оно является лишь в 1-й строке, когда истинны оба конъюнкта: и р, и q. Во всех остальных случаях оно ложно: во 2-й и 3-й строках в силу ложности одного из членов, а в 4-й в силу ложности обоих членов
23. Разделительные (дизъюнктивные) суждения. Строение и виды.
Разделительным, или дизъюнктивным называю суждение, состоящее из нескольких простых, связанных логической связкой «или,либо»-слабое
Логич. связка «или или,либо либо»
Разделительные суждения (дизъюнктивные) - это такие суждения, которые включают в качестве составных частей суждения-дизъюнкты, объединяемые связкой "или".
Различают слабую дизъюнкцию, когда союз "или" имеет соединительно-разделительное значение, не придает исключающего смысла входящим в сложное суждение составляющим. Например: "Люди обижают друг друга или из ненависти, или из зависти, или из презрения". Сильная дизъюнкция , как правило, возникает, когда употребляется логический союз "либо", имеющий исключающе-разделяющий смысл. Например, в выражении М.Е. Салтыкова-Щедрина: "Либо в рыло, либо ручку пожалуйте" - соединяются несовместимые друг с другом суждения. Они характеризуют готовность человека легко перейти от грубой расправы с нижестоящим к целованию руки у тех, от кого находится в непосредственной зависимости.
24. Условное суждение(импликация).
Условные (импликативные) суждения.
Условным, или импликативным, называют суждение, состоящее из двух простых, связанных логической связкой «если , то .». Например: «Если предохранитель плавится, то электролампа гаснет». Первое суждение — «Предохранитель плавится» называют антецедентом, второе — «Электролампа гаснет» — консеквентом (последующим).
Эквивалентные суждения (двойная импликация). Эквивалентным называют суждение, включающее в качестве составных два суждения, связанных двойной (прямой и обратной) условной зависимостью, выражаемой логической связкой «если и только если ., то .».
25. Логич отнош между совместим суждениями.
Отношение совместимости.
К совместимым относятся такие сравнимые суждения, которые одновременно могут быть истинными. Как и в случае простых суждений, различают три вида совместимости сложных суждений:
эквивалентность, частичная совместимость и подчинение.
1. Эквивалентные — это суждения, которые принимают одни и те значения, т.е. одновременно являются либо истинными, либо ложными.
2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение между суждениями имеет место в том случае, когда при истинности подчиняющего подчиненное всегда будет истинным.
26. Логич отнош между несовмест суждениями.
Отношение несовместимости.
Несовместимыми являются суждения, которые одновременно не могут быть истинными. Из двух видов несовместимости одна — противоположность, другая — противоречие.
Противоположность — отношение между суждениями, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречие — отношение между суждениями, которые одновременно не могут быть ни истинными, ни ложными. При истинности одного из них другое будет ложным, а при ложности первого второе будет истинным.
27. Логический квадрат как модель отношений между простыми категорическими суждениями.
Отношения между простыми суждениями обычно рассматриваются с помощью мнемонической схемы, называемой логическим квадратом. Его вершины символизируют простые категорические суждения — А, Е, I, О; стороны и диагонали — отношения между суждениями.
Противоположность (контрарность)
Частичная совместимость (субконтрарность)
Противоречие (контрадикторность)
Среди сравнимых различают совместимые и несовместимые суждения.
К совместимым относятся суждения, которые одновременно могут быть истинными. Различают три вида совместимости: 1) эквивалентность (полная совместимость), 2) частичная совместимость (субконтрарность) и 3) подчинение.
1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики: одинаковые субъекты и предикаты, однотипную — утвердительную или отрицательную — связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.
2. Частичная совместимость характерна для суждений Iu О, которые могут быть одновременно истинными, но не могут быть одновременно ложными.
3. Подчинение имеет место между суждениями А и I, Е и О. Для них характерны следующие две зависимости.
При истинности общего суждения частное всегда будет истинным
При ложности частного суждения общее суждение также будет ложным
Отношение несовместимости.
Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными. Различают два вида несовместимости: противоположность и противоречие.
1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.
Hесовместимые единичные суждения могут находиться лишь в отношении противоречия и не могут находиться в отношении противоположности, ибо каждому отдельному предмету может быть либо присущ, либо не присущ определенный признак.
28. Понятие о модальности суждения. Виды модальности.
Модальность суждения - это выраженная в суждении явно или неявно дополнительная информация. В логике различают три группы модальных суждений.
Первая группа - истинная (алетическая) модальность суждений. Это выраженная в терминах необходимости или возможности информация о логической зависимости между субъектом и предикатом суждения, либо о фактической зависимости между отражаемыми в них явлениями. В границах истинной или алетической модальности принято выделять, во-первых, логическую обусловленность, или детерминированность.
Во-вторых, выделяют фактическую обусловленность или детерминированность. Вторая группа –несомненная (эпистемическая) модальность суждений. Она представляет собой выраженную в суждении информацию о характере принятия и степени обоснованности знания.
Третья группа - обязательная (деонтическая) модальность суждений. Этот вид модальности является выражением в суждении побуждения людей к конкретному поведению в форме совета, команды, пожелания.
29. Сущность и логич структура вопроса.
Вопросительные предложения не являются суждениями, ибо они не поддаются логическому анализу. Сущность вопросительного предложения заключается в постановке вопроса-он посредствующее звено между одним, известным суждением и другими, новыми; и можно лишь говорить о правильно или неправильно сформулированных вопросах.
Вопрос предполагает некоторое суждение, истинность или ложность которого определяет логическую правильность или неправильность самого вопроса. Так, например, вопрос: "Кто водрузил Знамя Победы над рейхстагом в мае 1945 года?" - правильно поставлен. Он предполагает истинное суждение: "Кто-то водрузил Знамя Победы над рейхстагом".
30. Виды вопросов
Простые
Риторические
Уточняющие-ли-вопросы
Восполняющие
31. Правила постановки вопросов.
Надо точно ставить(формулировать) вопрос, т.е. очертить ту область,в которой следует искать ответ.
32. Логич сущность и виды ответов.
Виды – по способу выражения - прямой и косвенный. По отнош. к действит – истинный и ложный.
33. Умозаключение как форма мышления: сущность, логич. структура и виды.
большую часть знаний мы получаем путем выведения новых знаний из знаний уже имеющихся. Эти знания называются опосредствованными, или выводными.
Логической формой получения выводных знаний является умозаключение.
Умозаключение — это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Любое умозаключение состоит из посылок, заключения и вывода. Посылками умозаключения называют исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Логический переход от посылок к заключению называется выводом.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг под другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование.
Умозаключения делятся на следующие виды.
1. В зависимости от строгости правил вывода различают демонстративные (необходимые) и недемонстративные (правдоподобные) умозаключения. Демонстративные умозаключения характеризуются тем, что заключение в них с необходимостью следует из посылок, т.е. логическое следование в такого рода выводах представляет собой логический закон. В недемонстративных умозаключениях правила вывода обеспечивают лишь вероятностное следование заключения из посылок.
2. Важное значение имеет классификация умозаключений по направленности логического следования. С этой точки зрения различают три вида умозаключений: дедуктивные (от общего знания к частному), индуктивные (от частного знания к общему), умозаключения по аналогии (от частного знания к частному).
34. Непосредств дедуктивное умозаключ:
Превращение.
Преобразование суждения в суждение, противоположное по качеству с предикатом, противоречащим предикату исходного суждения, называется превращением.
Превращать можно общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные суждения.
Общеутвердительное суждение (А) превращается в общеотрицательное (Е).
Схема превращения суждения А:
Все S суть Р Ни одно S не есть не-Р
Общеотрицательное суждение (Е) превращается в общеутвердительное (А).
Схема превращения суждения Е:
Ни одно S не есть Р Все S суть не-Р
Частноутвердительное суждение (I) превращается в частно-отрицательное (О).
Схема превращения суждения I:
Некоторые S суть Р Некоторые S не суть не-Р
Частноотрицательное суждение (О) превращается в частно-утвердительное (I).
Схема превращения суждения О:
Некоторые S не суть Р Некоторые S суть не-Р
Таким образом, чтобы превратить суждение, нужно заменить его связку на противоположную, а предикат — на понятие, противоречащее предикату исходного суждения. Суждение, полученное посредством превращения, сохраняет количество, но изменяет качество исходного суждения. Субъект исходного суждения не изменяется.
35. Непосредств дедуктивное умозаключ:
Обращение.
Обращение.
Преобразование суждения, в результате которого субъект исходного суждения становится предикатом, а предикат — субъектом заключения, называется обращением.
36. Непосредств дедуктивное умозаключ: Противопоставление предикату.
Преобразование суждения, в результате которого субъектом становится понятие, противоречащее предикату, а предикатом — субъект исходного суждения, называется противопоставлением предикату.
Значение умозаключений посредством противопоставления предикату состоит в том, что в них выясняется отношение предметов, не входящих в объём предиката, к предметам, отражённым субъектом исходного суждения. Устанавливая отношения между этими предметами, мы уточняем наши знания, высказываем нечто новое, что не было в явной форме выражено в исходном суждении.
38. Простой категорический силлогизм Состав простого категорического силлогизма
Простой категорический силлогизм — это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положении (аксиоме силлогизма): все, что утверждается или отрицается относительно всех предметов некоторого класса, утверждается или отрицается относительно каждого предмета и любой части предметов этого класса.Широко распространенным видом опосредствованных умозаключений является простой категорический силлогизм, заключение в котором получается из двух категорических суждений. Простой категорический силлогизм состоит из трех категорических суждений, два из которых являются посылками, а третье — заключением.
В отличие от терминов суждения — субъекта (S) и предиката (P) — понятия, входящие в состав силлогизма, называют терминами силлогизма. Различают меньший, больший и средний термины.
Меньшим термином силлогизма называется понятие, которое в заключении является субъектом. Большим термином силлогизма называется понятие, которое в заключении является предикатом. Меньший и больший термины называются крайними и обозначаются соответственно латинскими буквами S (меньший термин) и Р (больший термин).
Каждый из крайних терминов входит не только в заключение, но и в одну из посылок. Посылка, в которую входит меньший термин, называется меньшей посылкой, посылка, в которую входит больший термин, называется большей посылкой.
Для удобства анализа силлогизма посьшки принято располагать в определенной последовательности: большую — на первом месте, меньшую — на втором. Под чертой записывают заключение:
Обвиняемый имеет право на защиту
Гусев — обвиняемый
Гусев имеет право на защиту
Однако в рассуждении такой порядок необязателен. Меньшая посылка может находиться на первом месте, большая — на втором. Иногда посылки стоят после заключения.Посылки различаются не их местом в силлогизме, а входящими в них терминами.
Вывод в силлогизме был бы невозможен, если бы в нем не было среднего термина. Средним термином силлогизма называется понятие, входящее в обе посылки и отсутствующее в заключении. Средний термин обозначается латинской буквой М.
Поставив в нашем примере на место терминов суждения термины силлогизма, получим:
Обвиняемый (М) имеет право на защиту (Р)
Гусев (S) — обвиняемый (М)
Гусев (S) имеет право на защиту (Р)
Итак, простой категорический силлогизм — это умозаключение об отношении двух крайних терминов на основании их отношения к среднему термину.
Правомерность вывода, т.е. логического перехода от посылок к заключению, в категорическом силлогизме основывается на положении (аксиоме силлогизма): все, что утверждается или отрицается относительно всех предметов некоторого класса, утверждается или отрицается относительно каждого предмета и любой части предметов этого класса.
39. Правила терминов простого категорического силлогизма.
Правила терминов.
1-е правило: в силлогизме должно быть только три термина. Вывод в силлогизме основан на отношении двух крайних терминов к среднему, поэтому в нем не может быть ни меньше, ни больше трех терминов.
2-е правило: средний термин должен быть распределен хотя бы в одной из посылок. Если средний термин не распределен ни в одной из посылок, то связь между крайними терминами остается неопределенной.
3-е правило: термин, не распределенный в посылке, не может быть распределен и в заключении.
Меньший термин (S) не распределен в посылке (как предикат утвердительного суждения), поэтому он не распределен и в заключении (как субъект частного суждения). Делать вывод с распределенным субъектом в форме общего суждения это правило запрещает. Ошибка, связанная с нарушением правила распределенноcти крайних терминов, называется незаконным расширением меньшего (или большего) термина.
40. Правила посылок простого категорического силлогизма.
Правила посылок.
1-е правило: хотя бы одна из посылок должна быть утвердительным суждением. Из двух отрицательных посылок заключение с необходимостью не следует.
2-е правило: если одна из посылок — отрицательное суждение, то и заключение должно быть отрицательным.
3-е и 4-е правила являются производными, вытекающими из рассмотренных.
3-е правило: хотя бы одна из посылок должна быть общим суждением. Из двух частных посылок заключение с необходимостью не следует.
4-е правило: если одна из посылок — частное суждение, то и заключение должно быть частным.
41. Первая фигура прост категор силлог и её правила.
В первой фигуре средний термин занимает место субъекта в большей и место предиката в меньшей посылках.
1 2
Правила 1-й фигуры:
1. Большая посылка — общее суждение.
2. Меньшая посылка — утвердительное суждение.
Эти модусы показывают, что 1-я фигура дает любые заключения: общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные, что и определяет ее познавательное значение и широкое применение в рассуждениях.
1-я фигура — наиболее типичная форма дедуктивного умозаключения. Из общего положения, выражающего нередко закон науки, правовую норму, делается вывод об отдельном факте, единичном случае, конкретном лице. Широко применяется эта фигура в судебной практике. Юридическая оценка (квалификация) правовых явлений, применение нормы права к отдельному случаю, назначение наказания за преступление, совершенное конкретным лицом, и другие судебные решения принимают логическую форму 1-й фигуры силлогизма.
42. Вторая фигура прост категор силлог и её правила.
1 2
Правила 2-й фигуры:
1. Большая посылка — общее суждение.
2. Одна из посылок — отрицательное суждение.
Правила 2-й фигуры исключают сочетания посылок АА, IA, ОА, IE, AI, оставляя модусы ЕАЕ, АЕЕ, ЕЮ, АОО, которые показывают, что эта фигура дает только отрицательные заключения.
2-я фигура применяется, когда необходимо показать, что отдельный случай (конкретное лицо, факт, явление) не может быть подведен под общее положение. Этот случай исключается из числа предметов, о которых сказано в большей посылке. В судебной практике 2-я фигура используется для заключений об отсутствии состава преступления в данном конкретном случае, для опровержения положений, противоречащих тому, о чем говорится в посылке, выражающей общее положение.
43. Третья фигура прост категор силлог и её правила.
3
Правила 3-й фигуры:
1. Меньшая посылка — утвердительное суждение.2. Заключение — частное суждение.
Давая только частные заключения, 3-я фигура применяется чаще всего для установления частичной совместимости признаков, относящихся к одному предмету. Например:Некоторые следственные действия (S) имеют одной из своих задач обнаружение следов преступления (Р) В практике рассуждения 3-я фигура применяется сравнительно редко.
44. Чисто условное умозаключение.
Чисто условным называется умозаключение, обе посылки которого являются условными суждениями.
Схема чисто условного умозаключения:
(р -» q) ^ (q -> г) р->г
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными.
45. Условно-категорическое умозаключение
Условно-категорическим называется умозаключение, в котором одна из посылок —условное, а другая посылка и заключение — категорические суждения.
Это умозаключение имеет два правильных модуса: 1) утверждающий и 2) отрицающий.
1. В утверждающем модусе посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия;рассуждение направлено от утверждения истинности основания к утверждению истинности следствия.
2. В отрицающем модусе посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.
Из четырех модусов условно-категорического умозаключения, исчерпывающих все возможные комбинации посылок, достоверные заключения дают два: утверждающий (modus ponens) (1) и отрицающий (modus tollens) (2). Они выражают законы логики и называются правильными модусами условно-категорического умозаключения. Эти модусы подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Два других модуса (3 и 4) достоверных заключений не дают. Они называются неправильными модусами и подчиняются правилу: отрицание основания не ведет с необходимостью к отрицанию следствия и утверждение следствия не ведет с необходимостью к утверждению основания.
46. Разделительно-категорическое умозаключение.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения.
Простые суждения, из которых состоит разделительное (дизъюнктивное) суждение, называются членами дизъюнкции, или дизъюнктами.
1. В утверждающе-отрицающем модусе меньшая посылка — категорическое суждение — утверждает один член дизъюнкции, заключение — также категорическое суждение — отрицает другой ее член.
Заключение по этому модусу всегда достоверно, если соблюдается правило: большая посылка должна быть исключающе-раздели-тельным суждением, или суждением строгой дизъюнкции. Если это правило не соблюдается, достоверного заключения получить нельзя.
2. В отрицающе-утверждающем модусе меньшая посылка отрицает один дизъюнкт, заключение утверждает другой.Заключение по этому модусу всегда достоверно, если соблюдается правило: в большей посылке должны быть перечислены все возможные суждения -— дизъюнкты, иначе говоря, большая посылка должна быть полным (закрытым) дизъюнктивным высказыванием. Применяя неполное (открытое) дизъюнктивное высказывание, достоверного заключения получить нельзя. Однако это заключение может оказаться ложным, так как в большей посылке учтены не все возможные виды сделок: посылка представляет собой неполное, или открытое, дизъюнктивное высказывание.
Заключение будет истинным, если в условной посылке учтены все возможные случаи.
Разделительно-категорическое умозаключение находит широкое применение в судебно-следственной практике, особенно при построении и проверке следственных версий.
47. Сокращенный силлогизм (энтимема)
Силлогизм, в котором выражены все его части — обе посылки и заключение, называется полным. Однако на практике чаще используются силлогизмы, в которых одна из посылок или заключение явно не выражаются, а подразумеваются.
Силлогизм с пропущенной посылкой или заключением называется сокращенным силлогизмом, или энтимемой.
Энтимема в переводе с греческого буквально означает «в уме»/
Широко используются энтимемы простого категорического силлогизма, особенно выводы по первой фигуре. Например: «Н. совершил преступление и поэтому подлежит уголовной ответственности». Здесь пропущена большая посылка: «Лицо, совершившее преступление, подлежит уголовной ответственности». Она представляет собой общеизвестное положение, формулировать которое необязательно.
В зависимости от того, какая часть силлогизма пропущена, различают три вида энтимемы: с пропущенной большей посылкой, с пропущенной меньшей посылкой и с пропущенным заключением.
Для проверки правильности рассуждения следует найти пропущенные части умозаключения и восстановить энтимему в полный силлогизм.
48. Индуктивное умозаключение, его виды и логич структура.
Индуктивное умозаключение - это такое умозаключение, в котором мысль развивается от знания меньшей степени общности к знанию большей степени общности, а заключение, вытекающее из посылок, носит преимущественно вероятностный характер.
В зависимости от полноты исследования различают полную и неполную индукцию. Полная индукция - это умозаключение, в котором общее заключение делается на основе изучения всех предметов и явлений данного класса.
Неполная индукция - это умозаключение, в котором на основе повторяемости признака у некоторых явлений определенного класса делается вывод о принадлежности этого признака всему классу явлений
По способам обоснования заключения различают следующие виды неполной индукции: популярную и научную.
В популярной индукции на основе повторяемости одного и того же признака у некоторой части однородных предметов и при отсутствии противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком.
Научной индукцией называется умозаключение, в посылках которого наряду с повторяемостью признака у некоторых явлений класса содержится также информация о зависимости этого признака от определенных свойств явления.
49. Полная индукция её роль в познании.
Полная индукция - это умозаключение, в котором общее заключение делается на основе изучения всех предметов и явлений данного класса. В этом случае рассуждение имеет следующую схему:
S1 - Р
S2 - Р
S3 - Р
Sn - Р
Только S1, S2, S3, . Sn составляют класс К
Каждый элемент К - Р
Полная индукция дает достоверное знание, так как заключение делается только о тех предметах или явлениях, которые перечислены в посылках. Но область применения полной индукции весьма ограничена. Полную индукцию можно применить, когда появляется возможность иметь дело с замкнутым классом предметов, число элементов в котором является конечным и легко обозримым. Она предполагает наличие следующих условий:
· точное знание числа предметов или явлений, подлежащих изучению;
· убеждение, что признак принадлежит каждому элементу класса;
· небольшое число элементов изучаемого класса;
· целесообразность и рациональность.
50. Неполная индукция и её виды.
Неполная индукция - это умозаключение, в котором на основе повторяемости признака у некоторых явлений определенного класса делается вывод о принадлежности этого признака всему классу явлений. Неполная индукция имеет следующую схему рассуждений:
S1 - Р
S2 - Р
S3 - Р
S1, S2, S3, . составляют класс К
Вероятно, каждый элемент К - Р
По способам обоснования заключения различают следующие виды неполной индукции: популярную и научную.
51. Популярная индукция.
В популярной индукции на основе повторяемости одного и того же признака у некоторой части однородных предметов и при отсутствии противоречащего случая делается общее заключение, что все предметы этого рода обладают этим признаком. Степень вероятности заключения в популярной индукции невысока, так как неизвестно, почему дело обстоит так, а не иначе. Выводы популярной индукции - часто начальный этап формирования гипотезы. Эффективность популярной индукции во многом зависит от того, насколько число случаев, закрепленных в посылках, по возможности будет: а) больше, б) разнообразнее, в) типичнее.
52. Научная индукция и её познават. Роль.
Научной индукцией называется умозаключение, в посылках которого наряду с повторяемостью признака у некоторых явлений класса содержится также информация о зависимости этого признака от определенных свойств явления.
Если в популярном объективном обобщении вывод опирается на повторяемость признака, то научная индукция не ограничивается такой простой констатацией, а систематически исследует само явление, которое рассматривается как сложное, состоящее из ряда относительно самостоятельных компонентов или обстоятельств.
Выводы научной индукции не только дают обобщенные знания, но и раскрывают причинную связь, что представляет особую ценность процесса познания.
53. Метод сходства как метод научной индукции.
Метод сходства: если два и более случая исследуемого явления сходны только в одном обстоятельстве, то это обстоятельство, вероятно, и есть причина (часть причины) данного явления.
Например:
При условиях АВС возникает явление а
При условиях АDЕ возникает явление а
При условиях АFG возникает явление а
Вероятно, обстоятельство А есть причина а
54. Метод различия как метод научной индукции.
Метод различия: если случай, в котором исследуемое явление наступает, и случай, в котором оно не наступает, отличаются только одним обстоятельством, то последнее, вероятно, и есть причина (часть причины) исследуемого явления.
Например:
При условиях АВС возникает явление а
При условиях ВСD возникает явление а
Вероятно, обстоятельство А есть причина а
55. Науч. индукция: метод сопутствующих изменений.
Метод сопутствующих изменений: если какое-либо явление изменяется определенным образом всякий раз, когда изменяется предшествующее ему явление, то эти явления, вероятно, находятся в причинной связи друг с другом.
Например:
При условиях A1ВС возникает явление а1;
При условиях А2ВС возникает явление а2;
При условиях А3ВС возникает явление а3;
Вероятно, обстоятельство А есть причина а
56. Метод остатков как метод научной индукции.
Метод остатков: если из сложного явления (аbс), вызываемого комплексом обстоятельств (АВС), вычесть изученную часть, зависящую от уже известных обстоятельств, то остаток этого явления будет следствием оставшихся из комплекса АВС обстоятельств.
Например:
Явление аbс вызывается обстоятельствами АВС Часть b явления авс вызывается обстоятельством В
Часть с явления авс вызывается обстоятельством С
Вероятно, часть а явления аbс находится в причинной зависимости с обстоятельством А
57. Умозаключение по аналогии: сущность и логич. структура.
Умозаключение по аналогии представляет собой движение мысли от общности одних свойств и отношений у сравниваемых предметов (или процессов) к общности других свойств и отношений. Сущность умозаключения по аналогии может быть представлена следующим образом. Изучаются два предмета (явления), при этом одно уже достаточно исследовано. Во втором предмете (явлении) известны лишь некоторые его признаки. Оба предмета (явления) сравниваются между собой. Если ряд признаков сравниваемых двух предметов (явлений) совпадает, то делается вывод о том, что и остальные признаки второго предмета (явления) будут такими же.
Общая схема умозаключения по аналогии может быть представлена в таком виде:
А обладает признаками а, b, с, d
В обладает признаками а, b, с
Следовательно, В обладает, по-видимому, признаком d
58. Виды аналогии и её роль в познав. Процессе.
Виды аналогий, исходя из конкретных критериев (оснований), можно классифицировать на две устойчивые группы.
1-ая группа. Исходя из характера предмета анализа, она может быть представлена в виде:
1) аналогии свойств и качеств предметов; 2) аналогии отношений предметов.
В первом случае рассматриваются два единичных предмета (или же два множества однородных предметов, т.е. два класса), а переносимыми признаками выступают свойства этих предметов
Второй вид - аналогия отношений предметов - имеет свою особенность по сравнению с аналогией свойств и качеств предметов. Аналогия отношений представляет собой такое умозаключение, в котором уподобляются друг другу два отношения между предметами, а не их сами и их свойства. Иными словами информация, переносимая с модели на прототип, характеризует отношения между двумя предметамиНеобходимо иметь в виду, что умозаключение по аналогии отношений нашло весьма распространенное применение в составлении пропорций, когда посредством аналогичных соотношений определяется искомая величина. Такая аналогия приобретает характер функциональной зависимости.
2-ая группа. Исходя из степени достоверности ожидаемого вывода, аналогия подразделяется на виды: 1) строгая аналогия; 2) нестрогая аналогия. Специфическим признаком, отличающим строгую аналогию, является наличие необходимой связи общих признаков с переносимым признаком .
Строгая аналогия находит применение в научных исследованиях, а также в математических доказательствах. Так, формулирование признаков подобия двух треугольников основано на строгой аналогии.На свойствах умозаключения по строгой аналогии основан метод моделирования.
Наряду со строгой аналогией следует также различать нестрогую (простую) аналогию. Ее сущность выражается в том, что она дает не достоверное, а лишь вероятностное заключение. Таким образом, важно помнить, что выводы по простой аналогии представляют собой весьма вероятностный характер. При этом, если в исходном знании известно, что переносимый и сходный признак предметов являет собой знания малосвязанные по существу, то вывод может выступать как малоправдоподобный. В этом случае от аналогии следует воздержаться.
Между тем от простой (нестрогой) аналогии необходимо отличать ложную аналогию. Она иногда делается умышленно, с целью ввести оппонента (или противника) в заблуждение. В таком случае ложная аналогия выступает как прием софистики. В ином случае такая аналогия делается случайно, вытекая из незнания правил построения аналогии или из-за отсутствия фактических знаний относительно предметов и их свойств, на основании которых осуществляется аналогия.
59. Закон тождества в формальной логике. Его требования к мышлению юриста.
Закон тождества
Сущность закона: каждая объективно истинная и логически правильная мысль или понятие о пред мете должны быть определенными и сохранять свою однозначность на протяжении всего рассуждения и вывода. Записывается закон так:
а есть а или а = а (для суждений)
А есть А или А = А (для понятий)
Таким образом, закон тождества требует, чтобы в процессе определенного рассуждения всякая мысль была тождественной самой себе, а разные мысли никогда не отождествлялись.
Вспомним, что тождество есть примерное равенство, сходство предметов в каком-либо отношении. Понятия, как известно, представляют обобщенное отражение вещей, в них фиксируется общее, устойчивое. Эта специфика понятий раскрывает реальное содержание закона тождества. До тех пор, пока вещь существует в своем качестве, мы должны и понятие о ней брать однозначно, в определенном смысле. В мышлении закон тождества выступает в качестве нормативного правила (принципа). Он означает, что в ходе рассуждений нельзя подменять одну мысль другой, одно понятие другим. Нельзя также тождественные мысли выдавать за противоположные, а противоположные за тождественные.
Закон тождества предъявляет к мыслительному процессу человека следующие требования.
Во-первых, в процессе рассуждения мысль должна быть тождественна самой себе (т.е. тождество предмета мысли). Отсюда следует, что двусмысленность предмета в ходе логических рассуждений недоступна.
Во-вторых, в процессе рассуждения о каком-либо предмете, нельзя подменять этот предмет другим. Необходимо отметить, что при нарушении закона тождества возникает нередко и другая ошибка, которую в логике принято характеризовать подменой тезиса.
Таким образом, в мышлении закон тождества выступает в качестве нормативного правила. Реализуясь в нормах и принципах мыслительной деятельности, данный закон требует исключения в ходе рассуждений произвольного изменения предмета мысли, подмены мысли о предмете.
60. Закон противоречия. Сущность закона: два несовместимых друг другом суждения не могут быть одновременно истинными; по крайней мере одно из них обязательно ложно. Записывается: а не есть не- a. Сформулированное требование закона противоречия выражает объективные свойства самих вещей. Как мы уже отмечали, любой предмет качественно определен. Качественная определенность означает, что присущие предмету свойства, а также и само его существование, не могут быть и не быть, принадлежать и не принадлежать ему в одно и то же время в одном и том же отношении. В противном случае предмет не был бы самим собою, потерял бы свою определенность и практическую значимость в общественной жизни. В процессе своей деятельности люди давно обнаружили данную закономерность, и это сказалось на формировании структурных особенностей правильной мысли. Если в самой действительности каждый предмет не может одновременно иметь и не иметь одно и то же свойство, то и человеческая мысль, если она стремится быть истинной, тоже должна своей логической формой отражать объективный порядок и связь вещей. При этом необходимо иметь в виду, что закон противоречия действует в определенных границах, он распространяется не на все суждения, а только на несовместимые. Логическая непротиворечивость является хотя и недостаточным, но обязательным формальным критерием всякой научной теории.
61. Закон исключенного третьего. Закон исключенного третьего действует только в отношении противоречащих суждений. Он формулируется следующим образом: два противоречащих суждения не могут быть одновременно ложными, одно из них необходимо истинно: а есть либо В, либо не-В. Истинно либо утверждение некоторого факта, либо его отрицание.
Противоречащим называются суждения, в одном из которых что-либо утверждается (или отрицается) о каждом предмете некоторого множества, а в другом — отрицается (утверждается) о некоторой части этого множества. Эти суждения не могут быть одновременно ни истинными, ни ложными: если одно из них истинно, то другое ложно и наоборот. Противоречащим являются также два суждения об одном предмете, в одном из которых что-либо утверждается, а в другом то же самое отрицается.
Вместе с тем, действуя только в отношении противоречащих суждений, он устанавливает, что два противоречащих суждения не могут быть не только одновременноистинными (на что указывает закон непротиворечия), но также и одновременно ложными: если ложно одно из них, то другое необходимо истинно, третьего не дано.
Конечно, закон исключенного третьего не может указать, какое именно из данных суждений истинно. Значение закона состоит в том, что он указывает направление в отыскании истины: возможно только два решения вопроса, причем одно из них (и только одно) необходимо истинно.
Важное значение имеет этот закон в юридической практике, где требуется категорическое решение вопроса. Юрист должен решать дело по форме «или—или». Данный факт либо установлен, либо не установлен. Обвиняемый либо виновен, либо не виновен.
62. Закон достаточного основания.
Требование доказанности, обоснованности мысли выражает закон достаточного основания: всякая мысль признается истинной, если она имеет достаточное основание. Если есть b, то есть и его основание а.
Достаточным основанием мыслей может быть личный опыт человека. Истинность некоторых суждений подтверждается путем их непосредственного сопоставления с фактами действительности. К таким основаниям прибегают обычно в следственной и судебной практике при расследовании преступлений.
Истинность законов, аксиом подтверждена практикой человечества и не нуждается поэтому в новом подтверждении. Для подтверждения какого-либо частного случая нет необходимости обосновывать его при помощи личного опыта.
достаточным основанием какой-либо мысли может быть любая другая, уже проверенная и установленная мысль, из которой с необходимостью вытекает истинность данной мысли.
Связь основания и следствия является отражением в мышлении объективных, в том числе причинно-следственных связей, которые выражаются в том, что одно явление (причина) порождает другое явление (следствие). Однако это отражение не является непосредственным. В некоторых случаях логическое основание может совпадать с причиной явления. Но чаще всего такого совпадения нет.
Обоснованность — важнейшее свойство логического мышления. Во всех случаях, когда мы утверждаем что-либо, убеждаем в чем-либо других, мы должны доказывать наши суждения, приводить достаточные основания, подтверждающие истинность наших мыслей.
Закон достаточного основания не совместим с различными предрассудками и суевериями.
Закон достаточного основания имеет важное теоретическое и практическое значение. Фиксируя внимание на суждениях, обосновывающих истинность выдвинутых положений, этот закон помогает отделить истинное от ложного и прийти к верному выводу.
63.Логич природа гипотезы и её познават роль.
Гипотеза — это закономерная форма развития знаний, представляющая собою обоснованное предположение, выдвигаемое с целью выяснения свойств и причин исследуемых явлений.
характерные черты гипотезы:
(1) Гипотеза — это всеобщая и необходимая для любого познавательного процесса форма развития знаний.
(2) Построение гипотезы всегда сопровождается выдвижением предположения о природе исследуемых явлений, которое является логической сердцевиной гипотезы и формулируется в виде отдельного суждения или системы взаимосвязанных суждений.
(3) Возникающее при построении гипотезы предположение рождается в результате анализа фактического материала, на базе обобщения многочисленных наблюдений. Важную роль в возникновении плодотворной гипотезы играет интуиция, творческие способности и фантазия исследователя.
64. Виды гипотез. Требования к научной гипотезе.В процессе развития знаний гипотезы различаются по своим познавательным функциям и по объекту исследования.
1. По функциям в познавательном процессе различают гипотезы: (1) описательные и (2) объяснительные.
(1) Описательная гипотеза — это предположение о присущих исследуемому объекту свойствах. Оно обычно отвечает на вопрос:
Описательные гипотезы могут выдвигаться с целью выявления состава или структуры объекта, раскрытия механизма или процедурных особенностей его деятельности, определения функциональных характеристик объекта.
(2) Объяснительная гипотеза — это предположение о причинах возникновения объекта исследований.
2. По объекту исследования различают гипотезы: общие и частные.
(1) Oбщей гипотезой называют обоснованное предположение о закономерных связях и об эмпирических регулярностях.
(2) Частная гипотеза — это обоснованное предположение о происхождении и свойствах единичных фактов, конкретных событий и явлений. Если единичное обстоятельство послужило причиной возникновения других фактов и если оно недоступно непосредственному восприятию, то познание его принимает форму гипотезы о существовании или о свойствах этого обстоятельства.
Наряду с терминами «общая» и «частная гипотеза» в науке используется термин «рабочая гипотеза».
Рабочая гипотеза — это выдвигаемое на первых этапах исследования предположение, которое служит условным допущением, позволяющим сгруппировать результаты наблюдений и дать им первоначальное объяснение.
Научная гипотеза должна быть в той или иной мере обоснована: она должна быть согласована с имеющимися знаниями, фактами и, будучи выдвинутой для объяснения какого-то явления, она должна объяснять известные его стороны, характеристики и связи с другими явлениями.
65. Логическая структура гипотезы.
Логическая структура гипотезы и ее виды
Гипотеза представляет собой систему понятий, суж дений и умозаключений. При этом в отличие от них структура она носит сложный, синтетический характер. Ни одно отдельно взятое понятие, суждение, умозаключение в своем содержании не составляет еще гипотезы. В структуре гипотезы различают следующие элементы.
Во-первых, основание гипотезы - совокупность фактов или обоснованных утверждений, на которых основывается предположение.
Во-вторых, форма гипотезы - совокупность умозаключений, которая ведет от основания гипотезы к основному предположению.
В-третьи х , предположение(или гипотеза в узком смысле слова) -выводы из фактов и утверждений, обосновывающих гипотезу.
66. Основные этапы разработки гипотезы и их характеристики.
выдвижение гипотезы;
развитие гипотезы;
проверка гипотезы.
Вначале производится анализ каждого отдельного факта, а затем анализ их совокупности. Чтобы подтвердить выдвигаемую гипотезу, проводят дополнительные научные эксперименты или эксперименты в ходе следственной практики.
Следующей задачей является синтез фактов и формулировка гипотезы. Гипотеза не должна противоречить ранее открытым и подтвержденным практикой теориям. Могут быть выдвинуты конкурирующие гипотезы, по-разному объясняющие одно и то же явление, конкурирующими являются гипотезы об органическом или неорганическом происхождении нефти и др. При построении гипотезы надо учитывать и требование, чтобы гипотеза объясняла наибольшее количество фактов, а т.ж. была бы по возможности простой по форме их обоснования.
В процессе построения и подтверждения гипотеза проходит несколько этапов.
1-й этап. Выделение группы фактов, которые не укладываются в прежние теории или гипотезы и должны быть объяснены новой гипотезой.
2-й этап. Формулировка гипотезы (или гипотез), т.е. предположений, которые объясняют данные факты.
3-й этап. Выведение из данной гипотезы всех вытекающих из нее следствий.
4-й этап. Сопоставление выведенных из гипотезы следствий с имеющимися наблюдениями, результатами экспериментов, с научными законами.
5-й этап. Превращение гипотезы в достоверное знание или в научную теорию, если подтверждаются все выведенные из гипотезы следствия и не возникает противоречия с ранее известными законами науки.
67.Способы доказательства гипотезы.
1.Самым действенным способом подтверждения гипотезы является обнаружение предполагаемого объекта, явления или свойства, которое является причиной рассматриваемого явления.
При расследовании уголовных дел о хищениях, а т.ж. о разбое, бандитизме, спекуляции важной задачей судебно-следственных органов является обнаружение приобретенных или накопленных преступным путем вещей, ценностей и денежных сумм. Эти ценности и вещи, как правило, прячутся или реализуются преступниками. В связи с этим и возникают частные версии о местонахождении таких вещей и ценностей.
2.Основной способ подтверждения гипотез - выведение следствий и их верификация. В процессе верификации большая роль принадлежит различным экспериментам. Эксперимент учитывает чаще всего влияние не одного фактора, а многих, поэтому надо планировать эксперимент так, чтобы результат был получен за более короткое время, более эффективно и по возможности не дорого.
3. Косвенный способ превращения гипотезы в достоверное знание состоит в опровержении всех ложных гипотез, после чего заключают об истинности одного оставшегося предположения
Необходимо выполнить два условия: во-первых, перечислить все возможные гипотезы, причем дизъюнкция может быть как строгой, так и нестрогой, во-вторых, следует опровергнуть все ложные гипотезы.
68. Сущность логич доказательства и его структура.
Сущность доказательства
Итак, доказательство - это логическое рассуждение, в процессе которого подтверждается истинность какой-либо мысли с помощью других положений, проверенных теорией и практикой. Путем доказательства совершается переход от вероятного, недостоверного знания к достоверному. Его назначение - служить сверкой теоретических положений и выводов с реальной действительностью.
Структура доказательства. В наиболее общем виде всякое доказательство состоит из трех частей: тезиса, аргументов, демонстрации. Каждая из этих частей в логической структуре доказательства выполняет свои особые функции; ни одну из них нельзя игнорировать при построении логически правильного доказательства.
69. Прямое и косвенное подтверждение тезиса.
Прямые доказательства
Прямым называется такое доказательство, в котором тезис обосновывается непосредственно аргументами. Если для доказательства тезиса приводятся аргументы, из которых непосредственно вытекает истинность, или, наоборот, ложность данного тезиса, то такое доказательство является прямым.
Схема этого доказательства такова: из данных аргументов (а, в, с .) необходимо следует доказываемый К. По этому типу проводится доказательство в науке, в полемике, в судебной практике и т.д. Прямое доказательство находит широкое применение в статистических отчетах, в различного рода документах, в постановлениях, художественной и мемуарной литературе, обучении.
Таким образом, при прямых доказательствах задача состоит в том, чтобы найти убедительные аргументы, из которых логически вытекает тезис.
Косвенные доказательства
Косвенным называется такое доказательство, которое устанавливает истинность доказываемого тезиса, исследуя не сам тезис, а некоторые другие положения. Эти положения так связаны с доказываемым тезисом, что из установления их ложности необходимо вытекает истинность доказываемого тезиса.
Косвенные доказательства бывают двух видов: апагогические и разделительные. В апагогическом доказательстве к истинности тезиса приходят путем доказательства ложности антитезиса Косвенное апагогическое доказательство называют еще сведением к абсурду.
Если число рассматриваемых возможностей не ограничивать двумя (доказываемым утверждением и его отрицанием), то это будет так называемое косвенное разделительное доказательство. Его сущность состоит в том, что доказываемый тезис рассматривается как одно из некоторого числа предположений, в своей сумме исчерпывающих все возможные по данному вопросу предположения
70. Опровержение в логике, его формы и способы.
Понятие опровержения
Опровержением называется доказывание ложности какого-либо тезиса или несостоятельности доказательства в целом.
Опровержение осущ. Тремя способами
Опроверж
тезиса
Опроверж
демонстрац
Опроверж
аргументов
Опровержение тезиса может быть осуществлено:
а) путем приведения фактов, противоречащих тезису; б) путем доказательства истинности нового тезиса, противоречащего опровергаемому; в) путем установления ложности (или противоречивости) следствий, вытекающих из тезиса.
Опровержение очень часто направлено непосредственно не против тезиса, а против аргументов. Это достигается также различными путями:
а) путем доказательства ложности аргументов; б) установлением того, что аргументы, при помощи которых обосновывается выдвинутый тезис, являются для тезиса недостаточными; в) установлением того, что аргументы сами являются еще не доказанными; г)определением, что источник фактов, при помощи которых обосновывается выдвинутый тезис, является недоброкачественным.
Опровержение демонстрации показывает отсутствие логической связи между аргументами и тезисом.
71. Основные правила логического доказательства и ошибки.
ЛОГИЧЕСКИЕ ПРАВИЛА ДОКАЗАТЕЛЬСТВА И ОПРОВЕРЖЕНИЯ
ПРАВИЛА
ОШИБКИ
быть точно
1. Тезис должен сформулирован 2. Тезис должен оставаться одним и тем же в процессе всего доказательства или опровержения
а) "подмена тезиса" - доказывается (опровергается) новый тезис б) "довод к человеку" - доказательство (опровержение) тезиса подменяется оценкой лица в) "довод к публике" - стремление воздействовать на чувства слушающих
3. Основания должны быть истинными, доказанными, не подлежащими сомнению 4. Основания должны доказываться независимо от тезиса
а) "основное заблуждение" - тезис обосновывается ложными аргументами б) "предвосхищение основания" - аргументы нуждаются в собственном обосновании в) "порочный круг" - аргументы доказываются посредством тезиса
5. Доказательство (опровержение) должно строиться по общим правилам умозаключения
а) "мнимое следование" - тезис не следует из приведенных оснований б) "от сказанного с условием к сказанному безусловно" - аргументы, истинные при определенных условиях, приводятся в качестве истинных при любых условиях
72. Паралогизмы и софизмы. Логические парадоксы.
Нередко софизм обосновывается на таких логических ошибках, как подмена тезиса, доказательства, несоблюдение правил логического вывода, принятие ложных посылок за истинные и т.п
В процессе рассуждения иногда возникают логические парадоксы. Парадокс (от греч. paradoxes - неожиданный, странный) -в широком смысле - неочевидное высказывание, истинность которого устанавливается достаточно трудно.
Парадоксы в зависимости от области их применения бывают математические, политические и другие.
Паралогизмы - это неумышленные логические ошибки, обусловленные нарушением законов и правил логики. Паралогизм не является, в сущности, обманом, так как не связан с умыслом подменить истину ложью.
В отличие от паралогизмов софизмы - результат преднамеренного обмана, умышленные логические ошибки. Название "софизм" происходит от древнегреческого слова sophisma - хитрая уловка, выдумка. Софизм представляет собой рассуждение, кажущееся правильным, но содержащее скрытую логическую ошибку и служащее для придания видимости истинности ложному заключению. Софизм является особым приемом интеллектуального мошенничества, попыткой выдать ложь за истину и тем самым ввести в заблуждение.