Рабочая учебная программа для специальностей 1-40 01 01 «Программное обеспечение информационных технологий», 1-40 02 01 «Вычислительные машины, системы и сети»

Вид материала

Содержание

18 (количество часов) Всего аудиторных часов по дисциплине 34
Пояснительная записка
2. Перечень тем практических (семинарских) занятий
3.2. Дополнительная литература
4. Учебно-методическая карта дисциплины
С другими дисциплинами специальности

Подобный материал:

Учреждение образования

«Белорусский государственный университет

информатики и радиоэлектроники»

УТВЕРЖДАЮ

Декан факультета КСиС

_______ Б.В. Никульшин

___.____.2008

Регистрационный № УД-____/р.

Логика

Рабочая учебная программа для специальностей

1-40 01 01 «Программное обеспечение информационных технологий»,

1-40 02 01 «Вычислительные машины, системы и сети»,

1-31 03 04 «Информатика»

Факультет компьютерных систем и сетей

Кафедра философии

Курс второй

Семестр третий

Лекции 16 (количество часов) Экзамен ___–__(семестр)

Практические (семинарские) Зачет третий (семестр)

занятия 18 (количество часов)

Всего аудиторных часов

по дисциплине 34_____

Всего часов Форма получения

по дисциплине 50 высшего образования дневная

2008

Рабочая учебная программа составлена на основе типовой программы «Логика. Учебная программа для высших учебных заведений», утвержденной Министерством образования Республики Беларусь 24 января 2000 г., регистрационный № ТД – 72/тип и учебных планов специальностей

1-40 01 01 «Программное обеспечение информационных технологий»,

1-40 02 01 «Вычислительные машины, системы и сети»,

1-31 03 04 «Информатика».

Рассмотрена и рекомендована к утверждению на заседании кафедры философии

протокол № 23 от 17.06.2008 г.

Заведующий кафедрой Малыхина Г.И.

Одобрена и рекомендована к утверждению Советом факультета компьютерных систем и сетей Учреждения образования «Белорусский государственный университет информатики и радиоэлектроники»

протокол № от 2008 г.

Председатель Б.В. Никульшин

СОГЛАСОВАНО

Начальник ОМОУП______________Ц.С.Шикова

______________

ПОЯСНИТЕЛЬНАЯ ЗАПИСКА

Изучение курса «Логика» имеет целью выработку студентами основных элементов логической культуры.

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

1) усвоение теоретического материала;

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

Содержание и структура дисциплины

Изучение логики и овладение элементами логической культуры включает следующие виды занятий:

Семестр	Количество часов
Семестр	Лекции	Практические занятия
III	16	18

По окончании изучения курса «Логика» сдают теоретический и практический зачет.

Учебные часы распределяются следующим образом:

Название тем лекционных занятий, их содержание,

объем в часах

№ пп	Название темы	Содержание	Объем в часах
1	2	3	4
1.	Предмет логики и ее значение. Основные формы мышления и законы формальной логики	Логика как наука о формах и законах правильного мышления. Причины возникновения логики и основные этапы ее развития. Логика формальная, диалектическая и математическая. Основные формы мышления. Основные законы формальной логики: закон тождества, закон непротиворечия, закон исключенного третьего, закон достаточного основания.	2
2.	Понятие (имя) – исходная форма человеческого мышления	Понятие как исходный строительный материал для всех возможных форм мышления. Основные методы образования понятий: анализ, сравнение, синтез, абстрагирование и обобщение. Виды понятий. Отношения между понятиями. Практические операции с понятиями.	2
3.	Суждение (высказывание) и понятие истинности. Таблица истинности	Простые категорические суждения. Сложные суждения. Практические операции со сложными суждениями. Таблицы истинности	4
4.	Умозаключение (вывод) как сложнейшая форма мысли. Дедукция и индукция. Вывод по аналогии	Общее понятие об умозаключении. Понятие дедуктивного умозаключения. Понятие индуктивного умозаключения. Научная индукция. Популярная индукция. Неполная индукция. Вывод по аналогии	4
5.	Логические основы аргументации и критики. Разнообразие форм аргументации и ее критическое значение в науке. Аргументация и идеология	Понятие аргументации. Понятие доказательства. Понятие критики и опровержения. Правила аргументации и критики, доказательства и опровержения. Правила по отношению к тезису и антитезису. Возможные ошибки. Правила по отношению к аргументам. Возможные ошибки.	4
Итого за семестр			16

