В.Т. Мануйлов, в.В. Мороз логика

УЧЕБНО-МЕТОДИЧЕСКОЕ ПОСОБИЕ

Часть первая

Курск

2009

ББК 87.4 Я73

М24

Печатается по решению редакционно-издательского совета

Курского государственного университета

М24 Мануйлов В.Т., Мороз В.В. Логика:Учебно-методическое пособие. Часть первая. Изд. 3-е, перераб. и доп. – Курск: Изд-во Курск. гос. ун-та, 2009. – 126 с.

1SBN

В третьем издании первой части учебно-методического пособия подверглись переработке темы: «Основные семантические категории языка логики Фреге-Расселовского типа», «Понятие»; дополнена новым материалом тема «Предмет и значение логики». Как и в предыдущих изданиях, основное внимание уделяется применению методов современной символической логики для решения задач традиционной логики. Вместе с тем достаточно подробно излагается теоретический материал, относящийся к современной символической логике: принципы построения формальных языков логики, синтактика и семантика языков логики высказываний и логики предикатов.

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

ББК 87.4 Я73

Рецензенты: профессор кафедры логики философского факультета

МГУ им. М.В, Ломоносова,

доктор философских наук Ю.В. Ивлев;

профессор кафедры философии КГУ,

доктор философских наук В.И. Колядко

1SBN

 Мануйлов В.Т., Мороз В.В., 2000

 Мануйлов В.Т., Мороз В.В., 2004

 Мануйлов В.Т., Мороз В.В., 2009

 Курский государственный университет, 2009

СОДЕРЖАНИЕ
Предисловие ………...…………………………………….....	4
Содержание курса……………………………………………	6
Примерное распределение учебного времени…………...	11
Методические указания, теоретический материал, образцы решения задач, примеры и упражнения………………..	13
Тема 1. Предмет и значение логики……………………....	13
Законы логики……………………………………..	14
Принципы построения символических формализованных языков логики………………………….	17
Тема 2. Основные семантические категории языка логики Фреге-Расселовского типа (ЯЛФРТ)……...	25
Стандартные символы ЯЛФРТ…………………..	34
Язык-объект и метаязык………………………….	35
Синтактика ЯЛФРТ……………………………….	36
Общие семантические правила ЯЛФРТ…………	43
Язык логики высказываний и язык логики предикатов……………………………………………..	64
Семантика ЯЛП1=…………………………………	68
Логическая форма…………………………………	77
Примеры решения задач………………………….	77
Тема 3. Понятие………………………………………........	87
Виды понятий……………………………………...	90
Отношения между понятиями……………………	92
Действия с понятиями…………………………….	94
Примеры решения задач………………………….	105
Заключение ………….. …………...…………………………	126