Osnovy_filosofii_uchebnik_dlya_bakalavrov
.pdfЛогика
По харак те ру призна ков предме тов поня тия делят ся на поло жи тельные и отри ца тель ные , соот но си тель ные и безот но си тель ные .
– Поло жительными назы ваются поня тия, в кото рых предме ты обобще ны на осно ве нали чия у них како го-либо призна ка (на пример , «право вое госу дарство»).
– Отри цательными назы ваются поня тия, в кото рых предме ты обобще ны на осно ве отсут ствия у них како го-либо призна ка (напри мер, «безнрав ственный чело век»).
– Соот носительными назы ваются поня тия, обобщае мые пред меты , призна ками кото рых явля ются отно шения предме та к друго му предме ту (напри мер, «причи на» (предпо лагает «след ствие »)).
– Безот носительныминазы ваются поня тия, отра жающие пред меты , суще ствующие вне отно шений к другим предме там (на пример , «креатив ная личность »).
§ 5. Логи ческие отно шения меж ду поня тиями Правиль ное опери рование поня тиями имеет важное значе ние
для интел лектуальной позна вательной деятель ности, поэто му не обхо димо учиты вать, что поня тия суще ствуют не изоли рованно, а в неко тором отно шении меж ду собой . Отно шения меж ду поня тиями зави сят от их содер жания и объе ма, так как содер жание
иобъем тесно связа ны друг с другом (это выра жается в зако не обрат ного отно шения меж ду содер жанием и объе мом поня тий).
Рассмат ривая отно шения меж ду поня тиями, необ ходимо разли чать поня тия сравни мые и несрав нимые. Сравни мыминазы ваются поня тия, имеющие общие элемен ты в объе ме или в содер жании, так как они имеют общий род (напри мер, поня тия «теле видение»
и«пресса » имеют общие призна ки, харак теризующие средст ва мас совой инфор мации). Несрав нимые поня тия отно сятся к разным ро дам, поэто му у них нет общих призна ков и сравни вать их невоз можно (напри мер, поня тия «госу дарство» и «созвез дие»).
Сравни мые поня тия делят ся на совмес тимые и несо вместимые. Совмес тимыми назы ваются поня тия, имеющие в объе ме общие элемен ты, т. е. призна ки, состав ляющие содер жание этих поня тий, могут принад лежать одним и тем же предме там. Несо вмес тимы ми назы ваются поня тия, объе мы кото рых не совпа дают, но в их содер жании есть общие родо вые призна ки, что позво ля ет их сравни вать.
121
Раздел I. Основы фундаментальной философии
К отно шениям совмес тимости отно сятся равно объемность, пе ресе чение и подчи нение.
В отно шении равно объемностинахо дятся поня тия, в кото рых мыслят ся одни и те же предме ты. Объе мы этих поня тий полно стью совпа дают, хотя содер жание различ но, так как эти поня тия выде ляют один и тот же класс предме тов, но по разным со вокуп ностям видо вых призна ков. Напри мер: поня тия «геомет ри ческая фигу ра с тремя равны ми угла ми» и «геомет рическая фи гура с тремя равны ми сторо нами», их отно шение можно выра зить следую щей круго вой схемой
A, B
В отно ше нии пере се че ния нахо дят ся поня тия , в объе мах ко торых есть общие элемен ты , одна ко в объе ме каж до го из них есть предме ты , кото рые не входят в объем друго го поня тия . На пример : поня тия «студент » и «отлич ник », их отно ше ние графи чески выгля дит так
AB
Вотно шении подчи нениянахо дятся поня тия, объем одно го из кото рых полно стью включен в объем друго го, состав ляя его часть. Поня тие с более широ ким объе мом назы вается подчи няющим, а другое поня тие, имеющее меньший объем , – подчи ненным. На пример : поня тия «насе ленный пункт» и «город », отно шение ко торых графи чески выгля дит так
A
B
122
Логика
К отно шениям несо вместимости отно сятся сопод чинение, про тиво положность и проти воречие.
В отно шении соподчинения нахо дятся поня тия, объе мы ко торых не пере секаются и подчи няются обще му родо вому поня тию. Напри мер, поня тия «живо пись» и «архи тектура» сопод чи нены по отно шению к поня тию «вид искус ства», что в круго вых схемах выгля дит следую щим обра зом
A
BC
Вотно шении проти воположностинахо дятся два поня тия, эле менты объе ма одно го из кото рых содер жат признак , не совмес тимый с призна ком, принад лежащим элемен там объе ма друго го поня тия, при этом объе мы этих поня тий не исчер пывают объем родо вого поня тия. Напри мер, поня тия «весе лый» и «груст ный», их отно шение выра жается в следую щей круго вой схеме
B A C
В отно ше нии проти во ре чия нахо дят ся два поня тия , элемен ты объе ма одно го из кото рых содер жат признак , кото рый отсут ст ву ет у элемен тов объе ма друго го поня тия , при этом объе мы этих по нятий полно стью исчер пы ва ют объем родо во го поня тия . Напри мер, поня тия «нравст вен ный чело век » и «безнрав ст вен ный чело век», графи че ское отно ше ние кото рых выгля дит так
AНе A
123
Раздел I. Основы фундаментальной философии
§ 6. Деле ние и класси фикация поня тий Деле нием назы вается логи ческая опера ция, раскры вающая
объем поня тия посред ством разбие ния его на подклас сы, пред ставляю щие собой виды мысли мых в поня тии предме тов, выде ленных на осно ве како го-либо призна ка. Поня тие, объем кото рого подле жит деле нию, назы вается дели мым.Признак , на осно ве кото рого выде ляются подклас сы предме тов, назы вается осно вани ем деле ния. Подмно жества, кото рые явля ются резуль татом деле ния исход ного объе ма, назы ваются члена ми деле ния. Дели мое поня тие при логи ческой опера ции деле ния рассмат ривается как родо вое, а члены деле ния – сопод чиненные виды (таксо ны). Такое деле ние назы вается таксо номическим.
Таксо но ми че ские деле ния разли ча ют на деле ние по видо из мене нию призна ка и дихо то ми че ское деле ние . В деле нии по ви доиз ме не нию призна ка признак , на осно ве кото ро го осуще ст в ляет ся деле ние , несет функцио наль ную нагруз ку и его выбор зави сит от цели деле ния . Поэто му , члены деле ния всегда на ходят ся в отно ше ни ях сопод чи не ния или проти во по лож но сти . Напри мер , «госу дар ст ва по форме госу дар ст вен но го устрой ст ва делят ся на феде ра ции , унитар ные госу дар ст ва , конфе де ра ции , союзы и содру же ст ва ». В дихо то ми че ском деле нии объем де лимо го поня тия разби ва ет ся на два взаимо ис клю чаю щих под множе ст ва , в одном из кото рых каж до му предме ту присущ ка кой-либо признак , а в другом этот признак отсут ст ву ет у каж дого предме та . Поэто му , члены деле ния всегда нахо дят ся в от ноше нии проти во ре чия . Напри мер , «госу дар ст ва на осно ве по лити че ско го режи ма делят ся на демо кра ти че ские и анти де мо крати че ские ».
Деле ние явля ется правиль ным, если оно соот ветствует четы рем усло виям, кото рые назы ваются прави лами деле ния.
Во-первых , деле ние должно быть сораз мер ным , т. е. объем де лимо го поня тия должен равнять ся сумме объе мов членов деле ния. В против ном случае деле ние будет несо раз мер ным . Напри мер, «формы мышле ния делят ся на поня тие и суж де ние » (это не полное деле ние ).
Во-вторых , деле ние должно произ водиться только по одно му осно ванию. Нару шение этого прави ла заклю чается в изме нении призна ка в процес се деле ния. Напри мер, «формы мышле ния де лятся на поня тие, суж дение, теория , умозак лючение и т. д.»
124
Логика
В-третьих , члены деле ния должны исклю чать друг друга . Не правиль ным будет деле ние писа телей на поэтов и прозаи ков, так как писа тель может быть одно временно и тем, и другим .
В-четвер тых, деле ние должно быть непре рывным, т. е. в про цессе деле ния родо вого поня тия необ ходимо пере ходить к бли жайшим видам , не пропус кая их. Нару шение этого прави ла при водит к скачку в деле нии. Напри мер, «предло жения делят ся на простые , сложно подчиненные и сложно сочиненные».
Класси фи ка ци ей назы ва ет ся после до ва тель ное деле ние неко то рого поня тия на виды , подви ды и т. д. Для построе ния класси фика ции могут быть исполь зо ва ны оба вида деле ния . Причем ка ждый этап класси фи ка ции может осуще ст в лять ся по собст вен но му осно ва нию . Класси фи ка ция счита ет ся искус ст вен ной , если в каче ст ве осно ва ния деле ния исполь зу ют ся несу ще ст вен ные , вто росте пен ные призна ки предме тов . В есте ст вен ных класси фи ка циях в осно ва нии деле ния лежат суще ст вен ные призна ки пред метов , поэто му ими обычно явля ют ся класси фи ка ции множеств объек тов той или иной науки . Основ ной особен но стью есте ст вен ной класси фи ка ции явля ет ся возмож ность по место по ло же нию предме та сказать о многих других важных его свойст вах (на пример , перио ди че ская табли ца Д. И. Менде лее ва ). Искус ст вен ные класси фи ка ции ниче го не гово рят о других свойст вах пред мета , одна ко часто облег ча ют его поиск (напри мер , алфа вит ный ката лог книг в библио те ке ).
Таким обра зом, класси фикации крайне важны в науч ных ис следо ваниях, когда требу ется привес ти полу ченные знания в еди ную стройную систе му.
§ 7. Опре де ле ние поня тий Опре де ле ни ем назы ва ет ся логи че ская опера ция , раскры ваю
щая содер жа ние поня тия об изучае мом предме те путем указа ния на объем поня тия или уточнения значе ния терми на , веден но го в интел лек ту аль ную практи ку . Суж де ние , раскры ваю щее содер жа ние поня тия , назы ва ет ся дефи ни ци ей . Поня тие , содер жа ние ко торо го требу ет ся раскрыть , назы ва ет ся опре де ляе мым (дефи ни ендум ); поня тие , раскры ваю щее содер жа ние опре де ляе мо го по нятия , – опре де ляю щим (дефи ни енс ).
Опре деления выра жают в сжатом виде знания о предме те и поэто му игра ют важную роль в позна вательном процес се. В за
125
Раздел I. Основы фундаментальной философии
виси мости от той функции , кото рую опре деления выпол няют в позна нии, они делят ся на реаль ные и номи нальные. Реаль ное опре деление позво ляет отли чить, отыскать или постро ить инте ресую щие объек ты, поэто му в нем раскры ваются суще ственные призна ки предме тов, выде ленных опре деляемым поня тием (на пример , «чело век – это биосо циальное суще ство»). Номи нальное опре деление служит для уточне ния значе ния введен ного терми на или для форми рования значе ния вновь вводи мого терми на (на пример , «руко водитель высше го учебно го заве дения назы вается ректо ром»). Таким обра зом, разли чие меж ду реаль ными и номи нальны ми опре делениями заклю чается в том, что опре деляется: реаль ный предмет или языко вой термин .
По своей форме опре деления делят ся на явные и неяв ные. Яв ные опре деления всегда имеют четко сформу лированную трех членную структу ру: дефи ниендум – логи ческая связка («это», «есть», «если и только если », «озна чает то же, что» и др.) – дефи ниенс . Виды явных опре делений разли чаются по харак теру видо вых отли чий, выра женных в дефи ниенсе. Так, в атри бутивных опре делениях видо вой харак теристикой явля ется неко торое каче ство или свойст во. Напри мер: «Фреска – это живо писная карти на, выпол ненная водя ными краска ми по сырой штука турке».
Вгене тических опре делениях видо вой харак теристикой высту пает способ обра зования или проис хождения, прису щий только опре деляемому. Напри мер: «Шар есть геомет рическое тело , обра зован ное враще ние круга вокруг одно го из своих диамет ров».
Вопера циональныхопре делениях видо вой харак теристикой де фини енса явля ется указа ние на неко торое дейст вие, с помо щью кото рого предме ты, выде ленные дефи ниендумом, могут быть об нару жены и отли чены от других предме тов. Напри мер: «Кисло та есть жидкость , при погру жении в кото рую лакму совая бума га окра шивается в красный цвет».
Неяв ные опре деления, в структу ре кото рых не всегда можно явно выде лить дефи ниендум или дефи ниенс, приме няются для раскры тия содер жания тех поня тий, кото рые невоз можно опре делить через род и видо вое отли чие (напри мер, кате гории, еди ничные поня тия). Так, опре деление через отно шение к своей про тиво положности широ ко приме няется для опре деления фило софских кате горий (напри мер, «свобо да есть познан ная необ хо димость »). Или в контек стуальных опре деленияхсмысл дефи ни
126
Логика
енду ма раскры вается через раскры тие смысла контек ста, в кото ром он исполь зуется, что широ ко приме няется при рабо те с раз личны ми типа ми текстов .
В ряде случа ев в позна вательной деятель ности исполь зуют ся приемы , заме няющие опре деления. Так, остен сивное опре деле ние позво ляет разъяс нять смысл и значе ние языко вых вы раже ний путем непо средственного указа ния на предме ты, дей ствия или ситуа ции, обозна чаемые этими выра жениями. Такие опре деления широ ко исполь зуются в процес се обуче ния. Одна ко приме нение таких опре делений огра ниченно (напри мер, пробле матич но объяс нить с помо щью таких опре делений значе ние абст рактных поня тий). Сравне ние приме няется для образ ной харак тери стики предме тов и помо гает уста новить призна ки, по кото рым они сходны с предме тами других классов , или по кото рым они от них отли чаются. Описа ниеприме няется, когда необ ходи мо наибо лее полно и точно указать призна ки предме та, что по зволя ет создать его нагляд ный образ . В отли чие от описа ния ха ракте ристика уточня ет значе ние терми на посред ством пере чис ления наибо лее типич ных (харак терных) более или менее суще ствен ных для предме тов данно го класса призна ков.
Правиль ные опре де ле ния подчи ня ют ся следую щим логи че ским требо ва ни ям :
Во-первых , опре деление должно быть сораз мерным, т. е. объ ем опре деляемого поня тия должен быть равен объе му опре де ляюще го поня тия. Ошибка назы вается «несо размерное опре де ление », как, напри мер, в опре делении «феода лизм есть обще ст венный строй, осно ванный на эксплуа тации» (слишком широ кое опре деление).
Во-вторых , опре де ле ние не должно содер жать в себе круга , т. е. опре де ляе мый предмет не должен опре де лять ся через по нятие , кото рое само дела ет ся ясным только посред ст вом опре деляе мо го поня тия . Ошибка назы ва ет ся «круг в опре де ле нии », как в опре де ле нии «идеали стом назы ва ет ся чело век идеали сти ческих взглядов ».
В-третьих , опре деление должно быть ясным , т. е. все призна ки, состав ляющие содер жание опре деляющего поня тия, долж ны быть предва рительно точно опре делены, в опре делении не до пуска ется исполь зование неяс ных и много значных поня тий, ме тафор , анало гий и т. д. Ошибка назы вается «неяс ное опре деле
127
Раздел I. Основы фундаментальной философии
ние», как в опре делении «красо та есть инди видуальное непо вто римое выра жение родо вого».
В-четвер тых, опре деление не должно быть отри цательным, т. е. видо вые отли чия в опре деляющем поня тии не должны от рицать ся (кроме отри цательных поня тий), так как это не позво ляет раскрыть содер жание опре деляемого поня тия (через указа ние, чем предмет не явля ется, трудно понять , чем он явля ется). Ошибка назы вается «отри цательное опре деление», как, напри мер, в опре делении «мате рия – это не созна ние».
Методические указания
Обра ти те внима ние , что в логи че ских опера ци ях с поня тия ми нельзя путать отно ше ния меж ду поня тия ми о тех или иных предме тах с отно ше ния ми меж ду сами ми предме та ми ; отно ше ния меж ду объе ма ми поня тий (отно ше ние рода и вида ) с отно шения ми части и цело го .
Для усвое ния правил коррект ных деле ний и опре делений не обхо димо подоб рать различ ные приме ры ко всем ошибкам на эти прави ла.
Вопросы для самоконтроля
На осно ве каких призна ков предме ты обобща ются в поня тии? Како вы логи ческие харак теристики поня тия?
В чем выра жа ет ся связь меж ду объе мом и содер жа ни ем по нятия ?
Како вы основ ные виды поня тий?
Какие логи че ские отно ше ния уста нав ли ва ют ся меж ду срав нимы ми поня тия ми ?
Како ва структу ра, виды и прави ла деле ния поня тий? Что такое класси фикация?
Како ва структу ра , виды и прави ла опре де ле ния поня тий ?
Литература
Боча ров В. А., Маркин В. И. Осно вы логи ки. М., 1998, 1999, 2000, 2002, 2004. Гл. VI, VIII.
Соло ду хин О. А. Логи ка . Ростов н/Д, 2000. Гл. 2. Формаль ная логи ка . Л., 1977. Гл. I.
Войшвил ло Е. К., Дегтя рев М. Г. Логи ка как часть теории позна ния и науч ной мето дологии. М., 1994. Книга II. Гл. 16, 19, 20.
128
Логика
2.Силлогистика
§1. Поня тие и предмет силло ги сти ки
Силло гистика явля ется исто рически первой дедук тивной тео рией , она была построе на уже в IVв. до н. э. осно воположником логи ки – Аристо телем.
Силло гистика– это теория , изучаю щая логи ческую структу ру простых атри бутивных выска зываний, отно шения меж ду ни ми и выво ды, постро енные на осно ве этой структу ры.
Выска зы ва ние – это предло же ние , выра жаю щее опре де лен ное суж де ние . Суж де ние – это форма мышле ния , в кото рой утвер жда ется нали чие или отсут ст вие свойств у предме тов , отно ше ний ме жду предме та ми и связей меж ду ними . В есте ст вен ном языке суж дения выра жа ют ся пове ст во ва тель ны ми предло же ния ми и рито ри ческим вопро сом . Простым назы ва ет ся суж де ние , в структу ре ко торо го нет части , являю щей ся суж де ни ем . Напри мер : «Все доро ги ведут в Рим». Сложным назы ва ет ся суж де ние , кото рое содер жит в каче ст ве своей части другое суж де ние . Напри мер : «Это собы тие не явля ет ся ни необ хо ди мым , ни жела тель ным ». Суж де ние может
оцени вать ся как истин ное или ложное . Истин ным назы ва ет ся су жде ние , если описы вае мое в нем поло же ние дел соот вет ст ву ет дей стви тель но сти , в против ном случае оно назы ва ет ся ложным .
Атри бутивными назы ваются суж дения (выска зывания) о на личии или отсут ствии неко торого свойст ва у опре деленного клас са предме тов. Напри мер: «Неко торые диалек тики явля ются идеа листа ми».
В структу ре атри бу тив ных суж де ний выде ля ют четы ре эле мента :
– S– субъект (логи ческое подле жащие) – термин , обозна чающий те предме ты, о кото рых в выска зывании нечто утвер ждается или отри цается (в нашем приме ре это поня тие «диалек тики»);
– P – преди кат (логи ческое сказуе мое) – термин , обозна чаю щий свойст во, нали чие кото рого утвер ждается или отри цает ся у предме тов (в нашем приме ре это поня тие «идеали сты»;
– квантор ное (коли чественное) слово – указы вает на объем по нятия субъек та и выра жает коли чественную харак теристику выска зывания (в нашем приме ре это слово «неко торые»);
– связка – это слово , кото рое утвер ждает или отри цает у субъ екта нали чие неко торого свойст ва, она выра жает каче ствен
129
Раздел I. Основы фундаментальной философии
ную харак теристику выска зывания (в нашем приме ре это сло во «явля ется»).
На осно ве логи ческой структу ры атри бутивные суж дения де лятся :
– по каче ству на утвер дительные (связка «есть», «явля ется», «суть») и отри цательные (связка «не есть», «не явля ется», «не суть»);
– по коли честву на общие («все», «ни один»), част ные («неко торые»)
иединич ные (субъект выра жается единич ным поня тием).
§ 2. |
Простые |
кате го ри че ские |
суж де ния |
и их виды |
|
|
|||||||||||
Кате го ри че ски ми назы ва ют ся |
атри |
бу |
тив ные |
суж де ния , в ко |
|||||||||||||
торых |
учиты ва ет ся их объе ди нен ная |
коли че ст вен но -каче ст вен |
|||||||||||||||
ная харак те ри сти ка . К их числу отно сят ся суж де ния |
следую |
||||||||||||||||
щих логи че ских |
форм: |
|
|
|
|
|
|
|
|
|
|
|
|
||||
А– «Все S суть P» – обще ут |
вер ди тель |
ное ; |
|
|
|
|
|
|
|||||||||
Е – «Ни один S не суть P» – |
обще от ри |
ца тель |
ное ; |
|
|
||||||||||||
I – «Неко то рые |
S суть P» – част но ут вер ди тель |
ное ; |
|
|
|||||||||||||
О – «Неко то рые |
S не суть P» – част но от ри ца тель |
ное . |
|
|
|||||||||||||
Эти гласные |
бук вы были взяты средне ве ко вы ми логи ка ми из ла |
||||||||||||||||
тинских |
слов «affirmо» (утвер ждаю ) и «nego» (отри цаю ). Единич |
||||||||||||||||
ные выска зы ва ния |
по своим логи че ским |
харак те ри сти кам |
совпа |
||||||||||||||
дают с общи ми , что обосно вы ва ет ся семан ти кой |
силло ги сти ки . |
§ 3. Семан ти ка силло ги сти ки Семан ти ка силло ги сти ки зада ет ся на круго вых схемах (так
назы вае мых «кругах Эйле ра »), с помо щью кото рых выра жа ют ся усло вия истин но сти кате го ри че ских суж де ний . Каж до му тер мину сопос тав ля ет ся опре де лен ный класс предме тов , графи че ски обозна чае мый с помо щью круга . С помо щью круго вых схем вво дится также очень важное семан ти че ское поня тие распре де лен ности терми нов – знание об отно ше нии субъек та и преди ка та , полу чае мое из анали за логи че ской структу ры суж де ния . Распре делен ным назы ва ет ся термин , объем кото ро го полно стью входит в объем друго го терми на или полно стью исклю ча ет ся из него . Нерас пре де лен ным назы ва ет ся термин , объем кото ро го частич но совпа да ет с объе мом друго го терми на .
На распре деленность или нерас пределенность субъек та ука зыва ет коли чественная харак теристика суж дения, распре делен
130