Тема 3 Сложные высказывания и формализация информации.

Цель данной темы – сформировать у студентов представление о формализации как одном из важнейших методов научного исследования.

Для достижения этой цели предполагается решить следующие задачи:

- представить студентам на современном уровне логический подход к анализу сложных высказываний;

- сообщить учащимся базовые сведения о принципах построения языка пропозициональной логики;

- познакомить учащихся с примерами применения языка пропозициональной логики для решения логических задач.

Содержание темы:

Сложные высказывания и его виды. Естественный и искусственные языки. Синтаксис и семантика языка пропозициональной логики. Цели формализации информации. Применение языка пропозициональной логики к решению логических задач.

Методы освоения темы.

Лекционные занятия - 2 часа.

Самостоятельная работа студентов с материалами учебно-методического комплекса, учебника «Элементы логической культуры», периодической печати, сети Intenet.

Вопросы и задания для самостоятельной работы:

- Ознакомьтесь с материалами учебника и учебно-методического комплекса, посвященными вопросам, рассматриваемым в данной теме (см.: литературу).

- Поупражняйтесь в переводе текстов с естественного языка на язык пропозициональной логики. (Если Вы затрудняетесь в выборе текста для данной работы, обратитесь к преподавателю). Постройте для полученных вами формул таблицы истинности.

- На сайте http://golovolomka.hobby.ru ознакомьтесь с логическими задачами из работ Р. Смаллиана. Попробуйте решить не менее 5 задач, привлекая имеющиеся у Вас сведения о языке пропозициональной логики.

- Получите в кабинете гуманитарных наук вариант домашнего контрольного задания. Сделайте задания, относящиеся к данной теме.

Эссе, рефераты или доклады по модулю (теме): не предусмотрены

Вопросы для самопроверки:

Что такое сложное высказывание?

Что такое синтаксис языка?

Что такое семантика языка?

Чем отличается отношение между синтаксисом и семантикой в естественном (русском) языке и искусственном языке?

Какие основные логические союзы Вы можете указать?

Зачем нужна формализация?

Требования к результатам освоения материала

В результате изучения темы студент должен:

- иметь представление о роли формальных методов в научном исследовании;

- знать основные логические союзы;

- уметь осуществлять перевод предложений естественного языка на язык пропозициональной логики;

- обладать навыками применения языка пропозициональной логики к решению логических задач.

Литература [6., c.140-70], [16., c.10-30]

Тема 4 Основы аргументации и доказательство

Цель данной темы: представить учащимся на современном уровне основные сведения об аргументации как необходимой составляющей научной и технической деятельности.

Для достижения данной цели предполагается решить следующие задачи:

- сообщить учащимся базовые сведения о роли аргументации в интеллектуальной деятельности;

- сформировать представление о доказательстве, его структуре и видах;

- развить навык анализа структуры и корректности аргументации (доказательства), представленных в текстах.

Содержание темы:

Аргументация и ее виды. Доказательство и его структура. Виды доказательств. Правила построения доказательства. Ошибки в доказательстве. Опровержение как способ аргументации. Уловки споре. Софизмы.

Методы освоения темы

Лекционные занятия - 2 часа.

Самостоятельная работа студентов с материалами учебно-методического комплекса, учебника «Элементы логической культуры», периодической печати, сети Intenet.

Вопросы и задания для самостоятельной работы:

- Ознакомьтесь с материалами учебника и учебно-методического комплекса, посвященными вопросам, рассматриваемым в данной теме (см.: литературу).

- Поупражняйтесь в анализе структуры и корректности доказательств, на примерах различных текстов.

- Посмотрите по телевидению какую-либо передачу, содержащую дискуссию между участниками. Установите, соответствуют ли их выступления правилам построения аргументации.

- Выполните в домашней контрольной работе задания, относящиеся к данной теме.

Эссе, рефераты или доклады по модулю (теме): не предусмотрены

Вопросы для самопроверки:

Что такое аргументация?

Зачем нужна аргументация в науке?

Что такое доказательство?

Какова структура доказательства?

Какие виды доказательств Вы можете указать? Каковы правила их построения?

Что такое опровержение?

Что такое софизм?

Требования к результатам освоения материала

В результате освоения темы студент должен:

- знать, что такое доказательство и какова его роль в научной работе;

- иметь навыки анализа текстов, содержащих аргументацию на предмет правильности последней;

- уметь строить основные виды доказательств.

Литература [1., c.129-148, 165-181], [2., c.42-45]