Тема 4. Логические отношения между понятиями. Логические операции с понятиями (форма проведения — практическое занятие).

Цель: формировать умения выполнять логические операции с понятиями, определять логические отношения между понятиями.

Вопросы к теме:

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

2.Операции обобщения и ограничения понятий.

3.Деление понятий. Виды деления. Правила и возможные ошибки в делении.

4.Определение понятий. Виды определений. Правила и возможные ошибки в определениях.

5.Упражнения: № 28, 30[4, с. 22, 23].

Основная литература:

1. Гетманова, А.Д. Учебник по логике. М.: ЧеРо, 2005. - 304 с.

2. Ивлев, Ю.Б. Логика. М.: Проспект: Велби, 2006. - 288с.

3.Логика и теория аргументации: учеб. пособие для студентов вузов / Б.И. Каверин, И.В. Демидов. - М.: ЮНИТИ-ДАНА, 2005. - 287 с.

4. Упражнения по логике: учеб. пособие/ под ред.В.И. Кириллова.- 6-е изд., перераб. и доп. - М.: ТК Велби, Изд-во Проспект, 2007.-184 с.

Дополнительная литература:

5. Ивин, А.А. Логика: Учебник для студ. вузов. – М.: Гардарики, 2005. – 352с.

6.Рузавин П.И. Логика: Практический курс. – М.: Юнити-Дана, 2005.

Вопросы для самоконтроля:

1. Что понимается под содержанием и объемом понятия? Каково между ними отношение?

2. Каковы виды понятий по содержанию и объему.

3. Что такое обобщение и ограничение понятия?

4. Что значит «определить понятие»?

5. Сформулируйте правила определения.

6. Какую логическую операцию называют делением понятия?

7. Назовите правила деления понятий и ошибки, которые возникают при их делении.

 

 

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

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

Логическая характеристика суждения

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

Субъект суждения - это понятие о предмете мысли, т.е. то о чем говорится в данном суждении. Обозначается буквой "S" (от лат. subjektum - лежащий в основе).

Предикат суждения выражает значение о признаке предмета мысли, т.е. то, что говорится о субъекте суждения. Обозначается буквой "Р"(от лат. слова predikatum - сказанный).

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

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

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

Виды суждений и логические отношения между ними

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

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

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

Отношения между суждениями

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

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

1. Разнозначащие (эквивалентные) суждения выражают одну и ту же мысль.

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

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

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

1. Контрарными (противоположными) называются общие суждения, выражающие противоположные мысли. Эти суждения не могут быть одновременно истинными, но могут быть одновременно ложными.

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

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

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

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