Դատաստան ե Դատաստան

Դատողությունները կարող են լինել պարզ կամ բարդ. վերջիններս բաղկացած են մի քանի պարզից. «Որոշ կենդանիներ հավաքում են ձմռանը» առաջարկությունը պարզ է, բայց «Աշունը եկել է, օրերը կարճացել են, իսկ չվող թռչունները գնացել են ավելի տաք կլիմաներ» առաջարկությունը բարդ է՝ բաղկացած երեք պարզ առաջարկներից։

Պարզ պնդողական դատողությունների տեսակները

Սրանք դատողություններ են, որոնք ունեն մեկ սուբյեկտ և մեկ նախադրյալ։ Կան երեք տեսակի պարզ առաջարկներ.

1 . Սեփականության վերաբերյալ դատողություններ (վերագրում):

Նրանք հաստատում կամ հերքում են, որ օբյեկտը պատկանում է հայտնի հատկություններին, վիճակներին և գործունեության տեսակներին: Օրինակներ՝ «Մեղրը քաղցր է», «Շոպենը դրամատուրգ չէ»: Այս տեսակի դատողության սխեմաներ. «S-ը P-ն է» կամ «S-ը P չէ»:

2. Դատողություններ հարաբերությունների հետ.

Նրանք խոսում են առարկաների փոխհարաբերությունների մասին: Օրինակ՝ «Յուրաքանչյուր պրոտոն ավելի ծանր է, քան էլեկտրոնը», «Ֆրանսիացի գրող Վիկտոր Հյուգոն ծնվել է ավելի ուշ, քան ֆրանսիացի գրող Ստենդալը», «Հայրերն իրենց երեխաներից մեծ են» և այլն։

Երկտեղանի հարաբերությամբ դատողություն արտահայտող բանաձևը գրվում է aRb կամ R(a, b), որտեղ a և b-ը առարկաների անուններն են, իսկ K-ն հարաբերության անվանումն է: Հարաբերություն ունեցող առաջարկության մեջ ինչ-որ բան կարելի է հաստատել կամ հերքել ոչ միայն երկու, այլ նաև երեք, չորս կամ ավելի օբյեկտների մասին, օրինակ՝ «Մոսկվան գտնվում է Սանկտ Պետերբուրգի և Կիևի միջև»։ Նման դատողություններն արտահայտվում են R(a“ a 2, a 3, ..., a“ բանաձեւով:

3. Գոյության դատողություններ (էկզիստենցիալ).

Նրանք հաստատում կամ հերքում են առարկաների (նյութական կամ իդեալական) գոյությունն իրականության մեջ։ Այս դատողությունների օրինակները՝ «Ատոմակայաններ կան», «Անպատճառ երևույթներ չկան»։

Ավանդական տրամաբանության մեջ այս երեք տեսակի դատողություններն էլ պարզ կատեգորիկ դատողություններ են: Կախված կապի որակից («կա» կամ «չկա») կատեգորիկ դատողությունները բաժանվում են հաստատական ​​և բացասական: «Որոշ ուսուցիչներ տաղանդավոր դաստիարակներ են» և «Բոլոր ոզնիները փշոտ են» դրույթները դրական են: «Որոշ գրքեր երկրորդ ձեռքի գրքեր չեն» և «Ոչ մի նապաստակ գիշատիչ կենդանի չէ» դրույթները բացասական են։ Միակցիչ «է» հաստատական ​​դատողությամբ արտացոլում է որոշակի հատկությունների առարկայի (օբյեկտների) բնածին բնույթը: Կապակցող «չէ»-ն արտացոլում է այն փաստը, որ օբյեկտը (օբյեկտները) չունեն որոշակի հատկություն:

Որոշ տրամաբաններ կարծում էին, որ բացասական դատողությունները չեն արտացոլում իրականությունը: Փաստորեն, որոշակի բնութագրերի բացակայությունը նույնպես վավեր հատկանիշ է, որն ունի օբյեկտիվ նշանակություն: Բացասական ճշմարիտ դատողությամբ մեր միտքը առանձնացնում է (առանձնացնում) այն, ինչ առանձնացված է օբյեկտիվ աշխարհում։

Ճանաչողության մեջ հաստատական ​​դատողությունն ընդհանուր առմամբ ավելի մեծ նշանակություն ունի, քան բացասականը, քանի որ ավելի կարևոր է բացահայտել, թե ինչ հատկանիշ ունի առարկան, քան այն, ինչ չունի, քանի որ ցանկացած առարկա շատ հատկություններ չունի (օրինակ՝ դելֆինը ոչ ձուկ, ոչ միջատ, ոչ բույս, ոչ սողուն և այլն):

Կախված նրանից, թե սուբյեկտը խոսում է օբյեկտների ամբողջ դասի, այս դասի մի մասի կամ մեկ առարկայի մասին, դատողությունները բաժանվում են ընդհանուր, մասնավոր և անհատական: Օրինակ՝ «Բոլոր սաբուլները արժեքավոր մորթեղեն կենդանիներ են» և «Բոլոր առողջ մարդիկ ցանկանում են երկար, երջանիկ և օգտակար կյանք» (Պ. Բրագ) ընդհանուր դատողություններ են. «Որոշ կենդանիներ ջրային թռչուններ են» - մասնավոր; «Վեսուվը ակտիվ հրաբուխ է» - միայնակ:

Ընդհանուր դատողության կառուցվածքը. «Բոլոր S-ը P են (չեն)»: Միակ դատողությունները կդիտարկվեն որպես ընդհանուր, քանի որ դրանց առարկան մեկ տարրից բաղկացած դաս է:

Ընդհանուր դատողությունների շարքում կան տարբերակիչ դատողություններ, որոնք ներառում են «միայն» քանակական բառը: Կարևորվող հայտարարությունների օրինակներ. «Բրեգը խմում էր միայն թորած ջուր»; «Քաջ մարդը չի վախենում ճշմարտությունից. Նրանից միայն վախկոտն է վախենում» (Ա.Կ. Դոյլ):

Ընդհանուր դրույթների թվում կան բացառող դրույթներ, օրինակ՝ «20°C ջերմաստիճանի բոլոր մետաղները, բացառությամբ սնդիկի, պինդ են»։ Բացառիկ դատողությունները ներառում են նաև այն դատողությունները, որոնք բացառություններ են արտահայտում ռուսերենի կամ այլ լեզուների որոշ կանոններից, տրամաբանության, մաթեմատիկայի և այլ գիտությունների կանոններից:

Առանձնահատուկ առաջարկություններն ունեն հետևյալ կառուցվածքը՝ «Որոշ S են (չեն) P»։ Դրանք բաժանվում են անորոշի և որոշյալի։ Օրինակ, «Որոշ հատապտուղներ թունավոր են» անորոշ մասնավոր առաջարկ է: Մենք չենք հաստատել, թե արդյոք բոլոր հատապտուղներն ունեն թունավորության նշան, բայց չենք հաստատել, որ որոշ հատապտուղներ չունեն թունավորության նշան: Եթե ​​մենք հաստատել ենք, որ «միայն որոշ S-ներ ունեն P հատկանիշը», ապա սա կլինի որոշակի մասնավոր դատողություն, որի կառուցվածքը հետևյալն է. «Միայն որոշ S են (չեն) P»: Օրինակներ. «Միայն որոշ հատապտուղներ են թունավոր»; «Միայն որոշ թվեր են գնդաձև»; «Միայն որոշ մարմիններ են ավելի թեթև, քան ջուրը»:

Որոշ մասնավոր դատողություններում նրանք հաճախ օգտագործում են քանակական բառեր: մեծամասնություն, փոքրամասնություն, բավականին քիչ, ոչ բոլորը, շատերը, գրեթե բոլորը, մի քանիսը և այլն:

Մեկ դատողությամբ սուբյեկտը մեկ հասկացություն է: Առանձին առաջարկություններն ունեն կառուցվածք՝ «Այս S-ը P-ն է (չէ): Միայնակ առաջարկությունների օրինակներ. «Վիկտորիա լիճը գտնվում է ԱՄՆ-ում»; «Արիստոտել - Ալեքսանդր Մակեդոնացու դաստիարակ»; «Էրմիտաժը աշխարհի ամենամեծ արվեստի, մշակութային և պատմական թանգարաններից մեկն է»:

Պարզ կատեգորիկ դատողությունների համակցված դասակարգում ըստ քանակի և որակի

Յուրաքանչյուր դատողություն ունի քանակական և որակական բնութագրեր: Հետևաբար, տրամաբանությունը օգտագործում է դատողությունների համակցված դասակարգում ըստ քանակի և որակի, որի հիման վրա առանձնանում են դատողությունների հետևյալ չորս տեսակները.

1. Ա-ն ընդհանուր առմամբ հաստատող առաջարկություն է: Նրա կառուցվածքը. «Բոլոր «S-ը P են»: Օրինակ՝ «Բոլոր մարդիկ երջանկություն են ուզում»։

2. I - մասնավոր հաստատական ​​առաջարկ: Դրա կառուցվածքը հետևյալն է. Օրինակ՝ «Որոշ դասեր խթանում են ուսանողների ստեղծագործական ունակությունները»: Հաստատող առաջարկությունների նշանները վերցված են AFFIRMO կամ ես հաստատում եմ բառից. այս դեպքում վերցված են առաջին երկու ձայնավորները՝ Ա - ընդհանուր հաստատական ​​դատողություն նշանակելու համար, իսկ ես՝ որոշակի հաստատական ​​դատողություն:

E-ն ընդհանուր առմամբ բացասական դատողություն է: Դրա կառուցվածքը. «Ոչ S-ը P է»: Օրինակ՝ «Ոչ մի օվկիանոս քաղցրահամ ջուր չէ»:

O-ն մասնակի բացասական առաջարկ է: Դրա կառուցվածքը հետևյալն է. «Որոշ S-ը P չեն»: Օրինակ՝ «Որոշ մարզիկներ օլիմպիական չեմպիոններ չեն»։ Բացասական դատողությունների խորհրդանիշը վերցված է ՆԵԳՈ կամ ես ժխտում բառից։

Տերմինների բաշխումը կատեգորիկ դատողություններում

Քանի որ պարզ կատեգորիկ դատողությունը բաղկացած է S և P տերմիններից, որոնք, լինելով հասկացություններ, կարող են դիտարկվել ծավալի կողմից, S-ի և P-ի միջև ցանկացած հարաբերություն պարզ դատողություններում կարելի է պատկերել՝ օգտագործելով Euler-ի շրջանաձև դիագրամները՝ արտացոլելով հասկացությունների միջև փոխհարաբերությունները: Դատողություններում S և P տերմինները կարող են լինել կամ բաշխված կամ չբաշխված: Տերմինը համարվում է բաշխված, եթե դրա շրջանակն ամբողջությամբ ներառված է կամ ամբողջությամբ բացառված է մեկ այլ տերմինի շրջանակից: Ժամկետը չի բաշխվի, եթե դրա շրջանակը մասամբ ներառված է կամ մասնակիորեն դուրս է մնում մեկ այլ ժամկետի շրջանակից: Վերլուծենք չորս տեսակի դատողություններ՝ A, I, E, O (դիտարկում ենք բնորոշ դեպքեր):

Ա դատողությունը ընդհանուր առմամբ հաստատական ​​է: Նրա կառուցվածքը. «Բոլոր S-ը P են»: Դիտարկենք երկու դեպք.

1. «Բոլոր խաչածաղկավորները ձկներ են» դատավճռում առարկան «խաչաձուկ» հասկացությունն է, իսկ պրեդիկատը «ձուկ» հասկացությունն է։ Ընդհանուր քանակությունը «բոլորը» է: Թեման բաշխված է, քանի որ մենք խոսում ենք բոլոր խաչաձև կարպի մասին, այսինքն. դրա շրջանակն ամբողջությամբ ընդգրկված է նախադասության շրջանակում: Նախադրյալը բաշխված չէ, քանի որ դրանում պատկերված է ձկների միայն մի մասը, որը համընկնում է կարասի հետ. խոսքը միայն պրեդիկատի ծավալի այն մասի մասին է, որը համընկնում է առարկայի ծավալին։

2. «Բոլոր քառակուսիները հավասարակողմ ուղղանկյուններ են» առաջարկության մեջ տերմիններն են՝ S - «քառակուսի», P - «հավասարակողմ ուղղանկյուն» և ընդհանուր քանակական՝ «բոլորը»։ Այս դատողությունում S-ը բաշխված է, իսկ P-ն՝ բաշխված, քանի որ դրանց ծավալները լիովին համընկնում են։

Եթե ​​S-ը ծավալով հավասար է P-ին, ապա P-ն բաշխվում է։ Դա տեղի է ունենում սահմանումների և ընդհանուր դատողությունների տարբերակման մեջ:

I վճիռը մասնավոր կերպով հաստատող է: Դրա կառուցվածքը. «Որոշ S-ն P են»: Դիտարկենք երկու դեպք.

1. «Որոշ դեռահասներ ֆիլատելիստներ են» դատավճռում տերմիններն են.

S - «դեռահաս», P - «ֆիլատելիստ», գոյության քանակական - «որոշ»: Թեման բաշխված չէ, քանի որ դրանում մտածված է դեռահասների միայն մի մասին, այսինքն. սուբյեկտի շրջանակը միայն մասամբ է ընդգրկված նախադրյալի շրջանակում: Նախադրյալը նույնպես չի բաշխվում, քանի որ այն նույնպես միայն մասամբ է ներառված թեմայի շրջանակում (միայն որոշ ֆիլատելիստներ դեռահասներ են):

2. «Որոշ գրողներ դրամատուրգ են» նախադասության մեջ տերմիններն են՝ Ս՝ «գրող», Պ՝ «թատերագիր» և էքզիստենցիալ քանակական՝ «ոմանք»։ Առարկան բաշխված չէ, քանի որ դրանում մտածված է գրողների միայն մի մասը, այսինքն՝ սուբյեկտի շրջանակը միայն մասամբ է ներառված պրեդիկատի շրջանակում։ Նախադրյալը բաշխված է, քանի որ նախադրյալի շրջանակն ամբողջությամբ ներառված է առարկայի շրջանակի մեջ։ Այսպիսով, P-ն բաշխվում է, եթե P-ի ծավալը փոքր է S-ի ծավալից, ինչը տեղի է ունենում մասնակի տեղաբաշխման դատողություններում:

Դատավճիռը E ընդհանուր առմամբ բացասական է: Դրա կառուցվածքը. «Ոչ S-ը P է»: Օրինակ՝ «Ոչ մի առյուծ խոտակեր չէ»։ Դրանում տերմիններն են՝ S - «առյուծ», P - «խոտակեր» և քանակական բառը՝ «ոչ մի»։ Այստեղ սուբյեկտի շրջանակը լիովին դուրս է մնում նախադասության շրջանակից, և հակառակը։

O դատողությունը մասնակի բացասական է: Դրա կառուցվածքը. «Որոշ S-ը P չեն»: Օրինակ՝ «Որոշ ուսանողներ մարզիկներ չեն»։ Այն պարունակում է հետևյալ տերմինները՝ Ս՝ «ուսանող», Պ՝ «մարզիկ» և գոյության քանակական՝ «որոշ»։ Առարկան չի բաշխվում, քանի որ մտածված է միայն ուսանողների մի մասի մասին, բայց բաշխված է նախադասությունը, քանի որ դրանում մտածված են բոլոր մարզիկները, որոնցից ոչ մեկը ներառված չէ ուսանողների այն մասում, որը մտածված է առարկա.

Այսպիսով, S-ը բաշխվում է ընդհանուր դատողություններում և ոչ թե բաշխվում առանձին դատողություններում. P-ն միշտ բաշխվում է բացասական դատողություններով, բայց հաստատական ​​դատողություններում այն ​​բաշխվում է, երբ P ≤ S ծավալում:

Հարաբերությունները պարզ առաջարկությունների միջև

Պարզ դատողությունների միջև փոխհարաբերությունները որոշվում են մի կողմից դրանց հատուկ բովանդակությամբ, իսկ մյուս կողմից՝ տրամաբանական ձևով՝ սուբյեկտի բնույթը, պրեդիկատը, տրամաբանական կապը։ Քանի որ, ըստ նախադրյալի բնույթի, պարզ դատողությունները հիմնականում բաժանվում են վերագրողական և հարաբերական դատողությունների, մենք այս տեսակներից յուրաքանչյուրը կքննարկենք առանձին:

Հարաբերությունները վերագրվող դատողությունների միջև: Իրենց բովանդակությամբ վերագրվող դատողություններ կարելի է գտնել համադրելիության և անհամեմատելիության երկու կարևորագույն հարաբերություններում։

Անհամեմատելի դատողություններ.Նրանք ունեն տարբեր առարկաներ կամ նախադրյալներ կամ երկուսն էլ: Այդպիսիք են, օրինակ, «Տիեզերքը մեծ է» և «Օրենքը խիստ է» դատողությունները։ Նման դեպքերում դատողություններից մեկի ճշմարտացիությունը կամ կեղծը ուղղակիորեն կախված չէ մյուսի ճշմարտացիությունից կամ կեղծից: Դա ուղղակիորեն պայմանավորված է իրականության նկատմամբ վերաբերմունքով, դրան համապատասխանել-չհամապատասխանել: Ճիշտ է, իրականության առարկաների և երևույթների համընդհանուր կապի և փոխազդեցության պայմաններում նրանց մասին դատողությունները չեն կարող բացարձակապես անկախ լինել միմյանցից։ Ակնհայտ է միայն նրանց հարաբերական անկախությունն ու անկախությունը ճշմարտության կամ կեղծիքի տեսակետից։ Այսպիսով, եթե «Էներգիան պահպանվում է» դրույթը ճշմարիտ է (և չի անհետանում և չի առաջանում ոչնչից, ինչպես ասում է էներգիայի պահպանման և փոխակերպման օրենքը), ապա «Հավերժական շարժումը հնարավոր է» դրույթը կեղծ կլինի, թեև կոնկրետ բովանդակության առումով դրանք ոչ մի ընդհանուր բան չունեն, ոչ թեմա, ոչ էլ նախադրյալ, և, հետևաբար, անհամեմատելի են։

Այսպիսով, նախադասության մեջ ենթական կամ նախադեպը կարող են նույնը լինել: Օրինակ՝ «Օրենքը խիստ է» և «Օրենքն ուժի մեջ է մտել» կամ «Օրենքն ուժի մեջ է մտել» և «Հրամանագիրն ուժի մեջ է մտել»։ Եվ չնայած այստեղ իմաստային տարբերությունն ավելի քիչ է, քան նախորդ դեպքում, դրանք նույնպես չեն կարող փոխկապակցվել միմյանց հետ ճշմարտության կամ կեղծիքի առումով: Հետեւաբար, դրանք հետագա վերլուծության չեն ենթարկվում։

Համեմատելի դատողություններ.Նրանք, ընդհակառակը, ունեն նույն տերմինները՝ և՛ առարկան, և՛ նախադեպը, բայց կարող են տարբերվել քանակով և որակով: Սրանք դատողություններ են, ինչպես ասում են, «նույն հարցի» վերաբերյալ և, հետևաբար, համեմատելի են ճշմարտության և կեղծիքի մեջ:

Ըստ իրենց տրամաբանական ձևի՝ առաջին հերթին, ըստ քանակի և որակի, համադրելի դատողությունները բաժանվում են համատեղելի և անհամատեղելի։

Համատեղելի առաջարկություններն ամբողջությամբ կամ մասամբ պարունակում են նույն միտքը: Նրանց միջեւ առաջանում են հետեւյալ տրամաբանական հարաբերությունները՝ համարժեքություն, ենթակայություն, մասնակի համատեղելիություն։

Համարժեքությունը (համարժեքությունը) այն դատողությունների միջև հարաբերությունն է, որտեղ սուբյեկտն ու պրեդիկատը արտահայտվում են նույն կամ համարժեք հասկացություններով (թեև տարբեր բառերով), և քանակն ու որակը նույնն են: Այսպիսին են, օրինակ, ընդհանուր առմամբ դրական դրույթները՝ «Բոլոր փաստաբանները փաստաբաններ են» և «Դատարանում բոլոր պաշտպաններն ունեն հատուկ իրավաբանական կրթություն»։ Իրավիճակը կարող է նման լինել ընդհանուր բացասական, մասնավոր դրական և մասնավոր բացասական դատողությունների հետ: Նման դատողությունների փոխհարաբերությունները իրենց ճշմարտության կամ կեղծիքի առումով բնութագրվում են մեկ առ մեկ համապատասխանությամբ. դրանք կա՛մ միաժամանակ ճշմարիտ են, կա՛մ միաժամանակ կեղծ: Հետեւաբար, եթե մեկը ճշմարիտ է, ապա մյուսը ճշմարիտ է, իսկ եթե մեկը կեղծ է, ապա մյուսը կեղծ է:

Պարզ վերագրվող դատողությունների միջև հետագա հարաբերությունները՝ A, E, I, O, պատկերված են գրաֆիկական պարզության համար՝ տրամաբանական քառակուսու տեսքով:

Նրա գագաթները խորհրդանշում են պարզ կատեգորիկ դատողություններ՝ A, E, I, O; դատողությունների միջև փոխհարաբերությունների կողմերն ու անկյունագծերը: Հակառակ (հակառակ) (նկ. 3.2.1):

Բրինձ. 3.2.1. Տրամաբանական քառակուսի

ենթակայություն- սա այն դատողությունների միջև հարաբերությունն է, որոնց համար քանակը տարբեր է, բայց որակը նույնն է: Այս առնչությամբ կան ընդհանուր առմամբ հաստատական ​​(A) և հատուկ հաստատական ​​(I), ընդհանուր առմամբ բացասական (E) և մասնավոր բացասական (O) դրույթները: Ստորադասելիս գործում են հետևյալ օրենքները.

ա) ստորադասության ճշմարտությունը (A կամ E) ենթադրում է ստորադասության (համապատասխանաբար I կամ O) ճշմարտությունը, բայց ոչ հակառակը.

