Учебник. Коллектив авторов. -Л.: Издательство Ленинградского
университета,1977, с.357.
В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике.
Учебник предназначен для студентов-философов и студентов других гуманитарных факультетов и педагогических вузов.
Глава I. Понятие.
Об определении и структуре понятия.
Основные методы образования понятий.
Соотношение между содержанием и объемом понятия.
Виды понятий.
Формально-логические отношения между понятиями по содержанию и по объему.
Обобщение и ограничение понятий.
Глава II. Суждение.
Сущность суждения и его строение.
Суждение и предложение.
Суждение и вопрос.
Деление суждений по качеству и количеству.
Объединенная классификация суждений по качеству и Количеству.
Распределенность терминов в категорических суждениях.
Отношения между суждениями.
Деление суждений по модальности.
Сложные суждения.
Глава III. Основные формально-логические законы.
Обшие замечания.
Закон тождества.
Закон противоречия.
Закон исключенного третьего.
Закон достаточного основания.
Глава IV. Умозаключение.
Определение умозаключения.
Непосредственные умозаключения.
Простой категорический силлогизм.
Сокращенные, сложные и сложносокращенные категорические силлогизмы.
Условные, разделительные и условно-разделительные силлогизмы.
Индуктивные умозаключения.
Аналогия.
Глава V. Логические методы научного мышления.
Методы классификации объектов исследования.
Определение.
Доказательство.
Доказательство (продолжение: паралогизмы, софизмы и парадоксы).
Аксиоматический метод.
Индуктивные методы установления причинной связи явлений.
Гипотеза.
Вероятностные методы в логике.
Часть вторая Символическая логика.
Глава I. Табличное построение логики высказываний.
Высказывания и формы высказываний.
Язык логики высказываний.
Семантика логических знаков.
Таблицы формул логики высказываний.
Равносильные формулы.
Правило равносильной замены.
Полные системы логических знаков.
Закон двойственности.
Тождественно-истинные и тождественно-ложные формулы.
Глава II. Нормальные формы формул логики высказываний.
Нормальная форма.
Проблема разрешения.
Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма.
Логическое следование и логические следствия.
Сокращенная конъюнктивная нормальная форма.
Дизъюнктивные нормальные формы.
Глава III. Естественный вывод в логике высказываний.
Понятия логического вывода.
Производные правила.
Чисто прямое доказательство.
Слабое косвенное доказательство.
Квазисильное косвенное доказательство.
Сильное (классическое) косвенное доказательство.
Полнота классического нечисления высказываний.
Аксиоматическое представление логики высказываний.
Глава IV. Формализованная силлогистика.
Глава V. Естественный вывод в логике предикатов.
Глава VI. Модальная логика.
В основу учебника положен курс логики, читавшийся на философском факультете Ленинградского университета в течение ряда лет. В нем освещаются вопросы, относящиеся к общей и символической логике.
Учебник предназначен для студентов-философов и студентов других гуманитарных факультетов и педагогических вузов.
Глава I. Понятие.
Об определении и структуре понятия.
Основные методы образования понятий.
Соотношение между содержанием и объемом понятия.
Виды понятий.
Формально-логические отношения между понятиями по содержанию и по объему.
Обобщение и ограничение понятий.
Глава II. Суждение.
Сущность суждения и его строение.
Суждение и предложение.
Суждение и вопрос.
Деление суждений по качеству и количеству.
Объединенная классификация суждений по качеству и Количеству.
Распределенность терминов в категорических суждениях.
Отношения между суждениями.
Деление суждений по модальности.
Сложные суждения.
Глава III. Основные формально-логические законы.
Обшие замечания.
Закон тождества.
Закон противоречия.
Закон исключенного третьего.
Закон достаточного основания.
Глава IV. Умозаключение.
Определение умозаключения.
Непосредственные умозаключения.
Простой категорический силлогизм.
Сокращенные, сложные и сложносокращенные категорические силлогизмы.
Условные, разделительные и условно-разделительные силлогизмы.
Индуктивные умозаключения.
Аналогия.
Глава V. Логические методы научного мышления.
Методы классификации объектов исследования.
Определение.
Доказательство.
Доказательство (продолжение: паралогизмы, софизмы и парадоксы).
Аксиоматический метод.
Индуктивные методы установления причинной связи явлений.
Гипотеза.
Вероятностные методы в логике.
Часть вторая Символическая логика.
Глава I. Табличное построение логики высказываний.
Высказывания и формы высказываний.
Язык логики высказываний.
Семантика логических знаков.
Таблицы формул логики высказываний.
Равносильные формулы.
Правило равносильной замены.
Полные системы логических знаков.
Закон двойственности.
Тождественно-истинные и тождественно-ложные формулы.
Глава II. Нормальные формы формул логики высказываний.
Нормальная форма.
Проблема разрешения.
Конъюнктивная нормальная форма и совершенная конъюнктивная нормальная форма.
Логическое следование и логические следствия.
Сокращенная конъюнктивная нормальная форма.
Дизъюнктивные нормальные формы.
Глава III. Естественный вывод в логике высказываний.
Понятия логического вывода.
Производные правила.
Чисто прямое доказательство.
Слабое косвенное доказательство.
Квазисильное косвенное доказательство.
Сильное (классическое) косвенное доказательство.
Полнота классического нечисления высказываний.
Аксиоматическое представление логики высказываний.
Глава IV. Формализованная силлогистика.
Глава V. Естественный вывод в логике предикатов.
Глава VI. Модальная логика.