Книга первая. Традиционная логика.

А.Е. Конверский

Л о г и к а

(традиционная и современная)

Учебник

Конверский А.Е. Логика. Учебник для высших учебных заведений.

Учебник «Логика» состоит из двух книг: “Традиционная логика” и “Современная логика”. В первуй книге “Традиционная логика” в систематизированном, дидактически выдержанном виде раскрывается метод логики, анализируются основне формы и законы мышления.

Значительное внимание уделяется логическому анализу естественного языка, который подводит к пониманию построения формализованного логического языка, а также обеспечивает эмпирическую основу для описания выводов и доказательств в рамках специальных формализованных языков.

Во второй книге «Современная логика» рассматриваются предпосылки возникновения современной логики, обосновывается деление классической логики на логику высказываний и логику предикатов, проводится типология и анализ формальнологических теорий в рамках логики высказываний и логики предикатов.

Дання книга также содержит достаточно подробное описание истоков неклассической логики, аналіз канонических систем многозначной логики. На основе логико-философского анализа в книге дается характеристика подразделов системы модальной логики.

Предлагаемый ученик логики способствует привитию элементов культуры мышления, а также росту интереса к современной логической науке.

Рассчитан на студентов высших учебных заведений.

Содержание.

Книга первая. Традиционная логика.

Введение.

Раздел 1.Предмет логики. 1.Определение логики как науки. 2. Формальные и содержательные правила рассуждения. 3. Абстрактное мышление и его характерные особенности. 4. Понятие формы мышления. 5. Основные вормально-0логические законы. 6. Истинность и формальная правильность рассуждения.

Раздел 2. Мышление и язык. 1. Определение языка. 2. Понятие знака. Виды знаков. 3. Уровни семиотического анализа языка.

Раздел 3. Формализация как метод логики. 1. Понятие формализации. 2. Сравнительная характеристика естественных и формализованных языков. 3. Структура формализованного языка.

Раздел 4. Семантический анализ выражений естественного языка. 1. Понятие семантической категории. 2. Характеристика дескриптивных терминов. 3. Определение логических терминов.

Раздел 5. Элементы теории имен. 1. Имя, смысл, значение. 2.Виды имен. 3. Принципы отношения именования.

Раздел 6. Функциональный анализ в логике. 1. Понятие функции. 2. Виды функций.

Раздел 7. Исторический характер логики как науки. 1. Логика Древней Индии. 2. Предшественники логики Аристотеля в Древней Греции. 3. Логическое учение Аристотеля. 4. Особенности логики стоиков. 5. Особенности схоластической логики. 6. Новаторские идеи логики Ф.Бэкона. 7. Современная формальная логика – следующий этап в развитии логики как науки. Контрольные вопросы и упражнения.

Раздел 8. Понятие. 1. Определение понятия. 2. Характеристика предмета мысли, отображаемого в понятии. 3. Способы выражения понятия в языке. 4. Содержание понятия. 5. Объем понятия. Элементы теории множеств. 6. Закон обратного соотношения содержания и объема понятия. 7. Виды понятий. 8. Логические отношения между понятиями. 9. Логические операции с понятиями: а)ограничение и обобщение понятия б)операции над объемами понятий как множествами в)деление понятий и правила деления г)определение понятия и правила определения. Контрольные вопросы и упражнения.

Раздел 9. Суждение. 1. Общая характеристика суждения. 2. Суждение и предложение. 3. Виды суждений. Атрибутивные суждения. 4. Логические отношения между атрибутивными суждениями. 5. Истолкование атрибутивных суждений в языке логики предикатов. 6. Суждения с отношениями. 7. Суждения существования. 8. Модальные суждения. 9. Вопросы. 10. Виды сложных суждений. Изложение сложных суждений языком логики высказываний. 11. Логические отношения между сложными суждениями. Контрольные вопросы и упражнения.

Раздел10. Умозаключение. 1.Общая характеристика умозаключения. 2. Выводы логики высказываний: а) типология правил вывода б) Обоснование правил вывода. в) Метод аналитических таблиц. г) Умозаключения логики высказываний в традиционной логике.

3. Выводы из категорических суждений: а) Непосредственные умозаключения. б) Простой категорический силлогизм. в) Проверка корректности силлогизма. г) Энтимема. д) Силлогистика и метод аналитических таблиц. 4. Недедуктивные умозаключения: а) Индуктивные умозаключения. б) Аналогия. Контрольные вопросы и упражнения.

Раздел 11. Аргументация. 1. Понятие доказательства. Структура доказательства. 2. Виды доказательства. 3. Опровержение: а) Опровержение тезиса. б) Опровержение аргументов.

в) Опровержение демонстрации. 4. Правила доказательства и опровержения: а) Правила и ошибки, касающиеся тезиса. б) Правила и ошибки, касающиеся аргументов. в) Правила, касающиеся демонстрации. Контрольные вопросы и упражнения.