բ) ստորադասականի (I կամ O) կեղծիքից հետևում է ստորադասականի (համապատասխանաբար Ա կամ Ե) կեղծը, բայց ոչ հակառակը։

Օրինակներ. Եթե ​​ճիշտ է Ա, որ «Բոլոր փաստաբանները իրավաբաններ են», ապա ավելի ճիշտ է, որ «Առնվազն որոշ փաստաբաններ իրավաբաններ են»։ Բայց եթե ճիշտ է, որ «Որոշ վկաներ ճշմարիտ են», ապա դրանից չի հետևում, որ Ա-ն ճշմարիտ է. «Բոլոր վկաները ճշմարիտ են»: Այս դեպքում սա կեղծ դատողություն է։ Այլ դեպքերում Ա-ն կարող է ճիշտ լինել: Օրինակ՝ եթե ճիշտ է, որ «Որոշ փաստաբաններ իրավաբաններ են», ապա Ա-ն ճիշտ է, որ «Բոլոր փաստաբանները փաստաբաններ են»։ Իր հերթին, եթե կեղծ I է, որ «Որոշ քաղաքացիներ իրավունք ունեն խախտել օրենքները», ապա ավելի կեղծ է Ա, որ «Բոլոր քաղաքացիներն իրավունք ունեն խախտել օրենքը»: Բայց եթե Ա-ն կեղծ է՝ «Բոլոր վկաները ճշմարիտ են», ապա դրանից չի հետևում, որ ես սուտ եմ. «Որոշ վկաներ ճշմարիտ են»: Այս դեպքում դա ճշմարիտ առաջարկ է։ Այլ դեպքերում ես կարող եմ կեղծ լինել։ Օրինակ՝ եթե A-ն կեղծ է, «Բոլոր քաղաքացիներն իրավունք ունեն խախտել օրենքները», ապա ես՝ «Որոշ քաղաքացիներ իրավունք ունեն խախտել օրենքները», նույնպես կեղծ է: Ճիշտ կլինի Ե, որ «Ոչ մի քաղաքացի իրավունք չունի խախտել օրենքները».

Մասնակի համատեղելիություն (ենթակա)- սա նույն քանակի, բայց տարբեր որակի դատողությունների միջև հարաբերությունն է՝ մասնակի հաստատական ​​(I) և մասնակի բացասական (O) դատողությունների միջև: Այն բնութագրվում է հետևյալ օրինաչափությամբ՝ երկու դատողություններն էլ կարող են միաժամանակ ճշմարիտ լինել, բայց միաժամանակ կեղծ լինել։ Դրանցից մեկի կեղծ լինելը ենթադրում է մյուսի ճշմարտացիությունը, բայց ոչ հակառակը։ Օրինակ, եթե ես ճշմարիտ եմ, որ «Որոշ վկաներ ճշմարիտ են», կարող է ճիշտ լինել նաև O որ «Որոշ վկաներ ճշմարտացի չեն»: Բայց դա կարող է նաև կեղծ լինել։ Օրինակ, եթե ճիշտ է, որ «Որոշ փաստաբաններ իրավաբաններ են», դա չի նշանակում, որ «Որոշ փաստաբաններ իրավաբաններ չեն» ճիշտ է: Սուտ է։ Այնուամենայնիվ, եթե ես կեղծ եմ, որ «Որոշ քաղաքացիներ իրավունք ունեն խախտել օրենքները», ապա չի կարող կեղծ լինել O, որ «գոնե որոշ քաղաքացիներ իրավունք չունեն խախտել օրենքը»: Դա անշուշտ ճիշտ կլինի։

Անհամատեղելի դատողություններ.Նրանք ունեն հետևյալ տրամաբանական հարաբերությունները՝ հակադրություններ և հակասություններ։

Հակադրությունը ընդհանուր հաստատական ​​(A) և ընդհանուր առմամբ բացասական (E) դատողությունների միջև հարաբերությունն է: Երկու նման դրույթներն էլ չեն կարող միաժամանակ ճշմարիտ լինել, բայց կարող են միաժամանակ կեղծ լինել: Մեկի ճշմարտությունը անպայման ենթադրում է մյուսի կեղծիք, բայց ոչ հակառակը։ Այստեղ, հետևաբար, կա մի օրինաչափություն, որը հակառակ է նրան, որը բնութագրում էր մասնակի համատեղելիության հարաբերությունները։ Այսպիսով, եթե A-ն ճիշտ է, «Բոլոր իրավաբանները իրավաբաններ են», ապա E-ն կեղծ է, «Ոչ մի փաստաբան իրավաբան չէ»: Եվ եթե E-ն ճիշտ է, որ «Ոչ մի քաղաքացի իրավունք չունի խախտել օրենքները», ապա A-ն կեղծ է, որ «Բոլոր քաղաքացիներն իրավունք ունեն խախտել օրենքը»: Բայց եթե A-ն կեղծ է, որ «Բոլոր վկաները ճշմարիտ են», ապա դրանից չի հետևում, որ E-ն ճշմարիտ է, որ «Ոչ մի վկա ճշմարտացի չէ»: Այս դեպքում դա նույնպես կեղծ է։ Այստեղ ես ճիշտ է, որ «Որոշ վկաներ ճշմարիտ են»: Սուտ է, որ «որոշ վկաներ ճշմարտացի չեն»։ Այլ դեպքերում E-ն կարող է ճիշտ լինել: Այսպիսով, եթե A-ն կեղծ է, «Բոլոր քաղաքացիներն իրավունք ունեն խախտել օրենքները», ապա E-ն ճիշտ է, «Ոչ մի քաղաքացի իրավունք չունի խախտելու օրենքը»:

Հակասություն (հակասություն)- այնպիսի դատողությունների միջև փոխհարաբերությունները, ինչպիսիք են ընդհանուր հաստատական ​​(A) և մասնավոր բացասական (O), ընդհանուր բացասական (E) և որոշակի հաստատական ​​(I): Նրանք ունեն հետևյալ օրենքները՝ դրանք չեն կարող միաժամանակ լինել ճշմարիտ և միաժամանակ կեղծ լինել։ Մեկի ճշմարտությունը անպայմանորեն ենթադրում է մյուսի կեղծիքը և հակառակը։ Սրանք բոլոր դատողություններից «ամենաանհամատեղելիներն» են, նրանց միջև, պատկերավոր ասած, «կատվի ու շան» հարաբերություն կա, քանի որ նրանք չեն կարողանում լեզու գտնել միմյանց հետ։

Օրինակներ. Եթե ​​A-ն ճիշտ է, որ «Բոլոր իրավաբանները իրավաբաններ են», ապա O-ն, որ «Որոշ փաստաբաններ փաստաբաններ չեն» սխալ է: Եթե ​​A-ն կեղծ է, «Բոլոր վկաները ճշմարիտ են», ապա O-ն ճշմարիտ է, «Որոշ վկաներ ճշմարտացի չեն»:

Պարզ վերագրային դատողությունների միջև փոխհարաբերությունների իմացությունը դրանց ճշմարտության և կեղծիքի առումով կարևոր է ճանաչողական և գործնական առումով: Դա առաջին հերթին օգնում է խուսափել սեփական դատողությունների մեջ հնարավոր տրամաբանական սխալներից։ Այսպիսով, ընդհանուր դատողության (A կամ E) ճշմարտությունը չի կարող ենթադրվել որոշակի դատողության (I կամ O) ճշմարտությունից: Օրինակ՝ «Որոշ դատավորներ անկաշառ են», չի բխում, որ «Բոլոր դատավորներն անկաշառ են»։ Տրամաբանության մեջ նման սխալը կոչվում է հապճեպ ընդհանրացում և հաճախ է արվում։

Քննարկման կամ վեճի ժամանակ, մասնավորապես իրավական հարցերի շուրջ, ընդհանուր սուտ դատողությունը հերքելու համար ամենևին էլ պետք չէ դիմել հակառակ ընդհանուր դատողության, քանի որ դժվարության մեջ մտնելը հեշտ է. կեղծ լինել. Հիշենք մի օրինակ. եթե Ա-ն կեղծ է, «Բոլոր վկաները ճշմարիտ են», ապա դա չի նշանակում, որ E-ն ճշմարիտ է. «Ոչ մի վկա ճշմարտացի չէ»: Այն նաև կեղծ է, թեև այլ դեպքերում E-ն կարող է ճշմարիտ լինել։ Տրամաբանական է, որ բավական է տալ հակասական Ո առաջարկը՝ «Որոշ վկաներ ճշմարտացի չեն»։ Եթե ​​A-ն կեղծ է, ապա O-ն միշտ ճշմարիտ է: Սա հերքման ամենաանվտանգ և անխոցելի, ամենահուսալի մեթոդն է։