2. ПЕРЕЧЕНЬ ТЕМ ПРАКТИЧЕСКИХ (СЕМИНАРСКИХ) ЗАНЯТИЙ,

ИХ СОДЕРЖАНИЕ И ОБЪЕМ В ЧАСАХ

№ пп	Название темы	Содержание	Объем в часах
1	2	3	4
1.	Понятие и терминологическая культура	Понятие как "кирпичик" мысли, исходный строительный материал для всех возможных форм мышления. Структура понятия. Различие между понятиями по количественному и качественному признакам.	2
2.	Логические операции с понятиями	Отношения между понятиями. Практические операции с понятиями.	2
3.	Простые суждения	Суждение и понятие. Суждение и предложение. Виды суждений. Отношения между простыми суждениями по истинности. Логический квадрат	2
4.	Сложные суждения	Образование сложных суждений. Понятие о логическом союзе. Отношения между сложными суждениями. Таблицы истинности. Суждение и вопрос. Формализация законов логики высказываний	2
5.	Дедуктивные умозаключения. Выводы из простых суждений	Определение умозаключения, его структура и виды. Непосредственные умозаключения. Простой категорический силлогизм. Правила, фигуры и модусы. Сокращенные, сложные и сложносокращенные силлогизмы	4
6.	Дедуктивные умозаключения. Выводы из сложных суждений	Условные и условно-категорические силлогизмы. Разделительные и разделительно-категорические силлогизмы. Условно-разделительные силлогизмы. Дилеммы. Понятие о логике высказываний и логике предикатов	2
7.	Индуктивное умозаключение. Популярная и научная индукция. Методы научной индукции. Аналогия и моделирование	Определение индуктивных умозаключений и их отличие от дедуктивного вывода. Полная и неполная индукция. Популярная индукция. Методы научной индукции. Ошибки индуктивных выводов. Умозаключение по аналогии. Виды аналогий. Проблема, гипотеза, теория.	2
8.	Разнообразие форм аргументации и ее практическое значение в науке, политике, культуре. Аргументация и идеология	Аргументация как логико-коммуникативная процедура. Структура и виды аргументации. Диалог и его разновидности. Доказательство и его структура. Виды доказательства. Опровержение и его структура. Виды опровержения. Правила и ошибки доказательства и опровержения. Софизмы и парадоксы.	2
Итого			18

3. Литература

3.1. Основная литература

1. Малыхина, Г. И. Логика / Г. И. Малыхина. – Минск, 2002, 2003, 2005, 2007.

2. Берков, В. Ф. Логика / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич. – Минск, 1998.

3. Гетманова, А. Д. Логика / А. Д. Гетманова. – М., 1994.

4. Горский, Д. П. Краткий словарь по логике / Д. П. Горский. – М., 1991.

5. Иванов, Е. И. Логика / Е. И. Иванов. – М., 2000.

6. Ивин, А. А. Логика / А. А. Ивин. – М., 2000.

7. Кириллов, В. И. Логика / В. И. Кириллов, А. А. Старченко. – М., 1995.

8. Свинцов, В. И. Логика / В. И. Свинцов. – М., 1995.

9. Ивлев, Ю. В. Логика / Ю. В. Ивлев. – М. , 1997.

3.2. ДОПОЛНИТЕЛЬНАЯ ЛИТЕРАТУРА

Учебная и справочная литература

