ДРУЖБА 2021 МЕНЮ БИЛЕТОВ

1. ПОНЯТИЕ О ЛОГИЧЕСКОЙ ФОРМЕ МЫСЛИ И ЛОГИЧЕСКОМ ЗАКОНЕ. ПРЕДМЕТ ЛОГИКИ. 29

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

Частичное отвлечение – сохранение информации о типе терминов, от которого произошло отвлечение, и о том, где находился один и тот же термин, а где разные. 29

2. ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ЛОГИКИ. ЗНАЧЕНИЕ ЛОГИКИ ДЛЯ ЮРИСТОВ. 30

формальная логика — одна из самых древних наук. Она начала разрабатываться в Др. Греции в 6-5 вв. до н.э. Немного позже в Др. Индии. Греч. логика распространилась позднее в Запад. и Восточ. Европе и на Ближ. Востоке, а индийская — в Китае, Японии, Тибете, Монголии, на Цейлоне и в Индонезии. 30

Первоначально логика разрабатывалась в связи с запросами практики судопроизводства и ораторского искусства. Часто суд. решение зависело от лог. доказательности речи обвиняемого или обвинителя. 30

В Др. Греции логику разрабатывали Парменид, Зенон, Сократ, Платон. Однако основателем науки логики считается Аристотель. Он написал “Органон” (орудие познания). 30

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

средневековая логика называется схоластической. Её расцвет относят к 14 в. и связывают с именами Уильяма Оккама, Уолтера Бёрли, др. 30

современная логика была сформирована только в начале XX века. Она использует метод, схожий с математическими методами (алгебраический метод, метод формализованных языков, исчислений и т.д). Запомнить тут можно Б. Рассела с его «Принципами математики». 30

Значение логики для юриста. 30

1. Изучение логики — наиболее продуктивный способ формирования и повышения логической культуры. Логика систематизирует правильные способы рассуждения, а также типичные ошибки в рассуждениях. Она предоставляет логические средства для точного выражения мыслей, без чего оказывается малоэффективной любая мыслительная деятельность, особенно правовое познание. 30

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

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

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

3. ЯЗЫК КАК ЗНАКОВАЯ СИСТЕМА. СПЕЦИФИКА ЯЗЫКА ПРАВА. 31

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

Виды значения знаков: 31

смысловое значение: информация об объекте: «смысл», «идея» (зрительное или интуитивное представление о здании), «эмоциональный образ» – реакция на объект; 31

предметное значение (какой материальный объект обозначается?). 31

Знаки гипотетических объектов. Например, теплород. Но нет такого вещества – «теплород». Материального объекта нет (объем знака – пустое множество), но смысл есть. 31

Специфика языка права. Язык права отличается от обыденного языка терминологией. Кроме того, юридические термины должны иметь точные значения. Для придания выражению точного смысла по сравнению с общепринятым оно уточняется в законах или научной литературе. Напр., что такое «совершенно впервые преступление»: в 1й раз, истек срок давности привлечения, судимость снята или погашена. Или «ночь» – это какое именно время суток? От этого зависит, можно ли убивать ночного татя, когда включать освещение в городе. Выражение «НОЧЬ» нужно уточнять. О полетах – с 22:00 до 6:00. 31

Типы юридических выражений: 31

термины, установленные законодателем, которые разъясняются в юридических актах. Их нельзя оспаривать; 31

термины, разрабатываемые наукой права (доктринальные термины). Их можно оспаривать. 31

4. УЧЕНИЕ ЛОГИКИ ОБ ИМЕНАХ. 32

принцип однозначности (в одном контексте употребляется имя в одном значении); 32

принцип предметности (в одном контексте должно что-то утверждаться или отрицаться о значениях имен, а не о самих именах). Кавычковые имена: «’’материя’’ - философская категория» ’’материя’’ - это имя имени, имя категории). Автонимные имена: именем имени является само исходное имя (напр., в предложении «Слово стол состоит из 4 букв» слово «стол» является именем самого этого слова); 32

принцип взаимозаменимости (существуют имена, имеющие одно значение, но разные смыслы; существуют контексты, в которых мы можем заменить их, и контексты, в которых заменить не получится). 32

5. ОСНОВНЫЕ СЕМАНТИЧЕСКИЕ КАТЕГОРИИ ВЫРАЖЕНИЙ ЯЗЫКА. 33

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

предложения, которые выражают суждения, 33

предложения, которые выражают вопросы, 33

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

единичные и общие имена; 33

знаки свойств и отношений; 33

знаки предметных функций; 33

знаки признаков. 33

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

Отношение отличается от свойства тем, что для получения истинного или ложного предложения отношение следует отнести в мыслях к паре или тройке и т.д. предметов. Примеры отношений: “больший, чем”, “расположенный между” и т.п. 33

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

Признак какого-либо предмета — это наличие или отсутствие у него того или иного свойства или отношения к другим предметам. В предложении “Этот стол желтый” утверждается наличие у этого стола желтого цвета. Словосочетание “является желтым” — знак признака, а слово “желтый” — знак свойства. В предложении «Москва больше Архангельска» “больше” — знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: “Москва есть большая, чем Архангельск”. Здесь “есть большая, чем” (“больше”) — знак признака, а “большая, чем” — знак отношения. 33

Знаки предметных функций (возраст, пол, профессия, место жительства, др.). 33

6. СУЖДЕНИЕ. ПРОСТЫЕ СУЖДЕНИЯ: АТРИБУТИВНЫЕ И СУЖДЕНИЯ ОБ ОТНОШЕНИЯХ. 34

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

утвердительные: полное/частичное включение класса предметов в другой класс предметов или принадлежность некоторого предмета классу предметов 34

отрицательные: полное/частичное невключение класса предметов в класс предметов или непринадлежность некоторого предмета классу предметов 34

единичные: принадлежность/непринадлежность 1 предмета классу предметов 34

общие: включение/невключение класса предметов в другой класс предметов 34

частные: частичное включение/невключение класса предметов в другой класс пред. 34

общеутвердительные (SaP), все S есть P 34

общеотрицательные (SiP), все S не есть P 34

частноутвердительные (SeP), некоторые S есть P 34

частноотрицательные (SoP), некоторые S не есть P 34

единичноутвердительные, s есть P 34

единичноотрицательные, s не есть P 34

субъект (S) – логическое подлежащее; 34

предикат (P) – логическое сказуемое; 34

связка; 34

кванторы «все», «некоторые». 34

Распределенность термина означает, что для истинности суждения значимо, относится ли оно ко всем элементам множества S или P – взяты ли термины в полном объеме или нет. В общих и единичных суждениях распределены субъекты, а в отрицательных – предикаты. 34

единично- единичные (Иванов выше Петрова), общие (Иванов знает всех преподов юрфака), частные (Иванов знает некоторых чемпионов мира); 34

обще- единичные (Все студенты юрфака знают Иванова), общие (Все студенты юрфака знают всех преподов юрфака), частные (Все студенты юрфака знают некоторых чемпионов мира); 34

частно- единичные (некоторые студенты юрфака знают Иванова), общие (некоторые студенты юрфака знают всех преподов юрфака), частные (некоторые студенты юрфака знают некоторых чемпионов мира). 35

7. СЛОЖНЫЕ СУЖДЕНИЯ. 36

из простых и сложных суждений 36

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

1. Соединительные суждения – суждения, в которых утверждается наличие 2 или более ситуаций (напр., понятые присутствуют и протокол составляется). Чаще всего такие утверждения выражаются посредством предложений, содержащих союз «и». Он обозначается символами «&», «Т», «±» – знаками конъюнкции. Суждения с этим союзом – конъюнктивные. 36