Հարաբերություններմիջեւ դատողություններ հարաբերությունների հետ:Հարաբերական դատողությունները (կամ մտքի առարկաների միջև փոխհարաբերությունների մասին դատողությունները), ինչպես արդեն նշվեց, ընդհանուր բան ունեն վերագրվող դատողությունների հետ. եռակողմ կառուցվածք (xRy), քանակի և որակի առկայություն: Ուստի դրանք կարող են լինել նաև ենթակայության, մասնակի համատեղելիության, հակադրության, հակասության կամ տրամաբանական անկախության հարաբերություններում։ Այսպիսով, եթե ես ճիշտ եմ, որ «Որոշ մետաղներ ավելի թեթև են, քան ջուրը», սա չի նշանակում, որ A-ն ճիշտ է. », և որ O , «Որոշ մետաղներ ավելի թեթև չեն, քան ջուրը» (այս դեպքում դա ճիշտ է):

Միևնույն ժամանակ, հարաբերական դատողությունները տարբերվում են վերագրվող դատողություններից նրանով, որ բացահայտում են ոչ թե առարկաների հատկությունները, այլ առարկաների միջև հարաբերությունները և, հետևաբար, ունեն ոչ թե միաբանական (մեկտեղանոց) պրեդիկատ, այլ բազմանդամ (n-): երկու կամ ավելի տեղ): Հետևաբար, կախված օբյեկտների միջև R փոխհարաբերությունների բնույթից XԵվ ժամըԴատաստանի շրջանակներում հաստատվում են նրա հատուկ հարաբերությունները:

x-ի և y-ի միջև կապը կարող է լինել հիմնականում սիմետրիկ կամ ասիմետրիկ:

Սիմետրիկ(հունարեն սիմետրիա - համաչափություն) - սրանք հարաբերություններ են x-ի և y-ի միջև, որոնց համար կարևոր չէ, թե այս անդամներից որն է նախորդը և որը հաջորդը: Այսինքն՝ դրանք կարելի է փոխանակել, բայց ճշմարտությունը կամ կեղծիքը չեն փոխվի։ Սրանք դատողություններում բացահայտված հավասարության, նմանության, նմանության, միաժամանակության հարաբերություններ են, օրինակ՝ «Իվանը Պետրոսի եղբայրն է»։ Հետեւաբար, «Պետրը Իվանի եղբայրն է»: Նման երկու հարաբերական դրույթները կարող են լինել միաժամանակ ճշմարիտ կամ միաժամանակ սխալ: Եթե ​​դրանցից մեկը ճշմարիտ է, ապա մյուսը ճշմարիտ է, և հակառակը, եթե դրանցից մեկը կեղծ է, ապա մյուսը կեղծ է:

Ասիմետրիկայն հարաբերություններն են x-ի և y-ի միջև, որոնցում կարևոր է դրանց դասավորության հերթականությունը: Ուստի անհնար է փոխել նրանց տեղերը, առանց փոխելու դատաստանի իմաստը, հետևաբար՝ դրա ճշմարտացիությունը կամ կեղծը։ Օրինակ՝ «Իվանը Ստեփանի հայրն է»։ Բայց դա չի նշանակում, որ «Ստեփանը Իվանի հայրն է»։ Եթե ​​այս առաջարկներից մեկը ճշմարիտ է, ապա մյուսը կեղծ է: Այստեղ ճշմարիտ խոսքը կլինի «Ստեփան Իվանի որդի»։ Հետևյալ հարաբերությունները նույնպես ասիմետրիկ են ստացվում. «Իվանը սիրում է Մարիային»: Սրանից ամենևին էլ չի բխում, որ «Մարիան սիրում է Իվանին», բայց նա կարող է սիրել կամ չսիրել նրան։ Եթե ​​այս դատողություններից մեկը ճշմարիտ է, ապա մյուսն անորոշ է:

Կարևոր է նաև հաշվի առնել համաչափության և ասիմետրիայի միջև եղած տարբերությունների հարաբերական բնույթը: Այն, ինչ սիմետրիկ է մի առումով, կարող է ասիմետրիկ լինել մեկ այլ առումով և հակառակը: Օրինակ՝ եթե «Իվանը Պետրոսի եղբայրն է», ապա «Պետերը Իվանի եղբայրն է»։ Բայց եթե «Իվանը Ելենայի եղբայրն է», ապա դա նշանակում է, որ «Ելենան Իվանի քույրն է»:

x-ի և y-ի միջև փոխհարաբերությունները կարող են լինել անցողիկ կամ անանցանելի:

