- •История развития логики:
- •Виды понятий:
- •Отношения между понятиями:
- •Привила и ошибки:
- •Деление понятий. Виды и классификация.
- •Правила и ошибки в делении понятий:
- •Ограничение и обобщение понятий
- •Определение и структура суждения. Суждения и предложения.
- •Деление суждений. Виды простых суждений.
- •Деление суждений по модальности.
- •Категорические суждения и их виды (деление по количеству и качеству):
- •Распределенность терминов в категорических суждениях.
- •Отношения между суждениями (логический квадрат)
- •Операции простых суждений (обращение, превращение, противопостановление)
- •Сложные суждения (определение, логические связки, формулы).
- •Необходимые и достаточные условия истинности суждений (таблицы истинности).
- •Понятие о логическом законе. Закон тождества
- •Закон непротиворечия
- •Определение и структура умозаключения. Понятие логического следования
- •Классификация умозаключений
- •Дедуктивные умозаключения. Опосредованные и непосредственные умозаключения
- •Обращение и превращение умозаключений
- •Определение и состав простого категорического силлогизма
- •Общие правила простого категорического силлогизма
- •Фигуры силлогизма:
- •Модусы силлогизма
- •Специальные правила фигур простого категорического силлогизма.
- •1. Правила терминов
- •2. Правила посылок
- •Условно-категорический силлогизм. Истинные модусы.
- •Разделительно-категорический силлогизм
- •Методы установления причинной связи
- •Методы установления причинной связи
- •1.Тезис и лозунг.
- •2.Формула Цицерона.
- •Правила и ошибки доказательства и опровержения.
- •Построение гипотезы и этапы ее развития.
- •Правила постановки простых и сложных вопросов
2. Правила посылок
-
Из двух отрицательных посылок нельзя сделать никакого заключения.
Например:
Дельфины не рыбы.
Щуки не дельфины.
------------------------------------
?
-
Если одна из посылок отрицательная, то и заключение должно быть отрицательным.
Все моржи — ластоногие.
Это животное не является ластоногим.
-------------------------------------
Это животное не является моржом.
-
Из двух частных посылок нельзя сделать заключение.
Некоторые животные — пресмыкающиеся.
Некоторые живые организмы — животные.
-----------------------------------------------
?
-
Если одна из посылок частная, то заключение должно быть частным.
Все спекулянты подлежат наказанию.
Некоторые люди — спекулянты.
------------------------------------------------
Некоторые люди подлежат наказанию.
Наиболее распространенные ошибки при умозаключении по категорическому силлогизму такие:
1. Заключение делается по I фигуре с меньшей отрицательной посылкой. Приведем два примера.
Все классные комнаты нуждаются в проветривании.
Эта комната — не классная.
----------------------------------------
Эта комната не нуждается в проветривании.
Все студенты сдают экзамены.
Смирнов не является студентом.
----------------------------------------
Смирнов не сдает экзамены.
Заключение не следует с необходимостью из посылок, так как вторая посылка должна быть утвердительной.
2. Заключение делается по II фигуре с двумя утвердитель¬ными посылками.
Все зебры полосатые.
Это животное полосатое.
--------------------------------
Это животное — зебра.
Заключение не следует с необходимостью из этих посылок, так как одна из посылок и заключение должны быть отрицатель¬ными суждениями.
-
Энтимéма— сокращённый силлогизм, в котором в явной форме не выражена посылка или заключение, однако пропущенный элемент подразумевается.
Виды:
С пропущенной большей посылкой
С пропущенной меньшей посылкой
С пропущенным заключением
Примеры:
“Все кашалоты - киты, следовательно, все кашалоты - млекопитаю¬щие”. Восстановим энтимему:
Все киты - млекопитающие.
Все кашалоты - киты
Все кашалоты - млекопитающие.
Здесь пропущена большая посылка.
-
Эпихейрема — сокращенный силлогизм, в котором обе посылки представляют собой энтимемы.
Эпихейремой в традиционной логике называется такой слож¬носокращенный силлогизм, обе посылки которого представляют со¬бой сокращенные простые категорические силлогизмы (энтимемы).
Схема эпихейремы, содержащей лишь общеутвердительные высказывания, обычно записывается следующим образом:
Все А суть С, так как А суть В.
Все D суть А, так как D суть Е.
Все D суть С.
Пример:
Благородный труд (А} заслуживает уважения (С), так как благородный
труд (А) способствует прогрессу общества (В).
Труд учителя (D) есть благородный труд (А), так как труд учителя (D)
-
Полисиллогизм - Реальные рассуждения и доказательства обыкновенно не сводятся к одному силлогизму, но представляют собой последовательности связанных различными способами умозаключений.
Примеры:
Все тварные существа небезначальны;
Живые организмы суть тварные существа;
Следовательно, живые организмы небезначальны.
Живые организмы небезначальны;
Последовательности или цепочки силлогизмов, в которых выводы предыдущих являются посылками последующих, называются полисиллогизмами.
Существуют два вида полисиллогизмов — прогрессивные и регрессивные.
В прогрессивных полисиллогизмах вывод каждого предыдущего силлогизма является большей посылкой последующего (приведенный выше пример — прогрессивный полисиллогизм). В регрессивных полисиллогизмах вывод предыдущего является меньшей посылкой последующего.
Примеры:
Все люди разумны;
Все студенты люди;
Следовательно, все студенты разумны.
Все разумные существа одарены свободной волей
-
Сори́т (от греч. σωρός — «куча») — цепь силлогизмов, в которых заключение является одной из посылок следующего за ним, а одна из посылок при этом не выражается в явной форме.
Например:
Англичане — мужественный народ.
Мужественный народ свободен.
Свободный народ счастлив.
Следовательно, англичане счастливы
В сорите посылки могут быть расположены двояким способом — аристотелевский сорит начинается с посылки, заключающей в себе заключение-субъект, и оканчивается посылкой, содержащей заключение-предикат (см. вышеприведённый пример); но сорит может начинаться и с посылки, содержащей заключение-предикат, и оканчиваться посылкой, содержащей заключение-субъект; этот вид сорита называется гоклениевым (Гоклений, писатель XVI в., впервые указал на него в сочинении «Isagoge in Organon Aristotelis»). Если сорит разложить на несколько отдельных силлогизмов, то заключение каждого отдельного силлогизма служит меньшей посылкой следующего. В сорите может быть лишь одна отрицательная посылка; каждый сорит требует последовательности среднего термина, иначе получается перерыв в процессе умозаключения (лат. Saltus in concludendo) и заключение получится не значащее.