Аристотель. Органон. Соч. в 4-х т. Т. 2. / Аристотель. – М., 1976.
Арно, А. Логика, или Искусство мыслить / А. Арно, П. Николь. – М., 1991.
Асмус, В. Ф. Логика / В. Ф. Асмус. – М., 1947.
Астафьев, В. К. Законы мышления в формальной и диалектической логике / В. К. Астафьев. – Львов, 1968.
Бакрадзе, К. С. Логика / К. С. Бакрадзе. – Тбилиси, 1951.
Белнап, Н. Логика вопросов и ответов / Н. Белнап, Т. Стил. – М., 1982.
Берков, В. Ф. Логика вопросов в преподавании / В. Ф. Берков. – Минск, 1987.
Берков, В. Ф. Научная проблема: логико-гносеологический аспект /
В. Ф. Берков. – Минск, 1979.
Берков, В. Ф. Логика / В. Ф. Берков, Я. С. Яскевич, В. И. Павлюкевич. – Минск, 1997.
Бочаров, В. А. Основы логики / В. А. Бочаров, В. И. Маркин. – М., 1994.
Бродский, И. Н. Отрицательные высказывания / И. Н. Бродский. – Л., 1973.
Бродский, И. Н. Элементарное введение в символическую логику /
И. Н. Бродский. – Л., 1972.
Брутян, Г. А. Аргументация / Г. А. Брутян. – Ереван, 1984.
Брюшинкин, В. Н. Практический курс логики для гуманитариев /
В. Н. Брюшинкин. – М., 1996.
Бэкон, Ф. Новый органон. Соч. в 2-х т. Т. 2. / Ф. Бэкон. – М., 1978.
Васильев, Н. А. Воображаемая логика / Н. А. Васильев. – М., 1989.
Вертгеймер, М. Продуктивное мышление / М. Вертгеймер. – М., 1987.
Войшвилло, Е. К. Предмет и значение логики / Е. К. Войшвилло. – М., 1960.
Гетманова, А. Д. Логика / А. Д. Гетманова. – М., 1986, 1994.
Логика / А. Д. Гетманова [и др.]. – М., 1992.
Гжегорчик, А. Г. Популярная логика / А. Г. Гжегорчик. – М., 1979.
Краткий словарь по логике / Горский Д. П. [и др.]. – М., 1991.
Горский, Д. П. Логика / Д. П. Горский. – М., 1963.
Григорьев, Б. В. Классическая логика / Б. В. Григорьев. – М., 1996.
Елсуков, А. Н. История античной гносеологии / А. Н. Елсуков. – Минск, 1992.
Жегалин, В. А. К проблеме машинизации учебной деятельности /
В. А. Жегалин // Вопросы методологии. – М., 1991. – №3.
Жоль, К. К. Логика в лицах и символах / К. К. Жоль. – М., 1993.
Зегет, В. Элементарная логика / В. Зегет. – М., 1985.
Иванов, Е. И. Логика / Е. И. Иванов. – 2-е изд-е.– М., 2000.
Ивин, А. А. По законам логики / А. А. Ивин. – М., 1983.
Ивин, А. А. Логика / А. А. Ивин. – М., 2000.
Ивин, А. А. Теория аргументации / А. А. Ивин. – М., 2000.
Ивин, А. А. Искусство правильно мыслить / А. А. Ивин. – М., 1990.
Ивлев, Ю. В. Курс лекций по логике / Ю. В. Ивлев. – М., 1988.
Ивлев, Ю. В. Логика / Ю. В. Ивлев. – М., 1992, 1997.
Ильенков, Э. В. Диалектическая логика / Э. В. Ильенков. – М., 1974.
История логики / под общ. ред. В. Ф. Беркова. – Минск, 2000.
Казаков, А. Н. Логика – I. Парадоксология / А. Н. Казаков, А. О. Якушев. – Ижевск, 1999.
Кант, И. Логика. Трактаты и письма / И. Кант. – М., 1980.
Кириллов В. И. Логика / В. И. Кириллов, А. А. Старченко. – М., 1982, 1987, 1995.
Кликс, Ф. Пробуждающееся мышление / Ф. Кликс. – М., 1983.
Клини, С. Математическая логика / С. Клини. – М., 1973.
Кобзарь, В. И. Основы логических знаний / В. И. Кобзарь. – СПб., 1994.
Кондаков, Н. И. Логический словарь-справочник / Н. И. Кондаков. – М., 1971, 1976.
Кудрин, А. К. Логика и истина / А. К. Кудрин. – М., 1980.
Ладенко, И. С. Становление и развитие идей генетической логики /
И. С. Ладенко // Вопросы методологии. – М., 1991 – №3.
Леммерман, Х. Учебник риторики / Х. Лиммерман. – М., 1998.
Логика / под общ. ред. В. Ф. Беркова. – Минск, 1994.
Логика: логические основы общения / В. Ф. Берков [и др.]. – М., 1994.
Логика: логические основы общения : хрестоматия / сост. В. Ф. Берков
и др. – М., 1994.
Логика и риторика : хрестоматия / сост.: В. Ф. Берков, Я. С. Яскевич. – Минск, 1997.
Логика и компьютер / науч. ред. Е. Д. Смирнова. – М., 1990.
Маковельский, А. О. История логики / А. О. Маковельский. – М., 1967.
Малыхина, Г. И. Логика / Г. И. Малыхина. – Минск, 2000.
Математическая логика / под общ. ред. А. А. Столяра. – Минск, 1991.
Мельников, В. Н. Логические задачи / В. Н. Мельников. – Киев–Одесса, 1989.
Логика: наука и искусство / В. С. Меськов [и др.]. – М., 1992.
Методы логического анализа. – М., 1977.
Милль, Д. С. Система логики силлогистической и индуктивной /
Д. С. Милль. – М., 1914.
Мичи, Д. Компьютер – творец / Д. Мичи, Р. Джонстон. – М., 1987.
Мулуд, Н. Анализ и смысл / Н. Мулуд. – М., 1979.
Об искусстве полемики. – М., 1982.
Павлова, К. Г. Искусство спора: логико-психологические аспекты /
К. Г. Павлова. – М., 1988.
Петров, Ю. А. Азбука логичного мышления / Ю. А. Петров. – М., 1991.
Петров, Ю. А. Культура мышления / Ю. А. Петров. – М., 1990.
Поварнин, С. И. Искусство спора / С. И. Поварнин. – Пг., 1923, СПб., 1996.
Поварнин С. И. О теории и практике спора / С. И. Поварнин // Вопросы философии. – 1990. – №3.
Поварнин, С. И. Спор. О теории и практике спора / С. И. Поварнин. –Псков, 1994.
Пойа, Д. Математика и правдоподобные рассуждения / Д. Пойа. – М., 1975.
Попов, П. С. Развитие логических идей от Античности до эпохи Возрождения / П. С. Попов, Н. И. Стяжкин. – М., 1974.
Поппер, К. Логика и рост научного знания / К. Поппер. – М., 1983.
Радченко, О. И. К вопросу о логико-гносеологической природе аналогий / О. И. Радченко. – Краснодар, 1986.
Речевое общение и аргументация. – СПб., 1993.
Сапая, К. Д. Логическая форма и объективное познание / К. Д. Сапая. – Тбилиси, 1985.
Светлов, В. А. Практическая логика / В. А. Светлов. – СПб., 1997.
Свинцов, В. И. Логика / В. И. Свинцов. – М., 1987, 1995.
Сергеич, П. Искусство речи на суде / П. Сергеич. – М., 1960.
Серебрянников, О. Ф. Дедуктивные умозаключения / О. Ф. Серебрянников, И. Н. Бродский. – Л., 1969.
Слинин, Я. А. Современная модальная логика / Я. А. Слинин. – Л., 1976.
Сопер, П. Основы искусства речи / П. Сопер. – М., 1992.
Стяжкин, Н. И. Формирование математической логики / Н. И. Стяжкин. – М., 1967.
Тымцяс, В. Г. Логика. Курс лекций / В. Г. Тымцяс. – М., 1999.
Федоров, Б. И. Логика компьютерного диалога / Б. И. Федоров, З. О. Джалиашвили. – М., 1994.
Философия, логика, язык / общ. ред. Д. П. Горского, В. В. Петрова. – М., 1987.
Философский энциклопедический словарь. – М., 1989.
Формальная логика / под ред. И. А. Чупахина и И. Н. Бродского. – Л., 1977.
Ван Еемерен, Франс Х. Аргументация, коммуникация и ошибки / Франс Х. Ван Еемерен, Роб. Гроотендорст. – СПб., 1992.
Хаваш, К. Так – логично! / К. Хаваш. – М., 1985.
Хилькевич, А. П. Проблема расширения традиционной силлогистики /
А. П. Хилькевич. – Минск, 1981.
Хинтикка, Я. Логико-эпистемические исследования / Я. Хинтикка. – М., 1980.
Челпанов, Г. И. Учебник логики / Г. И. Челпанов. – М., 1946, 1994.
Черч, А. Введение в математическую логику. Т.1. / А. Черч. – М., 1960.
Чупахин, И. А. Методологические проблемы теории понятия / И. А. Чупахин. – М., 1973.
Щедровицкий, Г. П. Мышление по схемам многих знаний / Г. П. Щедровицкий // Вопросы методологии. – М., 1991. – №3.
Эндрю, А. Искусственный интеллект / А. Эндрю. – М., 1985.
Яскевич, Я. С. В поисках идеала строгого мышления / Я. С. Яскевич. – Минск, 1989.
Яскевич, Я. С. Аргументация в науке / Я. С. Яскевич. – Минск, 1992.