Անցումային,կամ անցումային հարաբերություններ (լատիներեն անցումայինից՝ անցումային)։ Եթե, օրինակ, x-ը համարժեք է y-ին, իսկ y-ը` z-ին, ապա x-ը համարժեք է z-ին: Դրանք կարող են լինել նաև մեծության հարաբերություններ (ավելի - ավելի քիչ), տարածական (հետագա - ավելի մոտ), ժամանակային (ավելի վաղ - ավելի ուշ) և այլն: Օրինակ. «Իվանը Պետրոսի եղբայրն է», «Պետրը Ելենայի եղբայրն է», ինչը նշանակում է «Իվան»: եղբայր Ելենան է»։ Նման առաջարկությունները կարող են լինել միաժամանակ ճշմարիտ կամ միաժամանակ կեղծ:

Անտարբեր(անանցիկ) հարաբերությունները նախորդի համեմատ հակադարձ կապ ունեն։ Այսպիսով, եթե «Իվանը Ստեփանի հայրն է», և «Ստեփանը Նիկոլայի հայրն է», ապա դա ամենևին չի նշանակում, որ «Իվանը Նիկոլայի հայրն է»: Նա իր պապն է, հետեւաբար, նման դատողությունները միաժամանակ չեն կարող ճիշտ լինել։ Եթե ​​մեկը ճշմարիտ է, ապա մյուսը կեղծ է։

Կան նաև ռեֆլեքսիվության և ոչ ռեֆլեքսային հարաբերություններ։

Ռեֆլեկտիվհարաբերությունները (լատիներեն reflexio - ետ շրջադարձ, արտացոլում) բնութագրվում են նրանով, որ հարաբերությունների յուրաքանչյուր անդամ իր հետ նույն հարաբերությունների մեջ է: Եթե ​​երկու իրադարձություն տեղի են ունենում միաժամանակ, ապա դրանք միաժամանակ են։ Երկու առաջարկներն էլ կարող են լինել կամ ճշմարիտ կամ կեղծ:

Ոչ ռեֆլեկտիվհարաբերություններն այնպիսին են, որ եթե 2-ը 3-ից փոքր է, դա չի նշանակում, որ 2-ը փոքր է 2-ից, իսկ 3-ը փոքր է 3-ից: Մեկի ճշմարտությունը ենթադրում է մյուսի կեղծ լինելը:

Հարաբերական դատողությունների միջև նման հարաբերությունների առանձնահատկությունների իմացությունը՝ ըստ դրանց ճշմարտության կամ կեղծիքի, կարևոր է, որտեղ կան նման հարաբերություններ: Սա առանձնահատուկ նշանակություն ունի իրավահարաբերությունների ոլորտում։ Այսպիսով, դատական ​​պրակտիկայում հաշվի են առնվում իրադարձությունների միաժամանակյա կամ բազմաժամանակյա լինելը, ազգակցական հարաբերությունները, մարդկանց ծանոթությունները եւ այլն։ Օրինակ, եթե Իվանովը ճանաչում է Պետրովին, իսկ Պետրովը՝ Սիդորովին, դա չի նշանակում, որ Իվանովը ճանաչում է Սիդորովին։ Այստեղ հարաբերություններն անանցանելի են՝ դրանց բացահայտող հարաբերական դատողությունների միջև ճշմարտության և կեղծիքի առումներով բխող բոլոր հետևանքներով։

Բարդ դատողություններ

Բարդ դատողություններն իրենց գործառույթներով և կառուցվածքով տարբերվում են նաև պարզ դատողություններից։ Նրանց գործառույթներն ավելի բարդ են, քանի որ նրանք բացահայտում են ոչ թե մեկ, այլ միաժամանակ մի քանի՝ երկու կամ ավելի կապեր մտքի առարկաների միջև։ Նրանց կառուցվածքը նույնպես բնութագրվում է ավելի մեծ բարդությամբ՝ ձեռք բերելով նոր որակ։ Կառուցվածք ձևավորող հիմնական տարրերն այստեղ արդեն ոչ թե հասկացություններ-տերմիններն են (առարկա և նախադրյալ), այլ ինքնուրույն դատողություններ (և դրանց ներքին սուբյեկտ-նախադատային կառուցվածքն այլևս հաշվի չի առնվում)։ Եվ նրանց միջև կապն իրականացվում է ոչ թե կապակցական «է» («չկա») օգնությամբ, այլ որակապես այլ ձևով ՝ տրամաբանական կապերի միջոցով (դրանք կոչվում են նաև տրամաբանական կապեր): Սրանք այնպիսի շաղկապներ են, ինչպիսիք են «և», «կամ», «կամ», «եթե... ապա» և այլն: Նրանք իմաստով մոտ են համապատասխան քերականական կապերին, բայց, ինչպես ցույց կտանք ստորև, դրանք ամբողջությամբ չեն: համընկնում են դրանց հետ։ Նրանց հիմնական տարբերությունն այն է, որ դրանք միանշանակ են, մինչդեռ քերականական կապերը կարող են ունենալ բազմաթիվ իմաստներ և երանգներ:

Տրամաբանական միություններից յուրաքանչյուրը երկուական է, այսինքն. իրար հետ կապում է ընդամենը երկու դատողություն՝ անկախ նրանից՝ դրանք պարզ են, թե իրենք, իրենց հերթին՝ բարդ՝ իրենց մեջ ունենալով իրենց միությունները։

Եթե ​​պարզ դատողություններում փոփոխականները սուբյեկտն ու պրեդիկատն էին (S և P), իսկ հաստատունները՝ «է» և «չէ» տրամաբանական միացումները, ապա բարդ դատողություններում փոփոխականներն արդեն առանձին են, հետագա անբաժանելի դատողություններ (եկեք կոչենք. դրանք «Ա» և «Բ»»), իսկ հաստատունները տրամաբանական կապեր են՝ «և», «կամ» և այլն:

Ռուսերենում բարդ դատողություններն ունեն արտահայտման շատ բազմազան ձևեր։ Դրանք կարող են արտահայտվել հիմնականում բարդ նախադասություններով: Օրինակ՝ «Ոչ մի մեղավոր մարդ չպետք է խուսափի պատասխանատվությունից, և ոչ մի անմեղ մարդ չպետք է տուժի»։ Դրանք կարող են արտահայտվել նաև բարդ նախադասություններով։ Սա, օրինակ, Ցիցերոնի հայտարարությունը. «Ի վերջո, եթե նույնիսկ օրենքին ծանոթանալը հսկայական դժվարություն լիներ, ապա նույնիսկ այդ դեպքում դրա մեծ օգուտների գիտակցումը պետք է խրախուսի մարդկանց հաղթահարել այդ դժվարությունը»:

Վերջապես, նրանք կարող են նաև ընդունել պարզ ընդհանուր նախադասությունների հատուկ ձևը: Դժվար չէ դրան հասնել, օրինակ, բարդ նախադասությունների մի տեսակ «փլուզման» արդյունքում։ Այսպիսով, «Արիստոտելը մեծ տրամաբան էր, և Հեգելը նույնպես մեծ տրամաբան էր» բարդ նախադասությունը կարող է վերածվել պարզ ընդհանուրի. «Արիստոտելը և Հեգելը մեծ տրամաբաններ էին»։ Այս «փլուզման» շնորհիվ ձեռք է բերվում խոսքի ավելի մեծ լակոնիկություն, հետևաբար դրա տնտեսությունն ու դինամիզմը:

Այսպիսով, ամեն բարդ նախադասություն պարտադիր չէ, որ արտահայտվի բարդ նախադասությամբ, բայց յուրաքանչյուր բարդ նախադասություն արտահայտում է բարդ դրույթ:

Դժվարկոչվում է դատողություն, որը որպես բաղադրիչներ ներառում է տրամաբանական կապերով կապված այլ դատողություններ. զուգակցում, անջատում կամենթատեքստ.Տրամաբանական միացումների ֆունկցիաներին համապատասխան բարդ դատողությունների հիմնական տեսակներն են՝ 1) կապող, 2) բաժանող, 3) պայմանական և 4) համարժեք դատողություններ։

Կապակցական (շաղկապ) դատողությունկոչել դատողություն, որը որպես բաղադրիչներ ներառում է այլ դատողություններ-կապակցություններ, որոնք միավորված են կապակցական «և»-ով։ Օրինակ՝ «Գողությունն ու խարդախությունը դիտավորյալ հանցագործություններ են»։ Եթե ​​բաղադրիչ դատողություններից մեկը՝ «Գողությունը դիտավորյալ հանցագործություն է», նշվում է p նշանով, մյուս դատավճիռը՝ «Խարդախությունը դիտավորյալ հանցագործություն է»՝ q նշանով, և դրանց միջև կապը նշան է, ապա ընդհանրապես. կապող դատողությունը կարող է խորհրդանշականորեն արտահայտվել որպես plq:

Բնական լեզվով կապակցական դրույթները կարող են արտահայտվել երեք եղանակներից մեկով.

Միակցիչ կապան արտահայտված է բարդ առարկայի մեջ,կազմված փոխկապակցված հասկացություններից՝ ըստ սխեմայի՝ S 1, Եվ S2, կա Ռ.Օրինակ՝ «Գույքի բռնագրավումը և կոչումից զրկելը քրեական պատժի լրացուցիչ տեսակներ են»։

Միակցական կապն արտահայտվում է բարդ պրեդիկատով,որը բաղկացած է փոխկապակցված հատկանիշներից՝ ըստ սխեմայի. Սկա Պ 1 և Պ 2 . Օրինակ՝ «Հանցագործությունը սոցիալապես վտանգավոր և անօրինական արարք է»։

Միակցիչ կապը ներկայացված է առաջին երկու մեթոդների համադրությամբըստ սխեմայի՝ S 1 ԵվՍ 2 ԿաՊ 1 և Պ 2 . Օրինակ՝ «Նոզդրյովը նաև ընկերական հարաբերությունների մեջ էր ոստիկանապետի և դատախազի հետ և ընկերական վերաբերմունք էր ցուցաբերում նրա հետ» (Ն.Վ. Գոգոլ, «Մեռած հոգիներ»):

Կոնյունկտիվ կապանքերականորեն արտահայտվում է ոչ միայն «և» շաղկապով, այլև «ա», «բայց», «նաև», «ինչպես», «այդպես և», «չնայած», «սակայն», «չնայած», «բառերով. միևնույն ժամանակ» և այլն:

ԴԱՏԱՍՏԱՆ

Եթե ​​ասվածը գնահատվում է միայն իր ճշմարտության արժեքով (հայտարարություններ. «A-ն ճիշտ է» կամ «A-ն սխալ է»), ՀԵՏ. կանչեցհաստատակամ. Եթե ​​հաստատվի (ճշմարտություն)ասվածի մասին [հայտարարության եղանակը. «Ա - գուցե (ճիշտ)» կամ «հնարավոր է, որ Ա (ճիշտ)«], ՀԵՏ. կանչեցխնդրահարույց. Ե՞րբ է այն հաստատվում: (ճշմարտություն)ինչ ասվեց [հայտարարության եղանակը. «Եվ դա անհրաժեշտ է (ճիշտ)«կամ «անհրաժեշտ է, որ Ա (ճիշտ)«], ՀԵՏ. կանչեցապոդիկտիկ. Իհարկե, ընդունելի են նաև ասվածի այլ գնահատականները. օր«L-հրաշալի» կամ «L-անհաջող», բայց այս տեսակ Ս.-ն դեռևս պաշտոնական արտահայտություն չի գտել: կ.-լ.տրամաբանական տեսություններ.

Դասական լեզվով միասնության տրամաբանություն Ասվածի գնահատման մեթոդը հանգում է վերը քննարկված առաջին դեպքին, սակայն ասվածը հաստատակամ է։ ինչ ասվեց (ինչպես ցույց է տրված աղյուսակ 1-ում և 2-ում), Հետ տ.զր.այս տրամաբանությունը -

Եվ ճշմարիտ

իսկական սուտ

իսկական սուտ

կեղծ ճշմարտություն

կեղծ ճշմարտություն

անտարբերելի. Հետեւաբար, դասականում տրամաբանական տերմիններ «S». իսկ «արտասանությունը» հոմանիշ են և անկախ: Ս.-ի հետազոտական ​​օբյեկտները առանձնացված չեն. Առարկա մասնագետ։Ս. ուսումնասիրությունները փաստացի դառնում են միայն մոդալ տրամաբանության մեջ։

Սիգվարթ X., տրամաբանություն, գոտիՀետ գերմաներեն, Տ. 1, Սանկտ Պետերբուրգ, 1908; Ինչ? ch A., Ներածություն մաթեմատիկայի. տրամաբանություն, գոտիՀետ Անգլերեն, Տ. 1, Մ., I960, § 04; Ֆեյս Ռ., Մոդալ, գոտի[անգլերենից], Մ., 1974։

Փիլիսոփայական հանրագիտարանային բառարան. - Մ.: Խորհրդային հանրագիտարան. Գլ. խմբագիր՝ Լ.Ֆ.Իլյիչև, Պ.Ն.Ֆեդոսեև, Ս.Մ.Կովալև, Վ.Գ.Պանով. 1983 .

ԴԱՏԱՍՏԱՆ

տրամաբանության մեջ նախադասության ձևով արտահայտված հայտարարություն, որի օգնությամբ միացվում են երկու հասկացություններ (և պրեդիկատ). Առաջարկ):Դատաստանում միտքը բյուրեղանում է։ Դատողությունը փոխկապակցված է առարկայի և միևնույն ժամանակ նրա պրեդիկատների հետ կապակցական «է»-ի օգնությամբ, որը միշտ ուղղված է իրերի հաստատված վիճակի բացարձակին: Որովհետև ճշմարիտ դատողությանը հատկանշական է, որ չի կարելի ընդունել ոչինչ, որը հակասում է այս դատողությանը և միևնույն ժամանակ նշանակություն ունի։ Եթե ​​գոյություն ունեն որոշակի իրավիճակներ, ապա դատողության շնորհիվ այդ պայմանները համադրվում են նույնքան կատեգորիկ, որքան բուն իրերի վիճակը: Ցանկացած դատողության ներքին, ամբողջական որակն այն է, որ այն իր մեջ պարունակում է գիտելիքի բոլոր հնարավոր սուբյեկտները, բոլոր հնարավոր իրավիճակները և անհրաժեշտ պայմանները: Բոլոր հնարավոր սուբյեկտների, իրավիճակների և անհրաժեշտ պայմանների այս փաթեթը կարգավորվում է մեկ ընդհանուր օրենքով՝ չհակասելու օրենքով: Կանտը «Մաքուր բանականության քննադատության» մեջ առանձնացնում է դատողությունների հետևյալ տեսակները. 1) ըստ քանակի՝ ընդհանուր, մասնավոր և անհատական. 2) որակական առումով՝ հաստատական, բացասական, անվերջ. 3) առնչությամբ՝ կատեգորիկ, հիպոթետիկ, բաժանարար. 4) ըստ մոդալության՝ խնդրահարույց, պնդողական, ապոդիկտիկ: Վերլուծական կամ բացատրական դատողությունները, ըստ Կանտի, դատողություններ են, որոնց պրեդիկատը նախապես արդեն պարունակվում է սուբյեկտի մեջ («բոլոր մարմինները ընդլայնված են»); սինթետիկ կամ ընդլայնվող դատողություններ - դատողություններ, որոնք սուբյեկտի հայեցակարգին ավելացնում են մի նախադրյալ, որը դեռևս չի ենթադրվում առարկայի մասին գիտելիքների մեջ («բոլոր մարմիններն ունեն կշիռ»):

Փիլիսոփայական հանրագիտարանային բառարան. 2010 .

ԴԱՏԱՍՏԱՆ

Ավանդական Ձևական տրամաբանության մեջ (մինչև Ֆրեգեի տրամաբանական իմաստաբանության աշխատությունները) Ս. Այնուամենայնիվ, ավանդական Ս–ի մասին ուսուցումը, հատկապես դատողության ձևի փոխակերպման բաժնում, ինտուիտիվ կերպով ենթադրվում էր «Ս» տերմինների գործածության մեջ։ և «դեկլարատիվ նախադասություն»: Առաջինը սովորաբար օգտագործվում էր որպես «ինչ-որ բանի մասին» արտահայտությունների (կամ ժխտումների) տերմին, որոնք արվում էին դեկլարատիվ նախադասությունների միջոցով (լեզուով): Երկրորդը ծառայել է հայտարարությունների լեզվական բնութագրմանը, այսինքն. մնաց Հիմնականում քերականական տերմին: Այս անուղղակի տարբերությունն արտահայտվել է նախադասության տրամաբանական կառուցվածքի և նախադասությունների քերականական կառուցվածքի տարբերության մեջ (ընդհանուր դեպքում), որն իրականացվում է Արիստոտելյան սիլլոգիստիկայի ժամանակներից։ Այսպիսով, դասականում վերագրվող S. sub eqt (ասվածը կամ ասվածը՝ խոսք) նույնացվել է որպես քերականական. առարկան, իսկ պրեդիկատը (այն, ինչ արտահայտվում է, կամ ասվում է խոսքի առարկայի մասին՝ թեմա) արդեն քերականորեն հասկացվում էր։ նախադրյալ և նույնացվում էր ածականի անվանական մասի հետ՝ արտահայտված, օրինակ, ածականով։ Ի տարբերություն քերականականի, տրամաբանական ասույթը (Ս. ձևը) միշտ նշանակում է, որ առարկան (Ս.-ի առարկան) ունի (կամ չունի) որոշիչ։ , այսինքն. վերածվել է վերագրվող եռանդամ կապի՝ ենթակա – կապող բայ – .

«C» տերմինների օգտագործման նշված տարբերությունը. իսկ «պատմողական նախադասությունը» հետագայում հանգեցրեց դրանց համապատասխան հասկացությունների ավելի հստակ սահմանմանը։ Արդեն Բ. Բոլզանոյի, իսկ հետո՝ Գ. Ֆրեգեի համար Ս.-ն (իմաստը) ճիշտ (կամ կեղծ) պատմողական նախադասություն է։ (պատմողական) նախադասության բնութագրերը տեսանկյունից. դրա ճշմարտացիության արժեքը վերադառնում է Արիստոտելին և, իհարկե, նոր չէ: Հիմնական բանը, որ տարբերում է հասկացողությունը ավանդականից, դա (պատմողական) նախադասության բովանդակության վերացումն է - Ս. բառի ճիշտ իմաստով - իր ճշմարտության արժեքից և դրա արտահայտման նյութական (լեզվական) ձևից. Ս.-ի մեկուսացումը բացառապես որպես խոսքի տրամաբանական տարր՝ վերացական օբյեկտ «... ընդհանրության նույն աստիճանը, ինչպես , թիվը կամ» (Եկեղեցի Ա., Մաթեմատիկական տրամաբանության ներածություն, Մ., 1960, էջ 32): Էապես նոր է նաև նախադասությունների ճշմարտության արժեքների նույնականացումը՝ «ճշմարտություն» և «սուտ» (որոնք կարելի է համապատասխանեցնել յուրաքանչյուր պատմողական նախադասության՝ որպես դրա իմաստ)՝ որպես տրամաբանական հաշվարկի մեկնաբանության մեջ ներառված անկախ վերացական առարկաներ։ Այս նոր t.zr. բացատրեց համարժեք փոխակերպումները տրամաբանության մեջ՝ հիմնված ծավալայինության սկզբունքի վրա (տես Ծավալայնություն, Աբստրակցիայի սկզբունք). Մյուս կողմից, դա հնարավորություն տվեց ընդհանրացնել ավանդույթները։ համակարգի կառուցվածքի հայեցակարգը, որը հիմնված է տրամաբանական (կամ առաջարկական) ֆունկցիայի հայեցակարգի վրա, որի արժեքներն են նախադասությունները կամ դրանց ճշմարտացիության արժեքները: Այսպիսով, «Սոկրատեսը մարդ է» նախադասությունը ավանդաբար. ըմբռնումը համապատասխանում էր «S-ն P»-ին: Եթե ​​այս սխեմայում S-ը և P-ն ընկալվում են որպես արժեքների տարբեր միջակայքեր ունեցող կամ տարբեր իմաստային մակարդակների կամ տարբեր տեսակի փոփոխականներ, կամ, վերջապես, տարբեր այբուբենների պատկանող փոփոխականներ. », իսկ P – որպես փոփոխական «հասկացությունների» տարածքում, այնուհետև «անձ» հասկացությունը որպես P փոփոխականի արժեք ընտրելիս (կամ ընդհանուր դեպքում՝ ենթադրելով, որ P փոփոխականը ֆիքսված է, այսինքն՝ ենթադրելով, որ. P-ն ունի հստակ սահմանված, թեև կամայական, չճշտված տվյալ համատեքստում, նշանակում է) «S-ը P» սխեման վերածվում է «S-ն անձ» արտահայտության (ընդհանուր դեպքում՝ «...է» արտահայտության. P», որտեղ կետերը փոխարինում են S տառին), որը S փոփոխականի վրա անհատի անունը (արժեքը) փոխարինելիս «Սոկրատը» վերածվում է ճշմարիտ նախադասության։ Ակնհայտ է, որ արտահայտությունը «. ..կա մարդ» (ընդհանուր դեպքում՝ «... կա P» արտահայտությունը) մեկ փոփոխականի ֆունկցիա է, որն ընդունում է «» կամ «կեղծ» արժեքները, երբ դրվում է որոշակի առարկա. կետերի տեղը՝ այստեղ խաղալով ֆունկցիայի արգումենտի սովորական դերը Նմանապես, «...ավելի քան...» արտահայտությունը երկու փոփոխականի ֆունկցիա է, իսկ «է... և միջև է» արտահայտությունը։ ..-ը երեք փոփոխականների ֆունկցիա է և այլն: Այսպիսով, տրամաբանության կառուցվածքի ժամանակակից տեսակետը հանգում է նրան, որ դրա ավանդական «նախադրյալը» և «առարկան» փոխարինվում են համապատասխանաբար ֆունկցիայի ճշգրիտ մաթեմատիկական հասկացություններով։ և դրա փաստարկները: Այս նոր մեկնաբանությունը համապատասխանում է նրան, ինչ վաղուց զգացվել է տրամաբանական դատողության ընդհանրացված բնութագրերում, եզրը կընդգրկի ոչ միայն (և նույնիսկ ոչ այնքան) սիլլոգիստական, այլ հատկապես գիտության հիմնարար եզրակացությունները: Իր հերթին, ֆունկցիոնալ Ս.-ի արտահայտման ձևը լայն հնարավորություններ է բացում ցանկացած գիտական ​​տեսության առաջարկները ձևակերպելու համար:

Մ.Նովոսելով. Մոսկվա.

Ս–ի վերը քննարկված տեսակների բաժանումները ստեղծել են Չ. ավանդույթի կարիքները սպասարկելու միջոց: ֆորմալ տրամաբանության և, առաջին հերթին, հիմնարար խնդիրների լուծման համար։ դրա բաժինը եզրակացության տեսությունն է: Այսպիսով, Ս–ի բաժանումը քանակով, որակով և եղանակով սահմանել է Արիստոտելը իր ստեղծած սիլլոգիստիկայի տեսության կարիքների համար։ եզրակացություն (տես Սիլլոգիստիկա)։ Տրամաբանության բաժանումը պարզի և բարդի և բարդ տրամաբանության տեսակների հարցի մշակումը մեգարո-ստոյական դպրոցի տրամաբանների կողմից անհրաժեշտ էր պայմանական և տարանջատված եզրակացությունների տարբեր տեսակների ուսումնասիրության համար։ Ս–ի բաժանումը Ս–ի հատկությունների և Ս–ի հարաբերությունների առաջացել է նմանի նկատառման հետ կապված։ ոչ սիլլոգիստական ​​եզրակացություններ. Սովորաբար ենթադրվում է, որ ֆորմալ տրամաբանության խնդիրը չի ներառում դասակարգման բոլոր տեսակներն ու տարատեսակները, որոնք հանդիպում են գիտելիքի մեջ և դասակարգման համապարփակ դասակարգման կառուցումը: Նման դասակարգումներ կառուցելու փորձեր տեղի են ունեցել փիլիսոփայության պատմության մեջ [այդպիսիք. ինչպես, օրինակ, դասակարգումը Wundt-ում (տես W. Wundt, Logik, 4 Aufl., Bd 1, Stuttg., 1920)]:

Սակայն պետք է նշել, որ բացի ֆորմալ տրամաբանությունից. մոտեցումը Ս–ի տեսակների հարցին, երբ Ս–ները բաժանվում են տեսակների՝ ըստ ճշգրիտ ֆիքսված գործոնների։ տրամաբանական բաժանման հիմքերը, և բուն բաժանումը ստեղծվել է հետևության տեսության կարիքներին սպասարկելու համար, մեկ այլ՝ իմացաբանական մեկը նույնպես միանգամայն իրավաչափ է։ մոտեցում այս հարցին: Ճիշտ հասկացված իմացաբանականի համար Ս–ի տեսակների խնդրին մոտեցումը բնութագրվում է գիտության մեջ հայտնի Ս–ի տեսակների համեմատական ​​ճանաչողական արժեքով և իրականության ճանաչման գործընթացում Ս–ի մի տեսակից մյուսին անցումների ուսումնասիրությամբ։ Այսպիսով, նայելով դրան այս տեսանկյունից: Ս.-ն ըստ քանակի բաժանելով՝ ուշադրություն ենք հրավիրում այն ​​փաստի վրա, որ ճանաչողության գործընթացում հիմնականում երկակի դեր են խաղում միայնակ Ս. Նախ, առանձին Ս.-ն արտահայտում և համախմբում է բաժնի մասին գիտելիքները: առարկաներ. Սա ներառում է պատմական. իրադարձությունները, բաժնի առանձնահատկությունները. անհատականություններ, Երկրի, Արեգակի նկարագրություն և այլն: Ընդ որում, այս տեսակի անհատ Ս.-ի մեջ մենք նշում ենք անցում այսպես կոչվածից. պատկանող Ս., որում պնդվում է միայն հատկանիշի պատկանելությունը օբյեկտին, ներառական և տարբերակիչ Ս.-ին, հենց որ հաստատենք, որ հաստատված հատկանիշը պատկանում է ոչ միայն տվյալ օբյեկտին (ներառական դատողություն) կամ միայն տրվածին. օբյեկտ (ընտրովի դատողություն): Երկրորդ, առանձին Ս.-ն պատրաստում է հետծննդյան, առանձին և ընդհանուր Ս-ի ձևակերպումը: Ուսումնասիրելով ս.-լ-ի բոլոր շերտերը: երկրաբանական բաժինը և մի շարք առանձին պնդումներում արձանագրելով, որ ուսումնասիրված շերտերից յուրաքանչյուրը ծովային ծագում ունի, կարող ենք ընդհանուր պնդում անել. «Տվյալ երկրաբանական հատվածի բոլոր շերտերն ունեն ծովային ծագում»։

Կոնկրետ Ս.-ի վերաբերյալ նշում ենք, որ իրականության ճանաչման գործընթացում անցում է կատարվում անորոշությունից։ մասնավոր Ս. կոնկրետ Ս-ին կամ ընդհանուր Ս-ին Փաստորեն՝ անորոշ. մասնավոր Ս. (կամ պարզապես մասնավոր Ս.) արտահայտվում է այնպիսի դեպքերում, երբ իմանալով, որ կ.-լ.-ի որոշ օբյեկտներ. օբյեկտների դասը ունեն կամ չունեն հայտնի հատկանիշ, մենք դեռևս չենք հաստատել, որ օբյեկտների տվյալ դասի բոլոր մյուս օբյեկտները նույնպես ունեն (չունեն) այս հատկանիշը, կամ որոշ ուրիշներ չունեն (տիրապետում) հատկանիշ. օբյեկտների այս դասի օբյեկտներ: Եթե ​​հետագայում հաստատվի, որ հրամանագիրը. տվյալ դասի միայն որոշ կամ բոլոր օբյեկտներն ունեն հատկանիշ, այնուհետև կոնկրետ S.-ը փոխարինվում է սահմանմամբ։ մասնավոր կամ ընդհանուր S. Այսպիսով, կոնկրետ S. «Որոշ մետաղներ ավելի ծանր են, քան ջուրը» մետաղների ուսումնասիրման գործընթացում զտվում է սահմանման մեջ: մասնավոր Ս. «Միայն որոշ մետաղներ են ավելի ծանր, քան ջուրը»: Կոնկրետ S. «Մեխանիկական շարժման որոշ տեսակներ անցնում են շփման միջով դեպի ջերմություն» փոխարինվում է ընդհանուր Ս. «Մեխանիկական ամեն ինչ շփման միջով անցնում է ջերմության»: Սահմանում կոնկրետ Ս.-ն, լուծելով մասնավոր Ս.-ի առաջադրած խնդիրը, այն է՝ արդյոք տվյալ դասի օբյեկտների բոլոր օբյեկտներն ունեն կամ չունեն որոշակի հատկանիշ, միևնույն ժամանակ անլուծելի է թողնում այն ​​հարցը, թե կոնկրետ որ առարկաներն ունեն։ կամ չունեն հաստատված հատկանիշ: Այս անորոշությունը վերացնելու համար սահմանեք. որոշակի S.-ը պետք է փոխարինվի կամ ընդհանուր կամ բազմակի շեշտադրմամբ S. Սահմանումից անցնելու համար: մասնավոր Ս.-ին այսպես կոչված որակներ հաստատելու կարիք ունի բազմակի արտազատող Ս. այն որոշակի օբյեկտներից յուրաքանչյուրի որոշակիությունը, որոնք քննարկվում են սահմանման մեջ: մասնավոր C. Այս դեպքում, օրինակ, սահմանել. «Այս դասարանի միայն որոշ ուսանողներ լավ են տիրապետում ռուսաց լեզվին» փոխարինվում է հոգնակի շեշտադրմամբ: «Այս դասարանի բոլոր աշակերտներից միայն Շատովը, Պետրովը և Իվանովը լավ են տիրապետում ռուսաց լեզվին»: Ընդհանուր դասակարգման անցումը կատարվում է, երբ մենք կարող ենք բացահայտել տվյալ տեսակի որոշակի օբյեկտների հայտնի ընդհանուր հատկանիշներից մեկը կամ մի քանիսը որպես այս բոլոր («որոշ») օբյեկտների բնորոշ հատկանիշ: Օրինակ, իմանալով, որ բոլոր այն («որոշ») կենդանիները, որոնք քննարկվում են Ս-ում: «Միայն որոշ կենդանիներ ունեն հաստ աղիքներ», կազմում են կաթնասունների դասը, մենք կարող ենք արտահայտել ընդհանուր տարբերակիչ Ս. «Բոլոր կաթնասունները և միայն կաթնասունները, հաստ աղիքներ ունեն»: Ս–ի միջև այս կարգի անցումներ կարող են հաստատվել նաև այսպես կոչված. sp. դրանց եղանակները և որոշ այլ առումներով (տե՛ս Ա.

Լիտ.:Տավանեց Պ.Վ., Վոպր. դատողությունների տեսություն., 1955: Popov P. S., Judgment, M., 1957; Ախմանով Ա.Ս., Արիստոտելի տրամաբանական ուսմունքը, Մ., 1900; Սմիրնովա Է.Դ., Վերլուծական և սինթետիկ խնդրի մասին, փիլիսոփայություն. հարց ժամանակակից ֆորմալ տրամաբանություն, Մ., 1962; Գորսկի Դ.Պ., Տրամաբանություն, 2-րդ հրատ., Մ., 1963:

Պ.Տավանեց. Մոսկվա.

Փիլիսոփայական հանրագիտարան. 5 հատորով - Մ.: Սովետական ​​հանրագիտարան. Խմբագրել է Ֆ.Վ.Կոնստանտինովը. 1960-1970 .

ԴԱՏԱՍՏԱՆ

ԴԱՏԱՎՈՐՈՒՄ - միտք, որը պնդում է իրերի որևէ դրության առկայությունը կամ բացակայությունը: Կան պարզ և բարդ դատողություններ: Դատողությունը կոչվում է պարզ, որի դեպքում հնարավոր չէ նույնացնել ճիշտ մասը, այսինքն՝ այն մասը, որը չի համընկնում ամբողջի հետ, որն էլ իր հերթին դատողություն է։ Պարզ դատողությունների հիմնական տեսակներն են վերագրողական և հարաբերական դատողությունները։ Վերագրողական դատողություններն այն դատողություններն են, որոնք արտահայտում են օբյեկտների հատկությունների պատկանելությունը կամ օբյեկտներում որևէ հատկության բացակայությունը: Ատրիբուտիվ դատողությունները կարող են մեկնաբանվել որպես դատողություններ մի շարք օբյեկտների ամբողջական կամ մասնակի ներառման կամ չներառման մասին մյուսում, կամ որպես դատողություններ այն մասին, թե արդյոք օբյեկտը պատկանում է կամ չի պատկանում օբյեկտների դասին: Հատկանշական դատողությունները կազմված են առարկայից (տրամաբանական առարկա), նախադրյալից (տրամաբանական նախադեպ) և կապակցիչից, իսկ ոմանք պարունակում են նաև, այսպես կոչված, քանակական (քանակական) բառեր («ոմանք», «բոլորը», «ոչ մեկը» և այլն): Սուբյեկտը և պրեդիկատը կոչվում են դատողության պայմաններ:

Առարկան հաճախ նշվում է լատիներեն S տառով («subjectum» բառից), իսկ պրեդիկատը P-ով («praedicatum» բառից)։ «Որոշ գիտություններ հումանիտար գիտություններ չեն» դատողությունում սուբյեկտը () «գիտություններ» է, պրեդիկատը ()՝ «մարդասիրական», կապակցականը՝ «ոչ», իսկ «ոմանք»՝ քանակական: Վերագրողական դատողությունները բաժանվում են տեսակների «ըստ որակի» և «ըստ քանակի»: Որակի առումով դրանք կարող են լինել հաստատական ​​(կապակցող «էությունը» կամ «է») և բացասական (կապակցական «էությունը չէ» կամ «ոչ»): Ըստ քանակի, վերագրվող դատողությունները բաժանվում են մեկ, ընդհանուր և մասնավոր: Առանձին դատողություններն արտահայտում են՝ օբյեկտը պատկանում է կամ չի պատկանում առարկաների դասին: Ընդհանուր առմամբ - կամ դասի օբյեկտների դասի չներառումը դասում:

Մասնակի դատողություններն արտահայտում են առարկաների դասի մասնակի ընդգրկումը կամ չներառումը առարկաների դասի մեջ: Դրանցում «ոմանք» բառն օգտագործվում է «գոնե ոմանք, և գուցե բոլորը» իմաստով։

«Բոլոր Ս-ը Ps են» (ընդհանուր հաստատական), «Ոչ Ս-ն առաջարկվում է» (ընդհանուր բացասական), «Ոմանք Ս-ը P են» (մասնավորապես հաստատական), «Ոմանք Ս-ը Պ չեն» (մասնավոր բացասական) ձևի դատողությունները կոչվում են. կատեգորիկ. Կատեգորիկ դատողություններում տերմինները կարող են բաշխվել (լրիվ վերցված) և չբաշխվել (վերցված ոչ ամբողջությամբ): Ընդհանուր դատողություններում սուբյեկտները բաշխվում են, իսկ ժխտական ​​դատողություններում՝ նախադրյալները։ Մնացած ժամկետները չեն բաշխվում։

Այն դատողությունները, որոնք ասում են, որ առարկաների զույգերի, եռյակների և այլնի տարրերի միջև որոշակի հարաբերություն կա (կամ չի պահպանվում), կոչվում են դատողություններ հարաբերությունների մասին։ Դրանք ըստ որակի բաժանվում են հաստատականի և բացասականի։ Ըստ քանակի, երկտեղանի հարաբերությունների մասին դատողությունները բաժանվում են մեկական, ընդհանուր-ընդհանուր, առանձնահատուկ-մասնավոր, մեկ ընդհանուր, մեկ-մասնավոր, ընդհանուր-միավոր, առանձին-առանձին, ընդհանուր-մասնավոր, մասնավոր-ընդհանուր: Օրինակ, «Մեր խմբի յուրաքանչյուր ուսանող գիտի ինչ-որ ակադեմիկոսի» առաջարկը հանրային-մասնավոր է: Նմանատիպ է բաժանումը տիպերի՝ ըստ եռատեղ, քառտեղանոց և այլն հարաբերությունների մասին դատողությունների քանակի։ Այսպիսով, «Փիլիսոփայության ֆակուլտետի որոշ ուսանողներ որոշ հին լեզուներ ավելի լավ գիտեն, քան ցանկացած ժամանակակից օտար լեզու» առաջարկությունը մասնավոր-հատուկ-ընդհանուր է:

Բացի վերագրող և հարաբերական դատողություններից, որպես պարզ դատողությունների հատուկ տեսակներ առանձնանում են գոյության դատողությունները (օրինակ՝ «Այլմոլորակայինները գոյություն ունեն») և ինքնության (հավասարության) դատողությունները (օրինակ՝ «a=fe>»:

Նկարագրված դատողությունները, ինչպես նաև դրանցից կազմված բարդ դատողությունները կոչվում են պնդողական։ Դրանք (ընդամենը) հաստատումներ կամ ժխտումներ են: Հայտարարությունների ու ժխտումների հետ մեկտեղ կան, այսպես կոչված, ուժեղ և թույլ հայտարարություններ և ժխտումներ։ Օրինակ՝ «Մարդն ունի իր տեսակի հետ շփվելու ներհատուկ կարողություն», «Մարդը հավերժ չի ապրում», «Մարդը փափուկ ականջի բլթակներ ունի» պնդումների ամրապնդումը, համապատասխանաբար, «Մարդը անպայմանորեն ունի սեփականություն». շփվելով իր տեսակի հետ», «Մարդը չի կարող հավերժ ապրել»։ Ուժեղ և թույլ հաստատումներն ու ժխտումները ալեթիկ մոդալ դրույթներ են: Դրանց թվում են անհրաժեշտության (ապոդիկտիկ), հնարավորության և պատահականության դատողությունները։

Բարդ դատողությունների շարքում առանձնանում են մի քանի տեսակներ. Կապակցական դրույթները այն դրույթներն են, որոնք պնդում են երկու կամ ավելի իրավիճակների առկայությունը: Բնական լեզվով ասած՝ դրանք ձևավորվում են այլ դատողություններից առավել հաճախ «և» շաղկապով։ Այս շաղկապը նշանակվում է l նշանով, որը կոչվում է (փոխադարձ) կապի նշան։ Այս շաղկապով դրույթը կոչվում է (փոխադարձ) շաղկապ։ Կապակցական նշանի սահմանումը աղյուսակ է, որը ցույց է տալիս կապակցական դատողության իմաստի կախվածությունը դրա բաղկացուցիչ դատողությունների իմաստներից: Դրանում «i»-ն և «l»-ը «ճշմարիտ» և «կեղծ» իմաստների հապավումներն են:

Այն դատողությունները, որոնք հաստատում են երկու կամ ավելի իրավիճակների հաջորդական առաջացումը կամ գոյությունը, կոչվում են ոչ կոմուտատիվ-շաղկապ: Կազմվում են երկու կամ ավելի դատողություններից շաղկապների օգնությամբ, որոնք նշվում են T-t, 7з և այլն նշաններով՝ կախված դատողությունների քանակից, որոնցից կազմվում են։ Այս նշանները կոչվում են ոչ փոխադարձ կապի նշաններ և համապատասխանաբար կարդում են «..., և հետո...», *..., հետո..., և հետո...» և այլն։ Ցուցանիշներ 2,3 և այլն։ .նշեք միավորման վայրը:

Դիսյունկտիվ դատողություններն այն դատողություններն են, որոնք հաստատում են երկու, երեք և այլն իրավիճակներից մեկի գոյությունը: Եթե ​​պնդվում է երկու իրավիճակներից առնվազն մեկի գոյությունը, ապա առաջարկը կոչվում է (թույլ) դիսյունկտիվ կամ անջատող: Եթե ​​պնդվում է երկու կամ մի քանի իրավիճակներից հենց մեկի առկայությունը, ապա առաջարկությունը կոչվում է խիստ դիջյունկտիվ կամ խիստ անջատող։ «կամ» շաղկապը, որով արտահայտվում է առաջին տիպի պնդումը, նշվում է ν նշանով (կարդալ «կամ»), որը կոչվում է թույլ դիսյունցիայի նշան (կամ պարզապես անջատման նշան) և շաղկապ։ «կամ..., կամ...», որի միջոցով արտահայտվում է երկրորդ տիպի հայտարարություն, - y նշանով (կարդում է «կամ..., կամ...»), որը կոչվում է նշան. խիստ տարանջատում. Ոչ խիստ և խիստ անջատման նշանների աղյուսակային սահմանումներ.

Այն առաջարկությունը, որը նշում է, որ մեկ իրավիճակի առկայությունը որոշում է դրա առկայությունը, կոչվում է պայմանական: Պայմանական դրույթներն առավել հաճախ արտահայտվում են «եթե..., ապա...» շաղկապով նախադասություններով։ «Եթե..., ապա...» պայմանական կապը նշվում է «->» սլաքով:

Ժամանակակից տրամաբանության լեզուներում տարածված է «եթե..., ապա...» շաղկապը, որը նշվում է «ե» նշանով։ Սա կոչվում է (նյութական) ենթատեքստի նշան, իսկ այս շաղկապով դրույթը կոչվում է իմպլիկատիվ: Ենթակա դրույթի այն մասը, որը գտնվում է «եթե» և «այնուհետև» բառերի միջև, կոչվում է նախադեպ, իսկ «այնուհետև» բառից հետո գտնվող մասը՝ հետևանք։ Հետևանքի նշանը որոշվում է ճշմարտության աղյուսակով.

Համարժեք դատողությունը դատողություն է, որը հաստատում է երկու իրավիճակների փոխադարձ պայմանականությունը: «Եթե և միայն եթե..., ապա...» շաղկապն օգտագործվում է ևս մեկ իմաստով։ Այս դեպքում այն ​​նշվում է «=» նշանով, որը կոչվում է նյութական համարժեքության նշան, որը որոշվում է ճշմարտության աղյուսակով.

Այս շաղկապով դատողությունները կոչվում են նյութական համարժեքության դատողություններ։

Պարզ անտրամաբանական մոդալ դատողությունները նկարագրված են վերևում: Այլ դատողություններից առաջացած բարդ դատողությունները «անհրաժեշտ է», «պատահաբար դա», գուցե դա» արտահայտությունների միջոցով կոչվում են նաև ալեթիկ մոդալ դատողություններ։ Ալեթիկ մոդալ դրույթները նույնպես բարդ դրույթներ են, որոնց առանձին բաղադրիչներն են ալեթիկ մոդալ դրույթները։ Ալեթիկ մոդալ հասկացությունները («անհրաժեշտ», «պատահական», «հնարավոր») բաժանվում են տրամաբանական և փաստացի (ֆիզիկական): Իրավիճակը կարող է լինել տրամաբանորեն հնարավոր կամ փաստացիորեն հնարավոր, տրամաբանորեն անհրաժեշտ կամ փաստացիորեն անհրաժեշտ, տրամաբանորեն պայմանական կամ փաստացիորեն պայմանավորված: Տրամաբանորեն հնարավորը մի բան է, որը չի հակասում տրամաբանության օրենքներին։ Իրականում հնարավոր է մի բան, որը չի հակասում բնության օրենքներին ու հասարակական կյանքին։

Նախորդ գլխում մենք տրամաբանությունը սահմանեցինք որպես այն դիսցիպլին, որն ուսումնասիրում է դրույթների միջև ենթատեքստի կապը, այսինքն՝ նախադրյալների և եզրակացությունների հարաբերությունը, որով մի բազմության ճշմարտությունը կամ կեղծը որոշում է մյուսի ճշմարտությունը կամ կեղծը: Այսպիսով, և՛ նախադրյալները, և՛ եզրակացությունները դրույթներ են, և, հիմնվելով տրամաբանության առջև ծառացած խնդիրների վրա, առաջարկը կարող է սահմանվել որպես ամեն ինչ, որը կարող է լինել ճշմարիտ կամ կեղծ: Այս սահմանումն ավելի պարզ կլինի, եթե ասենք նաև, թե ինչ չէ դատողությունը։
1. Առաջարկը նույնը չէ, ինչ այն նախադասությունը, որում այն ​​նշված է: Երեք տարբեր նախադասություններ՝ «Կարծում եմ, հետևաբար գոյություն ունեմ», «Je pense, done je suis», «Cogito ergo sum» - նշում են նույն առաջարկությունը: Նախադասությունը բառերի մի խումբ է, և բառերը, ինչպես մյուս բոլոր խորհրդանիշները, իրենք ֆիզիկական առարկաներ են, որոնք տարբերվում են նրանից, թե ինչ են ցույց տալիս կամ խորհրդանշում: Գրելիս նախադասությունները զբաղեցնում են որոշակի մակերեսներ, իսկ երբ ասվում են, դրանք մի օրգանիզմից մյուսն անցնող ձայնային ալիքներ են։ Այնուամենայնիվ, այն նախադասությունը, որի բառային արտահայտությունն է նախադասությունը, տարբերվում է կոնկրետ արտահայտության տեսանելի նշաններից կամ ձայնային ալիքներից: Այսպիսով, դրույթները ֆիզիկական գոյություն ունեն: Նրանք կարող են կամ չեն համապատասխանում որոշակի ճաշակի կամ օգտագործման չափանիշներին: Բայց դրանք ճիշտ կամ կեղծ չեն: Ճշմարտությունը կամ սուտը կարելի է պնդել միայն նախադասություններով նշանակված դատողությունների վերաբերյալ:
2. Միևնույն ժամանակ դատողությունը տարբերելու անհրաժեշտության հետ այն խորհրդանիշներից, որոնցում այն ​​արտահայտվում է, պետք է նշել, որ ոչ մի դատողություն չի կարող արտահայտվել կամ փոխանցվել առանց խորհրդանիշների: Հետևաբար, դատողության կառուցվածքը պետք է արտահայտվի և հաղորդվի խորհրդանիշների համապատասխան կառուցվածքի միջոցով: Սա պահանջվում է, որպեսզի դատողությունը հնարավոր չլինի փոխանցել խորհրդանիշների որևէ համակցության միջոցով: «Ջոն առնետը կապույտ Ջոնս է», «քայլիր նստեցի ու շատ կերիր» դատողություններ արտահայտող խորհրդանիշներ չեն։ Այս սիմվոլներն ուղղակի անհեթեթություն են, եթե, իհարկե, գործ չունենք ինչ-որ կոդի հետ։ Միայն խորհրդանիշների որոշակի դասավորություններ կարող են արտահայտել առաջարկություն: Եվ այդ իսկ պատճառով նոտացիոն համակարգերի ուսումնասիրությունն անգնահատելի նշանակություն ունի դատողությունների կառուցվածքի ճիշտ վերլուծության համար։ Եվ դա է պատճառը, որ լեզվի քերականությունը, չնայած քերականական և տրամաբանական վերլուծության անհամապատասխանությանը, հաճախ կարողանում է պարզաբանել տարբերությունները, որոնք ունեն տրամաբանական բնույթ։
3. Դատողությունը, ինչպես ասացինք, այն է, որի առնչությամբ հասկացվում են ճշմարտության և կեղծիքի մասին հարցերը։ Հետևաբար, երբ Համլետը բացականչում է. կամ երբ նա հարցնում է. «Ինչո՞ւ եք մեղավորներ ծնում», նա որևէ դատողություն չի անում, իսկ եթե պնդում է, դա միայն անուղղակիորեն է: Բանն այն է, որ ցանկությունները, հարցերը կամ պատվիրաններն իրենք չեն կարող լինել ճշմարիտ կամ կեղծ: Հարկ է նշել, որ ցանկությունների, հարցերի և հրամանների հասկանալիությունը հիմնված է այն ենթադրությունների վրա, որ գերակայում են իրերի որոշակի վիճակներ: Իսկ նման ենթադրությունները դատողություններ են պարունակում։ Օրինակ՝ նկատի առեք այն հարցը. «Ինչո՞ւ եք մեղավորներ ծնում»։ Այն, ի թիվս բազմաթիվ այլ առաջարկությունների, անկասկած ենթադրում է, որ հասցեագրված անձը գոյություն ունի, կարող է երեխաներ ծնել, և որ այդ երեխաները անպայման մեղավոր կլինեն: Նմանապես, «Օ՜, իմ միտքը, այսուհետ դու պետք է արյունոտ լինես, կամ փոշին քո գինն է» բացականչության մեջ: Ենթադրվում է, որ բանախոսը կարող է մտքեր ունենալ, որ այդ մտքերը կարող են մահացու լինել, կարող են ունենալ որոշակի արժեք և այլն: Ավելին, հրամանը կամ ցանկությունը կարող է ներկայացվել դեկլարատիվ ձևով, որը, որպես կանոն, արտահայտում է. որոշակի դատողություն. Դրա օրինակն են հետևյալ վերափոխումները՝ «Ուզում եմ, որ գաս», «Ես գոհ կլինեմ, եթե գաս», «Կփոշմանես, եթե չգաս»։ Հայտարարությունները դատողություններ են այնքանով, որքանով նրանց ասածները կարող են լինել ճշմարիտ կամ կեղծ:
4. Դատողությունները հաճախ շփոթվում են դատողություն ունենալու համար անհրաժեշտ մտավոր գործողությունների հետ: Այս շփոթությունը բխում է «դատաստան» տերմինը որպես հիմնավորված բայ հասկանալուց: Սա հանգեցնում է անորոշության, քանի որ որոշ դեպքերում այս տերմինը նշանակում է որոշակի դատողություն անելու մտավոր ակտը, իսկ որոշ դեպքերում՝ հենց դատողությունը, որպես այդպիսի արարքի բովանդակություն։ Այնուամենայնիվ, ինչպես մենք տարբերակեցինք դատողությունը (որպես օբյեկտիվ իմաստ) և այն նախադասությունը, որով այն արտահայտվում է, մենք պետք է տարբերակենք դատողությունը և դատողություն կատարելու հետ կապված մտավոր ակտը:
5. Դատողությունները նույնպես չպետք է նույնացվեն որևէ կոնկրետ առարկայի, իրի կամ իրադարձության հետ: Դրանք լավագույն դեպքում իրերի միջև մեկուսացված վերացական հարաբերություններ են: Երբ մենք հաստատում կամ հերքում ենք «Լուսինը Երկրին ավելի մոտ է, քան Արեգակը» դրույթը, ապա ոչ Լուսինը, ոչ Երկիրը, ոչ Արևը, ոչ էլ նրանց միջև հեռավորությունը առաջարկություն չեն: Առաջարկը հարաբերություն է, որը պնդում է, որ գոյություն ունի այս մարմինների միջև: Նման հարաբերությունները, ինչպես մեր մտքի առարկաները, իրական, կոնկրետ իրավիճակների տարրեր կամ ասպեկտներ են։ Այս ասպեկտները անքակտելի տարածական-ժամանակային կապի մեջ են համապատասխան իրավիճակների բոլոր մյուս բաղկացուցիչ տարրերի հետ, սակայն դրանց տարբերակիչ առանձնահատկությունը կայանում է դրանց իմաստի մեջ: Այդ իսկ պատճառով զգայական փորձը չի կարող վերածվել գիտելիքի՝ առանց մեր ընկալածի ռեֆլեկտիվ վերլուծության։ Իսկ գիտելիքը դատողությունների իմացություն է, և դրան կարելի է տիրապետել միայն համապատասխան իրավիճակի վերացական հատկությունների միջև առկա հարաբերությունները տարբերելով։
6. Մենք առաջարկությունը սահմանել ենք որպես մի բան, որը կարող է լինել ճշմարիտ կամ կեղծ: Սակայն դա չի նշանակում, որ մենք պարտավոր ենք իմանալ դրա ճշմարտացի արժեքը։ «Քաղցկեղը կարելի է բուժել» առաջարկություն է, բայց մենք չգիտենք՝ դա ճիշտ է, թե ոչ։

Սա, սակայն, հանգեցնում է այն հայտնի դժվարությանը, որ մենք երբեմն չենք կարողանում որոշել, թե արդյոք որոշակի նախադասություն արտահայտում է առաջարկություն։ Նկատի առնենք, օրինակ, «բակը երեք ոտնաչափ է» արտահայտությունը։ Ճշմարտությա՞ն, թե՞ կեղծիքի մասին հարց ենք տալիս, երբ այն ձևակերպում ենք: Պետք է ընդունել, որ այս նախադասությունն ունի որոշակի դատողություն արտահայտող նախադասության ձև։ Այնուամենայնիվ, եթե վերլուծենք դրա բովանդակությունը, ապա կտեսնենք, որ այն արտահայտում է ոչ թե ինչ-որ բան, որը կարող է ճշմարիտ կամ կեղծ լինել: Մենք որոշում ենք օգտագործել երեք ոտնաչափ միավոր: Այնուամենայնիվ, բանաձեւը որպես այդպիսին չի կարող վերագրվել ճշմարտությանը կամ կեղծին: Բանաձևերը, որոնք հաճախ ստանում են սահմանումների ձև, արտահայտվում են դատողությունների արտահայտման ձևերով, բայց դրանք պետք է տարբերվեն դատողություններից:

Հարցը, թե «բակ» բառն օգտագործվում է ըստ սահմանման, իհարկե, փաստացի է, և դրա պատասխանը կարող է լինել ճիշտ կամ կեղծ: Սակայն այս դատողություններում խոսքը լեզվական գործածության մասին է, այլ ոչ թե դատողությունները կազմող բառերով նշանակվող առարկաների։

7. Մեկ այլ դժվարություն է ծագում այն ​​փաստից, որ մենք հաճախ հավատում ենք, որ նույն դրույթները երբեմն կարող են լինել ճշմարիտ, երբեմն էլ՝ կեղծ: Այնուամենայնիվ, առաջարկի մեր սահմանումը բացառում է այս հնարավորությունը և ենթադրում է, որ եթե առաջարկը ճշմարիտ է, ապա այն միշտ պետք է ճշմարիտ լինի: Որքան հաճախ են սովորական մարդիկ օգտագործում այսպիսի տողեր. «Այն, ինչ ասում եք, կարող է ճիշտ լինել, բայց ոչ միշտ»: Այս դիրքորոշումը վերաբերում է այնպիսի արտահայտությունների, ինչպիսիք են՝ «կրոնը սովորեցնում է քեզ սիրել մերձավորներին», «դժվար է դիմակայել գայթակղությանը», «սուրը չի կտրում մեղավորի գլուխը»։ Մենք կարող ենք հաղթահարել այս դժվարությունը՝ գիտակցելով, որ եթե տրված դրույթները պնդում են, որ ինչ-որ բան համընդհանուր կանոն է, ապա բացառության առկայությունը միայն կհաստատի դրանց կեղծ լինելը: «Երբեմն կրոնը սովորեցնում է քեզ ատել մերձավորներին» դրույթը չի հաստատում այն ​​անհեթեթ միտքը, որ «կրոնը միշտ սովորեցնում է քեզ ատել մերձավորներին» ընդհանուր դրույթը երբեմն ճիշտ է:

Թերևս հետևյալ օրինակը կօգնի ավելի լավ հասկանալ այս գաղափարը։ Թվում է, թե «Կոնեկտիկուտի ներկայիս նահանգապետը դոկտոր Կրոսն է» առաջարկը ճշմարիտ է որոշակի տարիների համար, բայց, իհարկե, ոչ բոլոր ժամանակների համար: Նման վերլուծությունը, սակայն, համարժեք չէ, քանի որ «ներկայիս մարզպետ» արտահայտությունը, անշուշտ, ենթադրում է կոնկրետ ժամկետ։ Այսպիսով, մեր արտահայտության մեջ հստակորեն ներառելով ցանկալի ամսաթիվը, մենք ստանում ենք արտահայտություններ տարբեր դրույթների համար, որոնցից մի քանիսը կլինեն ճշմարիտ, իսկ որոշները՝ կեղծ: Ընդհանուր առմամբ, սովորական խոսքում մեր արած հայտարարությունները հազվադեպ են պարունակում բոլոր անհրաժեշտ պայմանները դրանց ճշմարտացիությունը կամ կեղծը որոշելու համար: Մենք տեղյակ ենք այս պայմաններից մի քանիսի մասին, իսկ մյուսների մասին տեղյակ չենք: Թերի արտահայտությունը ոչ ճիշտ է, ոչ էլ կեղծ: Իսկ երբ ասում ենք, որ որոշակի դրույթը երբեմն ճիշտ է, երբեմն՝ սխալ, նկատի ունենք միայն այն, որ մեր գործածած պնդումը կարող է լրացվել տարբեր ձևերով՝ երբեմն արտահայտելով ճշմարիտ, երբեմն էլ՝ սխալ դրույթներ։

Դատողությունների տեսակները և նրանց միջև տրամաբանական հարաբերությունները

Դատողությունների էությունը, ինչպես նաև նրանց դերը մարդու գործնական գործունեության մեջ հասկանալու համար մեծ նշանակություն ունի դրանց գիտական ​​դասակարգումը։

Բոլոր դատողությունները կարելի է բաժանել երկու մեծ խմբի՝ պարզ և բարդ։ Պարզ առաջարկը մի դրույթ է, որն արտահայտում է երկու հասկացությունների միջև կապը. օրինակ՝ «Որոշ հրաբուխներ ակտիվ են»։

Մի քանի պարզ դատողություններից բաղկացած դատողությունը կոչվում է բարդ.

Դիտարկենք պարզ դատողությունների տեսակները, որոնք դասակարգվում են հետևյալ հիմքերով.

1. Ըստ առարկայի ծավալի(հաշվի մեջ):

Եզակի - դատողություններ, որոնք ներառում են հաստատում կամ ժխտում մեկ առարկայի վերաբերյալ: Նման դատողության բանաձևը հետևյալն է.

Սա Սէ (չէ) Պ.

Այսպիսով, «Սանկտ Պետերբուրգի Էրմիտաժը Ռուսաստանի ամենամեծ թանգարանն է» դատողությունը մեկ դատողություն է, քանի որ թեմայի շրջանակը ներառում է կոնկրետ մշակութային հաստատություն։

Հատուկ դատողություններ, որոնցում ինչ-որ բան հաստատվում կամ հերքվում է որոշակի դասի օբյեկտների մի մասի վերաբերյալ: Այս մասը կարող է լինել անորոշ կամ որոշակի: Կախված տվյալ հանգամանքներից՝ մասնավոր դատողությունները բաժանվում են անորոշի և որոշակիի։

IN անորոշդատողություններում տրամաբանական սխեման հետևյալն է. «Մոտ 8-ը P են»: «Ոմանք» բառը նրանց անորոշ է դարձնում: Օրինակ՝ «Քաղաքագիտության որոշ խնդիրներ ունեն փիլիսոփայական բնույթ»։

Հստակմասնավոր դատողությունը պարունակում է գիտելիքներ դատողության առարկայի երկու մասերի մասին: Այն ունի հետևյալ տրամաբանական դիագրամը.

«Միայն ոմանք ՍԿա Ռ».

Օրինակ՝ «Լեզվաբանության միայն որոշ խնդիրներ են փիլիսոփայական բնույթի»։

Ընդհանուր - դատողություններ, որոնցում ինչ-որ բան հաստատվում կամ հերքվում է տվյալ դասի յուրաքանչյուր առարկայից: Նման դատողությունների տրամաբանական սխեման ունի հետևյալ տեսքը.

«Բոլոր ՍԿա Ռ»կամ «Ոչ մի Սմի կերեք Ռ»

Օրինակ, մի մեջբերում «Եվգենի Օնեգինից» Ա.Ս. Պուշկին. «Մենք բոլորս մի քիչ սովորեցինք» ընդհանուր դատողություն է, քանի որ առարկայի ծավալը ներառում է ցուցադրվող օբյեկտների ամբողջ դասը:

2. Ըստ փաթեթի որակիդատողությունները կարող են լինել դրական կամ բացասական:

Հաստատական ​​դատողություններ, որոնք արտահայտում են որոշակի հատկանիշի պատկանելությունը առարկային. օրինակ, «Աշխատանքի գիտական ​​կազմակերպումը մեծացնում է ինժեների արդյունավետությունը»:

Բացասական դատողություններ, որոնք արտահայտում են առարկայի որևէ հատկանիշի բացակայությունը, օրինակ՝ «Ոչ մի դելֆին ձուկ չէ»:

Այս դեպքում պետք է տարբերակել բացասական դատողությունը դրական դատողություն արտահայտելու բացասական ձևից. օրինակ՝ «Նվաճողական պատերազմը իրավական հիմք չունի» և «Նվաճողական պատերազմն անօրինական է»։ Այս տեսակի դատողությունը միշտ չէ, որ նույնական է:

Գույքային դատողություններն արտացոլում են, թե արդյոք մտքի առարկան պատկանում է այս կամ այն ​​գույքին կամ վիճակին. օրինակ՝ «Մեր ժամանակներում փիլիսոփայական գիտելիքների ձեռքբերումը մարդու հոգևոր մշակույթի ամենակարևոր տարրն է»։

Հարաբերությունների դատողություններն արտահայտում են տարբեր կապեր մտքի առարկաների միջև տեղում, ժամանակ, չափ և այլն. օրինակ, «Էվերեստը ավելի բարձր է, քան Մոնբլանը» դատողությունը որոշվում է մի լեռան մյուսի հետ (համեմատության միջոցով). կամ «Լ.Ն.Տոլստոյը Ի.Ս.Տուրգենևի և Ա.Մ.Գորկու ժամանակակիցն էր»։

Գոյության մասին դատողությունները նախատեսված են լուծելու մեր մտքի առարկայի՝ բնության, հասարակության կամ հոգևոր կյանքի ցանկացած երևույթի գոյության հարցը: Օրինակ՝ «Սոցիոլոգիայի հետազոտության օբյեկտներից մեկը հասարակական կարծիքն է»։

Ցանկացած դատողություն ունի ինչպես քանակական, այնպես էլ որակական հատկանիշներ։ Հետեւաբար, տրամաբանության մեջ այն օգտագործվում է համակցված դասակարգումքանակի և որակի վերաբերյալ դատողություններ. Արդյունքում մենք ստանում ենք չորս տեսակի դատողություններ. ընդհանուր հաստատական, ընդհանուր ժխտական, մասնավոր հաստատական ​​և մասնավոր բացասական: Եկեք դրանք ավելի մանրամասն քննարկենք:

Ընդհանրապես հաստատական ​​դատողությունը ընդհանուր է ծավալով և հաստատական՝ կապի որակով: Նրա կառուցվածքը՝ «Ամեն ինչ ՍԿա Ռ«, իսկ խորհրդանիշը լատինատառ է» Ա" . Օրինակ՝ հետևյալ դատողությունն է. «Օտար լեզուների ցանկացած ուսումնասիրություն զարգացնում է միտքը՝ նրան տալով ճկունություն և ուրիշի աշխարհայացքի մեջ ներթափանցելու ունակություն» (Դ. Ի. Պիսարև): Երկրորդ օրինակ. «Բոլոր թառերը ձուկ են»: Այս դատողություններում նախադրյալի շրջանակն ավելի լայն է, քան առարկայի շրջանակը և հանդիսանում է նրա ենթակա հասկացությունը։ Նման դատողություններում սուբյեկտի և պրեդիկատի ծավալային հարաբերությունները կարելի է պատկերել նշված շրջանաձև դիագրամի տեսքով։ Այստեղից երեւում է, որ հատոր Սհատորի մի մասն է միայն Ռ, ուրեմն բացառությամբ Սծավալով Ռկարող է ներառվել այլ հասկացությունների շրջանակը (առաջին օրինակում դա կարող է լինել «պատմության ուսումնասիրություն», «փիլիսոփայության ուսումնասիրություն» և այլն):

Շատ ընդհանուր հաստատական ​​դրույթներում (բոլոր սահմանումներում) սուբյեկտը և պրեդիկատը համարժեք հասկացություններ են լինելու: Օրինակ՝ «Լեզվի հարստությունը մտքերի հարստությունն է» (Ն. Մ. Քարամզին): Կամ մեկ այլ օրինակ. «Բոլոր քառակուսիները հավասարակողմ ուղղանկյուններ են»: Նման դատողություններում տերմինների շրջանակները լիովին համընկնում են

Այսպիսով, ընդհանուր հաստատական ​​դրույթներում սուբյեկտը ստորադասվում է նախադրյալին կամ երկու տերմիններն էլ համարժեք հասկացություններ են։

	Ընդհանուր բացասական դատողությունը ընդհանուր է առարկայի ծավալի առումով և բացասական՝ կապի որակի առումով: Նրա կառուցվածքը՝ «Ոչ մի Սմի կերեք Ռ" . Ընդհանուր առմամբ բացասական դատողությունների խորհրդանիշը տառն է: Ե" . Օրինակ կարող է լինել հետևյալ առաջարկությունը. «Ոչ մի վագր խոտակեր չէ»: Առարկայի և նախադրյալի լիակատար անհամատեղելիությունը բնորոշ է բոլոր ընդհանուր բացասական դատողություններին, այսինքն. դրանց ծավալները լիովին բացառում են միմյանց։
	Մասնակի հաստատական ​​դատողությունը մասնակի է թեմայի շրջանակի առումով և հաստատական՝ կապի որակի առումով։ Նրա կառուցվածքը՝ «Ոմանք ՍԿա Ռ" . Մասնավոր հաստատական ​​դատողությունների խորհրդանիշը տառն է. Ի" . Օրինակ՝ հետևյալ դատողությունները. «Որոշ ուսանողներ գրքասեր են»; «Որոշ տեխնիկներ ֆիլատելիստներ են»։
	Այս դատողություններում սուբյեկտը և պրեդիկատը հատվող հասկացություններ են, դրանց ծավալները, ինչպես ցույց է տրված դիագրամում, մասամբ համընկնում են: Այնուամենայնիվ, որոշ մասնավոր հաստատական ​​դրույթներում թեմայի շրջանակն ավելի լայն է, քան պրեդիկատի շրջանակը. օրինակ՝ «Որոշ դերասաններ Հայրենական մեծ պատերազմի վետերաններ են»; «Որոշ գրողներ Ռուսաստանի հերոսներ են». Նախադրյալի շրջանակն այստեղ ներառված է սուբյեկտի շրջանակի մեջ, սակայն սուբյեկտի շրջանակը միայն մասամբ է համընկնում պրեդիկատի շրջանակի հետ։ Այսպիսով, մասնավորապես հաստատական ​​դատողություններում սուբյեկտն ու նախադրյալը հատվող հասկացություններ են կամ պրեդիկատը ենթակա է սուբյեկտին։

Մասնակի բացասական դատողությունը մասնակի է ծավալով և բացասական է կապի որակով: Նրա կառուցվածքը՝ «Ոմանք Սմի կերեք Ռ«, իսկ խորհրդանիշը տառն է» ՄԱՍԻՆ" . Մասնավոր բացասական դատողությունների օրինակ է հետևյալը. «Եվրոպական որոշ երկրներ ֆրանսախոս չեն». «Որոշ ուսանողներ մարզիկ չեն». Այս դատողություններում սուբյեկտի և պրեդիկատի ծավալային հարաբերությունները նման են նմանատիպ օրինաչափությունների մասնակի հաստատական ​​դատողություններում, միայն այն տարբերությամբ, որ այդ դատողություններում խոսքը տերմինների հատորների համընկնող մասի մասին է, իսկ մասնակի ժխտականներում՝ ոչ. առարկայի ծավալի մի մասը պրեդիկատի ծավալին համընկնող. Օգտվելով շրջանաձև դիագրամներից՝ տրված օրինակները կարող են համապատասխանաբար պատկերավորվել հետևյալ կերպ.

Հետևաբար, մասնակի ժխտական ​​դատողություններում խոսքը գնում է առարկայի ծավալի մի մասի մասին, որն անհամատեղելի է նախադասության ծավալին։

Հասկացությունների շրջանակի` դատողության պայմանների վերլուծությունը հետագայում կապված է դրանց բաշխման հստակեցման հետ։