неопределенно конъюнктивного суждения А & B, когда утверждается наличие 2 или более ситуаций; 36

последовательно-конъюнктивные суждения – суждения, в которых утверждается последовательное возникновение или существование 2 или более ситуаций. Они образуются из 2 или более суждений при помощи союзов, обозначаемых символами (…, а затем…; …, а затем…, а затем…) и т.д. А Т B – форма последовательно-конъюнктивного суждения. 36

одновременно-конъюнктивные суждения – суждения, в которых выражается одновременное существование/возникновение 2 ситуаций. А ± B – форма последовательно-конъюнктивного суждения. 36

2. Разделительные суждения – суждения, в которых утверждается наличие 1 из 2, 3 и т.д. ситуаций: 36

дизъюнктивное суждение А v B – утверждается наличие по крайней мере 1 из 2 ситуаций (v – или – (нестрогая) дизъюнкция) 36

строго-дизъюнктивное суждение А v B – утверждается наличие ровно 1 из 2 ситуаций – истинно только тогда, когда истинно только 1 суждение из составляющих его суждений 36

3. Условные суждения – суждения, в которых утверждается, что наличие одной ситуации обуславливает наличие другой (→ - если…, то…). Необходимое условие для данного события – при его отсутствии это событие не происходит (Наличие кислорода является необходимым условием для того, чтобы огонь продолжал гореть). Достаточное условие для данного события – всякий раз, когда имеется это условие, событие происходит (Выпадение дождя является достаточным условием для того, чтобы крыши домов были мокрыми) 36

достаточные, но не необходимые условия (делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2) 36

необходимые, но не достаточные (делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6) 36

необходимые и достаточные (делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6) 36

Контрафактическая связь (•→) – ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие (Если бы Иванов был президентом, то не ездил бы в общественном транспорте). 36

4. Суждения эквивалентности – суждения, в которых утверждается взаимная обусловленность 2 ситуаций (↔ - если и только если…, то…). Основание – достаточное и необходимое условие для ситуации, описываемой следствием (Если и только если солнце находится в зените, то тени от него являются самыми короткими). Следствие - достаточное и необходимое условие для ситуации, описываемой основанием. 37

5. Суждения с внешним отрицанием – суждения, в которых утверждается отсутствие некоторого положения дел (¬ - неверно, что…; не). 37

6. Модальные суждения – суждения, образованные из др. суждений путём характеристики описываемых в них положений дел в качестве: 37

необходимых (L) - то, что является з-ном логики ИЛИ (□) – з-ны природы и общественной жизни и лог. следствия из них; 37

случайных (C) или (∇); 37

возможных (M) - то, что не противоречит з-нам логики ИЛИ (◊) - то, что не противоречит законам природы и общественной жизни 37

Используя символы, можно выразить связь между модальностями: 37

1) M A ↔ ¬L ¬A 37

2) L A ↔ ¬M ¬A 37

3) С А ↔ М А & М ¬А 37

4) ◊ A ↔ ¬□ ¬A 37

5) □ A ↔ ¬◊ ¬A 37

6) ∇ A ↔ ◊ A & ◊ ¬A 37

8. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ. 38

9. ОТРИЦАНИЕ СУЖДЕНИЙ. 39

10. ЛОГИЧЕСКАЯ И ПРАГМАТИЧЕСКАЯ ХАРАКТЕРИСТИКА ВОПРОСОВ И ОТВЕТОВ. 40

Логическая характеристика вопросов и ответов 40

сокрытие необоснованности утверждения. Оно выражается не явно, а в виде предпосылки вопроса. Напр., чтобы обосновать целесообразность снижения налогов, властям задают вопрос: «Кода вы начнёте снижать налоги?» 40

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

по числу ответов 40

открытые – вопросы, кот. не предполагают определённого числа ответов 40

закрытые – вопросы, кот. требуют определённое число ответов 40

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

логически эквивалентные 40

фактически эквивалентные 40

по составу 40

простые (кто организатор преступления?) 40

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

по правильности 40

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

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

бессмысленные – вопросы, в формулировке кот. содержатся выражения, ни смыслы, ни значения кот. не известны; 40

недоопределённые – вопросы, в формулировке кот. содержатся многозначные термины и из контекста не ясен смысл; 40

провокационные – вопросы, предпосылками которых являются ложные суждения (перестал ли ты бить свою жену?) 40

тавтологичные – вопросы, на кот. нельзя дать ответа, снижающего познавательную неопределённость, т.к. её нет: 40

логически – запрашиваемая информация выражается лог. формой вопроса (является ли Иванов человеком, которым он действительно является?) 41

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

по смыслу 41

ложные 41

истинные 41

правильные – ответы, полностью или частично устраняющие познавательную неопределённость: 41

полные – ответ на сложный вопрос, если он содержит ответы на все подвопросы; 41

неполные - ответ на сложный вопрос с ответом на часть подвопр. 41

неправильные – ответы, не снижающие познавательной неопределённости: 41

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

нерелевантные – ответы не на заданные вопросы. 41

Прагматическая характеристика вопросов и ответов – оценка вопросов и ответов с точки зрения полезности. 41

11. УСЛОВНО КАТЕГОРИЧЕСКИЕ И РАЗДЕЛИТЕЛЬНО-КАТЕГОРИЧЕСКИЕ УМОЗАКЛЮЧЕНИЯ. ДИЛЕММА. 42

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

Классификация умозаключений: 42

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

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

Виды дедуктивных умозаключений: 42

умозаключения, в которых при осуществлении вывода учитывается внутренняя структура простых суждений; 42

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

Условно-категорические умозаключения – умозаключения, в которых 1 посылка – условное суждение, а 2-ая посылка совпадает с основанием или следствием условного суждения или же с результатом отрицания основания или следствия условного суждения. 42

Формы условно-категорических умозаключений: 42

1. Правильные: 42

утверждающий модус (если.., то… Если. Следовательно, то.); 42

отрицающий модус (если.., то… Не то. Следовательно, не если). 42

2. Неправильные (если.., то… То. Следовательно, если), а также (если.., то… Не если. Следовательно, не то). 42

Разделительно-категорические умозаключения – умозаключения, в которых 1 из посылок – разделительное суждение, а 2-ая совпадает с одним из членов разделительного суждения или с отрицанием одного из членов этого суждения. Заключение тоже совпадает с одним из членов разделительного суждения или с отрицанием одного из членов этого суждения. 42

Формы правильных разделительно-категорических умозаключений: 42

Дилемма – это умозаключение из трех посылок: две посылки — условные суждения, а одна — разделительное суждение. Дилеммы делятся на простые и сложные, конструктивные и деструктивные. 43

Формы правильных дилемм основных видов указаны в следующей таблице: 43

43

Примером простой конструктивной дилеммы может служить рассуждение Сократа: 43

Если смерть — переход в небытие, то она благо. 43

Если смерть — переход в мир иной, то она благо. 43

Смерть — переход в небытие или в мир иной. 43

____________________ 43

Смерть — благо. 43

12. ЯЗЫК ЛОГИКИ ВЫСКАЗЫВАНИЙ. ТАБЛИЧНЫЕ ОПРЕДЕЛЕНИЯ ЛОГИЧЕСКИХ ТЕРМИНОВ. 45

13. СПОСОБ ПОСТРОЕНИЯ ТАБЛИЦ ИСТИННОСТИ ДЛЯ ФОРМУЛ ЛОГИКИ ВЫСКАЗЫВАНИЙ. 46

Способ построения таблиц истинности для формул логики высказываний: 46

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

чтобы установить истинностные значения всей формулы, необходимо установить истинностные значения подформул, составляющих ее; 46

