- •В.Т. Мануйлов, в.В. Мороз логика
- •Часть первая
- •Предисловие
- •Содержание курса
- •Тема 1. Предмет и значение логики
- •Тема 2. Основные семантические категории языка логики Фреге-Расселовского типа (ялфрт)
- •Тема 3. Понятие
- •Тема 4. Суждение
- •Тема 6. Дедуктивная система (теория) и формальный вывод
- •Тема 7. Правдоподобные (редуктивные, вероятностные) рассуждения
- •Тема 5. Умозаключение
- •Тема 8. Логические основы теории аргументации
- •Примерное распределение учебного времени
- •Тема 1. Предмет и значение логики
- •Законы логики
- •Принципы построения символических формализованных языков логики
- •Примеры знаковых ситуаций
- •Тема 2. Основные семантические категории языка логики Фреге-Расселовского типа (ялфрт)*
- •Cхема 2.3. Семантика предложения ялфрт
- •Язык-объект и метаязык в логике
- •Синтактика ялфрт
- •Фундаментальное индуктивное определение правильно построенного терма (ппт)
- •Фундаментальное индуктивное определение правильно построенной формулы (ппф)
- •Общие семантические правила ялфрт
- •Языки логики высказываний и логики предикатов
- •Язык логики высказываний (ялв)
- •Логическая форма
- •Примеры решения задач на нахождение логическиx форм
- •Тема 3. Понятие
- •Виды понятий
- •Отношения между понятиями
- •Действия с понятиями
- •Правила деления понятий
- •Определение (дефиниция) понятия
- •Правила явного определения
- •Примеры решения задач
- •Оо: упорядоченные двойки (пары) людей
- •Оо: люди
- •Оо: люди
- •Оо: люди
- •Заключение
Предисловие
Необходимым условием гуманитаризации современного образования является воспитание культуры логического мышления, что невозможно осуществить без изучения курса логики в высших учебных заведениях. Особое значение приобретает логика в структуре учебных курсов тех специальностей, для которых знание и использование логических процедур является необходимым элементом профессиональной квалификации. К таким специальностям традиционно относятся философия, психология, юриспруденция, педагогика, естественно-научные специальности. В последнее время в связи с компьютеризацией научной и педагогической деятельности этот круг значительно расширяется; так, если первое издание «Handbook of Philosophical Logic» в серии монографий журнала «Synthese», осуществленное между 1983 и 1989 годами, состояло из 4-х томов, то второе издание, предпринимаемое в настоящее время издательством «Kluwer», предполагается увеличить до 18-и томов, причем отдельные темы будут посвящены логике для программистов, для медиков, для юристов и т.д. Вместе с тем имеется общая база всех прикладных логик, существенной особенностью которой является использование формализованных языков логики. В данном третьем издании учебно-методического пособия сохраняется повышенное внимание к проблемам употребления языков логики при решении традиционных формально-логических задач. Одновременно увеличено число примеров решения задач, контрольных заданий, внесены уточнения в теоретический материал и расширен его объем. Цель учебно-методического пособия – ознакомить будущих выпускников гуманитарных специальностей высших учебных заведений с современными методами логического анализа текста и выработать навыки применения этих методов для решения конкретных задач в их профессиональной деятельности.
В пособии сохранено традиционное деление курса логики на темы; однако при рассмотрении классических проблем логики используются методы логико-семиотического аппарата современной символической логики. Материал пособия соответствует требованиям Государственного образовательного стандарта высшего профессионального образования РФ. Учебно-методическое пособие ориентировано на студентов гуманитарных специальностей высших учебных заведений; однако оно может быть использовано и студентами естественно-научных и технических специальностей.
Третье издание первой части учебно-методического пособия включает содержание курса логики, примерное распределение учебного времени по темам, методические указания, теоретический материал, образцы решения задач, примеры по темам «Предмет и значение логики», «Основные семантические категории языка логики Фреге-Расселовского типа (ЯЛФРТ)», «Понятие». По сравнению с первым изданием изменен список рекомендованной литературы, дополнены теоретическим материалом темы «Предмет и значение логики», «Основные семантические категории языка логики Фреге-Расселовского типа (ЯЛФРТ)»; тема «Понятие» снабжена теоретическим материалом. Исправлены опечатки и ошибки, допущенные в первом издании; уточнены определения логических терминов, увеличено число примеров.
Мануйлов В.Т., Мороз В.В.