Տերմինը համարվում է բաշխված, երբ այն ամբողջությամբ վերցված է: Եթե ​​տերմինն ընդունվում է որպես հատորի մաս, ապա այն համարվում է չբաշխված: Դատավճռի պայմանների բաշխման ուսումնասիրությունը ֆորմալ տրամաբանական գործողություն չէ, այլ դատողությունում սուբյեկտի տվյալների և նախադրյալի միջև ճիշտ կապի հաստատում, այսինքն. դրա համապատասխանությունը օբյեկտների օբյեկտիվ հարաբերություններին:

Համակցված դասակարգման համաձայն դատողությունների վերլուծության հիման վրա ձևակերպում ենք պայմանների բաշխման կանոններ.

Ընդհանուր հաստատական ​​դատողություններումսուբյեկտը բաշխված է, բայց նախադրյալը չի ​​բաշխվում։ Երկու տերմիններն էլ կբաշխվեն, եթե դրանք համարժեք են:

Ընդհանրապես բացասական դատողություններումերկու տերմիններն էլ միշտ բաշխված են, իսպառ բացառում են միմյանց, անհամատեղելի հասկացություններ են։ Օրինակ՝ «Ոչ մի բանջարեղեն միրգ չէ»։

Մասնավոր հաստատական ​​դատողություններումերկու տերմիններն էլ բաշխված չեն, եթե դրանք արտահայտված են համընկնող հասկացություններով. օրինակ՝ «Որոշ ուսանողներ գյուտարարներ են»։ Եթե ​​որոշակի դրական դատողությունում պրեդիկատը ստորադասվում է սուբյեկտին, ապա պրեդիկատը կբաշխվի. օրինակ՝ «Որոշ ինքնաթիռներ տիեզերական հրթիռներ են»։

