Логика – наука, необходимая любому современному специалисту как в теоретическом, так и в практическом отношении. Знание логики позволяет корректно использовать концептуальный аппарат своей науки, грамотно готовить и анализировать документы, четко и ясно формулировать суть возникающих в процессе профессиональной деятельности проблем, правильно выдвигать и эффективно проверять гипотезы (версии), доказательно строить публичные выступления.br/Данное пособие рассчитано на стандартный курс логики, читаемый бакалаврам и специалистам в высших учебных заведениях. Оно позволяет получить знания об основных принципах и понятиях логики, понять сущность применяемых в ней методов, узнать законы и правила различных логических теорий, а также основные ошибки, связанные с их нарушением. Особый акцент делается на выработке практических навыков решения различных логических задач и упражнений, четкого и ясного формулирования мыслей, построения выводов и доказательств, определений и классификаций, опровержения логически некорректных умозаключений. В ней использовано большое количество практических примеров, книга активно стимулирует эвристическое мышления при помощи разного рода парадоксов, головоломок, моделирования нестандартных познавательных ситуаций.

Цели и задачи дисциплины «Логика»
ее место в учебном процессе......5 Раздел I. Природа логического знания......7 Тема I. Предмет и основные понятия логики.......7 § 1. Возникновение логики......13 § 2. Предмет логики......14 § 3. Понятие логической формы......16 § 4. Логическое следование
логические законы
логические теории.......18 Тесты......21 Тема II. Логика и язык......25 § 1. Язык как знаковая система......31 § 2. Смысл и значение знака. Семантические категории.......31 § 3. Естественные и искусственные языки.......33 § 4. Принципы теории именования.......34 § 5. Логико-семантические парадоксы.......35 Тесты......40 Раздел II. Дедуктивная логика......43 Тема III. Классическая логика высказываний.......43 § 1. Язык и семантика КЛВ.......49 § 2. Основные законы КЛВ.......51 § 3. Логические отношения между формулами КЛВ.......53 § 4. Основные способы умозаключений КЛВ......56 § 5. Классическое исчисление высказываний.......58 Тесты......63 Тема IV. Классическая логика предикатов.......69 § 1. Язык КЛП первого порядка.......74 § 2. Семантика КЛП. Интерпретации и модели.......76 § 3. Основные законы КЛП.......78 § 4. Классическое исчисление предикатов.......80 Тесты......85 Тема V. Силлогистика.......88 § 1. Состав и виды простых атрибутивных высказываний......94 § 2. Язык и семантика силлогистики.......94 § 3. Логические отношения между атрибутивными высказываниями......97 § 4. Непосредственные умозаключения.......98 § 5. Простой категорический силлогизм.......101 § 6. Энтимемы и полисиллогизмы.......104 Тесты......106 Тема VI. Теория бинарных отношений......110 § 1. Отношения и их виды......115 § 2. Язык и семантика теории бинарных отношений.......116 § 3. Основные законы теории бинарных отношений.......119 § 4. Логические свойства бинарных отношений......120 Тесты......122 Раздел III. Индуктивная логика.......125 Тема VII. Обобщающая индукция.......125 § 1. Дедукция и индукция как способы познания.......131 § 2. Математическая вероятность как мера правдоподобности.......132 § 3. Понятие подтверждающего примера.......132 § 4. Полная индукция.......134 § 5. Неполная индукция.......136 Тесты......139 Тема VIII. Исключающая индукция и аналогия......143 § 1. Понятие о причинной зависимости......148 § 2. Методы установления причинных зависимостей.......149 § 3. Умозаключения по аналогии......152 Тесты......156 Раздел IV. Теория понятий и определений.......159 Тема IX. Понятие.......159 § 1. Общая характеристика понятий.......165 § 2. Виды понятий.......166 § 3. Булевы операции над понятиями.......168 § 4. Отношения между понятиями по объему.......169 § 5. Обобщение и ограничение понятий......172 § 6. Деление и классификация.......173 Тесты......177 Тема X. Определение.......181 § 1. Определение и приемы
сходные с ним.......187 § 2. Явные определения.......188 § 3. Неявные определения.......189 § 4. Контекстуальные и неконтекстуальные определения......191 § 5. Реальные и номинальные определения......192 § 6. Правила определения.......193 Тесты......195 Ответы и решения к упражнениям......198 Методические указания по выполнению контрольных работ......203 Варианты контрольных работ......205 Темы для докладов и рефератов......215 Глоссарий.......216 Список рекомендуемой литературы.......227

Горбатов В.С.
Кандидат технических наук, заместитель декана факультета информационной безопасности Московского инженерно-физического института (государственного университета), доцент кафедры защиты информации, читает курс лекций по организационно-правовым методам защиты информации, внес большой вклад в формирование учебного процесса специальности 090105 «Комплексное обеспечение информационной безопасности автоматизированных систем» на факультете, автор более 50 научных трудов.