- •Логика. Лекции.
- •Рекомендованная литература:
- •Рекомендованная литература:
- •Тема 1. Предмет логики как науки.
- •1. Мышление и язык. Понятие логической категории.
- •2. Понятие логической формы. Формальная логика – наука о логических формах.
- •3. Логический закон. Правильные и неправильные рассуждения.
- •Тема 2. Высказывание.
- •1. Логика высказываний как наиболее простой и фундаментальный раздел формальной логики. Понятие высказывания. Логические значения высказывания. Высказывание, вопрос, повеление.
- •2. Высказывания простые и сложные. Логические союзы: конъюнкция, дизъюнкция слабая, дизъюнкция сильная, импликация, эквиваленция, отрицание. Выражение сложных высказываний в символической форме.
- •Тема 3. Имена.
- •Понятие имени. Выражение имен в естественном языке. Объем и содержание как основные характеристики имени.
- •2. Понятие признака. Виды признаков. Признаки общие (родовые) и отличительные (видовые). Основное и полное содержание имени.
- •3. Имя и понятие. Имена единичные, общие, пустые. Понятие универсума рассуждения и универсальные имена. Имена четкие и нечеткие.
- •Отношение подчинения
- •5. Операции с объемами имен. Обобщение, ограничение, расширение, локализация, типизация. Мысленные переходы от части к целому и наоборот.
- •6. Деление. Логическое деление, его цели и структура. Виды логического деления – деление стандартное и нестандартное, дихотомическое и политомическое (по видоизменению признака).
- •7. Классификация и типология. Классификация (типология) естественная и искусственная. Правила логического деления и ошибки при их нарушении. Аналитическое деление, периодизация.
- •Тема 3. Силлогистические выводы.
- •4. Логические отношения между формами атрибутивных высказываний: противоречие, противность, подчинение, частичная совместимость (подпротивность). Логический квадрат.
- •Категорический силлогизм – это вывод, в котором из двух высказываний формы SiP, SеP, SiP, SоP, связанных общим термином, делается заключение также одной из этих форм.
- •7. Основные правила простого категорического силлогизма. Фигуры и их правила. Понятие модуса. Отбор правильных модусов с помощью основных правил и правил фигур.
- •Гоклинеевский сорит – это прогрессивный полисиллогизм с пропущенными большими посылками эписиллогизмов. В аристотелевском сорите пропускаются меньшие посылки регрессивного полисиллогизма.
- •Тема 5. Недедуктивные (вероятностные) выводы.
- •Вероятностная инверсия в силлогистике выражается схемами:
- •Тема 6. Аргументация
- •Тестовая контрольная работа по логике
Категорический силлогизм – это вывод, в котором из двух высказываний формы SiP, SеP, SiP, SоP, связанных общим термином, делается заключение также одной из этих форм.
В структуре простого категорического силлогизма выделяются три термина: меньший, средний, больший. Меньший и больший термины называются крайними терминами, и обозначаются, соответственно, буквами S и P. Общий термин, присутствующий в обеих посылках, но отсутствующий в заключении, называетя средним и обознначается буквой М. Средний термин – связующее звено между крайними терминами, благодаря ему становится возможым то, что утверждается или отрицается в заключении.
Посылка, содержащая меньший термин, называется меньшей посылкой, а содержащая больший термин – большей посылкой. Между посылками и заключениями правильного силлогизма имеет место отношение следования, т.е. истинность посылок гарантирует истинность заключений. Связь между S и P в заключении устанавливается однозначно и необходимым образом благодаря форме, в которую воплощено содержательное рассуждение.
7. Основные правила простого категорического силлогизма. Фигуры и их правила. Понятие модуса. Отбор правильных модусов с помощью основных правил и правил фигур.
Правила простого категорического силлогизма:
В простом категорическом силлогизме должно быть только три термина. Нарушение правила ведет к ошибке «учетверение терминов».
Средний термин должен быть распределен хотя бы в одной из посылок. В противном случае отношение между терминами в посылках не обуславливает определенного, одного единственного отношнеия между S и P в заключении.
Термин (крайний), не распределенный в посылках, не может быть распределен в заключении. Т.е., в заключении неправомерно говорить о всех предметах некоторого класса, если в посылках речь идет об их части. Нарушение правила ведет к ошибке «незаконное расширение крайнего термина».
Если обе посылки утвердительные, то и заключение должно быть утвердительным.
Из двух отрицательных посылок не делается заключения.
Если одна из посылок отрицательная, то и заключение должно быть отрицательным.
Производные: Из двух частных посылок не делается заключения.
Если одна из посылок частная, то и заключение должно быть частным.
Проверка правильности рассуждений упрощается с помощью фигур простого категорического силлогизма. По месту расположения среднего термина различают четыре фигуры.
Проверка правильности рассуждений упрощается с помощью фигур простого категорического силлогизма. По месту расположения среднего термина различают четыре фигуры.
Первая фигура: средний термин – субъект в большей посылке и предикат в меньшей.
Вторая : средний термин – предикат в обеих посылках.
Третья: средний термин – субъект в обеих посылках.
Четвертая: средний термин – предикат в большей посылке и субъект в меньшей.
Фигуры силлогизма имеют свои правила, соблюдение которых – обязательное, но не достаточное условие при получении истинного заключения из истинных посылок. Эти правила – следствия из общих правил силлогизма.
Правила первой фигуры:
Большая посылка должна быть общей.
Меньшая посылка должна быть утвердительной.
Правила второй фигуры:
Большая посылка должна быть общей.
Одна и только одна из посылок должна быть отрицательной.
Правила третьей фигуры:
Меньшая посылка должна быть утвердительной.
Заключение должно быть частным.
Модусами простого категорического силлогизма называются разновидности фигур, отличающихся качественными и количественными характеристиками входящих в них посылок и заключения. С точки зрения всевозможных сочетаний посылок и заключений в каждой фигуре насчитывается 64 модуса, в четырех фишурах – 256. Из этих сочетаний правилам силлогизма соотвествуют только 24 модуса.
8. Сложные силлогизмы: полисиллогизм, эпихейрема. Сокращенные силлогизмы: энтимема, сорит. Устранения формальных и содержательных ошибок в рассуждениях с помощью процедуры восстановления силлогизмов до их полной формы.
Первая разновидность сложных силлогизмов – полисиллогизм.
Полисиллогизмом называется цепь силлогизмов, упорядоченных таким образом, что заключения одного силлогизма – просиллогизма, становится одной из посылок другого силогизма – эписиллогизма. Полисиллогизмы подразделяются на прогрессивные и регрессивные.
Полисиллогизмм называют прогрессивным, если заключение просиллогизма становится большей посылкой эписиллогизма.
Полисиллогизмм называют регрессивным, если заключение просиллогизма становится меньшей посылкой эписиллогизма.
Вторая разновидность сложных силлогизмов – эпихейрема (от греч. Нападение, наложение рук).
Эпихейрема – это «дерево» силлогизмов, упорядоченно так, что посылки некоторого силлогизма являются заключениями других силлогизмов.
Проверка сложного силлогизма на правильность состоит из проверки каждого входящего в него простого силлогизма.
Теперь рассмотрим сокращенные силлогизмы. К сокращенным силлогизмам относятся такие, как энтимема (от греч. In time – в уме)и сорит.
Энтимема – это силлогизм, в котором одна из посылок или заключение опускается, хотя мысленно подразумевается. Энтимема имеет не логическую, а языковую природу. В процессе коммуникации информация нередко передается в свернутом виде. Особенность многих энтимем – возможность малозаметных формальных или содержательных погрешностей. Такие погрешности становятся явными при восстановлении энтимемы до полного силлогизма.
Ознакомимся с методикой восстановления энтимемы и ее оценки на состоятелность. Процедура состоит из следуюших шагов:
Энтимема записывается в стандартном виде, посылки помещаются над чертой, заключение – под чертой.
Соответственно принятой классификации устанавливается разновидность данного вывода, т.е., категорический это силлогизм, условный или др.
В соответствии с определениями посылок и заключения устанавливается, какая из частей вывода является подразумеваемой.
С использованием определений и правил, характерного для данного класса выводов, востанавливается недостающая часть вывода.
Проводится анализ восстановленной посылки на соответствие действительному положению дел. Ложность восстановленной посылки означает наличие содержательной ошибки в энтимеме.
Анализируются связи между посылками и заключением на соответствие логическим правилам. Нарушение хотя бы одного правила видетельствует о наличии формальной ошибки в энтимеме.
Сорит ( от греч. Куча).
Соритом называют полисиллогизм с подразумеваемыми посылками. Различают гоклинеевский и аристотелевский сорит.