Семинарное занятие1
Контр.работа(4 задачи)
1-ый тип задач - Полная логическая характеристика понятия:
Отношения между понятиями
П онятия
Н есравнимые(не относятся к общему роду) Сравнимые
Соместимые Несовместимые
1.тождество
А,В
2.перекрещевание(студент, спортсмен)
А В
3.подчинение (родо-видовой отнош
Р не11.Соподчинение(яблоко+груши=фрукты)
А В
2 противоположность(белый-черный=цвет)
А В
3.противоречия(черный-нечерный)
А
В А А
Мужчина-А А,В
С ын-В
Отцец-С С
А-электрон Д С
В -протон
С-ядро А В
Д- элементарная частица
А -участник ВОВ В
В -полковник А
С-генерал С
А -автор романа Война и мир
В -русс.писатель С
С -писатель Д В
Д -философ А
А - населенный пункт А
В - город С
С - деревня В
Д-мегаполис Д
Лекция №2: Логические операции с понятиями.
Обобщение;
Ограничение;
Деление;
Определение (дефиниция).
Обобщение – переход от понятия с меньшим объемом к понятию с большим объемом.
Обобщение осуществляется путем удаления признаков из содержания. В основе обобщения и ограничения лежит закон обратного соотношения объема и содержания понятий: чем больше содержание, тем меньше объем и наоборот. Пределом обобщения являются универсальные понятия наук или философские категории.
Ограничение – переход от понятия с большим объемом к понятию с меньшим объемом. Признаки добавляются по одному. Предел ограничения – единичное понятие. Правила ограничения и обобщения: 1. Переходить к ближайшему виду или роду;
2. Не путать отношение рода и вида с отношением целого и части;
Деление– операция разбиения объема родового понятия на видовые понятия.
Структура деления:
Делимое понятие;
Основание деления;
Члены деления;
Виды деления:
Деление по видоизменению родового признака;
Дихотомическое – это деление на два противоречащих понятия, цель – выделить один предмет рода;
Правила деления понятий:
Деление должно быть соразмерным, т.е. объем делимого должен быть равен сумме объемов членов деления. Две ошибки: не полное деление (не все разновидности упомянуты) и деление с лишними членами (лишний элемент);
Деление должно производиться по одному основанию. Ошибка: смешение оснований (основание деления ОДНО);
Деление должно быть непрерывным, т.е. члены деления должны быть однопорядковыми видами. Ошибка: скачок в делении;
Члены деления должны исключать друг друга.
Определение понятий (дефиниция)– это операция, раскрывающая содержание понятия. Так же это операция установления или уточнения связи языкового выражения с обозначаемым объектом.
Структура определения:
Определяемое;
Определяющее.
Виды определений.
По цели:
Номинальные – договоренность об употреблении слова. В номинальном определении есть слова: «называется», «считается».
Реальные – перечисление признаков предмета; раскрывает содержание понятий.
По форме:
Я вные Неявные
Через род и Через противоположность 1) Контекстуальные;
видовое отличие. 2) Индуктивные (точные науки).
1) Атрибутивное (свойства);
2) Генетическое (происхождение);
3) Операциональные (дается операция
распознавания данного предмета).
Формула
α и β – формулы
α Л β
αV β
α β формулы
α β
α
Правила определений:
Определения должны быть соразмерными (объем определяемого равен объем определяющего). Ошибка: широкое определение (определяющее больше определяемого), узкое определение, перекрещивающиеся определения.
Определение должно быть ясным и четким, т.е. не должно быть многозначных, не понятных слов и образных выражений.
Определение, по возможности, не должно быть отрицательным.
В определении не должно быть круга.
Определение не должно быть избыточным.
В определении должен быть правильно указан род.
Лекция№3
Суждение как форма мышления – это форма мышления, которой что то утверждается или отрицается.
Языковая форма суждения – это осмысленное повествовательное предложение или риторический вопрос
Риторический вопрос – языковая форма суждения
Логическая характеристика суждения – Истинностное значение
«И»- истина
«Л» - ложь
Суждения бывают простые и сложные
Субъект (S) – это термин суждения. Выражают то, о чем утверждается или отрицается.
Предикат (Р) – это термин, что именно утверждается или отрицается
Связка – это слова явления -не явл. , есть- не есть
Кванторное слово (слова «все» или «некоторые»)
Виды простых суждений
/ | \
По качеству:
По кол-ву
единичные
общие (все)
частные (некоторые)
утверждаемые
отрицаемые
По характеру предиката (Р)
Атрибутивные(св-ва)
Релиционные (отношения)
Экзистинциальные (существование)
Объединенная классификация (категорические суждения)
А 1) общеутвердительные (все S есть Р)
I 2) частноутверждающие (некоторые S есть Р)
Е 3) общеотрицательные (все S не есть Р)
О 4) частноотрицательные (не S не есть Р)
Affirmo - утверждаю
Nego – отрицаю
Стандартная (логическая) форма суждения.
Привести суждение к стандартному виду – это значит представить S и Р в виде понятий, сформировать связку и кванторное слово
Пример: Порядочному человеку чуждо зазанайство
Все порядочные люди являются людьми, которым чуждо зазанайство
Все –кванторное слово
Порядочные люди – субъект
людьми, которым чуждо зазанайство – предикат
Распределенность терминов
Термин – распределен, если он полностью включает в объем другого термина или полностью из него исключается
Термин – не распределен, если он частично совпадает с объемом другого термина
А:
I:
E:
О:
Правила
Субъекты распределимы в общем и нераспределимы в частном суждении
Предикат распределим в отрицательном суждении нараспределим в утвердительном, если только он не выделяющ.
Утвердит – не распределен
Отрицат – распределен
Отношения между категорическим и суждениями (логический квадрат)
A – все S есть P
I – нек S есть P
E –Ни одно S не есть P
O – Нек S не есть P
Если одно истинно то другое ложно
Отношение между суждениями – это отношение между истинностным значением суждений, не зависимо от их конкретного содержания
Умозаключение (УЗ)
- это способ получения нового знания на основе уже имеющегося .
Структура УЗ:
Посылки ( суждения , содержащие исходное знание)
Заключение , содержащее новое знание
Умозаключение – логическая операция , в результате которой из одного или нескольких суждений(посылки) получается новое суждение - заключение
Основная логическая характеристика УЗ – правильность
Понятие есть или нет
Суждение - истина или ложь
Уз - правильная или неправильная
УЗ ( по направлению движения мысли):
Дедуктивная
Индуктивный
Традуктивный
УЗ ( по характеру связи посылок и заключения):
Демонстративные (истинность посылок гарантирует истинность заключения)
Правдоподобные (Истинность посылок лишь повышает степень правдоподобия заключения)
Дедукт.уз
Силлогизмы(выводы, в к-ой учитывается субъектнопредикатная система суждений):
Непосредственные1 посылка
Опосредованные 2,3,4 посылки
Уз логики и суждения
Превращение – преобразования этого суждение в суждение противоположные по качеству
с предикатом противоречащим предикату исходному суждению
Все S есть P / Все S не есть не Р
Все S не есть Р / Все S есть не Р
A E
Е А
I – O
O – I
Обращение (непосредственные силлогизм) преобраз.суждение, при к-ом субъект исходного суждения становится предикатом, а предикат субъектом.
Все S⁺ есть P⁻
Некоторые, P есть S
Термин нераспределенный в посылке не может быть распределен в заключении
Нек. S⁻ не есть Р ⁺/ Нек. Р не есть S
Истинное заключение может получится случайно
Противопоставление предикатов
Превращение + Обращение
Все S есть Р / Все не Р не есть S
Все львы хищники / Все львы не являются не – хищниками
Все не хищники не являются львами
Отрицание + превращение
Нек. Предприн. Явл.. Успешными людьми
Нек.успешные люди являются предприн.
Нек. Успешные люди Не являются не предпринимателями
Широко используемый вид суждений – Простой категорический силлогизм
- ПКС вывод одного категорического суждения из двух других категорических суждений
Все деревья (М)– растения(Р)
Сосна – дерево(М)/
Сосна(S)- растение(Р)
Начинаем анализировать ПКС с заключения –
Субъект заключения называет меньшим термином обозначается S
Предикат заключения – больший термин
Больший и меньший термины – крайние и образует заключение
Средний термин – М
Посылка, в состав к-ой больше терминов – большая посылка
Растения – б.посылка
Сосна , дерево – меньшая посылка
Фигура простого ПКС- это разновидности ПКС , различающиеся среднего термина
Фигура
М Р
S М
Фигура
P М
S M
Упругий применяется для опровержений
Фигура
M p
S M
Для недопущения необоснованных обобщений
Фигура
P M
M S