- •Тема 1. Предмет и значение науки логики. Формальный язык и семантические категории (лекция, практическое занятие).
- •Язык – это знаковая система, материальная форма, посредством которой люди выражают мысли.
- •Имена в высказывании играют разную роль:
- •Вопросы для самопроверки
- •Дополнительная литература
Имена в высказывании играют разную роль:
Первое обозначает предмет, о котором говорится и называется субъектом (S);
второе – обозначает признаки этого предмета . и называется предикатом (P).
При этом несколько субъектов могут иметь один предикат, и, наоборот, один субъект может иметь несколько предикатов
Формальные структурные свойства мышления, отражающие некоторые свойства реальной действительности нашли свое выражение в процедуре установления семантического отношения следования (p ╞ q), которое означает, что из истинности p следует истинность q, то есть q выводимо из p с помощью некоторых четко описанных правил.
Вопросы для самопроверки
Что является предметом формальной логики и в чем ее значение?
К чему приводит обобщение знания об отдельных предметах и их свойствах и отношениях?
Чем отличается логическая форма от формы предметов?
Какие значения принимают логические высказывания?
Что такое семантические категории?
Распределение часов курса по темам и видам работ (дневное отделение)
№ |
Название раздела, темы |
Количество часов |
|||
Аудиторные занятия |
Самостоятельная работа |
ВСЕГО
|
|||
Лекции |
Семинары |
|
|||
1 |
Предмет и значение науки логики. Формальный язык и семантические категории |
2 |
2 |
7 |
11 |
2 |
Понятие как форма мысли и итог познания |
2 |
|
3,5 |
5,5 |
3 |
Логические операции над понятиями |
|
2 |
3,5 |
5,5 |
4 |
Суждение как форма мышления |
2 |
|
3,5 |
5,5 |
5 |
Логические операции с суждениями |
|
2 |
3,5 |
5,5 |
6 |
Умозаключение как форма выводного знания |
2 |
|
35 |
5,5 |
7 |
Логические операции с умозаключениями |
|
2 |
3,5 |
5,5 |
8 |
Силлогизм как опосредованное умозаключение |
2 |
|
3,5 |
5,5 |
9 |
Логические операции с категорическим силлогизмом и его модификациями |
|
2 |
3.5 |
5,5 |
10 |
Доказательство и опровержение |
2 |
|
3,5 |
5,5 |
11 |
Правила и ошибки в доказательстве и опровержении |
|
2 |
3,5 |
5,5 |
12 |
Гипотеза и ее познавательное значение |
2 |
|
3,5 |
5,5 |
13 |
Дедукция, индукция и аналогия в правдоподобных умозаключениях |
|
2 |
3,5 |
5,5 |
14 |
Методы установления причинной связи |
2 |
|
3,5 |
5,5 |
15 |
Условные умозаключения |
|
2 |
3,5 |
5,5 |
16 |
Основные законы логики |
2 |
|
5 |
7 |
17 |
Элементы логики высказываний |
|
2 |
5 |
7 |
|
ИТОГО |
18 |
18 |
66 |
102 |
Учебно-методическое обеспечение курса
Основная литература
Бочаров В.А., Маркин В.И. Основы логики. - М.,1997
Войшвилло Е.К. Понятие как форма мышления. - М.,1989
Войшвилло Е.К. Символическая логика: классическая и релевантная. - М.,1989
Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. - М.,1994
Ивлев Ю.В. Логика. - М.,1997
Ивлев Ю.В. Модальная логика. - М.,1991
Кайберг Г. Вероятность и индуктивная логика. - М.,1978 Карнап Р. Значение и необходимость. - М.,1959
Карнап Р. Философские основания физики. - М.,1971
Карпенко А.С. Пропозициональная многозначная логика. - М., 1986
Костюк В.Н. Элементы модальной логики. - Киев,1978 Мендельсон Э. Введение в математическую логику. - М.,1984
Поварнин С.И. Искусство спора. - М.,1992
Смирнова Е.Д. Основы логической семантики. - М.,1990