
- •1. Предмет и определение логики.
- •2. Основные разделы современной логики.
- •3. Исторические этапы развития логики.
- •4. Объем и дополнение к объему понятия. Диаграмма Эйлера-Венна.
- •5. Отношения между понятиями: независимость, подчинение, контрарность, контрадикторность.
- •6. Логическое деление понятий и его основные правила.
- •7. Субъект, предикат, субъектно-предикатная связка. Истинные и ложные высказывания.
- •8. Умозаключение и силлогизм. Логический квадрат.
- •9. Простой категорический силлогизм. Логически правильный модус силлогизма.
- •10. Условно-категорический силлогизм. Модус поненс и модус толленс.
- •11. Основополагающие логические принципы: принцип тождества, непротиворечивости, исключенного третьего, достаточного основания.
- •12. Понятие научного термина. Предметность, однозначность, относительность терминов.
- •13. Отношение семантического тождества терминов. Понятие метасимвола.
- •14. Дефиниендум и дефиниенс. Логическая структура и правила определений.
- •15. Табличное определение отрицания, конъюнкции и дизъюнкции.
7. Субъект, предикат, субъектно-предикатная связка. Истинные и ложные высказывания.
Суждение - это форма мышления, в которой что-либо утверждается или отрицается о существовании предметов и явлений, о связях между предметами и их свойствами или об отношениях между предметами.
Суждение ǂ высказывание
Строение суждений не стоит смешивать со строением предложений. Предложение – это форма суждения, а суждение является смысловым содержанием предложения.
Логический субъект – символ, обозначающий целостное понятие о предмете суждения.
Логический предикат – символ, обозначающий отдельное свойства предмета суждения.
Субъектно-предикатная связка – символ, обозначающий отношение предикации.
Характерная особенность суждения: при логическом правильном построении, суждение является истинным или ложным.
Истинные суждения – это суждения, в которых связь понятий правильно отражает реальные свойства и отношения предмета мысли. Пример: «Издержки и прибыль торгующих организаций включаются в розничную цену».
Ложные суждения – это суждения, где связь понятий искажает объективные свойства и отношения предмета мысли. Например: «Небольшие фирмы всегда менее эффективны, чем крупные». Это суждения ложное, так как очевидным фактов современной экономической практики является то, что размеры фирмы не находятся в причинной зависимости с ее эффективностью, неэффективными могут быть и крупные фирмы.
8. Умозаключение и силлогизм. Логический квадрат.
Умозаключение – сложный абстрактный объект (знание), в котором (с помощью определенных логических отношений) объединены в целое одно или несколько суждений.
Силлогизм – символ, используемый с целью обозначения умозаключения.
Силлогистика (Аристотель) – теория силлогизмов.
Логический квадрат:
Логический квадрат показывает отношения между суждениями с одинаковыми субъектами и предикатами, но разными связками и кванторами. С его помощью можно делать выводы относительно истинности и ложности таких суждений.
Частичная совместимость = субконтрарность
Противоположность = контрарность
Противоречие = контрадикторность
А – общеутвердительные высказывания
Е – общеотрицательные высказывания
I - частноутвердительные высказывания
О – частноотрицательные высказывания
9. Простой категорический силлогизм. Логически правильный модус силлогизма.
Простой категорический силлогизм – система трех взаимосвязанных высказываний, каждое из которых является высказыванием следующего вида: A, I, E, O.
Общее строение ПКС:
Первая посылка (А, I, Е, О)
Вторая посылка (А, I, Е, О)
=> Заключение (А, I, Е, О)
Термин силлогизма – субъект или предикат высказывания, являющегося посылкой или заключением силлогизма.
Больший термин – предикат заключения.
Меньший термин – субъект заключения.
Средний термин – входит в посылки, но не в заключение.
Большая посылка – посылка, содержащая больше термина.
Меньшая посылка – посылка, содержащая меньше термина.
Все юристы – люди – меньшая посылка
Все люди – смертны – большая посылка
=> Все юристы – смертны (меньший термин; предикат, больший термин)
Фигура силлогизма – схема силлогизмов с конкретным положением среднего термина в посылке.
Фигура 1: М – Р (большая посылка из-за предиката)
S – М (М – средний термин)
=> S – P
Фигура 2: Р – М (М – предикат)
S – М
=> S - P
Фигура 3: М – Р (М – субъект)
М – S
=> P – S
Фигура 4: Р – М (предикат в большей посылке)
М – S
=> S – P
Модус силлогизма – схема силлогизмов, имеющих конкретную фигуру, а также конкретный вид посылок и заключений.
Логически правильный модус – модус, гарантирующий истинность заключения при условии истинности посылок.
Существует 24 логически правильных модуса.
Модус Барбара: Все М – Р
Все S – М
=> Все S – P
Все политики – люди.
Все юристы – люди.
=> Некоторые юристы – политики.
Силлогизм осмыслен (истинность заключения):
Рассуждение правильное
Все посылки истинны
Основные типы силлогизмов:
Силлогизмы по логическому квадрату (Неверно, что все злодеи – преступники => Некоторые злодеи – не преступники)
Полисиллогизм - сложный силлогизм, представляющий собой определенную последовательность (цепь) простых силлогизмов, в которой заключения предшествующих силлогизмов (называемых просиллогизмами) являются посылками последующих силлогизмов (называемых эписиллогизмами).
Энтимема – сокращенный силлогизм, в котором опущена, но не явно подразумевается одна из посылок или заключений (Все опытные политики – лицемеры; Путин – опытный политик => Путин – лицемер)
Эпихейрема – силлогизм, каждая из посылок которого является энтимемой.
Сорит – сокращенный полисиллогизм, в котором опущены, но подразумеваются те или иные посылки или промежуточные заключения:
Всякий демократ – человек
Всякий человек – разумное животное.
Всякое разумное животное - животное.
=> Всякий демократ – животное.
=> Всякий демократ – разумное животное.