Topic outline
- General
- Введение в формальную логику
Введение в формальную логику
Предмет формальной логики. История становления.
Определение формальной логики. Мышление как предмет формальной логики.
Понятие о логической форме. Сущность процесса формализации.
Этапы развития мышления, их взаимосвязь с онтогенезом. Взаимосвязь бытия, языка и мышления, речи и сознания. Естественные и искусственные языки.
Основные законы формальной логики. Формальная и другие логики. Значение формальной логики для науки и практики мышления.
- Понятие как форма мышления
Понятие как форма мышления
Определение понятия. Процесс образования понятия. Понятие и слово.
Структура понятия. Содержание и объем понятия, закон обратного соответствия.
Виды понятий, классификация понятий по содержанию и объему.
Отношения между понятиями по объему.
Операции над понятиями: сложение, умножение, дополнение к классу, ограничение, обобщение.
Операция «определение понятия». Операция «деление понятия».
- Суждение как форма мышления
Суждение как форма мышления
Определение суждения. Виды суждений по характеру предикации. Классификация суждений по модальности. Суждение и функция высказывания. Суждение и предложение.
Структура простого атрибутивного суждения. Классификация простых атрибутивных суждений по количеству и качеству.
Распределенность терминов в суждении. Отношения между простыми суждениями: логический квадрат. Отрицание простых суждений.
Сложные суждения. Отношения между сложными суждениями. Отрицание сложных суждений.
Значение теории суждений для науки и практической деятельности.
- Умозаключение как форма мышления
Умозаключение как форма мышления
Определение и общая характеристика умозаключения. Виды умозаключений. Отношение логического следования.
Непосредственные дедуктивные умозаключения. Опосредованные дедуктивные умозаключения.
Простой категорический силлогизм. Фигуры простого категорического силлогизма, представление о модусах силлогизма. Аксиома силлогизма. Правила силлогизма: правила фигур, правила терминов, правила посылок.
Умозаключения из сложных посылок: разделительно-категорические, чисто условные, условно-категорические, условно-разделительные. Сложные и сокращенные умозаключения.
Индукция. Выводы по аналогии.
Значение умозаключений в науке и практической деятельности.