ЛОГИКА Учебное пособие для средних школ и вузов Редакционная коллегия международной серии «BIBLIOTHECA STUDIORUM» Онищенко А. С. (председатель) – академик НАН Украины, доктор философских наук; Жоль К. К. (зам. председателя) – доктор философских наук; Филюшин В. А. (ученый секретарь) – кандидат философских наук; Кудрявцев В. Н. – академик РАН, доктор юридических наук (Россия); Николаева Т. М. – членкорреспондент РАН, доктор филологических наук (Россия); Пивоваров Ю. С. – членкорреспон дент РАН, доктор политических наук; Пирожков С. И. – академик НАН Украины, доктор экономических наук; Синев В. Н. – академик АПН Украины, доктор педа гогических наук; Топорнин Б. Н. – академик РАН, доктор юридических наук (Рос сия); Шемшученко Ю. С. – академик НАН Украины, доктор юридических наук; Аверьянов В. Б. – доктор юридических наук; Андрийко О. Ф. – доктор юридичес ких наук; Белодед А. И. – доктор филологических наук; Демьянков В. З. – доктор филологических наук (Россия); Грыко Ч. – доктор социологических наук (Польша); Грязнов А. Ф. – доктор философских наук (Россия); Гуменюк Б. И. – доктор исто рических наук; Киселев Н. Н. – доктор философских наук; Кодалле К.М. – док тор философии (Германия); Костенко А. Н. – доктор юридических наук; Криса ченко В. <...> С. – доктор философских наук; Крымский С. Б. – доктор философских наук; Кубко Е. Б. – доктор юридических наук; Кудрявцева Л. А. – доктор фило логических наук; Отин Е. С. – доктор филологических наук; Петришин А. В. – доктор юридических наук; Филатов В. П. – доктор философских наук (Россия); Чурилов Н. Н. – доктор социологических наук; Яковенко Ю. И. – доктор социо логических наук. <...> Ответственный редактор А. Е. Конверский – доктор философских наук, профессор СПРАВКА ОБ АВТОРЕ ЖОЛЬ Константин Константинович – 1949 г. рождения, доктор философских наук, дважды лауреат <...>
Логика._Учебное_пособие_для_вузов._(Международная_серия_BIBLIOTHEСA_STUDIORUM)_Авт._Дог._№_542.pdf
УДК 16(075.8)
ББК 87.4ÿ73
Æ79
Рецензенты:
доктор философских наук, профессор А.Т. Ишмуратов;
доктор философских наук, профессор С.Б. Крымский;
доктор философских наук, профессор В.А. Рыжко
Главный редактор издательства
доктор экономических наук Н.Д. Эриашвили
Жоль Ê.Ê.
Æ79
Ëîãèêà: Ó÷åá. пособие для âóçîâ. — Ì.: ÞÍÈÒÈ-ÄÀÍÀ, —
2015.
399 ñ. — (Международная серия «Bibliotheca studiorum»).
ISBN 5-238-00664-0
Дается изложение важнейших понятий, идей и методов современной символической
логики, являющейся расширением математической логики. В общедоступной
форме объясняются смысл и предметная направленность логических
исследований, их связь с философией, кибернетикой и другими науками.
Впервые в одной книге, имеющей характер учебного пособия, рассчитанного
не только на студентов первых курсов вузов и колледжей и старшеклассников,
а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления
о ней, излагаются не только основы классической логики, но и описываются
неклассические логики, в отдельной главе дается характеристика логической
семантики и демонстрируется практическая ценность логики для решения
проблем, связанных с логическим программированием компьютеров.
ББК 87.4ÿ73
ISBN 5-238-00664-0
© Жоль Ê.Ê., 2004
© ИЗДАТЕЛЬСТВО ÞÍÈÒÈ-ÄÀÍÀ, 2004
Воспроизведение всей книги или любой
ее части запрещается без письменного
разрешения издательства
Стр.5
VIII
XII
-
38
1
. – .
– , , . – ,
, . –
. –
. – . –
. – .
78
2
,
. –
. – ,
- . –
. –
,
. – , , . –
- .
– . –
. – . –
. – .
136
3
,
. – «». –
.
– . – :
. – -
. – . –
. – « ». –
. – . – .
Стр.6
VI
176
4
,
. – , -
. – . –
, . – ,
. – . –
: . – . –
. – .
214
5
,
,
. – .
– .
– . –
. – .
– ()
. –
. – - .
– . – . – .
250
6
. – . –
. – .
. –
. – . –
. –
. – . –
. – . – .
– .
312
7
. – . «
» « ». –
. « » «».
– . . –
« » . –
. ? – . – . –
.
Стр.7
VII
340
8
. – . –
« » . – «
». – « ». –
. – «
». – « ». –
. – . –
. – .
386
398
Стр.8