Логический практикум

Айзенк, Г. Ю. Проверьте свои способности / Г. Ю. Айзенк. – М., 1972.
Байиф, Ж.-К. Логические задачи / Ж.-К. Байиф. – М., 1983.
Берков, В. Ф. Логика: задачи и упражнения. Практикум / В. Ф. Берков. – Минск, 2000.
Бизам, Д. Игра и логика. 85 логических задач / Д. Бизам, Я. Герцег. – М., 1975.
Буданков, Л. Ф. 200 логических и занимательных задач / Л. Ф. Буданков. – Тула, 1972.
Ведин, Ю. Н. Упражнения по формальной логике / Ю. Н. Ведин. – Рига, 1968.
Гетманова, А. Д. Логика. Словарь и задачник / А. Д. Гетманова. – М., 1998.
Ивлев, Ю. В. Логика. Сборник упражнений / Ю. В. Ивлев. – М., 1999.
Игнатьев, Е. И. В царстве смекалки / Е. И. Игнатьев. – М., 1979.
Курбатов, В. И. Логика в вопросах и ответах / В. И. Курбатов. – Ростов н/Д, 1997.
Кэрролл, Л. Логическая игра / Л. Кэрролл. – М., 1991.
Мельников, В. Н. Логические задачи / В. Н. Мельников. – Киев–Одесса, 1989.
Павлова, К. Г. Задачи и упражнения по логике / К. Г. Павлова. – Владивосток, 1985.
Сборник упражнений по логике / под ред. А. С. Клевчени и В. И. Бартона. – Минск, 1990.
Смаллиан, Р. М. Как же называется эта книга? / Р. М. Смаллиан. – М., 1981.
Смаллиан, Р. Принцесса или тигр? / Р. М. Смаллиан. – М., 1985.
Смаллиан, Р. Алиса в стране смекалки / Р. М. Смаллиан. – М., 1987.
Тоноян, Л. Г. Сборник задач и упражнений по логике / Л. Г. Тоноян. – СПб., 1999.
Упражнения по логике / под ред. В. И. Кириллова. – М., 1990.
Уёмов, А. И. Задачи и упражнения по логике / А. И. Уёмов. – М., 1961.
Яшин, Б. Л. Задачи и упражнения по логике / Б. Л. Яшин. – М., 1996.