число строк в таблице истинности определяется как 2ⁿ+1, где n - число различных пропозициональных переменных, входящих в формулу, а число 2 показывает число истинностных значений; 46

число столбцов будет определяется как n + О, где n - число логических переменных, а O - количество операций. Количество операций = количество значков; 46

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

производим необходимые расчеты и получаем результат. 46

14. МЕТОД ИССЛЕДОВАНИЯ РАССУЖДЕНИЙ ПОСРЕДСТВОМ ТАБЛИЧНО ПОСТРОЕННОЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ. 47

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

Виды формул 47

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

Тождественно-ложная формула (противоречие) - формула, принимающая значение «ложь» при любом наборе значений входящих в нее переменных. 47

Выполнимая (опровержимая) формула – формула, принимающая значение «истина» («ложь») хотя бы при некоторых наборах значений переменных. 47

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

Пусть дано какое-то рассуждение. Для определения правильности рассуждения требуется: 47

обозначить различными символами различные прост. высказывания p, q, r, s 47

перевести на язык логики высказываний посылки и заключение; 47

формулы, являющиеся переводом посылок, последовательно соединить знаком конъюнкции; 47

для полученной формулы построить таблицу истинности. 47

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

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

тождественно-истинной 47

тождественно-ложной 47

выполнимой и опровержимой. 47

15. СПОСОБ УСТАНОВЛЕНИЯ ОТНОШЕНИЙ МЕЖДУ СУЖДЕНИЯМИ ПОСРЕДСТВОМ ТАБЛИЧНО ПОСТРОЕННОЙ ЛОГИКИ ВЫСКАЗЫВАНИЙ. 48

1) суждения переводятся на язык логики высказываний; 48

2) для формул, соответствующих суждениям, строятся таблицы истинности; 48

3) устанавливаются виды отношений между суждениями. 48

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

совместимы по ложности суждения, когда существует набор значений переменных, при котором формулы принимают значение «Л»; 48

логическое следование имеет место между суждениями А и В (АВ), если и только если не существуют суждения А' и В' тех же логических форм, что А' истинно, а В' ложно. 48

логическая эквивалентность имеет место между суждениями А и В, если и только если А → В и В → А. Оно обозначается так: А ↔ В. Если они следуют друг из друга; 48

подчинение имеет место, если и только если А → В и В | А. Знак “|” означает: “не следует”. Суждение А называется в этом случае подчиняющим, а В — подчиненным 48

контрадикторность (противоречие) имеет место между суждениями, которые не совместимы по истинности и не совместимы по ложности; 48

контрарность имеет место, если суждения совместимы по ложности, но не совместимы по истинности; 48

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

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

16. ВЫВОДЫ ИЗ КАТЕГОРИЧЕСКИХ СУЖДЕНИЙ: УМОЗАКЛЮЧЕНИЯ ПО ЛОГИЧЕСКОМУ КВАДРАТУ, ОБРАЩЕНИЕ И ПРЕВРАЩЕНИЕ. 49

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

Превращение категорического суждения — это изменение его качества одновременно с заменой предиката на противоречащий ему термин. Превращение осуществляется в соответствии со следующими схемами, при этом общеутв. (А), частноутв. (I), общеотриц. (Е), частноотриц. (О). 49

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

А⁺ → Е ^– , Е⁺ → А ^– 49

А⁺ → I ⁺, Е⁺ → О ⁺ 49

I ^– → А ^–, О ^– → Е ^– 49

I ^– → О ⁺, О ^– → I ⁺ 49

плюс противоречия по диагонали 50

18. КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ. СОСТАВ, ОБЩИЕ ПРАВИЛА СИЛЛОГИЗМА. 51

1. Термины, входящие в заключение – крайние 51

2. Термин, входящий в каждую из посылок, но не входящий в заключение – средний (М) 51

19. КАТЕГОРИЧЕСКИЙ СИЛЛОГИЗМ. ФИГУРЫ. ГРАФИЧЕСКИЙ СПОСОБ АНАЛИЗА. ЭНТИМЕМА СИЛЛОГИЗМА. 52

Правила I фигуры: 52

большая посылка должна быть общим суждением (единичное суждение = общее); 52

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

Правила II фигуры: 52

большая посылка должна быть общим суждением; 52

одна из посылок должна быть отрицательным суждением. 52

Правила III фигуры: 52

меньшая посылка должна быть утвердительным суждением; 52

заключение должно быть частным суждением. 52

Проверка силлогизма: 52

a. Вычерчиваются все схемы, на которых истинна большая посылка; 52

b. Вычерчиваются все схемы, на которых истинна меньшая посылка; 52

c. Каждая из схем с истинной большая посылка совмещается с той, где истинна меньшая посылка; 52

d. Если на каждой схеме, полученной после совмещения, заключение истинно, то силл. правильный; 53

e. Если на хотя бы на 1 из схем заключение ложно, то силлогизм неправильный. 53

20. ОБОБЩАЮЩАЯ ИНДУКЦИЯ: СТАТИСТИЧЕСКАЯ И НЕСТАТИСТИЧЕСКАЯ. 54

Индуктивные умозаключения – такие связи между посылками и заключением по логическим формам, при которых посылки лишь подтверждают заключение. Выражение «Г ||= В» - множество высказываний Г подтверждает высказывание В (из Г индуктивно следует В). Если высказывания Г истинны, то степень правдоподобия В при наличии Г выше, чем при отсутствии Г. 54

Обобщающая индукция — умозаключение, в котором осуществляется переход от знания об отдельных предметах класса или о подклассе класса к знанию о всех предметах класса или о классе в целом: 54

1) статистическая индукция – перенос относительной частоты появления признака с некоторого класса на более широкий класс. Исследуются случайные массовые явления, кот. состоят из событий. Появление конкретного события не предсказуемо, но предсказуема частота появления событий того или иного типа. 54

Например, дождь — случайное массовое явление, которое предсказуемо в числовых пропорциях целого, но непредсказуемо в отдельных событиях. Устойчивая относительная частота = апостериорная вероятность события. Статистическая индукция применяется, когда: 54

исследуемые классы понятий бесконечны; 54

«сплошное» исследование связано с большими затратами/практически невозможно; 54

требуется предсказать события, которые ещё не наступили. 54

Схема: «предметы класса S обладают свойством А с относительной частотой f(A). Класс S включается в класс К. Из этого индуктивно следует, что предметы класса К обладают свойством А с относительной частотой f(A) 54

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

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

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

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

важно соблюдать принцип пропорциональности - из большего класса – большее число; 54

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

Научная индукция: 54

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

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

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

Схема нестатистической индукции: 55

Предмет S1 обладает свойством Р 55

Предмет S2 обладает свойством Р 55

…. 55

Предмет Sn обладает свойством Р 55

Предметы S1, S2… Sn - элементы класса К 55

----------------------------------------- 55

Все предметы класса К обладают свойством Р 55

21. МЕТОДЫ УСТАНОВЛЕНИЯ ПРИЧИННЫХ СВЯЗЕЙ МЕЖДУ ЯВЛЕНИЯМИ. 56

причинно-следственная связь является объективной; 56

причинно-следственная связь необходимая: определенная причина в соответствующих условиях обязательно вызывает определенное следствие; 56

причинно-следственная связь является всеобщей: в природе нет беспричинных явлений; 56

Причина предшествует следствию во времени. 56

Метод единственного сходства. СУТЬ: рассматриваются различные случаи, когда наблюдается явление а. Во всех случаях явлению а предшествуют группы обстоятельств, сходные только в отношении обстоятельства А. Отсюда делается вывод о том, что обстоятельство А является причиной явления а. 56

Метод единственного сходства дает выводы высокой степени правдоподобия, если: 56

