Предмет логики, общая характеристика понятия

1.

Мы победим
логику!!
Любимая 115С

2.

Понятие. Предмет логики, Общая хар-ка
понятия
Логика - фил. наука о формах и законах
правильного мышления, ведущего к истине
Лог. форма, форма мышления - способ связи
элементов мысли, ее строение, благодаря
которому содержание сущ. и отражает
действительность.
Формы мышления: п, с, у
Основные законы мышления:
1) тождества (всякая мысль в процессе
рассуждения дб тождественна самой себе)
2) непротиворечия (суждение и его отрицание
не мб истинными вместе)
3) исключенного третьего (каждое суждение
либо ист, либо лож)
4) достаточного основания (мысль признается
истинное, если имеет на это достаточное
основание - прич-след)
Понятие - форма мышления, отражающая
Даем лог. хар-ку
предметы и явления в их сущ. признаках
Виды понятий по объему:
Объем понятия - сов-сть предметов, которая
общие +2
нулевые =0
мыслится в данном понятии
рег (считаем) и нерег единичные
по факту, по
Содержание понятия - сов-сть существенных
(нет)
=1
логике
признаков предметов, входящих в объем понятия Виды понятий по содержанию:
- собирательные (много) и несобир (одно)
Элементы пон. - отдельные предметы, входящие в - конкретные (сущ) и абстрактные
- пол (понятие, содержание которых составляют
класс предметов, мыслимых в понятии
св-ва, присущие .. предмету)и отриц (понятие,
Части - подмножество предметов, мыслимых в
содержание которых указывается на отсутствие
понятии
у предмета свойств)
Закон достаточного отношения м/у объемом и - безотносительные (ни к чему не отн) и
соотносительные (привязка)
содержанием понятия - чем больше содержание,

3.

Понятие. Лог. отношения понятий по объему
Есть общий
объем?
значит сравнимые - да
Есть общее содержание?
нет - значит несравнимые
нет - значит несовместимые
да - значит совместимые
1) Равнозначные (объемы полностью совпадают)
н-р, преступление и общ. опасное деяние черный круг
1) Пересечение (частично совпадают)
1) Соподчинение (объемы не пересекаются и
входят в объем третьего)
1) Противоположность (одно понятие содержит
одни признаки, другое их исключает и заменяет
противоположными)
1) Подчинение (одно понятие в другом)
противоположные слова + прослойка
1) Противоречие (2 понятия, которые явл видами
одного рода)
добавляем НЕ (красивый - некрасивый, успевающий -

4.

Понятие. Лог операции
Лог операции - действие, в результате которого
из имеющихся уже данных мыслей образуются
новые
- обобщение
- определение
- ограничение
- деление (классиф.)
Обобщение - ЛО перехода от понятия с - объемом
и + содержанием к понятию с + объемом и содержанием (переход к родовому)
Ограничение - ЛО перехода от понятия к +
объемом и - содержанием к понятию с - объемом
и + содержанием (переход к видовому)
Единичные
понятия не
имеют
видовых
Деление - ЛО, при которой раскрывается объем
понятия через перечисление его видов,
выделенных по какому-то признаку
Структура: делимое пон, основание дел, члены дел
Виды деления: дихотомические (2 одинаковые
части), по видоизмененному признаку,
классификация
Правила деления:
1) деление дб соразмерным
- неполное деление
- излишние члены
1) деление д производиться по 1 основанию
- деление не имеет практическое ценности
1) члены деления д исключать друг друга
- расплывчатость границ (непрерывность)
1) деление дб непрерывным
- скачок в делении
Классификация - распределение предметов по
группам, где каждый класс имеет свое постоянное
определенное место

5.

Понятие. Лог операции
Определение - ЛО, раскрывающая содержание
понятия
Структура: определяемое понятие (что мы
раскрываем), определяющее (с помощью чего
раскрываем)
Виды определений:
1) по цели: реальные (само содержание),
номинальные (значение термина)
2) по форме: явные (опр слева), неявные (опр
справа)
Правила определения:
1) дб соразмерным
- понятия мб узким или широким
1) не дб круга (одинаковые слова, если просто)
- круг или тавтология
1) опр не дб отрицательным (“не”)
2) опр дб ясным (не должно быть трудных слов,
которые нуждаются в определении)
Примеры ошибок:
1) федерация - одна из форм гос устройства
2) идеалист - человек идеалистических
убеждений
3) понятие не является суждением
4) общеаффирмационная модель суждения модель суждения, которая симультанно
является и общей, и аффирамационной

6.