4. Учебно-методическая карта дисциплины

«ЛОГИКА»

Номер недели	Номер темы (по п.1)	Название вопросов, которые изучаются на лекциях	Практические (семинарские) занятия (номера) (по п.2)	Литература (номера) (по п.3)	Наглядные и методические пособия	Самостоятельная работа студентов (часов)	Формы контроля знаний студентов
1	2	3	4	5	6	7	8
1, 2	1	Предмет логики и ее значение. Мышление и язык. Естественные и искусственные языки. Язык логики – исчисление высказываний и исчисление предикатов.	-	1, гл. I, § 1.1-1.4, с. 3-24		-	Решение логических задач, семестровые контрольные, тесты
3,4	2	Понятие как простейшая форма мысли. Методы образования понятий. Структура и виды понятий. Отношения между понятиями по объему и содержанию. Логические операции с понятиями: определение, деление, обобщение и ограничение. Значение категориальной культуры в учебной практике.	1	1, гл. II, § 2.1-2.5.1, с. 25-59		-	Решение логических задач, семестровые контрольные, тесты
5, 6	3	Логический анализ простых категорических суждений (п.к.с.). Структура категорических суждений. Классификация п.к.с. по качеству и количеству. Логический квадрат. Операции с п.к.с.: обращение, превращение, противопоставление.	2	1, гл. III, § 3.1-3.1.5, с. 60-91		-	Решение логических задач, семестровые контрольные, тесты
7, 8	3	Логический анализ сложных суждений. Таблицы истинности. Логика вопросов и ответов.	3	1, гл. III, § 3.2-3.2.3, § 3.3-3.3.4, с. 92-113		-	Решение логических задач, семестровые контрольные, тесты
9, 10	4	Понятие логического закона. Понятие логической ошибки. Понятие истинности мышления. Основные законы логики.	4	1, гл. IV, § 4.1-4.2, с. 114-124		-	Решение логических задач, семестровые контрольные, тесты
11, 12	5	Теория логического вывода. Определение умозаключения. Разновидности умозаключений. Простой категорический силлогизм (п.к.с.). Правила п.к.с. Фигуры и модусы п.к.с.	5	1, гл. V, § 5.1-5.1.4, с. 125-164		-	Решение логических задач, семестровые контрольные, тесты
13, 14	6	Дедуктивные выводы из сложных суждений. Условно-категорические, разделительно-категорические и условно-разделительные выводы. Процедура проверки правильности выводов.	6	1, гл. VI, § 6.1-6.1.3, с. 165-175		-	Решение логических задач, семестровые контрольные, тесты
15, 16	7	Понятие недедуктивного вывода. Индукция и ее разновидности. Полная индукция. Популярная и научная индукция. Умозаключение по аналогии.	7	1, гл. VII, § 7.1-7.3, с. 176-191		-	Решение логических задач, семестровые контрольные, тесты
17	8	Логическая теория аргументации. Логический и коммуникативный аспекты аргументации. Доказательство и опровержение. Структура, виды и ошибки обоснования.	8	1, гл. VIII, § 8.1-8.2.4, с. 192-220		-	Решение логических задач, семестровые контрольные, тесты
		Зачет

6. Протокол согласования учЕбной программы

по изучаемой учебной дисциплине

С ДРУГИМИ ДИСЦИПЛИНАМИ СПЕЦИАЛЬНОСТИ

Название дисциплины, с которой требуется согласование	Кафедра, обеспечивающая изучение этой дисциплины	Предложения об изменениях в содержании учебной программы по изучаемой дисциплине	Решение, принятое кафедрой, разработавшей учебную программу (с ука- занием даты и но- мера протокола)
1	2	3	4
Данная дисциплина не требует согласования с другими дисциплинами

Зав. кафедрой философии Г.И. Малыхина

Blog

Рабочая учебная программа для специальностей 1-40 01 01 «Программное обеспечение информационных технологий», 1-40 02 01 «Вычислительные машины, системы и сети»

Содержание

3. Литература

4. Учебно-методическая карта дисциплины