установлено, что обстоятельство А и явление а не вызваны общей причиной, разн. причинами; 56

установлено, что обстоятельство А предшествует явлению a 56

учтены все обстоятельства, предшествующие явлению. 56

Метод остатков. СУТЬ: сложное явление U распадается на ряд простых явлений а, b, с, d. Из предшествующего опыта известно, что простое явление а вызывается обстоятельством А, простое явление b вызывается обстоятельством В, простое явление с — обстоятельством С. Известно, что оставшееся простое явление d не вызвано обстоятельствами А, В, С. Делается вывод, что должно быть какое-то обстоятельство D, которое вызывает явление d. Иногда устанавливается, что явления а, b, с вызваны, соответственно, обстоятельствами А, В, С и есть обстоятельство D. Делается предположение, что оно-то и является причиной явления d. 56

При применении этого метода в познании следует соблюдать следующие условия: 56

должен быть известен весь комплекс причин явления U и должно быть известно, что следствием этого комплекса причин (А, В, С, D) является только явление U 56

совокупность следствий причин А, В, С, D, взятых порознь = совокупное следствие сложной причины U. 56

22. УМОЗАКЛЮЧЕНИЯ ПО АНАЛОГИИ. 57

отдельные предметы (переносимым признаком тогда является наличие / отсутствие свойства); 57

системы (в этом случае возможна не только аналогия свойств, но и аналогия отношений). 57

научная (строгая): 57

1-го вида – в качестве научной методологии используется теория, объясняющая связь общих признаков с переносимым признаком; 57

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

общие признаки должны быть в точности одинаковыми у сравниваемых предметов; 57

связь общих признаков с переносимым признаком не должна зависеть от специфики сравниваемых предметов. 57

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

нужно обнаружить как можно большее число общих признаков у сравниваемых предметов 57

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

общие признаки должны быть по возможности отличительными для этих предметов - должны принадлежать только сравниваемым предметам; 57

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

общие признаки должны быть тесно связаны с переносимым признаком 57

Основные функции аналогии: 57

эвристическая – открытие новых фактов 57

объясняющая – средство объяснения явления 57

доказательная 57

гносеологическая – средство познания 57

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

23. ПОНЯТИЕ. ОБЪЕМ ПОНЯТИЯ (ЛОГИЧЕСКИЙ И ФАКТИЧЕСКИЙ). СОДЕРЖАНИЕ ПОНЯТИЯ (ЛОГИЧЕСКОЕ И ФАКТИЧЕСКОЕ). ЗАКОН ОБРАТНОГО ОТНОШЕНИЯ. 59

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

Род понятия (универсум рассуждения) – множество, из которого выделяется класс предметов, обобщаемых в понятии. Выделяемыми и обобщающими предметами могут быть: 59

отдельные объекты; 59

совокупности (упорядоченные множества объектов). 59

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

Признак – наличие или отсутствие свойства у предмета, а также наличие или отсутствие отношения между предметами. По типам логических форм признаки делятся на: 59

простые – признаки, выражаемые в языке словом или словосочетанием, не содержащим логических терминов (кроме кванторных слов и 1 знака отрицания); 59

положительные – признаки, которые не содержат отрицания (напр.,: «есть столица России»); 59

отрицательные - признаки, которые содержат отрицание (не есть столица России) 59

сложные – признаки, не являющиеся простыми (например, делиться на 2 и на 3). 59

Содержание понятия— это система признаков, на основе которой осуществлено обобщение и выделение предметов в понятии. Напр., содержание понятия «число, кот. делится на 2 или на 3» — «делиться на 2 или на 3». Различают логическое и фактическое содержание понятия. 59

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

является ли понятие универсальным, т.е. выделен ли в нем весь универсум рассуждения (род). 59

является ли понятие пустым в том смысле, что в нем не выделяется ни один предмет из универсума. 59

отношение между разными понятиями. 59

Фактическое содержание понятия делится на основное и полное. 59

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

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

Объем понятия – множество предметов, обобщаемых и выделяемых в понятии, т.е. множество предметов, которыми характеризуются системой признаков, составляющей содержание понятия. Напр., объём понятия «число, кот. делится на 2 и на 3» — «множество чисел, кот. делятся на 2 и на 3». 60

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

Части объёма понятия - подклассы объема понятия, не совпадающие с ним и не являющиеся пустым множеством. 60

Различают логический и фактический объём понятия. 60

Логический объем — это класс предметов, обладающий системой признаков, составляющей логическое содержание понятия. 60

Фактический объем — это класс предметов, обладающий системой признаков, составляющей фактическое содержание понятия. 60

Закон обратного отношения выражает связь между содержанием и объемом понятия: если содержание 1-го понятия меньше содержания 2-го, тогда объём 1-го больше объёма 2-го. 60

24. ВИДЫ ПОНЯТИЙ. 61

По количественным характеристикам объёмов понятий: 61

1) понятия с пустым объёмом – понятия, в объёме котором нет ни 1 предмета из универсума рассуждения (вечный двигатель; ч-к, знающий все европейские языки, но не знающий болгарского) 61

2) понятия с непустым объёмом: 61

единичные – понятие, в объёме кот. содержится 1 элемент 61

общие – понятия, в объёме кот. содержится больше 1 элемента: 61

универсальные – понятия, объёмом кот. является весь универсум 61

неуниверсальные - понятия, объёмом кот. является не весь универсум. 61

По типу обобщаемых предметов: 61

собирательные – понятия, элементы кот. – совокупности однородных предметов, мыслимые как целое (напр., народ). Эти понятия могут быть единичными (российский народ); 61

несобирательные – понятия, элементы которых – отдельные предметы; 61

конкретные – понятия, в которых обобщены сами предметы, существующие в универсуме; 61

абстрактные – понятия, в которых обобщены отдельные стороны, свойства, отношения предметов, существующих в универсуме рассуждения (напр., если универсумом рассуждения является множество тел, то «твердость» - абстрактное понятие). 61

По характеру признаков, на основе которых обобщаются и выделяются предметы: 61

положительные – понятия, содержание кот. – положительный признак (говорящий по-русски); 61

отрицательные – понятия, содержание которого – отрицательный признак; 61

относительные – понятия, содержание которого – наличие/отсутствие отношения выделяемых предметов к некоторым другим предметам; 61

соотносительные – понятия, в одном из которых предметы выделены на основе их отношения к другим предметам, а в другом — на основе отношения к первым; 61

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

25. ОТНОШЕНИЯ МЕЖДУ ПОНЯТИЯМИ ПО СОДЕРЖАНИЯМ И ОБЪЕМАМ. ОБОБЩЕНИЕ И ОГРАНИЧЕНИЕ ПОНЯТИЙ. 62

Сравнимые понятия – понятия, имеющие общий род (относятся к одному универсуму рассуждения). 62

По характеру отношений между объёмами сравнимые понятия делятся на: 62

1) совместимые – понятия, объёмы которых полностью/частично совпадают; 62

отношение равнозначности – понятия, объёмы которых полностью совпадают; 62

отношение подчинения – понятия, объём одного из которых полностью входит в объём другого, но обратное не имеет места; 62

отношение перекрещивания – понятия, объём одного из которых частично входит в объём другого, а объём другого частично входит в объём первого; 62

отношение соподчинения – 2 несовместимых понятия, каждое из которых – подчинённое по отношению к 3-му понятию (понятия «получение взятки» и «незаконное изготовление спиртных напитков» находятся в отношении соподчинения к понятию «преступление»). 62

2) несовместимые – понятия, не имеющие общих элементов объёмов. 62

Обобщение и ограничение понятий – операции, которые осуществляются на основе закона обратного отношения. 62

