ЛОГИКА
Логика как наука о законах открытия, обоснования и сохранения истиныЛогические законы как принципы открытия, обоснования и сохранения истиныЗакон дедукции.Тождество как принцип сохранения истины.Закон абдукции.Закон индукции. ПонятиеОпределение понятияСодержание и объем понятия. Обобщение и ограничение понятийЗакон обратного отношения между содержанием и объемом понятия.Основные требования к определению понятийВиды ПОНЯТИЙЛогические операции с понятиямиДеление объема понятия (классификация) СуждениеОпределение сужденияПростые сужденияНормальная форма простых сужденийЛогические преобразования сужденийПревращениеОбращениеПротивопоставление (контрапозиция)Совместимые и несовместимые суждения. Логический квадратПростые суждения и пустые классыКоммуникативная природа суждений Дедуктивные умозаключенияОпределение умозаключенияОтношение логического следованияПростые суждения и деревьяДедуктивные умозаключения с двумя посылками (простые силлогизмы)Дедуктивные умозаключения с тремя и более посылками (сложные силлогизмы)Восстановление посылок в простых энтимемахВосстановление посылок в сложных энтимемах Дедуктивное доказательство и опровержениеОбщее представление о дедуктивном доказательстве и опроверженииДедуктивное доказательствоДедуктивное опровержениеГлавные логические ошибки Доказательство и опровержение как искусство риторикиОпределение риторикиИзобретение обращенияИзложение обращенияСловесное выражение обращенияЛогика спораПравила спора Логика высказыванийОсновные определения и допущения логики высказыванийСинтаксис логики высказыванийСемантика логики высказыванийОпределение логического отрицанияОпределение конъюнкцииОпределение слабой дизъюнкцииОпределение импликацииОпределение эквивалентностиОпределение сильной дизъюнкцииЛогически истинные, логически ложные и логически нейтральные формулыОтношение логического следования в логике высказыванийОсновные законы логики высказыванийДеревья в логике высказыванийПравила образования деревьев в логике высказыванийПоиск нетривиальных следствий и допущенийЛогика высказываний как исчислениеКосвенное доказательствоОсновные модусы правильных умозаключений логики высказыванийУсловные умозаключенияРазделительные умозаключенияУсловно-разделительные умозаключенияПравило дедукции (введение импликации)Рассуждение от противногоПриведение к абсурдуРазбор случаев Логика предикатовОсновные понятия и допущения логики предикатовСинтаксис логики предикатовСемантика логики предикатовФормула ЛПОтношение логического следования в логике предикатовДеревья в логике предикатовЛогика предикатов как исчислениеОсновные законы логики предикатовЗакон удаления квантора общностиЗакон введения квантора существованияЗакон подчинения кванторовЗакон противоречияЗаконы взаимоопределимости кванторовЗаконы дистрибутивности кванторов относительно знака конъюнкцииЗаконы дистрибутивности кванторов относительно знака дизъюнкцииЗаконы дистрибутивности кванторов относительно знака импликацииУпражнения Индуктивная логикаОсновные определения и допущения индуктивной логикиОсновные теоремы индуктивной логики Модальная логикаОсновные определения и допущения модальной логики высказываний и предикатовБазисная модальная логикаМодальная силлогистикаРешение модальных силлогизмовПравила вывода (определения модальности заключения) ПарадоксыАхиллес и черепахаДвижется ли летящая стрелаСпор Протагора с ЕватломПарадокс лжецаПарадокс подтверждения К. ГемпеляПарадокс индуктивной вероятностной поддержки К. ПоппераВсе ли лебеди белые?Может ли ученик стать своим собственным учителем?