Մասնակի բացասական դատողություններումսուբյեկտը չի բաշխվում, բայց նախադրյալը միշտ բաշխվում է: Այսպիսով, սուբյեկտը բաշխվում է ընդհանուր դատողություններով և չի բաշխվում առանձին դատողություններով. պրեդիկատը բաշխվում է բացասական դատողություններում, իսկ չբաշխված՝ հաստատական ​​դատողություններում։ Բացառություն են կազմում ընդհանուր հաստատական ​​և առանձին հաստատական ​​դրույթները, որոնցում բաշխված է նախադրյալը։

Տրամաբանական կապերի գործառույթներին համապատասխան, բարդ դատողությունները բաժանվում են հետևյալ տեսակների.

Կապակցական դատողությունները (շաղկապ) դատողություններ են, որոնք ներառում են այլ դատողություններ որպես բաղադրիչներ՝ շաղկապներ, որոնք միավորված են «և», «ա», «բայց», «ինչպես», «այնպես և», «նաև» և այլն: Օրինակ. «Լեզուն և մտածողությունը փոխազդում են թարգմանության գործընթացում» կամ «Ուսանող Իվանովն ապրում է Մոսկվայում և սովորում է Մոսկվայի պետական ​​համալսարանում»։

Տարանջատող դատողություններն այն դատողություններն են, որոնք ներառում են տարանջատող դատողություններ որպես բաղադրիչներ՝ միավորված կապակցական «կամ»-ով։