Обобщение понятия – переход от некоторого понятия к понятию с большим объёмом, но меньшим содержанием (млекопитающее животное, обитающее на суше → млекопитающее животное → животное). Предел обобщения понятия – универсальное понятие. 62

Ограничение понятия - переход от некоторого понятия к понятию с меньшим объёмом, но большим содержанием (животное → млекопитающее животное → млекопитающее животное, обитающее на суше). Предел ограничения понятия – единичное понятие. 62

26. ОПРЕДЕЛЕНИЕ. ВИДЫ ОПРЕДЕЛЕНИЙ И ПРАВИЛА. ОШИБКИ В ОПРЕДЕЛЕНИЯХ. 63

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

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

Задачи определения: 63

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

найти систему существенных признаков этих предметов. 63

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

по функции в познании 63

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

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

явные по форме: 63

определения со структурой «А есть В», где А – определяемое выражение (dfd), а В – определяющее (dfn) 63

выражения типа единичных имён 63

предложения 63

предметные функторы 63

знаки свойств и отношений 63

знаки признаков 63

выражения типа общих имён: 63

определение через род или вид; 63

атрибутивно-реляционные определения, в которых видовым отличием являются качества (атрибуты) и отношения (реляции). Качества — это то, что присуще предметам самим по себе, а отношения — это проявление качеств во взаимодействии предметов; 63

генетические определения, когда видовым отличием является способ происхождения, образования предметов; 63

операциональные определения – определения, в которых предметы выделяются посредством указания операций, с помощью которых эти предметы можно распознать (Кислота — это жидкость, при погружении в которую лакмусовой бумажки последняя окрашивается в красный цвет). 63

неявные по форме 63

определение через отношение к противоположному – определение сразу 2 терминов путём указания отношения предметов, обозначаемых одним из этих терминов, к предметам, обозначаемым др. термином (Причина – это явление, кот. вызывает др. явление - следствие); 63

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

индуктивные (определение формулы языка логики высказываний). 63

Правила и ошибки определения: 63

ПРАВИЛО 63

ОШИБКА 63

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

создание определения на основе сравнительного анализа определений выражения различными авторами 63

определение должно быть ясным – должны быть известны смыслы и значения терминов, входящих в определяющую часть определения 64

«определение неизвестного через неизвестное» и «определение известного через неизвестное» 64

определение должно быть эффективным – должна указываться система признаков, наличие которых можно установить, способы распознания признаков определяемых предметов - должно быть указание на механизм реализации определения 64

– 64

определение должно быть соразмерным – объёмы определяемой и определяющей частей должны совпадать 64

«слишком широкое определение», 64

«слишком узкое определение» (dfd > dfn), 64

«перекрещивающееся определение», 64

«определено как попало» (dfd и dfn не совп.) 64

определение не должно заключать в себе круга - dfd определяется dfn, а dfn непосредственно/опосредованно определяется при помощи dfd 64

«тавтологичность» 64

нельзя принимать номинальные определения за реальные 64

добавление новой, не содержащейся в них информации 64

Рекомендации: 64

каждый из признаков, указанных в dfn, должен быть необходимым - его исключение из системы признаков, выраженных dfn, должно делать определение неправильным; 64

при различных основных содержаниях термина его полное содержание в данном контексте может быть выражено одним и тем же - два различных термина могут быть эквивалентными по фактическому содержаниям; 64

основное содержание может быть выражено различными знаковыми формами - различные по знаковым формам определения могут оказаться эквивалентными. 64

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

27. ПРИЕМЫ РАЗЪЯСНЕНИЯ ВЫРАЖЕНИЙ, СХОДНЫЕ С ОПРЕДЕЛЕНИЕМ 65

Приемы разъяснения выражений, сходных с определениями: 65

Разъяснение посредством словарей (Психология – наука о психике. Психика – совокупность душевных процессов и явлений. Психология – наука о психических явлениях); 65

Описание – выявление свойств предметов (как можно больше), изучаемых наукой (описание преступника свидетелями); 65

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

Сравнение (Злость сходна с кратковременным помешательством); 65

Разъяснение посредством примеров – приведение примеров объектов, кот. обозначаются языковыми выражениями (Что можно сделать с помощью линейки? …); 65

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

28. ДЕЛЕНИЕ: ТАКСОНОМИЧЕСКОЕ И МЕРЕОЛОГИЧЕСКОЕ. ПРАВИЛА ДЕЛЕНИЯ. ОШИБКИ. КЛАССИФИКАЦИЯ. 66

Таксономическое деление – выделение в объеме понятия подклассов, являющихся объемами новых (видовых по отношению к исходному) понятий с точки зрения определенной характеристики, называемой основанием деления. Между делимым понятием и членами деления отношение «род—вид». 66

Классификация таксономического деления: 66

1) по изменению видообразующего признака, когда меняется характеристика, выступающая в качестве основания деления. Напр., исходное понятие: «человек, имеющий какое-то образование». Указываем виды образования: неполное среднее, среднее, высшее. 66

2) дихотомическое деление – деление объема понятия на 2 класса, понятия о которых находятся в отношении противоречия. Напр., вещества делятся на органические и неорганические. 66

Мереологическое деление – деление по типу «целое – часть». При этом делении осуществляется переход от понятия о предмете (от делимого понятия) к понятиям о частях этого предмета (к членам деления). Напр.,: МГУ делится на ректорат, 16 факультетов, 12 институтов и хозяйственную службу. Такое деление может быть одноступенчатым и многоступенчатым. 66

Правила и ошибки деления 66

ПРАВИЛО 66

ОШИБКА 66

деление должно быть соразмерным: 66

1) объединение объемов членов деления должно дать объем делимого понятия; 66

2) мысленное соединение значений частей предмета должно составить делимый предмет 66

неполное деление: объем делимого понятия больше суммы объемов членов деления (упущен какой-то член деления); 66

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

деление должно производиться по 1 основанию (в ходе деления одна характеристика не должна подменяться др. характеристикой) 66

сбивчивое деление. Напр., преступления делятся на раскрытые, нераскрытые и преднамеренные. 66

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

деление должно быть последовательным: от родового понятия – к видовым понятиям одного и того же уровня или от целого к его частям, а от частей — к частям частей и т.д. 66

скачок в делении 66

Классификация — это особого вида деление или система мереологических или таксономических делений. (В одной и той же классификации могут встречаться как таксономические, так и мереологические деления). Классификации отличаются от делений рядом свойств: 66

классификация — это деление или система последовательных делений для решения теоретической или практической задачи; 66

при классификации нужно так распределить предметы по группам, чтобы по их месту в классификации можно было судить об их свойствах; 66

результаты классификации могут быть представлены в виде таблиц или схем. 66

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

29. ПРОБЛЕМА И ТЕОРИЯ. 68

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

1) задачи, для решения которых уже разработан метод-алгоритм; 68

2) задачи, которые решаются подбором ответа; 68

3) предпосылочные задачи: 68

когда условия формулируются не полностью, а для решения нужно найти предпосылку. «Перед вами ряд слова: сельдь, кит, акула. Какое слово выпадает из этого ряда?» Скажут «кит», потому что кит - не рыба, или потому что это самое короткое слово. 68

когда условия сформулированы полностью, но люди, которым адресованы задачи, добавляют новые предпосылки, затрудняющие решение задач. У меня в кармане 2 монеты. В сумме они составляют 3 рубля, но одна из них не 1 рубль, как вы сразу подумали. Какие это монеты? Решение: одна монета - 2 рубля, а вторая - 1 рубль. 68

4) задачи на использование знания, не являющегося алгоритмом решения (эрудиция); 68

5) задачи, решаемые на смекалку. 68

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