Суждение. Простое суждение
Суждение - форма мышления, в которой утв или
отриц связь м/у предметов и его признаком, отн-я
м/у предметами или факт существования
предметов. Виды по кол-ву утв или отриц:
- простые (1)
- сложные (2+)
Простые суждения - суждение, в котором
содержится только 1 утв или отриц - повест
предложение с 1 грамм основой
Сложные суждения - суждение, в котором
содержится 2 и + утв или отриц - простое
предложение с 1 грамм основой, но несколькими - или
=, однородные, сложные предложения
Структура: S - понятие, о котором идет речь; P понятие, выражающее признак; Связка - отн-е
между субъектом и предикатом (-, есть, явл);
Кванторное слово - часть суждения, указывающая
на кол-во субъекта, о котором идет речь в
суждении (по кол-ву: единичные, частные, общие;
по качеству: + или -)
Виды суждений по характеру предиката:
1) атрибутивное - принадлежность или
непринадлежность предмету какого-то
свойства, состояния “S есть Р”
- Снег белый, Яблоко зеленое, Иванов
студент
1) Релятивное - связь м/у предметами мысли
по месту, времени, причине “xRy”
- Екатеринбург севернее Челябинска, Я
старше тебя
1) Экзистенциальное - факт наличия или
отсутствия предмета “S есть/ не есть”
- Бог есть, Есть красивые места

7.

Суждение. Простое суждение
Суждения выделяющие:
суждения, в котором
содержатся указания на то,
что лишь данному субъекту
приписывается или лишь
отрицается указанный
предикат
“Все (Некоторые) S и только
S есть Р”
утв Р распр
Суждения исключающие:
суждения, в котором
содержатся указания на то,
что к какой-то части субъекта
предикат может не относится
“Все (Некоторые) S, кроме S
есть/не есть Р”
утв нераспр

8.

Суждение. Квадратик
Есть общее содержание?
значит сравнимые - да
противоположность
ИИ
(общие)
А
Есть общий объем?
E
подчинение (-)
подчинение (+)
ИЛ
ИИ
ЛЛ
I
O
подпротивность,
субконтрарность
(частные)
ЛЛ
нет - значит
несравнимые
да - значит
совместимые
нет - значит
несовместимые
1) эквивалентность
(вершина)
2) частные (I и O)
3) подчинение (A и I, E и
О)
1) противоположность
(A и E)
2) противоречие (A и
O, E и I)

9.

Суждение. Сложные суждения
Истинность сложного суждения:
1) значение, входящих в него простых суждений
2) св-сть логических союзов, соединяющих
переменных в 1 сложном суждении
Союз
Знак
Виды сложных суждений:
1) конъюктивные
2) дизъюнктивные
3) импликативные
4) эквивалентные
5) отрицательные
Вид суждение - тип лог союза
И
Конъюнкция - соединительные
ИЛИ
Нестрогая, слабая дизъюнкция неисключающе-разделительные
ЛИБО … ЛИБО
Строгая, сильная дизъюнкция исключающе-разделительные
ЕСЛИ … ТО ....
Импликация - условный
НЕВЕРНО, ЧТО ...
Инверсия - отрицательные
… ТОГДА И ТОЛЬКО ТОГДА, КОГДА
Эквиваленция - равносильный

10.

Суждение. Сложные суждения
А
В
А
Конъюнкция - суждение, состоящие из
нескольких простых, соединенных лог связкой
“и” (а, но)
И
И
И
И
Л
Л
Истинно лишь тогда, когда все конъюнкты И, а
ложны во всех остальных случаях
Л
И
Л
Л
Л
Л
Дизъюнкция - суждение, состоящее
из нескольких простых, соединенных
лог связкой “или”. Есть два вида:
исключающе - разделительные
(либо..либо - сильная) и
неисключающе-разделительное (или
- слабая)
А
В
А
И
И
И
А
В
А
И
И
И
Л
Л
И
И
Л
И
Л
И
И
Л
И
И
Л
Л
Л
Л
Л
Л
слабая
В
В
сильная
В

11.

Суждение. Сложные суждения
Импликация - суждение, состоящие из 2
простых, соединенных лог связкой “если …,
то...”. Есть антецедент - после “если”;
консеквент - после “то”
Ложно только в случае истинности основания и
ложности следствия
Эквивалентное суждение - суждение,
включающее в качестве составных 2 суждения,
связанных двойной условной зависимостью, “если
…, и только если …, то ...”
В
А
К
А
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
К
Логическое отрицание (инверсия) - отрицание
А
А
А
В
А
И
И
И
И
Л
И
Л
Л
Л
И
Л
И
Л
Л
Л
И

12.

Умозаключение.
Умозаключение - форма мышления, посредством
которой из одного или нескольких суждений
выводится новое
Структура:
Посылки - суждения, содержащие имеющееся
знание
Заключение - суждение, содержащие новое
знание, полученное на основе посылок
Вывод - логический переход от посылок к
заключению
Виды:
- демонстративные
- недемонстративные
Виды по характеру связи:
- дедуктивные - от общего к частному
- индуктивные - от частного к общему
- по аналогии - от частного к частному
Дедуктивные умозаключения:
в зависимости от кол-ва посылок дедуктивные
выводы мб:
1) непосредственные - заключение было
выведено из 1 посылки
2) опосредствовенные - заключение было
выведено из нескольких посылок
Непосредственные умозаключения:
1) превращение (преобразование суждения в
суждение, противоположное по качеству с
предикатом, противоречащим предикату
исходного суждения)
2) обращение (преобразование суждения, в
котором субъект становится предикатом, а
предикат субъектом)
3) противопоставление предикату
(преобразование суждения, в ходе которого
субъектом становится понятие,
противоречащее предикату, а предикат
субъектом)
4) противопоставление субъекту
5) по логическому квадрату

