Учебное пособие. М.: Идея-Пресс, 2010. — 380 с.
Ледников Е.Е., перевод, ISBN 978-5-903927-07-4.
Учебное пособие «Логика» состоит из двух книг: «Традиционная логика» и «Современная логика». В первой книге «Традиционная логика» в систематизированном, дидактически выдержанном виде раскрывается метод логики, анализируются основные формы и законы мышления. Значительное внимание уделяется логическому анализу естественного языка, который подводит к пониманию построения формализованного логического языка, а также обеспечивает эмпирическую основу для описания выводов и доказательств в рамках специальных формализованных языков.
Во второй книге «Современная логика» рассматриваются предпосылки возникновения современной логики, обосновывается деление классической логики на логику высказываний и логику предикатов, проводится типология и анализ формально-логических теорий в рамках логики высказываний и логики предикатов.
Данная книга также содержит достаточно подробное описание истоков неклассической логики, анализ канонических систем многозначной логики. На основе логико-философского анализа в книге дается характеристика подразделов системы модальной логики. Предлагаемое учебное пособие по логике способствует привитию элементов культуры мышления, а также росту интереса к современной логической науке.
Традиционная логика.
Предмет логики.
Формальные и содержательные правила рассуждения.
Абстрактное мышление и его характерные особенности.
Понятие формы мышления.
Основные формально-логические законы.
Истинность и формальная правильность рассуждения.
Мышление и язык.
Формализация как метод логики.
Семантический анализ выражений естественного языка.
Элементы теории имен.
Имя, смысл, значение.
Принципы отношения именования.
Функциональный анализ в логике.
Понятие функции.
Исторический характер логики как науки.
Логика Древней Индии.
Предшественники Аристотеля в Древней Греции.
Логическое учение Аристотеля.
Особенности логики стоиков.
Особенности схоластической логики.
Новаторские идеи логики Ф. Бэкона.
Современная формальная логика — второй этап в развитии логики.
как науки.
Понятие.
Характеристика предмета мысли, отображаемого в понятии.
Языковые средства выражения понятия.
Объем понятия. Элементы теории множеств.
Закон обратного отношения между содержанием и объемом понятия.
Суждение.
Суждения и предложения.
Виды суждений. Атрибутивные суждения.
Истолкование атрибутивных суждений в языке логики предикатов.
Суждения отношения.
Суждения существования.
Модальные суждения.
Виды сложных суждений.
Выражение сложных суждений языком логики высказываний.
Логические отношения между сложными суждениями.
Умозаключение.
Заключения из категорических высказываний.
Недедуктивные умозаключения.
Аргументация.
Понятие доказательства. Структура доказательства.
Современная логика.
Классическая логика.
Логика высказываний.
Алгебра логики высказываний.
Язык алгебраической системы логики высказываний.
Семантика логических символов.
Типология формул по семантическим признакам.
Нормальные формулы логики высказываний.
Исчисления логики высказываний.
Аксиоматическое исчисление логики высказываний.
Метатеорема о дедукции.
Натуральное исчисление логики высказываний.
Логика предикатов.
Алгебраическая система логики предикатов.
Язык алгебраической системы логики предикатов.
Проблема разрешимости.
Законы логики предикатов.
Процедуры разрешения для выражений логики предикатов.
Исчисления предикатов.
Аксиоматическое исчисление предикатов.
Неклассическая логика Многозначная логика.
Система многозначной логики Я. Лукасевича.
Многозначная логика Брауэра—Рейтинга.
Многозначная логика Е. Поста.
Трехзначная логика Д. Бочвара.
Модальная логика в начале XX в.
Критика К. Льюисом классической теории логического следования.
Концепция модальной логики Я. Лукасевича.
Системы модальной логики.
Алетическая логика.
Темпоральная логика.
Деонтическая логика.
Эпистемическая логика.
Эпистемическая логика и теория возможных миров.
Ледников Е.Е., перевод, ISBN 978-5-903927-07-4.
Учебное пособие «Логика» состоит из двух книг: «Традиционная логика» и «Современная логика». В первой книге «Традиционная логика» в систематизированном, дидактически выдержанном виде раскрывается метод логики, анализируются основные формы и законы мышления. Значительное внимание уделяется логическому анализу естественного языка, который подводит к пониманию построения формализованного логического языка, а также обеспечивает эмпирическую основу для описания выводов и доказательств в рамках специальных формализованных языков.
Во второй книге «Современная логика» рассматриваются предпосылки возникновения современной логики, обосновывается деление классической логики на логику высказываний и логику предикатов, проводится типология и анализ формально-логических теорий в рамках логики высказываний и логики предикатов.
Данная книга также содержит достаточно подробное описание истоков неклассической логики, анализ канонических систем многозначной логики. На основе логико-философского анализа в книге дается характеристика подразделов системы модальной логики. Предлагаемое учебное пособие по логике способствует привитию элементов культуры мышления, а также росту интереса к современной логической науке.
Традиционная логика.
Предмет логики.
Формальные и содержательные правила рассуждения.
Абстрактное мышление и его характерные особенности.
Понятие формы мышления.
Основные формально-логические законы.
Истинность и формальная правильность рассуждения.
Мышление и язык.
Формализация как метод логики.
Семантический анализ выражений естественного языка.
Элементы теории имен.
Имя, смысл, значение.
Принципы отношения именования.
Функциональный анализ в логике.
Понятие функции.
Исторический характер логики как науки.
Логика Древней Индии.
Предшественники Аристотеля в Древней Греции.
Логическое учение Аристотеля.
Особенности логики стоиков.
Особенности схоластической логики.
Новаторские идеи логики Ф. Бэкона.
Современная формальная логика — второй этап в развитии логики.
как науки.
Понятие.
Характеристика предмета мысли, отображаемого в понятии.
Языковые средства выражения понятия.
Объем понятия. Элементы теории множеств.
Закон обратного отношения между содержанием и объемом понятия.
Суждение.
Суждения и предложения.
Виды суждений. Атрибутивные суждения.
Истолкование атрибутивных суждений в языке логики предикатов.
Суждения отношения.
Суждения существования.
Модальные суждения.
Виды сложных суждений.
Выражение сложных суждений языком логики высказываний.
Логические отношения между сложными суждениями.
Умозаключение.
Заключения из категорических высказываний.
Недедуктивные умозаключения.
Аргументация.
Понятие доказательства. Структура доказательства.
Современная логика.
Классическая логика.
Логика высказываний.
Алгебра логики высказываний.
Язык алгебраической системы логики высказываний.
Семантика логических символов.
Типология формул по семантическим признакам.
Нормальные формулы логики высказываний.
Исчисления логики высказываний.
Аксиоматическое исчисление логики высказываний.
Метатеорема о дедукции.
Натуральное исчисление логики высказываний.
Логика предикатов.
Алгебраическая система логики предикатов.
Язык алгебраической системы логики предикатов.
Проблема разрешимости.
Законы логики предикатов.
Процедуры разрешения для выражений логики предикатов.
Исчисления предикатов.
Аксиоматическое исчисление предикатов.
Неклассическая логика Многозначная логика.
Система многозначной логики Я. Лукасевича.
Многозначная логика Брауэра—Рейтинга.
Многозначная логика Е. Поста.
Трехзначная логика Д. Бочвара.
Модальная логика в начале XX в.
Критика К. Льюисом классической теории логического следования.
Концепция модальной логики Я. Лукасевича.
Системы модальной логики.
Алетическая логика.
Темпоральная логика.
Деонтическая логика.
Эпистемическая логика.
Эпистемическая логика и теория возможных миров.