Проблемы – задачи последнего типа, важные в практическом или теоретическом отношении. Виды проблем: 68

1. Неразвитая проблема – задача, которая характеризуется следующими чертами: 68

это трудная задача; 68

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

это задача, путей решения которой не видно. 68

2. Развитая проблема – это «знание о некотором незнании», дополненное более или менее конкретным указанием путей устранения этого незнания. Формулировка развитой проблемы включает в себя три части: (1) систему утверждений (того, что дано); (2) вопрос или побуждение («Как установить то-то?»); (3) систему указаний на возможные пути решения. 68

Теория – это достоверное знание об определенной области действительности, являющееся моделью этой действительности и позволяющее объяснять и предсказывать явления из данной области. 68

Виды теоретических объектов на основе способов их введения в науку: 68

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

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

абстрактные объекты образуются посредством операции абстрагирования. Эту операцию можно пояснить посредством приема, называемого разъяснением посредством примеров. Напр., «судимости», не существует в реальном мире, но объективное основания для его появления есть, т.к. есть судимые люди; 69

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

Составные части теории: 69

исходная эмпирическая база теории (знание фактов, зафиксированных наукой); 69

исходная теоретическая база теории (система исходных утверждений, понятий, законов и принципов теории); 69

множество следствий, выведенных из исходной теоретической основы теории и из исходной эмпирической базы теории. 69

30. ГИПОТЕЗА И СЛЕДСТВЕННАЯ ВЕРСИЯ. 70

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

Ступени гипотезы как процесса познания: 70

выдвижение предположения; 70

развитие предположения – объяснение с помощью него всех имеющихся фактов, относящихся к предметной области гипотезы; 70

доказательство или опровержение предположения. 70

Требования к гипотезе: 70

предположение не должно быть логически противоречивым; 70

предположение не должно противоречить фундаментальным положениям науки; 70

предположение должно быть принципиально проверяемым – когда-нибудь; 70

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

предположение должно быть приложимо к возможно более широкому кругу явлений (принцип простоты). 70

Опровержение гипотезы: 70

простые гипотезы о существовании явлений и предметов опровергаются путем установления отсутствия этих предметов и явлений; 70

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

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

Доказательство гипотезы: 70

простые гипотезы о существовании явлений и предметов доказываются путем обнаружения этих явлений и предметов; 70

разделительное логическое доказательство: опровержение всех возможных предположений, кроме одного; 70

выведение гипотезы логическим путем из более общих положений. 70

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

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

Следственная версия – это процесс развития знания: 71

1й этап – выдвигаются все возможные предположения, объясняющие то или иное явление (должно выполняться требование полноты предположений) 71

2й этап – объясняются все имеющиеся факты на основе, по крайней мере, одного из выдвинутых предположений. Должны быть выполнены требования, предъявляемые к гипотезам: 71

предположение не должно быть логически противоречивым; 71

предположение не должно противоречить фундаментальным положениям науки; 71

предположение должно быть принципиально проверяемым – когда-нибудь; 71

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

принцип простоты не работает, т.к. ни одно из предположений не отбрасывается, по крайней мере не выпускается из поля зрения. 71

Особенности доказательства следственных версий: 71

косвенные лог. док-ва требуют подкрепления прямыми док-вами 71

доказательство считается завершенным лишь при вступлении в силу обвинительного приговора; до этого момента, в силу презумпции невиновности, лицо, в отношении которого ведется уголовное производство, считается невиновным; 71

решение суда или прокурора по делу считается обоснованным, пока не будет установлено обратное в порядке, предусмотренном з-ном (презумпция истинности решения по делу). 71

31. МИРОВОЗЗРЕНИЕ И МЕТОДОЛОГИЯ. МЕТОДОЛОГИЧЕСКИЕ ПРИНЦИПЫ ЛОГИКИ. 72

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

Мировоззрение в широком смысле слова – это система взглядов на мир (на природу, общество и познание). Его составляют: 72

мировоззренческие принципы – знания о наиболее общих связях и свойствах объективной действительности; 72

познания – наиболее общие в рамках предметной области конкретной науки и наиболее общие безотносительно к конкретной науке (философские принципы); 72

законы – знания об особых связях в объективной действительности и познании. 72

Методология – это учение о методе. Основными нематериальными средствами познания и преобразования действительности (методологическими средствами) являются принципы, методы, приемы и некоторые другие. 72

Методологические принципы – наиболее общие предписания, указывающие, как следует осуществлять познание и практическую деятельность; 72

Метод – последовательность познавательных операций, или этапов деятельности, выполнение которых способствует наиболее успешному достижению желаемого результата; 72

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

Методологические принципы диалектической логики: 72

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

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

принцип всесторонности рассмотрения - требование рассматривать объект во всех его связях и отношениях. 72

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

Методологические принципы формальной логики: 72

принцип тождества (определенности утверждений): в процессе правового познания, употребляя некоторый термин, следует употребить его в одном и том же смысле; подмена понятий: например, вместо «перевод на платную основу обучения школьников, достигших 18-летнего возраста» - «обязательное среднее образование»; 72

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

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

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

32. АРГУМЕНТАЦИЯ И ЛОГИЧЕСКОЕ ДОКАЗАТЕЛЬСТВО (ДОКАЗЫВАНИЕ). СОСТАВ, ВИДЫ И СПОСОБЫ. 74

Аргументация – один из способов обоснования утверждений (суждений, гипотез, др.). Утверждения могут обосновываться путем непосредственного обращения к действительности (посредством наблюдения, эксперимента и др.), а также с помощью уже известных положений (аргументов) и средств логики. 74

Задача аргументации – выработка убеждения или мнения в истинности какого-либо утверждения. Убеждение – полная уверенность в истинности, мнение – тоже уверенность, но неполная. 74

1. Путём обоснования: 74

на основе непосредственного обращения к действительности 74

на основе аргументации 74

2. На основе веры, внушения и т.д. 74

Тезис аргументации – это утверждение, которое обосновывается 74

некоторые аргументы являются не достоверными, а лишь правдоподобными утверждениями, а форма — демонстративным рассуждением; 74

все аргументы — достоверные утверждения, а форма — недемонстративное рассуждение. Здесь тезис является только правдоподобным утверждением из-за недемонстративности формы; 74

аргументы являются не полностью обоснованными утверждениями, а форма — недемонстративным рассуждением. 74

33. КРИТИКА И ОПРОВЕРЖЕНИЕ. СОСТАВ, ВИДЫ И СПОСОБЫ 75

Критика – деятельность по «разрушению» аргументации и (или) установлению ложности или малой степени правдоподобия утверждения. Конечной целью критики является разубеждение людей в обоснованности того или иного положения и убеждение их в ложности этого положения. 75

Способы критики: (1) критика аргументации и (2) установление ложности или малой степени правдоподобия утверждения (контраргументация тезиса). Частный случай – опровержение. 75

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

Правильная контраргументация не является опровержением в следующих случаях: 75

когда аргументы - не полностью обоснованные суждения; 75

когда форма является недемонстративным рассуждением; 75

когда имеет место и то, и другое. 75

Критика тезиса (по направленности рассуждения): (1) путем обоснования антитезиса и (2) сведение к абсурду. 75

36. ПРАВИЛА АРГУМЕНТАЦИИ И КРИТИКИ ПО ОТНОШ. К ТЕЗИСУ. ОШИБКИ И УЛОВКИ. 76

В процессе аргументации и критики могут совершаться ошибки 2 типов: 76

умышленные – софизмы, а лица, совершающие такие ошибки, — софистами. Софизмами называются и сами рассуждения, в которых содержатся умышленные ошибки. 76

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

Недопущению ошибок в аргументациях и критике способствует соблюдение специальных правил: 76

