Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Логика_УМК_Терлюкевич2012.pdf
Скачиваний:
186
Добавлен:
31.05.2015
Размер:
1.11 Mб
Скачать

ВВЕДЕНИЕ.

Логика исследует структуру рассуждения, раскрывает лежащие в его основе закономерности, которые выражают существенные свойства мышления. В них отражаются объективные характеристики и отношения природного мира и многовековой опыт практической и общественной деятельности человека. Знание логики позволяет выявлять внутренние и необходимые признаки предметов, уточнять значение терминов, формулировать ясные и четкие высказывания, мыслить системно и последовательно, а, столкнувшись с необычным явлением, быстро и эффективно устанавливать его сущность, быть внимательным к логическим противоречиям, недозволенным приемам в доказательствах и опровержениях.

Учебно-методический комплекс разработан в соответствии с требованиями программы по курсу логики для вузов Республики Беларусь с учетом преподавания предметов в техническом вузе. Учитывается тот факт, что в учебных планах обучения различным специальностям на изучение курса логики отводится 36 учебных часов с разным соотношением лекционных и практических занятий.

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

Программа по логике подготовлена для студентов БНТУ.

Изучение логики позволит студентам активно использовать элементы разговорного и научного языка в инженерной деятельности, грамотно выполнять логические операции: как определение и деление понятий, установить истинность (ложность) высказываний, ставить вопросы, оценивать ответы, формировать логическую культуру полемики и т. д.

Курс рассчитан на 36/18 часов, включает тематику лекций и семинарских занятий, вопросы и задачи к зачёту как форме контроля.

Наименование темы

Количество часов

пп

 

Лекции

Семинары

1.

Предмет и значение логики

2

2.

Имена

4

4

3.

Высказывания

4

4

4.

Законы логики

2

6

5.

Силлогистика

4

4

6.

Вероятностные выводы

2

7.

Аргументация

2

2

8.

Логика и техника

2

ИТОГО:

18

18

7

ТЕМА 1. ПРЕДМЕТ И ЗНАЧЕНИЕ ЛОГИКИ.

Мышление как предмет изучения логики. Понятие о формах и законах мышления.

Язык как знаковая система. Естественный и искусственный язык. Формализованный язык логики. Семантические категории.

Логика формальная и диалектическая. Релейные устройства и логика. Основные направления развития современной и формальной логики. Общение и понимание.

ТЕМА 2. ИМЕНА.

Общая характеристика имени. Содержание и объём имени. Класс (множества). Виды имён. Ограничение и обобщение имён. Отношение между именами по объёму и содержанию. Деление объёма имён. Виды и правила деления. Классификация. Определение. Виды определения. Основные правила определения.

ТЕМА 3. ВЫСКАЗЫВАНИЯ.

Общая характеристика высказывания. Высказывание, суждение и предложение. Простые высказывания, их виды и состав. Классификация высказываний, по качеству и количеству. Распределённость терминов в высказываниях. Логические отношение между высказываниями. Характеристика и виды высказываний. Понятие о логическом союзе. Конъюктивные высказывания. Дизъюнктивные высказывания. Высказывания эквивалентности. Отрицание. Сложные высказывания и релейно-контактные схемы. Тождественноистинные формулировки (логический закон).

ТЕМА 4. СИЛЛОГИСТИКА.

Непосредственные силлогические выводы: обверсия, конверсия. Контрапозиция. Простой категорический силлогизм и его структура. Аксиома силлогизма. Общие правила категорического силлогизма. Фигуры простого категорического силлогизма. Энтимема.

8

ТЕМА 5. ВЕРОЯТНОСТНЫЕ ВЫВОДЫ.

Полная и неполная индукция. Индуктивные методы установления причинной связи явлений: метод сходства, метод различия, метод сопутствующих изменений, метод остатков. Аналогия, виды аналогий.

ТЕМА 6. АРГУМЕНТАЦИЯ.

Логическая структура аргументации. Виды аргументации: доказательство, опровержение, подтверждение, оправдание и т. д. Правила аргументации. Тактические приёмы аргументации.

Спор, дискуссия, полемика. Классификация споров. Культура спора. Полемические приёмы.

ТЕМА 7. ЛОГИКА И ТЕХНИКА.

Использование понятийно-терминологического аппарата логики при конструировании и наладке систем, работающих в двузначном режиме: конъюнкция, слабая дизъюнкция, отрицание. Законы логики высказываний и упрощение структурной схемы устройства.

Компьютерные системы и теория алгоритмов, теория рекурсивных функций.

9