13.

14.

Противопоставление
субъекту
А-О
Все S есть Р
Некоторые Р не есть S
I-O
Некоторые S есть P
Некоторые S не есть
не S
E-A
Ни одно S не есть P
Все P есть не S
Суждение О
нельзя
противопоставить
субъекту

15.

Опосредованные умозаключения.
Логическое следование определяется лишь логической связью между простыми суждениями, из
которых состоят сложные
- условные
- разделительные
- условно-разделительные
Условные - Умозаключения, в которых по крайней мере одна из посылок представляет собой условное
суждение
- условно-категорические (одна посылка условная, другая категорическая)
- чисто условные (обе посылки являются условными)
Условно-категорические. Направления течения мысли:
1) от утверждения основания к утв следствия
2) от отрицания следствия к отрицанию основания
ПРАВИЛО: Модусы подчиняются правилу: Если есть
причина, то есть и следствие, если следствия нет, то и
причины нет.
1) от отрицания основания к отрицанию следствия
2) от утверждения следствия к утверждению основания
ПРАВИЛО: Отрицание основания не ведет с
необходимостью к отрицанию следствия
ПРАВИЛО: Утверждение следствия не ведет с
необходимостью к утверждению основания
Чисто условные.
Подчиняются лишь одному правилу основание следствия - это следствия
основания
- они связывают основание первой
послыки и следствие последней
- в результате получается длинная
цепочка причинно-следственных
связей

16.

Разделительные умозаключения - умозаключения, в которых хотя бы одна из посылок является
разделительным суждением
- разделительно-категорические
Одна посылка является сложным разделительным
суждением, а другая простым кат суждением.
Всего два модуса:
- утверждающе-отрицающий (мысль
направляется от утв одного из вариантов к
отрицанию другого. Большая посылка дб
разделительным, а меньшая утв один из членов
дизъюнкции, заключение отрицает дизъюнкт)
- отрицающе-утверждающий (мысль следуюет от
отрицания одного к утв другого из двух
мыслимых вариантов. Меньшая посылка,
являясь простым катег суждением, отрицает
один из дизъюнктов исходного сложного
разделит суждения, а в заключении утв другой)
Правила: 1) дб строго разделительным, то
варианты должны исключать друг друга, 2) строго
разделительное суждение должно быть
исчерпывающим, 3) не дб лишних членов
- условно - разделительные
Умозаключение, в котором одна посылка - раздел,
другая условная. В зависимости от кол-ва
альтернатив (дизъюнктов) мб: дилеммами,
трилеммами, полилеммами
Виды дилемм:
1) по качеству мыслительного акта (утв или
отриц) - конструктивные и деструктивные
2) по сложности заключения (есть ли в нем
дизъюнкт) - на простые и сложные

17.

Силлогизм - умозак-е из 2 посылок и вывода - простые атрибутивные
суждения, где вывод об отношении 2 посылок делается на основании их
отношения к третьему.
М- средний т.
везде, кроме
заключения!!!
S -меньший т; субъект
Р - больший т; предикат
меньшая посылка
большая посылка
Правила терминов
1 - !!! 3 термина
- отождествление разных понятий
(учетверение терминов)
2 - М+ хотя бы в одной посылке
3 - если S- или P- в какой-то
посылке, то он НЕ может быть + в
заключении
S - общих; Р- в отриц
заключение
Общие правила
Правила посылок
1 - одна из посылок должна быть УТВ
-
Структур
а
из 2 отриц посылок заключение с необходимостью
не следует (заключения нет)
- если одна посылка отриц., то заключение будет
тоже отриц.
2 - одна из посылок должна быть ОБЩЕЙ
- из 2 частных посылок заключение с
необходимостью не следуют (заключения нет)
- если одна посылка частная, то заключение тоже
частное

18.

Виды сокращенного силлогизма:
-
Энтимема - сокращенный силл с пропущенной посылкой или заключением
Эпихейрема - сокращенный силл, в котором обе посылки представляют собой энтимемы
Полисиллогизм - это последовательность дедуктивных умозаключений, в которой заключение
предшествующего умозаключения является посылкой следующего
Сорит - полисиллогизм, в котором пропущены некоторые посылки
Полисиллогизм
простые силлогизмы, связанные так, вывод
одного из них, является посылкой следующего.
Есть прогрессивные, когда вывод предыдущего
сил = большей посылке следующего, а есть
регрессивный - наоборот, меньшей посылке
следующего
Сорит - полисиллогизм, где пропущена посылка
последующего силлогизма, являющаяся выводом
предыдущего