1. Необходимо явно сформулировать тезис (в виде суждения, системы суждений, проблемы, гипотезы, концепции и т.д.). Это правило выражает главное условие эффективности аргументации и критики. Для этого нужно 76

исследовать спорную мысль и выделить пункты согласия и разногласия; 76

договориться о тезисах аргументации сторон. 76

2. Тезис должен быть сформулирован четко и ясно: 76

нужно выяснить, все ли нелогические термины, содержащиеся в формулировке тезиса, всем вполне понятны. Если есть непонятные или двусмысленные слова, то их следует уточнить, например, путем определения; 76

нужно выявить логическую форму тезиса. Если тезис является суждением, в котором нечто утверждается/отрицается о предметах, то нужно выяснить, о всех ли предметах идет речь в суждении или лишь о некоторых. Следует уточнить, в каком смысле употреблены союзы “и”, “или”, “если…, то…” и т.д. 76

иногда целесообразно уточнить время, о котором идет речь в суждении: утверждается ли, что определенное свойство принадлежит предмету всегда, или оно принадлежит ему иногда: уточнить значение таких слов, как “сегодня”, “завтра”, “через столько-то часов” и т.д. 76

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

Уловки: 76

1. «Умышленная нечеткая формулировка тезиса». В этом случае нужно или пояснить неизвестные выражения, или попросить сделать это того, кто выдвинул тезис. 76

2. «Чрезмерное требование уточнения тезиса» – требование разъяснять даже ясные выражения. 76

3. «Умышленное непонимание тезиса»: изменение смысла выражения с тем, чтобы изменить смысл тезиса не в пользу пропонента. Например, вместо того чтобы сказать, что у человека заболела голова, говорят, что у него что-то с головой. 76

4. «Необоснованное обвинение в неясности»: выдергивают из текста отдельные фразы, смысл которых вне контекста, действительно, неясен. Если такое обвинение необоснованно, нужно показать, что термины, входящие в “выхваченные” из текста фразы, в тексте определены, и сказать, что применена уловка, не допустимая с моральной точки зрения. 76

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

Ошибки: 77

1. Подмена тезиса: в качестве тезиса выдвигается некоторое утверждение, а аргументируется или критикуется другое, сходное с выдвинутым; в конце же концов делается вывод о том, что обосновано или раскритиковано исходное утверждение. 77

2. Подмена аргументируемого тезиса более сильным утверждением (по отношению к доказательству эта ошибка имеет название “кто много доказывает, тот ничего не доказывает”); 77

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

4. Подмена аргументируемого или критикуемого тезиса ссылками на личные качества человека. 77

Уловки: 77

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

2. Усиление критикуемого утверждения: вы выдвигаете тезис. Противник заменяет ваш тезис более сильным утверждением и показывает, что это второе утверждение доказать нельзя. Более того, он может опровергнуть второе утверждение. В результате противник делает вид, что опроверг ваш тезис. 77

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

37. ПРАВИЛА АРГУМЕНТАЦИИ И КРИТИКИ ПО ОТНОШЕНИЮ К АРГУМЕНТАМ. ОШИБКИ И УЛОВКИ 78

1. Аргументы должны быть сформулированы явно и ясно. Для выполнения этого правила нужно: 78

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

уточнить нелогические термины; 78

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

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

2. Аргументы должны быть суждениями, полностью или частично обоснованными. 78

Релевантный аргумент – это аргумент, принятие повышает правдоподобие тезиса. 79

1. Понятие о логической форме мысли и логическом законе. Предмет логики.

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

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

Частичное отвлечение – сохранение информации о типе терминов, от которого произошло отвлечение, и о том, где находился один и тот же термин, а где разные.

Логические термины: «если, то», «или», «и», «есть» «некоторые», «все».

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

Например, A ˅ ~A, где A – переменная, обозначающая нелогический термин, ˅ - знак дизъюнкции, которому по смыслу в естественном языке соответствует союз «или», ~ - знак отрицания.

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

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

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

Например, Все птицы – двуногие существа. Некоторые млекопитающие – двуногие существа. Отсюда следует, что некоторые млекопитающие – птицы.

Логическая форма: Все S есть P. Некоторые С есть P. Следовательно, некоторые C есть S.

Контрпример: Все дети – красивые люди. Некоторые пожилые люди – красивые люди. Некоторые пожилые люди – дети.

2. ОСНОВНЫЕ ЭТАПЫ РАЗВИТИЯ ЛОГИКИ. ЗНАЧЕНИЕ ЛОГИКИ ДЛЯ ЮРИСТОВ.

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

• формальная логика — одна из самых древних наук. Она начала разрабатываться в Др. Греции в 6-5 вв. до н.э. Немного позже в Др. Индии. Греч. логика распространилась позднее в Запад. и Восточ. Европе и на Ближ. Востоке, а индийская — в Китае, Японии, Тибете, Монголии, на Цейлоне и в Индонезии.

• Первоначально логика разрабатывалась в связи с запросами практики судопроизводства и ораторского искусства. Часто суд. решение зависело от лог. доказательности речи обвиняемого или обвинителя.

• В Др. Греции логику разрабатывали Парменид, Зенон, Сократ, Платон. Однако основателем науки логики считается Аристотель. Он написал “Органон” (орудие познания).

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

• средневековая логика называется схоластической. Её расцвет относят к 14 в. и связывают с именами Уильяма Оккама, Уолтера Бёрли, др.

• современная логика была сформирована только в начале XX века. Она использует метод, схожий с математическими методами (алгебраический метод, метод формализованных языков, исчислений и т.д). Запомнить тут можно Б. Рассела с его «Принципами математики».

Значение логики для юриста.

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

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

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

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

3. ЯЗЫК КАК ЗНАКОВАЯ СИСТЕМА. СПЕЦИФИКА ЯЗЫКА ПРАВА.

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

Виды знаков:

• Знаки-индексы материально связаны с обозначаемыми объектами, как причина и следствие. Например, повышенная температура говорит о заболевании человека;

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

• Знаки-символы материально и структурно не связаны с обозначаемым объектом: буквы, цифры, иероглифы, др. Логика имеет дело именно с данным видом знаков.

Виды значения знаков:

• смысловое значение: информация об объекте: «смысл», «идея» (зрительное или интуитивное представление о здании), «эмоциональный образ» – реакция на объект;

• предметное значение (какой материальный объект обозначается?).

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

Объем знака – это множество предметов, которые им обозначаются.

Специфика языка права. Язык права отличается от обыденного языка терминологией. Кроме того, юридические термины должны иметь точные значения. Для придания выражению точного смысла по сравнению с общепринятым оно уточняется в законах или научной литературе. Напр., что такое «совершенно впервые преступление»: в 1й раз, истек срок давности привлечения, судимость снята или погашена. Или «ночь» – это какое именно время суток? От этого зависит, можно ли убивать ночного татя, когда включать освещение в городе. Выражение «НОЧЬ» нужно уточнять. О полетах – с 22:00 до 6:00.

Типы юридических выражений:

• термины, установленные законодателем, которые разъясняются в юридических актах. Их нельзя оспаривать;

• термины, разрабатываемые наукой права (доктринальные термины). Их можно оспаривать.

4. УЧЕНИЕ ЛОГИКИ ОБ ИМЕНАХ.

Имя – это определенная категория знаков; слово или словосочетание, обозначающее какой-либо предмет. Имя как знак имеет свой смысл и значение.

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

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

Принципы употребления имен:

• принцип однозначности (в одном контексте употребляется имя в одном значении);

