Имена в высказывании играют разную роль:

Первое обозначает предмет, о котором говорится и называется субъектом (S);

второе – обозначает признаки этого предмета . и называется предикатом (P).

При этом несколько субъектов могут иметь один предикат, и, наоборот, один субъект может иметь несколько предикатов

Формальные структурные свойства мышления, отражающие некоторые свойства реальной действительности нашли свое выражение в процедуре установления семантического отношения следования (p ╞ q), которое означает, что из истинности p следует истинность q, то есть q выводимо из p с помощью некоторых четко описанных правил.

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

1. Что является предметом формальной логики и в чем ее значение?

2. К чему приводит обобщение знания об отдельных предметах и их свойствах и отношениях?

3. Чем отличается логическая форма от формы предметов?

4. Какие значения принимают логические высказывания?

5. Что такое семантические категории?

Распределение часов курса по темам и видам работ (дневное отделение)

№	Название раздела, темы	Количество часов
		Аудиторные занятия		Самостоятельная работа	ВСЕГО
		Лекции	Семинары
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

Учебно-методическое обеспечение курса

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

1. Бочаров В.А., Маркин В.И. Основы логики. - М.,1997

2. Войшвилло Е.К. Понятие как форма мышления. - М.,1989

3. Войшвилло Е.К. Символическая логика: классическая и релевантная. - М.,1989

4. Войшвилло Е.К., Дегтярев М.Г. Логика как часть теории познания и научной методологии. - М.,1994

5. Ивлев Ю.В. Логика. - М.,1997

6. Ивлев Ю.В. Модальная логика. - М.,1991

7. Кайберг Г. Вероятность и индуктивная логика. - М.,1978 Карнап Р. Значение и необходимость. - М.,1959

8. Карнап Р. Философские основания физики. - М.,1971

9. Карпенко А.С. Пропозициональная многозначная логика. - М., 1986

10. Костюк В.Н. Элементы модальной логики. - Киев,1978 Мендельсон Э. Введение в математическую логику. - М.,1984

11. Поварнин С.И. Искусство спора. - М.,1992

Смирнова Е.Д. Основы логической семантики. - М.,1990