Автор работы: Пользователь скрыл имя, 24 Апреля 2012 в 16:53, курс лекций
Приступая к изучению любой науки, нужно прежде всего выяснить ее предмет. Предмет науки логики - человеческое мышление. Но в отличие от других наук, также изучающих человеческое мышление, например физиологии высшей нервной деятельности или психологии, логика рассматривает мышление как средство познания; ее предметом являются законы, формы, приемы мышления, с помощью которых человек познает окружающий его мир.
Вопросы, связанные с познанием действительности, в том числе об условиях и средствах этого познания,- важнейшие вопросы философии. Поэтому логика, изучающая формы и законы познающего мышления и применяемая как метод во всех областях знания, является философской наукой.
Глава 1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ 2
1. Роль мышления в познании 2
2. Понятие о формах и законах мышления 3
3. Понятие о формализованном языке логики 5
4. Логика как наука. Логика формальная и логика диалектическая 7
Глава 2. ПОНЯТИЕ 8
1. Общая характеристика понятия 8
2. Содержание и объем понятия. Класс (множество) 10
3. Виды понятий 11
4. Отношения между понятиями 12
Глава 3. ЛОГИЧЕСКИЕ ОПЕРАЦИИ С ПОНЯТИЯМИ 14
1. Обобщение и ограничение понятий 14
2. Определение понятия 15
3. Операции с классами 19
Глава 4. СУЖДЕНИЕ 20
1. Общая характеристика суждения 20
2. Простые суждения, их виды и состав 21
3. Категорическое суждение 22
Глава 5. СЛОЖНЫЕ СУЖДЕНИЯ 26
1. Характеристика и виды сложных суждений 26
2. Логические отношения между суждениями 31
Глава 6. МОДАЛЬНОСТЬ СУЖДЕНИЙ 35
1. Понятие и виды модальностей 35
2. Алетическая модальность суждений 35
3. Эпистемическая модальность суждений 37
4. Деонтическая модальность суждений 39
Глава 7. ОСНОВНЫЕ ЗАКОНЫ МЫШЛЕНИЯ 40
1. Общая характеристика законов мышления 40
2. Закон тождества 40
3. Закон непротиворечия 41
4. Закон исключенного третьего 42
5. Закон достаточного основания 43
Глава 8. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ ПРОСТЫХ СУЖДЕНИЙ 44
1. Умозаключение и его виды 44
2. Непосредственные умозаключения 44
3. Простой категорический силлогизм 45
4. Умозаключения из суждений с отношениями 51
Глава 9. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ. ВЫВОДЫ ИЗ СЛОЖНЫХ СУЖДЕНИЙ. ДРУГИЕ ВИДЫ ДЕДУКТИВНЫХ ВЫВОДОВ 52
1. Выводы из сложных суждений 52
2. Сокращенные, сложные и сложносокращенные силлогизмы 55
3. Понятие о логике высказываний и логике предикатов 56
Глава 10. ИНДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ 58
1. Общая характеристика индуктивных умозаключений 58
2. Полная индукция 59
3. Неполная индукция 60
4. Популярная индукция 60
5. Методы научной индукции 62
6. Статистические обобщения 65
Глава 11. АНАЛОГИЯ 66
1. Понятие и структура умозаключений по аналогии 66
2. Виды аналогии 66
3. Условия состоятельности выводов по аналогии 67
4. Роль аналогии в науке и правовом процессе 68
Глава 12. ДОКАЗАТЕЛЬСТВО И ОПРОВЕРЖЕНИЕ 69
1. Доказательство и убеждение 70
2. Структура доказательства 70
3. Способы доказательства 73
4. Опровержение 74
5. Правила, доказательства и опровержения. 76
Ошибки, возникающие при нарушении правил 76
Глава 13. ГИПОТЕЗА 81
1. Понятие гипотезы и ее структура 81
2. Виды гипотез. Понятие версии 81
3. Построение гипотезы 82
4. Проверка гипотезы 84
5. Способы доказательства гипотез 85
Отношение называется симметричным (от греческого symmetria - соразмерность), если оно имеет место как между предметами а и Ь, так и между предметами Ь и а. Иначе говоря, перестановка членов отношения не ведет к изменению вида отношения. Симметричными являются отношения равенства (если a равно b, то и b равно a), сходства (если c сходно с d, то и d сходно с c), одновременности (если событие x произошло одновременно с событием y, значит, и событие у произошло одновременно с событием х), различия и некоторые другие.
Отношение симметричности символически записывается так: aRb bRa.
Отношение называется рефлексивным (от латинского reflexio - отражение), если каждый член отношения находится в таком же отношении к самому себе. Таковы отношения равенства (если а=b, то а=а и b=b) и одновременности (если событие х произошло одновременно с событием у, значит, каждое из них произошло одновременно с самим собой).
Отношение рефлексивности записывается так: aRb - aRa bRb.
Отношение называется транзитивным (от латинского transitius - переход), если отношение между а и с имеет место, когда имеет место отношение между а и b и между b и с. Иначе говоря, отношение является транзитивным (переходным) тогда и только тогда, когда из отношения между а и b и между b и с следует отношение между а и с.
Транзитивными являются отношения равенства (если а равно b и b равно с, то а равно с), одновременности (если событие х произошло одновременно с событием y и событие у одновременно с событием z, значит, событие х произошло одновременно с событием z), отношения “больше”, “меньше” (а меньше b, b меньше с, значит, а меньше с), “раньше”, “позднее”, находиться севернее (южнее, восточнее, западнее), быть ниже, выше и т. д.
Отношение транзитивности записывается так: (aRb bRc) аRс.
Для получения достоверных заключений из суждений с отношениями необходимо опираться на правила, вытекающие из свойств отношений.
Из свойства симметричности (аRbbRа) вытекает правило: если суждение аRb истинно, то суждение bRa тоже истинно. Например:
А подобно В
-----------------
В подобно А
Из свойства рефлексивности (аRb аRа bRb) вытекает правило: если суждение аRb истинно, то истинными будут суждения аRа и bRb. Например:
a=b
--------------
а=а и b=b
Из свойства транзитивности (аRb bRc aRc) вытекает правило: если суждение аRb истинно и суждение bRc истинно, то суждение aRc также истинно. Например:
К. был на месте происшествия раньше Л.
Л. был на месте происшествия раньше М.
------------------------------
К. был на месте происшествия раньше М.
Таким образом, истинность заключения из суждений с отношениями зависит от свойств отношений и регулируется правилами, вытекающими из этих свойств. В противном случае заключение может оказаться ложным. Так, из суждений “Сергеев знаком с Петровым” и “Петров знаком с Федоровым” не следует необходимого заключения “Сергеев знаком с Федоровым”, так как “быть знакомым” не является транзитивным свойством.
Глава 9. ДЕДУКТИВНЫЕ УМОЗАКЛЮЧЕНИЯ.
1. Выводы из сложных суждений
Умозаключения строятся не только из простых, но и из сложных суждений. Широко используются умозаключения, посылками которых являются условные и разделительные суждения, выступающие в разных сочетаниях друг с другом или с категорическими суждениями. К этим умозаключениям относятся: чисто условное умозаключение, посылками которого являются условные суждения; условно-категорическое умозаключение: одна из посылок - условное, другая - категорическое суждение, разделительно-категорическое умозаключение: одна из посылок - разделительное, другая - категорическое суждение условно-разделительное умозаключение: одна посылка - условное, другая - разделительное суждение.
Особенность этих умозаключений состоит в том, что выведение заключения из посылок определяется не отношениями между терминами, как в категорическом силлогизме, а характером логической связи между суждениями. Поэтому при анализе посылок их субъектно-предикатная структура не учитывается.
Рассмотрим выводы из сложных суждений.
Чисто условное умозаключение. Чисто условным называетсяумозаключение, обе посылки и заключение которого являются условными суждениями. Например:
Если средства производства находятся в руках
всего общества (а), то члены общества находятся в
равном отношении к средствам производства (b)
Если члены общества находятся в равном отно-
шении к средствам производства (b), то между ними
устанавливаются отношения сотрудничества и
взаимопомощи (с)
------------------------------
Если средства производства находятся в руках
всего общества (а), то между членами общества
устанавливаются отношения сотрудничества и
взаимопомощи (с)
В приведенном примере обе посылки - условные суждения. Первая посылка, как и любое условное суждение, имеет основание (а) и следствие (b), выражающие зависимость определенного явления (равное отношение членов общества к средствам производства) от условия: “средства производства находятся в руках всего общества”. Основанием второй посылки является следствие первой (b), из которого, в свою очередь, вытекает некоторое следствие (с): “между членами общества устанавливаются отношения сотрудничества и взаимопомощи”. Общая часть двух посылок (b) позволяет связать основание первой (а) и следствие второй (с). Поэтому заключение также выражается в форме условного суждения.
Чисто условное и условно-категорическое умозаключения имеют Общее название: условное умозаключение (условный силлогизм), т е, умозаключение, в котором по крайней мере одна из посылок - условное суждение.
Схема чисто условного умозаключения:
Вывод в чисто условном умозаключении основывается на правиле: следствие следствия есть следствие основания.
Умозаключение, в котором заключение получается из двух условных посылок, относится к простым. Однако заключение может следовать из большего числа посылок, которые образуют цепь условных суждений. Такие умозаключения называются сложными. Они будут рассмотрены в следующем параграфе.
Условно-категорическое умозаключение. Условно-категорическим называется умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категорические суждения.
Рассмотрим пример.
Если иск предъявлен недееспособным лицом (а),
то суд оставляет иск без рассмотрения (b).
Иск предъявлен недееспособным лицом (а)
------------------------------
Суд оставляет иск без рассмотрения (b)
Первая посылка - условное суждение, выражающее связь основания (а) и следствия (b). Вторая посылка - категорическое суждение, в которой утверждается истинность основания (а): иск предъявлен недееспособным лицом. Признав истинность основания, мы признаем истинность следствия (b): суд оставляет иск без рассмотрения.
Это умозаключение представляет собой одну из разновидностей условно-категорического силлогизма - утверждающий модус, в котором категорическая посылка утверждает истинность основания, заключение утверждает истинность следствия. Рассуждение направлено от утверждения основания к утверждению следствия.
Утверждающий модус дает достоверные выводы.
Другим модусом, дающим достоверные заключения, является отрицающий модус, в котором категорическая посылка отрицает истинность следствия, заключение отрицает истинность основа ния. Рассуждение направлено от отрицания следствия к отрицанию основания. Например:
Если иск предъявлен недееспособным лицом (а),
то суд оставляет иск без рассмотрения (b)
Суд не оставил иск без рассмотрения (не-b)
------------------------------
Неверно, что иск предъявлен недееспособным
лицом (не-а)
Нетрудно установить, что возможны еще две разновидности условно-категорического силлогизма.
Категорическая посылка отрицает истинность основания, заключение отрицает истинность следствия. Рассуждение направлено от отрицания основания к отрицанию следствия.
Однако заключение по данному модусу не будет достоверным. Так, если в приведенном примере основание условной посылки отрицается (неверно, что иск предъявлен недееспособным лицом), нельзя с достоверностью отрицать истинность следствия (неверно, что суд оставляет иск без рассмотрения). Суд может оставить иск без рассмотрения и по другим обстоятельствам, например в результате истечения срока исковой давности.
Категорическая посылка утверждает истинность следствия, заключение утверждает истинность основания. Рассуждение направлено от утверждения следствия к утверждению основания.