• принцип предметности (в одном контексте должно что-то утверждаться или отрицаться о значениях имен, а не о самих именах). Кавычковые имена: «’’материя’’ - философская категория» ’’материя’’ - это имя имени, имя категории). Автонимные имена: именем имени является само исходное имя (напр., в предложении «Слово стол состоит из 4 букв» слово «стол» является именем самого этого слова);

• принцип взаимозаменимости (существуют имена, имеющие одно значение, но разные смыслы; существуют контексты, в которых мы можем заменить их, и контексты, в которых заменить не получится).

5. ОСНОВНЫЕ СЕМАНТИЧЕСКИЕ КАТЕГОРИИ ВЫРАЖЕНИЙ ЯЗЫКА.

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

• предложения, которые выражают суждения,

• предложения, которые выражают вопросы,

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

Нелогические термины:

• единичные и общие имена;

• знаки свойств и отношений;

• знаки предметных функций;

• знаки признаков.

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

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

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

Признак какого-либо предмета — это наличие или отсутствие у него того или иного свойства или отношения к другим предметам. В предложении “Этот стол желтый” утверждается наличие у этого стола желтого цвета. Словосочетание “является желтым” — знак признака, а слово “желтый” — знак свойства. В предложении «Москва больше Архангельска» “больше” — знак признака пары предметов (Москва, Архангельск). Содержание этого предложения можно выразить по-другому: “Москва есть большая, чем Архангельск”. Здесь “есть большая, чем” (“больше”) — знак признака, а “большая, чем” — знак отношения.

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

Функция из множества A в множество B есть соответствие, в силу которого элементы множества A (область определения функции) соотносятся с элементом множества B (множество значений функции). Предметная функция та, значения которой – предметы. Например, функция «масса», в которой элементом области определения может являться земля, а множеством значений конкретная масса земли.

К логическим терминам относятся знакомые нам: «и», «или», «если, то», «есть», «все».

6. СУЖДЕНИЕ. ПРОСТЫЕ СУЖДЕНИЯ: АТРИБУТИВНЫЕ И СУЖДЕНИЯ ОБ ОТНОШЕНИЯХ.

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

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

Атрибутивное суждение – это суждение, в котором утверждается или отрицается принадлежность предмету каких-либо свойств.

Классификация суждений:

по качеству	утвердительные: полное/частичное включение класса предметов в другой класс предметов или принадлежность некоторого предмета классу предметов отрицательные: полное/частичное невключение класса предметов в класс предметов или непринадлежность некоторого предмета классу предметов
по количеству	единичные: принадлежность/непринадлежность 1 предмета классу предметов общие: включение/невключение класса предметов в другой класс предметов частные: частичное включение/невключение класса предметов в другой класс пред.
по качеству и количеству	общеутвердительные (SaP), все S есть P общеотрицательные (SiP), все S не есть P частноутвердительные (SeP), некоторые S есть P частноотрицательные (SoP), некоторые S не есть P единичноутвердительные, s есть P единичноотрицательные, s не есть P

Состав атрибутивного суждения:

• субъект (S) – логическое подлежащее;

• предикат (P) – логическое сказуемое;

• связка;

• кванторы «все», «некоторые».

Распределенность термина означает, что для истинности суждения значимо, относится ли оно ко всем элементам множества S или P – взяты ли термины в полном объеме или нет. В общих и единичных суждениях распределены субъекты, а в отрицательных – предикаты.

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

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

По количеству (суждения о двухместных отношениях) делятся на

• единично- единичные (Иванов выше Петрова), общие (Иванов знает всех преподов юрфака), частные (Иванов знает некоторых чемпионов мира);

• обще- единичные (Все студенты юрфака знают Иванова), общие (Все студенты юрфака знают всех преподов юрфака), частные (Все студенты юрфака знают некоторых чемпионов мира);

• частно- единичные (некоторые студенты юрфака знают Иванова), общие (некоторые студенты юрфака знают всех преподов юрфака), частные (некоторые студенты юрфака знают некоторых чемпионов мира).

7. СЛОЖНЫЕ СУЖДЕНИЯ.

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

• из простых и сложных суждений

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

1. Соединительные суждения – суждения, в которых утверждается наличие 2 или более ситуаций (напр., понятые присутствуют и протокол составляется). Чаще всего такие утверждения выражаются посредством предложений, содержащих союз «и». Он обозначается символами «&», «Т», «±» – знаками конъюнкции. Суждения с этим союзом – конъюнктивные.

• неопределенно конъюнктивного суждения А & B, когда утверждается наличие 2 или более ситуаций;

• последовательно-конъюнктивные суждения – суждения, в которых утверждается последовательное возникновение или существование 2 или более ситуаций. Они образуются из 2 или более суждений при помощи союзов, обозначаемых символами (…, а затем…; …, а затем…, а затем…) и т.д. А Т B – форма последовательно-конъюнктивного суждения.

• одновременно-конъюнктивные суждения – суждения, в которых выражается одновременное существование/возникновение 2 ситуаций. А ± B – форма последовательно-конъюнктивного суждения.

2. Разделительные суждения – суждения, в которых утверждается наличие 1 из 2, 3 и т.д. ситуаций:

• дизъюнктивное суждение А v B – утверждается наличие по крайней мере 1 из 2 ситуаций (v – или – (нестрогая) дизъюнкция)

• строго-дизъюнктивное суждение А v B – утверждается наличие ровно 1 из 2 ситуаций – истинно только тогда, когда истинно только 1 суждение из составляющих его суждений

3. Условные суждения – суждения, в которых утверждается, что наличие одной ситуации обуславливает наличие другой (→ - если…, то…). Необходимое условие для данного события – при его отсутствии это событие не происходит (Наличие кислорода является необходимым условием для того, чтобы огонь продолжал гореть). Достаточное условие для данного события – всякий раз, когда имеется это условие, событие происходит (Выпадение дождя является достаточным условием для того, чтобы крыши домов были мокрыми)

• достаточные, но не необходимые условия (делимость числа N на 10 является достаточным, но не необходимым условием его делимости на 2)

• необходимые, но не достаточные (делимость числа N на 2 является необходимым, но не достаточным условием его делимости на 6)

• необходимые и достаточные (делимость числа N на 2 и 3 является необходимым и достаточным условием его делимости на 6)

Контрафактическая связь (•→) – ситуация, описываемая основанием, не имеет места, но если бы она существовала, то существовало бы следствие (Если бы Иванов был президентом, то не ездил бы в общественном транспорте).

4. Суждения эквивалентности – суждения, в которых утверждается взаимная обусловленность 2 ситуаций (↔ - если и только если…, то…). Основание – достаточное и необходимое условие для ситуации, описываемой следствием (Если и только если солнце находится в зените, то тени от него являются самыми короткими). Следствие - достаточное и необходимое условие для ситуации, описываемой основанием.

5. Суждения с внешним отрицанием – суждения, в которых утверждается отсутствие некоторого положения дел (¬ - неверно, что…; не).

6. Модальные суждения – суждения, образованные из др. суждений путём характеристики описываемых в них положений дел в качестве:

• необходимых (L) - то, что является з-ном логики ИЛИ (□) – з-ны природы и общественной жизни и лог. следствия из них;

• случайных (C) или (∇);

• возможных (M) - то, что не противоречит з-нам логики ИЛИ (◊) - то, что не противоречит законам природы и общественной жизни

Используя символы, можно выразить связь между модальностями:

1. M A ↔ ¬L ¬A

2. L A ↔ ¬M ¬A

3. С А ↔ М А & М ¬А

4. ◊ A ↔ ¬□ ¬A

5. □ A ↔ ¬◊ ¬A

6. ∇ A ↔ ◊ A & ◊ ¬A

8. ОТНОШЕНИЯ МЕЖДУ СУЖДЕНИЯМИ.

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