Տարբերել թույլ տարանջատումերբ «կամ» շաղկապն ունի կապակցող-անջատող նշանակություն, այն բացառիկ նշանակություն չի տալիս բարդ դատողության մեջ ներառված բաղադրիչներին։ Օրինակ՝ «Մարդիկ վիրավորում են միմյանց կա՛մ ատելությունից, կա՛մ նախանձից, կա՛մ արհամարհանքից»: Ուժեղ անջատումՈրպես կանոն, այն առաջանում է, երբ օգտագործվում է «կամ» տրամաբանական կապը, որն ունի բացառիկ-բաժանարար նշանակություն։ Օրինակ, արտահայտությամբ Մ.Ե. Սալտիկով-Շչեդրին. «Կա՛մ մռութում, կա՛մ խնդրում եմ ինձ ձեռքը տվեք» - դատողությունները, որոնք անհամատեղելի են միմյանց հետ, համակցված են: Դրանք բնութագրում են մարդու պատրաստակամությունը՝ հեշտությամբ անցնել ենթակաների հետ կոպիտ գործերից մինչև համբուրելու նրանց ձեռքերը, ումից նա ուղղակիորեն կախված է:

Պայմանական դրույթները (իմպլիկատիվ) այն դրույթներն են, որոնք կազմվում են երկուսից տրամաբանական կապերի միջոցով՝ «եթե...ապա», «այնտեղ...որտեղ», «այնքանով... որքանով»։ Որպես օրինակ կարող ենք օգտագործել 11-րդ դարի տաջիկ բանաստեղծի արտահայտած միտքը. Քաբուս. «Եթե ուզում ես ընկերներ ունենալ, ուրեմն վրեժ մի եղիր»: «Եթե» բառով սկսվող փաստարկը կոչվում է պատճառ, իսկ բաղադրիչը, որը սկսվում է «ապա» բառով` հետևանք:

Սրանք դատողությունների հիմնական տեսակներն են։ Նրանց տրամաբանական վերլուծության հմտությունները տիրապետելը արդյունավետ միջոց է ձեր մտքերը, ինչպես նաև առաջարկները ճշգրիտ օգտագործելու համար:

Թեև դրանց վրա կատարվող վիրահատությունները շատ կարևոր են և հանդիպում են ամենուր, սակայն դրանք ինքնին դատողություն չեն կազմում: Այս դասում մենք ավելի կմոտենանք թեմային, թե ինչպես ճիշտ տրամաբանել: Մենք կքննարկենք պատճառաբանությունը՝ օգտագործելով սիլլոգիստիկայի օրինակը: Սիլլոգիստիկա ամենահին տրամաբանական համակարգն է։ Այն հորինել է հին հույն փիլիսոփա Արիստոտելը մ.թ.ա 4-րդ դարում։ Մինչ այժմ այն ​​մնում է ամենահասկանալի, բնական լեզվին ամենամոտ և հեշտ ուսուցվող տրամաբանական համակարգերից մեկը: Նրա հիմնական առավելություններից է այն առօրյա իրավիճակներում առանց մեծ ջանքեր գործադրելու կարողությունը։

Դատողություններ և հայտարարություններ

Ի՞նչ է պատճառաբանությունը: Կարելի է ասել՝ եզրակացություն, եզրակացություն, արտացոլում, ապացույց և այլն։ Այս ամենը ճիշտ է, բայց, թերևս, ամենաակնհայտ պատասխանը կլինի. դատողությունը դատողությունների հաջորդականություն է, որը իդեալականորեն պետք է կապված լինի միմյանց հետ՝ ըստ տրամաբանության կանոնների: Հետևաբար, ճիշտ դատողություններ սովորելը պետք է սկսվի նրանից, թե ինչ են դատողությունները և ինչպես դրանք ճիշտ օգտագործել:

Դատաստան- սա աշխարհում որոշակի իրավիճակի գոյությունը հաստատելու կամ հերքելու միտքն է։

Բնական լեզվով դատողությունները փոխանցվում են հռչակավոր նախադասությունների կամ հայտարարությունների միջոցով: Հայտարարություններում արտահայտված դատողությունների օրինակներ. «Եկավ աշունը», «Կատյան անգլերեն չգիտի», «Ես սիրում եմ կարդալ», «Խոտը կանաչ է, իսկ երկինքը՝ կապույտ»։ Միևնույն դատողությունը կարելի է արտահայտել տարբեր արտահայտություններով, մասնավորապես՝ «երկինքը կապույտ է» և «Theskyisblue»-ը տարբեր արտահայտություններ են, բայց արտահայտում են նույն դատողությունը, քանի որ փոխանցում են նույն միտքը։ Նմանապես, «Ոչ ոք տանից դուրս չի եկել» և «Բոլորը տանը մնացին» արտահայտությունները տարբեր են, բայց նույն առաջարկությունն են փոխանցում։

Քանի որ դատողությունների միջոցով հայտարարությունները ֆիքսում են ինչ-որ իրավիճակ աշխարհում, ի տարբերություն հասկացությունների և սահմանումների, մենք կարող ենք դրանք գնահատել ճշմարտության և կեղծիքի տեսանկյունից: Այսպիսով, «Բիլ Գեյթսը հիմնադրեց Microsoft-ը» հայտարարությունը ճիշտ է, բայց «Նարնջագույնները մանուշակագույն են» հայտարարությունը կեղծ է:

Գծագրերը հետևողականորեն ներկայացնում են հարաբերությունները՝ հատում, փոխլրացում, ենթակայություն, հավասար ծավալ և հակադարձ ենթակայություն։ Առաջին երեք նկարներով ամեն ինչ պետք է միանգամայն պարզ լինի. պարզ է, որ S և P տերմինների շրջանակները հատվում են, ուստի խաչմերուկի տարածքում կան տարրեր, որոնք միաժամանակ ունեն և՛ S հատկանիշը, և՛ P հատկանիշը: Օրինակներ «Որոշ դերասաններ լավ են երգում», «Միլիոնից ցածր գնով որոշ մեքենաներ արժեն ավելի քան վեց հարյուր հազար», «Որոշ սունկ ուտելի են»:

Ինչ վերաբերում է համարժեքության և հակադարձ ենթակայության հարաբերություններին, ապա կարող է հարց առաջանալ, թե ինչու են դրանք նաև ճշմարտության պայմաններ են ներկայացնում որոշակի հաստատական ​​պնդումների համար, եթե դրանք մատնանշող նկարները հստակ ցույց են տալիս, որ ոչ միայն որոշ S-ներ են P, այլ բոլոր S-ները P են: Ճշմարիտ, բնական լեզու: մեզ տանում է դեպի այն միտքը, որ եթե որոշ S-ներ P են, ապա կան նաև այլ Ս-ներ, որոնք P չեն. որոշ սունկ ուտելի են, իսկ որոշները՝ անուտելի: Տրամաբանների համար այս եզրակացությունը ճիշտ չէ։ «Որոշ S-ը P են» պնդումից չի կարելի եզրակացնել, որ որոշ S-ներ P չեն: Բայց «Բոլոր S-ը P են» պնդումից կարելի է եզրակացնել, որ որոշ S-ն P են, քանի որ եթե ինչ-որ բան ճիշտ է տիրույթի բոլոր տարրերի վերաբերյալ: տերմինը, ապա այն ճիշտ կլինի որոշ առանձին տարրերի համար: Հետևաբար, սիլլոգիստիկայի մեջ «ոմանք» բառն օգտագործվում է «գոնե որոշ» իմաստով, բայց ոչ «միայն որոշ» իմաստով։ Այսպիսով, «Բոլոր պտերները բազմանում են սպորներով» արտահայտությունից կարելի է ապահով կերպով եզրակացնել «Որոշ պտերներ բազմանում են սպորներով» արտահայտությունը, իսկ «Հինգերորդ դասարանի բոլոր աշակերտները ռահվիրաներ են» արտահայտությունից՝ «հինգերորդ դասարանի որոշ աշակերտներ պիոներ են»: »:

Մասնակի հաստատական ​​հայտարարությունները կեղծ կլինեն միայն այն դեպքում, եթե S և P տերմինները հակասության կամ ենթակայության մեջ են. «Որոշ տրակտորներ ինքնաթիռներ են», «Որոշ կեղծ հայտարարություններ ճիշտ են»:

«Որոշ S չեն P» տեսակը ճիշտ է, եթե S և P տերմինները հետևյալն են.

Սրանք հարաբերություններ են՝ խաչմերուկներ, փոխլրացումներ, ընդգրկումներ, հակասություններ և ենթակայություն։ Ակնհայտ է, որ առաջին երեք հարաբերությունները համընկնում են այն ամենի հետ, ինչ ճիշտ էր նաև մասնավոր դրական հայտարարությունների համար: Դրանք բոլորը ճշգրիտ կերպով ներկայացնում են դեպքեր, երբ որոշ S-ներ P են, և միևնույն ժամանակ, որոշ S-ներ P չեն: Նման ճշմարիտ պնդումների օրինակներ. դեռ չեն հասել քսանհինգ տարեկան, «Որոշ ծառեր մշտադալար չեն»:

Նույն պատճառներով, որ երկիմաստության և հակադարձ ենթակայության հարաբերությունները ներկայացնում էին ճշմարտության պայմաններ մասնակի հաստատական ​​պնդումների համար, հակասության և ենթակայության հարաբերությունները ճշմարիտ կլինեն մասնակի բացասական պնդումների համար: «Some S-ը P-ն չեն» ձևի հայտարարությունից «Some S-ը P-ն են» պնդումը տրամաբանորեն չի կարելի եզրակացնել: Այնուամենայնիվ, «Բոլոր S-ը P չեն» հայտարարությունից մենք կարող ենք անցնել «Որոշ S-ը P չեն» պնդմանը, քանի որ հիմնվելով S և P տերմինների շրջանակի բոլոր տարրերի մասին մեր ունեցած տեղեկատվության վրա՝ մենք. կարող են եզրակացություն անել իրենց առանձին ներկայացուցիչների վերաբերյալ։ Հետևաբար, ճշմարիտ կլինեն հետևյալ պնդումները. «Որոշ ամսագրեր գրքեր չեն», «Որոշ հիմարներ խելացի չեն» և այլն։

Մասնակի բացասական պնդումները կեղծ կլինեն միայն այն դեպքում, եթե S և P տերմինները հավասար ծավալի և հակադարձ ենթակայության հարաբերությունների մեջ են: Կեղծ հայտարարությունների օրինակներ. «Որոշ ձկներ չեն կարողանում շնչել ջրի տակ», «Որոշ խնձոր միրգ չեն»:

Այսպիսով, մենք պարզել ենք, թե ինչ պայմաններում այս կամ այն ​​ձևի հայտարարությունները կլինեն ճիշտ և կեղծ։ Միևնույն ժամանակ պարզ դարձավ, որ հայտարարությունների ճշմարտացիությունն ու կեղծը տրամաբանական տեսանկյունից միշտ չէ, որ համընկնում են մեր ինտուիտիվ պատկերացումների հետ։ Երբեմն առաջին հայացքից նույնական հայտարարությունները գնահատվում են բոլորովին այլ կերպ, քանի որ դրանց հետևում թաքնված են տարբեր տրամաբանական ձևեր և, հետևաբար, դրանցում ներառված տերմինների միջև տարբեր հարաբերություններ։ Այս ճշմարտության պայմանները կարևոր է հիշել: Դրանք օգտակար կլինեն, երբ հաջորդ դասում մենք սովորենք, թե ինչպես դրույթները մտցնել հիմնավորման շղթաների մեջ և փորձենք գտնել եզրակացության ձևեր, որոնք միշտ ճիշտ կլինեն:

Խաղ «Կոմպլեկտների խաչմերուկ»

Այս վարժությունում անհրաժեշտ է ուշադիր կարդալ առաջադրանքի տեքստը և ճիշտ դասավորել հասկացություններին համապատասխան հավաքածուները:

Զորավարժություններ

Կարդացեք հետևյալ կատեգորիկ վերագրողական պնդումները. Որոշեք, թե ինչ տեսակ են դրանք: Օգտագործեք դիագրամներ՝ ցույց տալու, թե արդյոք դրանք ճշմարիտ են, թե սխալ:

• Այն, ինչ իրական է, ողջամիտ է, այն ամենը, ինչ խելամիտ է, իրական է:
• Աղը թույն է.
• Թույնը աղն է։
• Բոլոր երաժիշտները լավ լսողություն ունեն։
• Որոշ երաժիշտներ լավ լսողություն ունեն:
• Լավ լսողություն ունեցող բոլոր մարդիկ երաժիշտներ են:
• Որոշ մարդիկ, ովքեր լավ լսողություն ունեն, երաժիշտներ են:
• Որոշ վամպիրներ ուշանում էին աշխատանքից:
• Մարդագայլերը մարդագայլերի տեսակ են:
• Բոլոր կլոր քառակուսիները անկյուններ չունեն:
• Ոչ ոք չի սիրում, երբ ատամները ցավում են։
• Ոչ մի թութակ վիսկի չի խմում.
• Որոշ մարդիկ չեն սիրում իրենց աշխատանքը:
• Իվան Իվանովիչը վիճել է Իվան Նիկիֆորովիչի հետ։
• Տարկովսկու ֆիլմերը համարվում են ռուսական կինոյի դասականներ։
• Դոստոևսկին երբեք թղթախաղ չի խաղացել.
• Որոշ թփեր ընդհանրապես փխրուն չեն:
• Յուրաքանչյուր աշխատակից երազում է առաջխաղացման մասին:
• Որոշ շներ կարող են կարդալ:
• Բոլոր երջանիկ ընտանիքները նման են իրար, յուրաքանչյուր դժբախտ ընտանիք յուրովի դժբախտ է:
• Որոշ շնաձկներ ձուկ են:
• Որոշ մարդիկ Մարս չեն գնացել։

Ստուգեք ձեր գիտելիքները

Եթե ​​ցանկանում եք ստուգել ձեր գիտելիքները այս դասի թեմայի վերաբերյալ, կարող եք անցնել մի քանի հարցից բաղկացած կարճ թեստ: Յուրաքանչյուր հարցի համար կարող է ճիշտ լինել միայն 1 տարբերակ։ Ընտրանքներից մեկը ընտրելուց հետո համակարգը ավտոմատ կերպով անցնում է հաջորդ հարցին: Ձեր ստացած միավորների վրա ազդում է ձեր պատասխանների ճիշտությունը և ավարտին ծախսած ժամանակը: Խնդրում ենք նկատի ունենալ, որ հարցերը ամեն անգամ տարբեր են, և տարբերակները խառն են: