ОХУ-ын БОЛОВСРОЛ, ШИНЖЛЭХ УХААНЫ ЯАМ

Холбооны боловсролын агентлаг

Санкт-Петербург улсын үйлчилгээ, эдийн засгийн их сургууль

Хууль зүйн хүрээлэн

Сахилга бат: Логик

сэдвээр: Нарийн төвөгтэй дүгнэлт

Санкт-Петербург

Энгийн саналын тухай ойлголт

Шүүх- объектын (нөхцөл байдлын) талаар ямар нэг зүйлийг батлах эсвэл үгүйсгэх, үнэн эсвэл худал гэсэн логик утгыг агуулсан сэтгэлгээний хэлбэр. Энэ тодорхойлолт нь энгийн шүүлтийг тодорхойлдог.

Тайлбарласан нөхцөл байдлыг батлах эсвэл үгүйсгэх нь шүүлтийг дараахь зүйлээс ялгадаг. үзэл баримтлал .

Логикийн үүднээс авч үзвэл шүүлтийн нэг онцлог шинж чанар нь хэрвээ энэ нь логикийн хувьд зөв бол үргэлж үнэн эсвэл худал байдаг. Мөн энэ нь ямар нэг зүйлийг батлах эсвэл үгүйсгэх дүгнэлтэд байгаатай яг холбоотой юм. Шүүмжээс ялгаатай нь зөвхөн объект, нөхцөл байдлын тайлбарыг агуулсан, тэдгээрийг оюун санааны хувьд онцлон тэмдэглэх зорилготой үзэл баримтлал нь үнэний шинж чанарыг агуулдаггүй.

Шийдвэрийг мөн саналаас ялгах ёстой. Шүүлтийн дууны бүрхүүл - санал болгох. Санал нь үргэлж санал байдаг, гэхдээ эсрэгээрээ биш. Шийдвэр нь ямар нэг зүйлийг батлах, үгүйсгэх, мэдээлэх гэсэн тунхаг өгүүлбэрээр илэрхийлэгддэг. Тиймээс асуух, захирах, захирах өгүүлбэрүүд нь шүүлт биш юм. Шийтгэл, шүүлтийн бүтэц нь ижил биш юм. Нэг өгүүлбэрийн дүрмийн бүтэц өөр өөр хэлэнд өөр өөр байдаг бол шүүлтийн логик бүтэц нь бүх ард түмний дунд үргэлж ижил байдаг.

Шүүмж ба мэдэгдлийн хоорондын хамаарлыг мөн анхаарч үзэх хэрэгтэй. Мэдэгдэлнь үнэн эсвэл худал гэж хэлж болох мэдэгдэл эсвэл тунхаг өгүүлбэр юм. Өөрөөр хэлбэл, мэдэгдлийн худал эсвэл үнэн байдлын талаархи мэдэгдэл нь утга учиртай байх ёстой. Шүүх бол аливаа мэдэгдлийн агуулга юм. гэх мэт саналууд "n тоо анхны", энэ нь үнэн эсвэл худал гэдгийг хэлэх боломжгүй тул мэдэгдэл гэж үзэх боломжгүй. "n" хувьсагч ямар агуулгатай байхаас хамаарч түүний логик утгыг тохируулж болно. Ийм илэрхийлэл гэж нэрлэдэг саналын хувьсагч.Мэдэгдэл нь латин цагаан толгойн нэг үсгээр тэмдэглэгдсэн байдаг. Энэ нь задрах боломжгүй нэгж гэж тооцогддог. Энэ нь ямар ч бүтцийн нэгжийг түүний нэг хэсэг гэж үзэхгүй гэсэн үг юм. Ийм мэдэгдэл гэж нэрлэдэг атомын (анхан шатны)бөгөөд энгийн саналд нийцдэг. Хоёр ба түүнээс дээш атомын мэдэгдлээс логик операторууд (холболт) ашиглан нийлмэл эсвэл молекулын мэдэгдлийг үүсгэдэг. Мэдэгдэлээс ялгаатай нь шүүлт нь субьект ба объектын тодорхой нэгдэл бөгөөд утгаараа холбогдсон байдаг.

Шүүхийн шийдвэр, мэдэгдлийн жишээ:

Энгийн мэдэгдэл - A; энгийн шүүлт - "S бол (биш) P."

Цогцолбор мэдэгдэл – A→B; нарийн төвөгтэй шүүлт - "Хэрэв S1 бол P1 бол S2 нь P2 болно."

Энгийн шүүлтийн бүрэлдэхүүн

Уламжлалт логикт шүүлтийн хуваагдал субьект, предикат, холбогч.

Субъект нь бодлын сэдвийг илэрхийлсэн шүүлтийн хэсэг юм.

Предикат гэдэг нь бодлын сэдвийн талаар ямар нэг зүйлийг баталж эсвэл үгүйсгэдэг шүүлтийн нэг хэсэг юм. Жишээлбэл, шүүхийн шийдвэрт “Дэлхий бол нарны аймгийн гараг”сэдэв нь "Дэлхий", предикат нь "нарны аймгийн гараг" юм. Логик субьект ба предикат нь дүрмийн шинжтэй, өөрөөр хэлбэл субьект ба предикаттай давхцдаггүй болохыг анзаарахад хялбар байдаг.

Субъект ба предикатыг хамтдаа дууддаг шүүлтийн хувьдмөн латин S ба P тэмдэгтээр тус тус тэмдэглэнэ.

Нэр томъёоноос гадна шүүлт нь холбогчийг агуулдаг. Дүрмээр бол холбогчийг "байна", "мөн чанар", "байна", "байх" гэсэн үгсээр илэрхийлдэг. Өгөгдсөн жишээнд үүнийг орхигдуулсан болно.

Нарийн төвөгтэй шүүлтийн тухай ойлголт

Нарийн төвөгтэй шүүлт– коньюнкц, дизъюнкц, импликаци, эквивалент зэрэг логик нэгдлүүдээр дамжуулан энгийнээс үүссэн шүүлт.

Логик нэгдэл- энэ бол энгийн шүүлтүүдийг цогц болгон нэгтгэх арга бөгөөд түүний логик утгыг түүнийг бүрдүүлсэн энгийн шүүлтийн логик утгын дагуу тогтоодог.

Нарийн төвөгтэй шүүлтийн онцлог нь тэдгээрийн логик утга (үнэн эсвэл худал) нь цогцолборыг бүрдүүлдэг энгийн шүүлтийн семантик холболтоор бус, харин хоёр параметрээр тодорхойлогддог явдал юм.

1) нарийн төвөгтэй байдалд багтсан энгийн шүүлтийн логик утга;

2) энгийн саналуудыг холбосон логик холболтын шинж чанар;

Орчин үеийн албан ёсны логик нь энгийн шүүлтийн хоорондох утга учиртай холбоог хийсвэрлэн авч, энэ холбоо байхгүй байж болох мэдэгдлүүдэд дүн шинжилгээ хийдэг. Жишээлбэл, "Хэрэв гипотенузын квадрат нь хөлний квадратуудын нийлбэртэй тэнцүү бол наран дээр өндөр ургамал байдаг."

Нарийн төвөгтэй саналын логик утгыг үнэний хүснэгтийг ашиглан тогтооно. Үнэний хүснэгтийг дараах байдлаар бүтээв: оролтод нарийн төвөгтэй шүүлтийг бүрдүүлдэг энгийн шүүлтийн логик утгуудын бүх боломжит хослолыг бичнэ. Эдгээр хослолын тоог дараах томъёогоор тооцоолж болно: 2n, энд n нь нарийн төвөгтэй нэгийг бүрдүүлдэг энгийн шүүлтийн тоо юм. Гаралт нь цогц шүүлтийн үнэ цэнэ юм.

Шүүмжийн харьцуулалт

Бусад зүйлсийн дотор шүүлтүүд хуваагддаг харьцуулах боломжтойнийтлэг сэдэв эсвэл предикаттай байх ба зүйрлэшгүйбие биентэйгээ ижил төстэй зүйл байхгүй. Хариуд нь харьцуулж болохуйцыг нь хуваадаг нийцтэй, ижил санааг бүрэн буюу хэсэгчлэн илэрхийлж, нийцэхгүй, хэрэв тэдгээрийн аль нэгнийх нь үнэн нь нөгөөгийнх нь худал болохыг зайлшгүй илтгэж байвал (ийм шүүлтүүдийг харьцуулахдаа зөрчилдөхгүй байх хууль зөрчигддөг). Субъектуудаар харьцуулж болох шүүлтийн хоорондын үнэний хамаарлыг логик квадратаар харуулдаг.

Логик квадрат нь бүх дүгнэлтийн үндэс бөгөөд A, I, E, O тэмдэгтүүдийн нэгдэл бөгөөд тодорхой төрлийн категорийн мэдэгдлийг илэрхийлдэг.

A - Ерөнхий эерэг: Бүх S нь P үсэг юм .

Би - Хувийн эерэг: Ядаж зарим нь P байна .

E - Ерөнхий сөрөг: Бүгд (байхгүй) нь P.

O - хэсэгчилсэн сөрөг: Наад зах нь зарим S нь Ps биш юм.

Эдгээрээс ерөнхий батлах, ерөнхий сөрөг үг нь дагалдах, тодорхой батлах, тодорхой үгүйсгэх нь дагалдах шинжтэй байдаг.

А ба Е шийдвэрүүд хоорондоо зөрчилдсөн;

I болон O шүүлтүүд эсрэг;

Диагональ байрлалтай шүүлтүүд нь хоорондоо зөрчилддөг.

Ямар ч тохиолдолд зөрчилтэй ба эсрэг саналууд нэгэн зэрэг үнэн байж болохгүй. Эсрэг саналууд нэгэн зэрэг үнэн байж болно, үгүй ​​ч байж болох ч ядаж нэг нь үнэн байх ёстой.

Шилжилтийн хууль нь логик квадратыг ерөнхийд нь нэгтгэж, бүх шууд дүгнэлтийн үндэс болж, доод шатны шүүлтийн үнэнээс тэдгээрт захирагдах шүүлтийн үнэн, эсрэг талын дүгнэлтийн худал нь логикоор дагадаг болохыг тодорхойлдог.

Логик холболтууд. Хамтарсан шүүлт

Хамтарсан шүүлт- үүнд багтсан бүх санал үнэн бол үнэн болох шүүлт.

Энэ нь "ба", "тийм", "гэхдээ", "гэхдээ" дүрмийн холбоосоор илэрхийлэгдэх логик холбоосоор үүсдэг. Жишээлбэл, "Энэ нь гэрэлтдэг, гэхдээ дулаацдаггүй."

Симболын хувьд дараах байдлаар тэмдэглэнэ: A˄B, энд A, B нь энгийн шүүлтийг илэрхийлэх хувьсагч, ˄ нь холболтын логик холболтын бэлгэдлийн илэрхийлэл юм.

Холболтын тодорхойлолт нь үнэний хүснэгттэй тохирч байна.

А	IN	А ˄ IN
БА	БА	БА
БА	Л	Л
Л	БА	Л
Л	Л	Л

Салангид дүгнэлтүүд

Хатуу (онцгой) салгах, хатуу бус (онцгой бус) салгах гэсэн хоёр төрөл байдаг.

Хатуу (онцгой) салгах- гагцхүү түүнд багтсан саналуудын аль нэг нь үнэн, эсвэл "хоёр мэдэгдэл худал бол худал" бол үнэний логик утгыг олж авах цогц шүүлт. Жишээлбэл, "Өгөгдсөн тоо нь тавын үржвэр эсвэл олон биш юм."

Логик холболтын салалт нь “эсвэл...эсвэл” хэл зүйн холбоосоор илэрхийлэгддэг.

A˅B нь бэлгэдлийн хэлбэрээр бичигдсэн байдаг.

Хатуу салгах логик утга нь үнэний хүснэгттэй тохирч байна.

А	IN	А ˅ IN
БА	БА	Л
БА	Л	БА
Л	БА	БА
Л	Л	Л

Хатуу бус (онцгой бус) салгах- Цогцолборт багтсан энгийн шүүлтийн ядаж нэг нь (гэхдээ илүү олон байж болно) үнэн байх тохиолдолд үнэний логик утгыг авах цогц шүүлт. Жишээлбэл, "Зохиолчид яруу найрагч эсвэл зохиол зохиолч (эсвэл хоёулаа нэгэн зэрэг) байж болно." .

Сул задралыг “эсвэл...эсвэл” хэл зүйн холбоогоор дамжуулан хуваах-холбогч утгаар илэрхийлдэг.

Бэлгэдлийн дагуу бичсэн А ˅ B. Хатуу бус салгах нь үнэний хүснэгттэй тохирч байна.

А	IN	А ˅ IN
БА	БА	БА
БА	Л	БА
Л	БА	БА
Л	Л	Л

Импликатив (нөхцөлт) саналууд

Үр дагавар- гагцхүү өмнөх шийдвэр гарсан тохиолдолд л худал хуурмагийн логик утгыг авдаг цогц шүүлт ( өмнөх) үнэн бөгөөд дараах ( үр дагавар) худлаа.

Байгалийн хэлээр далд утга нь “хэрэв..., тэгвэл” гэсэн холбоосоор “Б биш, А байх магадлалтай” гэсэн утгаар илэрхийлэгддэг. Жишээлбэл, "Хэрэв тоо 9-д хуваагддаг бол 3-т хуваагдана."

Объектуудын оршин тогтнох, тэдгээрийн хоорондын холбоо, тэдгээрийн шинж чанарууд, түүнчлэн объектуудын хоорондын харилцааны талаар ямар нэг зүйлийг батлах эсвэл үгүйсгэх.

Шүүмжийн жишээ: "Ижил мөрөн Каспийн тэнгис рүү урсдаг", "А.С. Пушкин "Хүрэл морьтон", "Уссури барыг Улаан номонд оруулсан" шүлгийг бичсэн.

Шүүлтийн бүтэц

Санал нь дараахь элементүүдийг агуулна: субьект, предикат, холбогч, тоологч.

1. Субъект (лат. subjektum - "үндсэн") нь энэ шүүлтэд юу гэж хэлсэн бэ, түүний сэдэв ("S").
2. Предикат (Латин praedicatum - "гэж хэлсэн") нь тухайн объектын шинж чанарын тусгал, шүүлтийн субьектийн талаар юу хэлж байгаа юм ("P").
3. Холбогч нь субьект ("S") ба предикат ("P") хоорондын харилцаа юм. Предикатад илэрхийлэгдсэн аливаа өмчийн субьект байгаа/байхгүй эсэхийг тодорхойлно. Үүнийг "зураас" тэмдэг эсвэл "байна" ("байна"), "байна", "байна", "мөн чанар" гэх мэт үгсээр илэрхийлж болно.
4. Хэмжигдэхүүн (тооцогч үг) нь шүүлтийн субьект хамаарах ойлголтын хамрах хүрээг тодорхойлдог. Сэдвийн өмнө зогсож байгаа боловч шүүлтийн явцад байхгүй байж болно. "Бүгд", "олон", "зарим", "байхгүй", "хэн ч" гэх мэт үгсээр тэмдэглэнэ.

Үнэн ба худал саналууд

Шийдвэрт батлагдсан/ үгүйсгэсэн объектын шинж тэмдэг, шинж чанар, харилцаа бодит байдалтай нийцэж байгаа тохиолдолд шүүлт үнэн болно. Жишээлбэл: "Бүх хараацайнууд шувууд", "9 нь 2-оос их" гэх мэт.

Шийдвэрт тусгагдсан мэдэгдэл үнэн биш бол бид "Нар дэлхийг тойрон эргэдэг", "Нэг килограмм төмөр нэг килограмм хөвөн даавуунаас хүнд" гэх мэт худал дүгнэлтэд хүрч байна. Зөв дүгнэлт нь үндэс суурь болдог. зөв дүгнэлтийн тухай.

Гэсэн хэдий ч санал нь үнэн эсвэл худал байж болох хоёр утгатай логикоос гадна олон хэмжээст логик байдаг. Түүний нөхцлийн дагуу шүүхийн шийдвэр мөн хугацаагүй байж болно. Энэ нь ялангуяа ирээдүйн хувь хүний ​​дүгнэлтүүдийн хувьд үнэн юм: "Маргааш далайн тулаан болно/болохгүй" (Аристотель, "Тайлбарын тухай"). Хэрэв бид үүнийг үнэн зөв санал гэж үзвэл тэнгисийн цэргийн тулаан маргааш болохоос өөр аргагүй юм. Тиймээс үүнийг хийх шаардлагатай байна. Эсвэл эсрэгээр: өгөгдсөн шүүлт нь одоогоор худал гэдгийг нотлох замаар бид маргаашийн боломжгүйг зайлшгүй болгож байна.

Мэдэгдэлийн төрлөөр шүүлтүүд

Та бүхний мэдэж байгаагаар мэдэгдлийн төрлөөс хамааран урамшуулал, байцаалт гэсэн гурван төрлийг ялгадаг. Жишээлбэл, "Гайхамшигт мөчийг санаж байна" өгүүлбэр нь өгүүлэмжийн төрөлд хамаарна. Ийм шүүлт нь бас хүүрнэл байх болно гэдгийг санал болгох нь ашигтай юм. Энэ нь тодорхой мэдээллийг агуулж, тодорхой үйл явдлыг мэдээлдэг.

Хариуд нь асуух өгүүлбэр нь "Ирэх өдөр намайг юу хүлээж байна вэ?" гэсэн хариултыг агуулсан асуултыг агуулдаг. Үүний зэрэгцээ энэ нь юу ч мэдэгддэггүй, үгүйсгэдэггүй. Иймээс ийм шүүлт нь байцаалтын шинжтэй гэсэн нь буруу юм. Асуултыг үнэн/худал гэсэн зарчмаар ялгах боломжгүй тул байцаах өгүүлбэр нь зарчмын хувьд дүгнэлт агуулаагүй болно.

Урамшууллын төрлийн өгүүлбэрүүд нь "Бос, эш үз, хараа, сонс" гэсэн хүсэлт, хоригийг үйлдэхэд түлхэц болсон тохиолдолд үүсдэг. Шүүмжийн хувьд зарим судлаачдын үзэж байгаагаар тэдгээр нь энэ төрлийн өгүүлбэрт байдаггүй. Бусад нь бид нэг төрлийн модал шүүлтийн тухай ярьж байна гэж үздэг.

Шүүлтийн чанар

Чанарын үүднээс авч үзвэл дүгнэлт нь эерэг (S нь P) эсвэл сөрөг (S нь P биш) байж болно. Зөвшөөрөх саналын хувьд предикатын тусламжтайгаар тухайн субьектэд тодорхой өмч (хөрөнгө) өгөгддөг. Жишээ нь: "Леонардо да Винчи бол Италийн зураач, архитектор, барималч, эрдэмтэн, байгаль судлаач, мөн зохион бүтээгч, зохиолч, Сэргэн мандалтын үеийн урлагийн хамгийн том төлөөлөгч юм."

Сөрөг дүгнэлтэд эсрэгээр, "Жеймс Викеригийн 25-р хүрээний онол нь туршилтын баталгаагүй" гэсэн сэдвээс үл хөдлөх хөрөнгөө авч хаядаг.

Тоон шинж чанар

Логикийн шүүлтүүд нь ерөнхий шинж чанартай (тухайн ангийн бүх объектод хамаарах), тусгай (тэдгээрийн заримд нь) болон хувь хүн (бид нэг хуулбарт байгаа объектын тухай ярих үед) байж болно. Жишээлбэл, "Бүх муур шөнийн цагаар саарал байдаг" гэх мэт санал нь бүх мууранд (шүүлтийн сэдэв) нөлөөлдөг тул ерөнхий зүйлд хамаарах болно гэж маргаж болно. “Зарим могой хоргүй” гэдэг нь хувийн дүгнэлтийн жишээ юм. Хариуд нь "Тайван цаг агаарт Днепр бол гайхамшигтай" гэсэн дүгнэлт нь тусгаарлагдсан, учир нь бид нэг хэлбэрээр байдаг тодорхой нэг голын тухай ярьж байна.

Энгийн бөгөөд төвөгтэй дүгнэлтүүд

Бүтэцээс хамааран шүүлт нь энгийн болон төвөгтэй хэлбэртэй байж болно. Энгийн шүүлтийн бүтцэд "Ном бол мэдлэгийн эх сурвалж" гэсэн хоёр холбоотой ойлголт (НБ) багтдаг. Мөн нэг ойлголттой шүүлтүүд байдаг - хоёр дахь нь зөвхөн "Харанхуй болж байна" (P) гэсэн утгатай.

Хэд хэдэн энгийн саналуудыг нэгтгэснээр цогц хэлбэр үүсдэг.

Энгийн шүүлтийн ангилал

Логик дахь энгийн шүүлтүүд нь дараахь төрлүүд байж болно: атрибутив, харилцаатай дүгнэлт, экзистенциал, модаль.

Атрибутив (шүүлт-шинж чанар) нь объектод тодорхой шинж чанарууд (шинж чанарууд) байгаа эсэхийг батлах/үгүйцүүлэхэд чиглэгддэг.Эдгээр шүүлтүүд нь ангилсан хэлбэртэй бөгөөд эргэлзээ төрүүлдэггүй: “Хөхтөн амьтдын мэдрэлийн систем нь тархи болон гадагшлах мэдрэлийн системээс бүрддэг. ”

Харилцааны дүгнэлтэд объектуудын хоорондын тодорхой харилцааг авч үздэг. Тэд орон зай-цаг хугацааны нөхцөл, шалтгаан-үр дагавар гэх мэт байж болно. Жишээ нь: "Хуучин найз хоёр шинэ найзаас дээр", "Устөрөгч нь нүүрстөрөгчийн давхар ислээс 22 дахин хөнгөн".

Экзистенциал дүгнэлт гэдэг нь аливаа зүйлийн орших/байхгүй байдлын тухай мэдэгдэл (материаллаг ба идеал) юм: "Түүний оронд эш үзүүлэгч байхгүй", "Сар бол дэлхийн дагуул".

Модал санал гэдэг нь тодорхой модаль оператор (шаардлагатай, сайн/муу; батлагдсан, мэдэгдэж байгаа/ үл мэдэгдэх, хориглосон, итгэх гэх мэт) агуулсан мэдэгдлийн хэлбэр юм. Жишээлбэл:

• "Орос улсад боловсролын шинэчлэл хийх шаардлагатай байна" (алетик арга - ямар нэг зүйлийн боломж, хэрэгцээ).
• "Хүн бүр хувийн шударга байх эрхтэй" (деонтик горим - олон нийтийн зан үйлийн ёс суртахууны хэм хэмжээ).
• "Төрийн өмчид хайхрамжгүй хандах нь түүнийг алдахад хүргэдэг" (аксиологийн арга - материаллаг болон оюун санааны үнэт зүйлсэд хандах хандлага).
• "Бид таны гэм буруугүйд итгэдэг" (эпистемийн арга - мэдлэгийн найдвартай байдлын зэрэг).

Нарийн төвөгтэй дүгнэлт ба логик холболтын төрлүүд

Өмнө дурьдсанчлан, нарийн төвөгтэй шүүлтүүд нь хэд хэдэн энгийн зүйлээс бүрддэг. Дараахь техникүүд нь тэдгээрийн хооронд логик холболт болдог.

Үзэл баримтлалын зэрэгцээ шүүлт нь сэтгэлгээний үндсэн хэлбэрүүдийн нэг юм. шүүлт -объектуудын оршин тогтнох, объект ба түүний шинж чанаруудын хоорондын холбоо, объектуудын хоорондын харилцааны талаар ямар нэг зүйлийг батлах эсвэл үгүйсгэх сэтгэлгээний хэлбэр.

"Сансрын нисгэгчид байдаг", "Парис Марсельээс том", "Зарим тоонууд тэгш харагддаг" гэсэн саналуудын жишээ. Шийдвэрт хэлсэн зүйл нь бодит байдалтай нийцэж байгаа бол шүүлт үнэн болно. Дээрх дүгнэлтүүд нь бодит байдалд юу болж байгааг хангалттай (зөв) тусгадаг тул үнэн юм. Үгүй бол санал худал болно ("Бүх ургамал идэж болно").

Уламжлалт логик нь хоёр үнэ цэнэтэй, учир нь санал нь үнэн эсвэл худал гэсэн хоёр үнэний аль нэгийг агуулдаг. Гурван утгын логикт – олон утгат логикийн төрлүүд – санал нь үнэн, худал эсвэл тодорхойгүй байж болно. Жишээлбэл, "Ангараг дээр амьдрал бий" гэсэн санал одоогоор үнэн ч биш, худал ч биш, харин тодорхойгүй байна. Ирээдүйн ганц бие үйл явдлын талаарх олон дүгнэлт тодорхойгүй байна. Аристотель энэ тухай бичиж, "Маргааш тэнгисийн цэргийн тулаан хийх шаардлагатай болно" гэж ийм тодорхойгүй шүүлтийн жишээг үзүүлэв.

Шийдвэрийг илэрхийлэх хэл шинжлэлийн хэлбэр нь өгүүлбэр юм. Шийдвэр нь батламж эсвэл үгүйсгэлийн аль нэгийг агуулсан тунхаг өгүүлбэрээр илэрхийлэгддэг. Шийдвэр, санал нь бүрэлдэхүүнээрээ ялгаатай. Энгийн шүүлт бүр гурван элементээс бүрдэнэ.

1)шүүлтийн сэдэв -энэ бол шүүлтийн субьектийн ойлголт юм. Шүүхийн шийдвэрийн сэдвийг захидлаар тодорхойлно С (Латин үгнээс сэдэв);

2)шүүлтийн предикат – шүүлтэд дурдсан объектын шинж чанарын талаархи ойлголтууд. Предикатыг үсгээр тэмдэглэнэ Р (лат. Praedicatum);

3)шөрмөс, Орос хэлээр "бол", "бол", "мөн чанар" гэсэн үгсээр илэрхийлэгддэг.

Субъект ба предикатыг шүүлтийн нөхцөл гэж нэрлэдэг. Зарим шүүлтийн бүтцэд тоон үзүүлэлт гэж нэрлэгддэг үгс ("зарим", "бүгд", "байхгүй", "заримдаа" гэх мэт) багтдаг. Хэмжигдэхүүн үг нь шүүлт нь тухайн сэдвийг илэрхийлж буй ухагдахууныг бүхэлд нь хамарч байгаа эсэх, эсвэл түүний хэсэгт хамаарах эсэхийг заана.

ЭНГИЙН ШҮҮЛТИЙН ТӨРЛҮҮД

1. Эд хөрөнгийн дүгнэлт (атрибутив):

тэдгээр нь тухайн объект нь мэдэгдэж буй шинж чанар, төлөв байдал, үйл ажиллагааны төрөлд хамаарах болохыг баталж эсвэл үгүйсгэдэг.

Схем Энэ төрлийн шүүлт: « СБайна Р" эсвэл « Сидэж болохгүй юм R".

Жишээ : "Амтат бал", "Шопен бол жүжгийн зохиолч биш."

2. Харилцааны талаархи дүгнэлтүүд:

объектуудын хоорондын харилцааг тусгасан дүгнэлтүүд.

Томъёо , хоёр орны хамаарал бүхий шүүлтийг илэрхийлж, гэж бичнэ АRbэсвэл R(а,б),хаана а ба б -объектын нэр (харилцааны гишүүд), Р – харилцааны нэр. Харилцаа холбоо бүхий саналд ямар нэг зүйлийг зөвхөн хоёр төдийгүй гурав, дөрөв ба түүнээс дээш объектыг баталж эсвэл үгүйсгэж болно, жишээлбэл: "Москва Санкт-Петербург, Киевийн хооронд байрладаг." Ийм дүгнэлтийг томъёогоор илэрхийлдэг R (а,а,a,…,a).

Жишээ нь: “Протон бүр электроноос хүнд”, “Францын зохиолч Виктор Гюго Францын зохиолч Стендалаас хожуу төрсөн”, “Аавууд үр хүүхдээсээ ах”.

3. Оршихуйн шүүлтүүд (оршихуйн):

тэдгээр нь шүүлтийн субьектийн оршин тогтнох, эс оршихуйн үнэн бодит байдлыг илэрхийлдэг.

Схем Энэ төрлийн шүүлт: « СБайна Р" эсвэл « Сидэж болохгүй юм R".

"Атомын цахилгаан станцууд байдаг", "Шалтгаангүй үзэгдэл гэж байдаггүй" гэсэн дүгнэлтийн жишээнүүд.

Уламжлалт логикт эдгээр гурван төрлийн шүүлт нь энгийн ангилалтай шүүлтүүд юм. Холболтын чанарын дагуу ("байна" эсвэл "байна") ангиллын дүгнэлтийг дараахь байдлаар хуваана. эерэг Тэгээд сөрөг . Шийдвэрүүд: " Зарим багш нар чадварлаг сурган хүмүүжүүлэгчид байдаг"Ба" Бүх зараа өргөстэй байдаг"- баталгаатай. Шийдвэрүүд: " Зарим ном нь хуучин ном биш юм"Ба" Ямар ч туулай махчин амьтан биш"- сөрөг. Баталгаажуулах дүгнэлт дэх "бол" гэсэн холбогч нь тодорхой шинж чанарын объектын (объектуудын) төрөлхийн шинж чанарыг илэрхийлдэг. "Байхгүй" гэсэн холбогч нь объект (объект) нь тодорхой шинж чанартай байдаггүй гэдгийг илэрхийлдэг.

Зарим логикчид сөрөг дүгнэлт нь бодит байдлыг тусгадаггүй гэж үздэг. Үнэн хэрэгтээ тодорхой шинж чанарууд байхгүй байгаа нь объектив ач холбогдолтой хүчин төгөлдөр шинж чанарыг бүрдүүлдэг. Сөрөг үнэн шүүлтийн хувьд бидний бодол санаа нь объектив ертөнцөд тусгаарлагдсан зүйлийг салгаж (салгадаг).

Танин мэдэхүйн хувьд эерэг дүгнэлт нь ерөнхийдөө сөрөг дүгнэлтээс илүү ач холбогдолтой байдаг, учир нь аливаа объект тийм ч олон шинж чанартай байдаггүй (жишээлбэл, далайн гахай гэх мэт) тул тухайн объектод ямар шинж чанартай байгааг илчлэх нь илүү чухал байдаг. загас биш, шавьж биш, ургамал биш, хэвлээр явагч биш гэх мэт).

Субьект нь объектын бүхэл бүтэн анги, энэ ангийн нэг хэсэг эсвэл нэг объектын тухай ярьж байгаагаас хамааран шүүлтүүд хуваагдана. ерөнхий, хувийнТэгээд ганц бие.

Жишээлбэл: "Бүх зүйл булга – үнэ цэнэтэй үслэг амьтан" болон "Эрүүл ухаантай бүх хүмүүс урт удаан, аз жаргалтай, ашигтай амьдралыг хүсдэг" (П. Брэгг) – ерөнхий дүгнэлтүүд ; "Зарим амьтад – усны шувууд" – хувийн ; "Везувий – идэвхтэй галт уул" – ганц бие .

Бүтэц ерөнхийшүүлтүүд: "Бүх S нь (байгаа) R".Сэдэв нь нэг элементийн анги тул дан дүгнэлтийг ерөнхийд нь авч үзэх болно.

Ерөнхий шүүлтүүдийн дунд байдаг онцлох“зөвхөн” хэмжигдэхүүнийг агуулсан дүгнэлт. Онцлох мэдэгдлийн жишээ: "Брагг зөвхөн нэрмэл ус уусан"; “Зоригтой хүн үнэнээс айдаггүй. Зөвхөн хулчгар хүн л түүнээс айдаг” (А.К. Дойл).

Ерөнхий шүүлтүүдийн дунд байдаг онцгойжишээ нь: "Мөнгөн уснаас бусад 20 хэмийн температурт байгаа бүх металууд хатуу байдаг." Онцгой шийдвэрт орос болон бусад хэлний тодорхой дүрэм, логик, математик болон бусад шинжлэх ухааны дүрмүүдээс үл хамаарах зүйлийг илэрхийлсэн шийдвэрүүд орно.

Хувийн шүүлтүүд бүтэцтэй байдаг: "Зарим Смөн чанар (мөн чанар биш) R".Тэдгээрийг тодорхойгүй, тодорхойгүй гэж хуваадаг. Жишээлбэл, "Зарим жимс нь хортой" – тодорхой бус хувийн дүгнэлт. Бид бүх жимсгэнэ хоруу чанарын шинж тэмдэгтэй эсэхийг тогтоогоогүй ч зарим жимс нь хоруу чанарын шинж тэмдэггүй гэдгийг тогтоогоогүй байна. Хэрэв бид “зөвхөн зарим S шинж чанартай байдаг R",дараа нь энэ нь тодорхой хувийн шүүлт байх болно, бүтэц нь: "Зөвхөн зарим нь Смөн чанар (мөн чанар биш) R".Жишээ нь: "Зөвхөн зарим жимс нь хортой"; "Зөвхөн зарим тоонууд бөмбөрцөг хэлбэртэй"; "Зөвхөн зарим бие нь уснаас хөнгөн байдаг." Зарим хувийн дүгнэлтэд тоон үзүүлэлтүүдийг ихэвчлэн ашигладаг: олонхи, цөөнх, олон, бүгд биш, олон, бараг бүгд, хэд хэдэн гэх мэт.

IN ганц биеДүгнэлтээр бол сэдэв нь нэг ойлголт юм. Ганц шийдвэрүүд нь бүтэцтэй байдаг: "Энэ S бол (биш) P." Ганц саналын жишээ: "Виктория нуур АНУ-д байдаггүй"; "Аристотель – Македонский Александрын багш"; "Эрмитаж – Дэлхийн хамгийн том урлаг, соёл, түүхийн музейн нэг."

Тиймээс, шүүлтийн ангилалд онцгой байр суурь эзэлдэг бөгөөд энэ нь атрибутийн дүгнэлтэд үндэслэсэн бөгөөд сүүлийн үеийн зарим төвөгтэй хувилбаруудыг төлөөлдөг.

Байгалийн хэл дээрх өгүүлбэрийг ангиллын дүгнэлтийн каноник хэлбэрт шилжүүлэх журам

1. Өгүүллийн тоо хэмжээ, сэдэв, угтварыг тодорхойл.

2. “Бүгд” (“байхгүй”) эсвэл “зарим” гэсэн тоон үзүүлэлтийг өгүүлбэрийн эхэнд байрлуул.

3. Тоон тоологч үгийн ард өгүүлбэрийн сэдвийг байрлуул.

4.Өгүүллийн сэдвийн ард “бол” (“мөн чанар”) эсвэл “эс” (“мөн чанар биш”) гэсэн логик холбогчийг байрлуул.

5. Логик холбогчийн ард өгүүлбэрийн предикатыг тавь.

Сүүлчийн үйлдлийг хийхдээ дараахь зүйлийг санаарай.

· нэгдүгээрт, хэрэв предикат нь нэг үг, хэллэгээр илэрхийлэгдэж болох нэр үгээр илэрхийлэгдсэн бол энэ тохиолдолд угтвар нь өөрчлөгдөөгүй хэвээр байна;

· хоёрдугаарт, хэрэв предикат нь нэг үг, хэллэгээр илэрхийлэгдэж болох тэмдэгт үгээр илэрхийлэгддэг бол энэ тохиолдолд уг өгүүлбэрийн сэдэвт ерөнхий ойлголтыг нэмж оруулах ёстой;

· Гуравдугаарт, хэрэв уг өгүүлбэрийг нэг үг, хэллэгээр илэрхийлж болох үйл үгээр илэрхийлсэн бол энэ тохиолдолд өгүүлбэрийн сэдэвт ерөнхий ойлголтыг угтвар үгэнд нэмж, үйл үгийг харгалзах үг болгон хувиргана. оролцогч.

Шүүмж бүр нь тоон болон чанарын шинж чанартай байдаг. Тиймээс логик нь шүүлтийн тоо, чанарын хосолсон ангиллыг ашигладаг бөгөөд үүний үндсэн дээр дараахь зүйлийг ялгадаг. дөрвөн төрлийн шүүлт :

1. А – ерөнхий баталгаа.

Бүтэц: "Бүгд Смөн чанар R".

Жишээ: "Бүх хүмүүс аз жаргалыг хүсдэг."

2. I– хувийн эерэг дүгнэлт.

Бүтэц: "Зарим S байна R".

Жишээ: “Зарим хичээлүүд сурагчдын бүтээлч сэтгэлгээг идэвхжүүлдэг.”

ü Зөвшөөрөх шийдвэр гаргах конвенцуудыг үгнээс авсан батлах, эсвэл Би зөвшөөрч байна;Энэ тохиолдолд эхний хоёр эгшгийг авна. А – ерөнхийдөө батлахыг илэрхийлэх ба I – хувийн эерэг саналыг илэрхийлэх.

3. Э – ерөнхий сөрөг дүгнэлт.

Бүтэц: "Үгүй Сидэж болохгүй юм R".

Жишээ: "Ямар ч далай цэнгэг ус биш."

4. О– хувийн сөрөг дүгнэлт.

Бүтэц: "Зарим S нь тийм биш R".

Жишээ: "Зарим тамирчид Олимпийн аварга биш."

ü Сөрөг дүгнэлтийн тэмдэгийг үгнээс авсан тохиролцох , эсвэл Би үгүйсгэж байна.

Шүүмжлэлд S ба нэр томъёо Ртараасан болон хуваарилагдаагүй байж болно. Нэр томъёог авч үздэг тараасан, хэрэв түүний хамрах хүрээ нь өөр нэр томъёоны хамрах хүрээнд бүрэн орсон эсвэл бүрмөсөн хасагдсан бол. Нэр томъёо нь байх болно хуваарилагдаагүй, хэрэв түүний хамрах хүрээ нь өөр нэр томъёоны хамрах хүрээнд хэсэгчлэн орсон эсвэл хэсэгчлэн хасагдсан бол. Дөрвөн төрлийн шүүлтэд дүн шинжилгээ хийцгээе: А, Би, Э, О(бид ердийн тохиолдлыг авч үздэг).

1. Шүүхийн шийдвэр А – нийтийн . Түүний бүтэц: " Бүгд S бол П ».

Хоёр тохиолдлыг авч үзье:

Жишээ 1 . Шүүхийн шийдвэрт “Бүх crucian carp – загас" гэсэн сэдэв нь "загалмайт загас" гэсэн ойлголт ба предикат юм – "загас" гэсэн ойлголт. Ерөнхий хэмжигч – "Бүгд". Энэ сэдэв нь тархсан, учир нь бид бүх crucian carp-ийн тухай ярьж байна, i.e. түүний хамрах хүрээ нь предикатын хүрээнд бүрэн багтсан болно. Загалмайт загастай давхцаж буй загасны зөвхөн нэг хэсэг нь үүнд тооцогддог тул предикатыг тараадаггүй; Бид зөвхөн предикатын эзлэхүүний тухайн сэдвийн эзлэхүүнтэй давхцаж байгаа хэсгийг л ярьж байна.

Жишээ 2 . "Бүх квадратууд нь тэгш өнцөгт тэгш өнцөгтүүд" гэсэн саналд дараахь нэр томъёонууд байна. С- "дөрвөлжин", Р– “тэнцүү талт тэгш өнцөгт” ба ерөнхий хэмжигдэхүүн – “бүгд”. Энэ шийдвэрт С тархсан ба P тархсан, учир нь тэдгээрийн эзлэхүүн нь бүрэн давхцдаг. Хэрэв Сэзлэхүүнтэй тэнцүү R,Тэр Ртараасан Энэ нь тодорхойлолт, ерөнхий дүгнэлтийг ялгахад тохиолддог.

2. Шүүхийн шийдвэр I – хувийн эерэг . Түүний бүтэц: " Зарим S бол П ». Хоёр тохиолдлыг авч үзье.

Жишээ 1 . "Зарим өсвөр насныхан филателист байдаг" гэсэн саналд: С - "өсвөр насны хүүхэд", Р– “филателист”, оршихуйн хэмжигдэхүүн – “зарим”. Энэ сэдвийг тараадаггүй, учир нь өсвөр насныхны зөвхөн нэг хэсэг нь үүнд зориулагдсан байдаг, өөрөөр хэлбэл. сэдвийн хамрах хүрээ нь предикатын хүрээнд зөвхөн хэсэгчлэн багтдаг. Предикат нь бас тархаагүй, учир нь энэ нь зөвхөн сэдвийн хүрээнд хэсэгчлэн багтдаг (зөвхөн зарим филателистууд өсвөр насныхан байдаг). Хэрэв үзэл баримтлал СТэгээд Рзагалмай, тэгвэл Ртараагаагүй.

Жишээ 2 . "Зарим зохиолчид жүжгийн зохиолч" гэсэн саналд: S - "зохиолч", P - "жүжгийн зохиолч" ба экзистенциал хэмжигдэхүүн - "зарим" гэсэн нэр томьёо байна. Зохиолчдын зөвхөн нэг хэсэг нь энэ сэдвийг авч үздэг тул энэ сэдвийг тараадаггүй, өөрөөр хэлбэл. сэдвийн хамрах хүрээ нь предикатын хүрээнд зөвхөн хэсэгчлэн багтдаг. Предикатын хамрах хүрээ нь тухайн сэдвийн хүрээнд бүрэн багтдаг тул уг өгүүлбэрийг хуваарилдаг. Тиймээс, Рэзлэхүүнтэй бол тараана Р S хэмжээнээс бага , ялангуяа ялгах шүүлтүүдэд юу тохиолддог.

3. Шүүхийн шийдвэр Э – ерөнхий сөрөг . Түүний бүтэц: " Байхгүй S бол P биш » . Жишээлбэл : "Ямар ч арслан өвсөн тэжээлтэн байдаггүй." Үүнд: S - "арслан", Р– “өвсөн тэжээлтэн” ба тоологч үг – “байхгүй”. Энд сэдвийн хамрах хүрээ нь предикатын хамрах хүрээнээс бүрэн хасагдсан ба эсрэгээр. Тиймээс С , Тэгээд Ртараасан.

4. Шүүхийн шийдвэр ТУХАЙ –хэсэгчилсэн сөрөг . Түүний бүтэц: " Зарим S бол P биш ». Жишээлбэл : "Зарим оюутнууд тамирчин биш." Энэ нь дараах нэр томъёог агуулна: S - "оюутан", Р– "Тамирчин" ба оршин тогтнох хэмжигдэхүүн - "зарим". Сурагчдын зөвхөн нэг хэсгийг л бодож байгаа тул уг сэдвийг тараадаггүй, харин предикатыг тараадаг, учир нь бүх тамирчид үүнд багтдаг бөгөөд тэдний хэн нь ч сурагчдын бодож байгаа хэсэгт багтдаггүй. сэдэв

Тэгэхээр, S нь ерөнхий шүүлтүүдэд хуваарилагдсан бөгөөд тодорхой нэгд нь хуваарилагдаагүй; P нь сөрөг дүгнэлтэд үргэлж хуваарилагддаг боловч эерэг дүгнэлтэд P ≤ эзлэхүүнтэй үед тархдаг.С.

Үүнийг төсөөлөөд үз дээ нэр томъёоны хуваарилалтын хүснэгтэд:

Нөхцөл/Шүүхийн төрөл	А	Э	I	О
С
П
П шүүлтүүдийг онцолж байна

Энэ сэдвийг ерөнхийд нь тарааж, тодорхой шүүлтүүдэд хуваарилдаггүй. Предикат нь сөрөг байдлаар тархсан бөгөөд эерэг дүгнэлтэд хуваарилагддаггүй. Шүүмжийг ялгахдаа предикатыг хуваарилдаг.

Домог: +- хугацааны хуваарилалт;

– – нэр томьёог хуваарилахгүй байх

· ХАРИЛЦААНЫ ШИЙТГЭЛЭнэ нь субьект ба предикат гэсэн хоёр нэр томъёоны хоорондын хамаарлыг холбогчийн тусламжтайгаар бус (“байна”, “байна” гэх мэт), харин ямар нэг зүйлийг баталгаажуулсан харилцааны тусламжтайгаар илэрхийлдэг ийм шүүлтүүд юм. эсвэл хоёр (хэд хэдэн) нөхцөлтэй холбогдуулан үгүйсгэсэн. Энэ төрлийн шүүлтийн хувьд предикат нь хамаарал, субьект нь хоёр (эсвэл хэд хэдэн) ойлголт юм. Харилцааны байршил нь тухайн сэдэвт багтсан ойлголтуудын тоогоор тодорхойлогддог.

· Харилцааны талаарх дүгнэлтийг чанарын хувьд эерэг ба сөрөг гэж хуваадаг. Харилцааны талаархи дүгнэлтийг тоо хэмжээгээр хуваадаг. Хамгийн түгээмэл нь хоёр газрын харилцаатай шүүлтүүд юм. Диадик харилцаа нь хэд хэдэн шинж чанартай байдаг бөгөөд үүний үндсэн дээр харилцааны талаархи дүгнэлтээс дүгнэлт хийж болно. Эдгээр нь тэгш хэм, рефлекс, шилжилтийн шинж чанарууд юм.

• харилцаа гэж нэрлэдэг тэгш хэмтэй(Латин "пропорциональ" гэсэн үгнээс), хэрэв энэ нь объектуудын хооронд тохиолдвол x Тэгээд y , мөн объектуудын хооронд y ба x (Хэрэв X тэнцүү (ижил төстэй, нэгэн зэрэг) y , дараа нь y тэнцүү (ижил төстэй, нэгэн зэрэг) X .
• харилцаа гэж нэрлэдэг тусгал(Латин "тусгал" гэсэн үгнээс), хэрэв харилцааны гишүүн бүр өөртэйгөө ижил хамааралтай бол (хэрэв X =цагт , Тэр X =X Тэгээд цагт =цагт ).
• харилцаа гэж нэрлэдэг шилжилт хөдөлгөөн(Латин хэлнээс "шилжилт"), хэрэв энэ нь хооронд явагддаг бол X Тэгээд z , дараа нь энэ нь хооронд тохиолдох үед X Тэгээд цагт болон хооронд цагт Тэгээд z (Хэрэв X тэнцүү байна цагт Тэгээд цагт тэнцүү байна z , Тэр X тэнцүү байна z ).

Шийдвэр болгоныг өгүүлбэрээр илэрхийлдэг ч өгүүлбэр бүр шүүлтийг илэрхийлдэггүй.

Ø Шийдвэрийг тунхаглах өгүүлбэрээр илэрхийлдэг бөгөөд энэ нь үргэлж батлах эсвэл үгүйсгэх үгийг агуулсан байдаг. Тийм ч учраас өгүүлэмжийн өгүүлбэрүүд нь шүүлтийн дүрмийн дүйцэхүйц хувьд объект ба түүний шинж чанар, объектын хоорондын хамаарал, объектын оршин тогтнох баримтыг баталж, үгүйсгэдэг бүрэн гүйцэд бодол юм. үнэн эсвэл худал байж болно.

Ø Асуултын өгүүлбэрүүдшүүлтийг агуулаагүй, учир нь тэдгээрт юу ч батлагдаагүй эсвэл үгүйсгэгдээгүй. Тэд үнэн ч биш, худал ч биш. Жишээ нь: "Та хэзээ цэцэрлэгжүүлж эхлэх вэ?" эсвэл "Гадаад хэл сурах энэ арга үр дүнтэй юу?" Хэрэв өгүүлбэр нь риторик асуултыг илэрхийлж байвал – Жишээ нь: "Хэн аз жаргалыг хүсдэггүй вэ?", "Та нарын хэн нь хайргүй байна вэ?" эсвэл "Талархалгүй хүнээс илүү аймшигтай зүйл байдаг уу?" (В. Шекспир), эсвэл “Бүх юмсын байнгын хөдөлгөөнийг санадаггүй, эргэцүүлэн бодох агшинд гол руу хардаг хүн байдаг уу?” (Р. Эмерсон) – "Хүн бүр аз жаргалыг хүсдэг" эсвэл "Бүх хүмүүс хайрладаг" гэх мэт баталгаа, мэдэгдэл байдаг тул энэ нь шүүлтийг агуулдаг.

Ø Асуултын риторик өгүүлбэрүүдТэд ямар нэг зүйлийг баталж эсвэл үгүйсгэдэг тул тэдгээрийн бүтцэд шүүлтүүдийг агуулсан байдаг. Тэд үнэн эсвэл худал байж болно.

Урамшууллын саналууддүгнэлт агуулаагүй байна: ("Эрүүл мэнддээ анхаар"; "Ойд гал бүү асаа"; "Тэшүүрийн талбай руу биш сургуульдаа яв!"). Гэхдээ цэргийн тушаал, тушаал, уриалга, уриа лоозонг илэрхийлсэн өгүүлбэрүүд нь дүгнэлтийг илэрхийлдэг, гэхдээ нотлох шинж чанартай биш, харин модаль (модаль шүүлтүүд нь: боломжтой, шаардлагатай, хориглосон, батлагдсан гэх мэт үгээр илэрхийлэгдсэн модаль операторуудыг агуулдаг). Жишээ нь: "Дэлхийд анхаарал тавь!", "Эхлүүлэхэд бэлэн!", "Найз минь! Гайхамшигтай сэтгэлийн хөөрлөөр эх орондоо сэтгэлээ зориулцгаая” (А.С. Пушкин). Эдгээр өгүүлбэрүүд нь шүүлтийг илэрхийлдэг боловч модаль үгсийг агуулсан модаль шүүлтүүд. A.I-ийн тэмдэглэснээр. Уемов, "Дэлхийд анхаарал тавь!", "Тамхи бүү тат!", "Үүргээ биелүүл!" гэх мэт шүүмжлэл, урамшууллын өгүүлбэрүүдийг илэрхийл. “Ямар нэгэн хоолны өмнө түүхий ногоо, түүхий жимсний салат идээрэй”, “Хэт идэж өөрийгөө бүү хорло” – Америкийн нэрт эрдэмтэн Пол Брэггийн "Мацаг барих гайхамшиг" номноос авсан эдгээр зөвлөмжүүд (дуудлага) нь шүүлт юм. Энэ бол шүүлт ба дуудлага юм: “Дэлхийн хүмүүс ээ! Бүх нийтийн, дэлхий нийтийн асуудлыг шийдвэрлэхэд хүчээ нэгтгэцгээе!"

Ø Нэг хэсэгтэй хувийн бус өгүүлбэрүүдТэгээд нэрлэсэнконтекст болон зохих тодруулгатай авч үзсэн тохиолдолд л шүүлт болно.

Өгүүлбэрт шүүхийн шийдвэр байгаа эсэхийг тодорхойлох шалгуур нь түүнийг батлах эсвэл үгүйсгэх мөч байгаа нь дүгнэлтийг үнэн, худал эсэхийг үнэлэхэд хүргэдэг.

Байгалийн хэлээр ижил саналыг өөр өөр өгүүлбэрээр илэрхийлж болно. Тиймээс логикт өгүүлбэрийн хоёрдмол утгатай, олон янзын утгатай тайлбараас зайлсхийхийн тулд "мэдэгдлийн" гэсэн нэр томъёог ашигладаг бөгөөд энэ нь зөвхөн нэг логик утгатай байж болох албан ёсны бодлын илэрхийлэл гэсэн үг юм. Үүнийг илэрхийлсэн ялын хамт авч үзсэн шүүхийн шийдвэр нь мэдэгдэл юм.Сүүлийнх нь хоёрдмол утгагүй утгатай хамт авсан дүрмийн хувьд зөв тунхаг өгүүлбэр юм; энэ нь үнэн эсвэл худал байж болно.

II. Нарийн төвөгтэй шүүлтийн төрөл ба логик магадлал

Нийлмэл шүүлтүүд нь энгийнээс гадна бусад нийлмэл шүүлтүүдээс “хэрэв..., тэгвэл...”, “эсвэл”, “ба” гэх мэт холбоо үгийн тусламжтайгаар, “энэ” гэсэн үгүйсгэлийн тусламжтайгаар үүсдэг. энэ нь үнэн биш”, “энэ нь боломжтой”, “энэ нь зайлшгүй”, “энэ нь санамсаргүй” гэх мэт. Эдгээр холболтууд, үгүйсгэх "энэ нь үнэн биш", өдөр тутмын хэл дээрх модаль нэр томъёог өөр өөр утгаар ашигладаг. Шинжлэх ухааны хэлэнд тэдгээр нь тодорхой утгыг өгдөг бөгөөд үүний үр дүнд янз бүрийн төрлийн шүүлтүүдийг ялгаж, жишээлбэл, ижил дүрмийн холбоогоор дамжуулан бусад шүүлтүүдээс бүрддэг.

I.Холбож байна хоёр ба түүнээс дээш нөхцөл байдал байгааг нотлох дүгнэлтүүд юм.Ихэнхдээ эдгээр дүгнэлтийг хэлээр "ба" гэсэн холбоос агуулсан өгүүлбэрээр илэрхийлдэг.

"Ба" гэсэн холбоосыг өөр өөр утгаар ашигладаг. Жишээлбэл, "Петров англи хэл сурч, франц хэл сурчээ" ба "Петров франц хэл сурч, англи хэл сурчээ" гэсэн өгүүлбэрүүд ижил санааг илэрхийлж байгаа бөгөөд "Петров их сургуулиа төгсөөд аспирантурт орсон", "Петров аспирантурт элсэн орсон. их сургууль төгссөн" гэж янз бүрийн дүгнэлтийг илэрхийлж байна.

Тиймээс хоёр ба түүнээс дээш нөхцөл байдлын талаархи янз бүрийн төрлийн мэдэгдэл байдаг, жишээлбэл. өөр өөр төрлийн холбох шүүлтүүд: (тодорхойгүй) холболт, дараалсан холболт, нэгэн зэрэг холболт.

1. (тодорхойгүй) хавсарсан дүгнэлтүүд"ба" гэсэн тэмдгээр тэмдэглэгдсэн, тэмдэг (тодорхой бус) гэж нэрлэгддэг холбоосоор дамжуулан хоёр шүүлтээс үүсдэг. холбоосууд.Холболтын тэмдгийн тодорхойлолт нь холболтын дүгнэлтийн үнэн нь түүнийг бүрдүүлсэн шүүлтийн үнэнээс хамааралтай болохыг харуулсан хүснэгт юм.
2. Тогтмол уялдаа холбоотой шүүлтүүд.Эдгээр саналууд нь хоёр ба түүнээс дээш нөхцөл байдлын дараалсан тохиолдлууд эсвэл оршин тогтнохыг баталж байна. Тэдгээр нь үүсгэгдсэн саналын тооноос хамааран & ® 2, & ® 3 гэх мэт тэмдгээр тэмдэглэгдсэн холболтыг ашиглан хоёр ба түүнээс дээш саналаас үүсдэг. Эдгээр тэмдгүүдийг дараалсан холболтын тэмдэг гэж нэрлэдэг бөгөөд үүний дагуу "..., дараа нь..", "..., дараа нь..., тэгээд ..." гэх мэтийг уншина. Индекс 2,3 гэх мэт. холбооны байршлыг заана. Хоёр оронтой дараалсан холбоосын тэмдэг бүхий шүүлтийн хэлбэр: & ® 2 (A,B) эсвэл (А&® 2 IN). ЖишээЭнэ хэлбэрийн шүүлтүүд: "Худалдан авагч нь барааны үнийг төлж, дараа нь худалдагч бараагаа гаргасан." "Дараа нь" гэсэн хэллэгийн оронд "ба" гэсэн холбоосыг ихэвчлэн ашигладаг: "Худалдан авагч барааны үнийг төлсөн, худалдагч бараагаа хүргэсэн". Гурван байрын холбоос бүхий шүүлтийн хэлбэр. Жишээ: "Петров орон сууцыг барьцаалж, пирамид руу мөнгө оруулж, дараа нь байнгын оршин суух газаргүй хүн болсон."
3. Үүний зэрэгцээ, коньюнктив шүүлтүүд.Эдгээр шүүлтүүд нь тэмдэг гэж нэрлэгддэг "ба" холбоосын тусламжтайгаар хоёр шүүлтээс үүсдэг нэгэн зэрэг холболт.Тэмдэглэгээ - & = . Эдгээр дүгнэлтүүд нь хоёр нөхцөл байдал нэгэн зэрэг оршиж байгааг нотолж байна. Жишээ нь: "Бороо орж, нар гийж байна."

1. Салгагч,эсвэл хатуу хуваах,эсвэл холбох-хуваах, шүүлтүүд.Эдгээр дүгнэлтүүд нь хоёр нөхцөл байдлын дор хаяж нэг нь байгааг нотолж байна. Тэдгээр нь сул дизьюнкцийн тэмдэг (эсвэл зүгээр л дизьюнкцийн тэмдэг) гэж нэрлэгддэг v тэмдгээр ("эсвэл" уншина уу) тэмдэглэсэн "эсвэл" холбоосын тусламжтайгаар хоёр шүүлтээс үүсдэг.
2. Хатуу тусгаарлагдсан,эсвэл хатуу хуваах шүүлтүүд.Эдгээр шүүлтүүд нь хоёр, гурав ба түүнээс дээш нөхцөл байдлын яг аль нэг нь байгааг баталж байна. Тэдгээр нь хоёр, гурав гэх мэтээс үүсдэг. "эсвэл..., эсвэл..." ("эсвэл..., эсвэл..."), "эсвэл..., эсвэл..., эсвэл..." гэх мэт холбоосуудаар шүүлтүүд. Заримдаа "эсвэл..., эсвэл..." гэсэн холбоосыг "эсвэл" гэсэн холбоосоор сольж, түүнийг хуваах утгыг контекстээр тодорхойлдог. Хатуу салгах дүгнэлтийг бий болгодог холболтуудыг тэмдгээр тэмдэглэнэ. v.

III. Болзолт саналуудихэвчлэн “хэрэв..., тэгвэл...” гэсэн холбоос бүхий өгүүлбэрээр илэрхийлэгддэг. Нэг нөхцөл байдал байгаа нь нөгөө нөхцөл байдал байгаа эсэхийг тодорхойлдог гэж тэд баталж байна. Жишээ нь: "Хэрэв нар дээд цэгтээ байгаа бол түүний сүүдэр хамгийн богино байна." Болзолт саналд үндэслэл, үр дагавар байдаг. Суурь"хэрэв" болон "тэгвэл" гэсэн үгийн хооронд байрлах нөхцөлт саналын хэсэг юм. "Тэр" гэсэн үгийн ард байрлах нөхцөлт саналын хэсгийг нэрлэнэ үр дагавар. "Хэрэв бороо орвол байшингийн дээвэр чийгтэй байна" гэсэн шүүлтийн үндэс нь "бороо орж байна" гэсэн энгийн дүгнэлт, үр дагавар нь "байшингийн дээвэр чийгтэй" гэсэн дүгнэлт юм.

Илүү хатуу нөхцөлтэй саналыг хангалттай нөхцөл гэсэн ойлголтоор тодорхойлдог. Нөхцөл байдалбайна хангалттайаливаа үйл явдал, аливаа нөхцөл байдлын хувьд, хэрэв энэ нөхцөл байх бүрт, мөн үйл явдал (нөхцөл байдал) байгаа бол. Иймд бодист чөлөөт электронууд байгаа нь тухайн бодис цахилгаан дамжуулах хангалттай нөхцөл болдог. БолзолтШалтгаанаар тодорхойлсон нөхцөл байдал нь үр дагавраар тодорхойлсон нөхцөл байдлын хангалттай нөхцөл болсон шүүлт юм. “Хэрэв..., тэгвэл...” нөхцөлт холбоог сумаар (®) заана.

IV. Эсрэг баримттай саналууд.Жишээ нь: "Хэрэв Петров ерөнхийлөгч байсан бол тэр хотыг автобусаар тойрохгүй байх байсан." Нөхцөлтэй саналуудын нэгэн адил эдгээр дүгнэлтэд үндэслэл, үр дагавар байдаг. "Хэрэв..., тэгвэл..." гэсэн холбоосыг É тэмдгээр тэмдэглэдэг бөгөөд үүнийг тэмдэг гэж нэрлэдэг эсрэг баримтүр дагавар. Энэхүү санал нь ийм утгатай: шалтгаанаар тайлбарласан нөхцөл байдал үүсэхгүй, гэхдээ хэрэв энэ нь байсан бол үр дагавар гарах болно.

В. Ижил дүгнэлтүүд.Тэнцвэртэй байдлын дүгнэлт нь хоёр нөхцөл байдлын харилцан нөхцөл байдлыг баталгаажуулдаг. Эдгээр дүгнэлтийг дүрмээр бол "хэрэв, зөвхөн хэрэв, ..., тэгвэл ..." ("дараа нь, тэгээд зөвхөн дараа нь, ..., хэзээ...") гэсэн холбоос бүхий өгүүлбэрүүдээр илэрхийлдэг. Тэд мөн шалтгаан, үр дагаврыг онцолж болно. Тэдгээрийн үндэс нь үр дагавраар тодорхойлсон нөхцөл байдлын хангалттай бөгөөд зайлшгүй нөхцөлийг илэрхийлдэг ( Нөхцөл байдлыг зайлшгүй гэж нэрлэдэг тухайн үйл явдлын хувьд (нөхцөл байдал, үйлдэл гэх мэт), хэрэв байхгүй тохиолдолд энэ үйл явдал тохиолдохгүй бол, зөвхөн хэрэв байхгүй бол. утгыг º тэмдгээр тэмдэглэнэ

Тэнцвэртэй байдлын дүгнэлтийн хувьд үр дагавараар тодорхойлсон үйл явдал нь мөн шалтгаанаар тодорхойлсон үйл явдлын хангалттай бөгөөд зайлшгүй нөхцөл юм.

VI. Гадны үгүйсгэлтэй шүүлт.Энэ нь тодорхой нөхцөл байдал байхгүй байгааг илэрхийлсэн мэдэгдэл юм.

Гадаад үгүйсгэхийг “l” тэмдгээр (үгүйсгэх тэмдэг) тэмдэглэнэ. Байгалийн хэл дээрх энэ тэмдэг нь ихэвчлэн өгүүлбэрийн эхэнд гардаг "үгүй" гэсэн үгүйсгэлт эсвэл "энэ нь үнэн биш" гэсэн илэрхийлэлтэй тохирч байна. Дурын худал мэдэгдлийн өмнө "энэ нь үнэн биш" гэсэн хэллэгийг байрлуулснаар бид үнэн мэдэгдлийг олж авдаг бөгөөд "энэ нь үнэн биш" гэсэн хэллэгийг орлуулснаар бид худал мэдэгдэл үүсгэдэг. Гадны үгүйсгэлтэй шүүлт нь нарийн төвөгтэй шүүлтүүдийг хэлдэг бөгөөд энгийнээс үгүйсгэх замаар үүсдэг.

Нарийн төвөгтэй шүүлтийн үнэний үнэ цэнэ нь бүрэлдэхүүн хэсгүүдийн үнэний үнэ цэнэ, тэдгээрийн холболтын төрлөөс хамаарна. Яг л үнэн томъёоЭнэ нь түүнд орсон хувьсагчдын утгуудын аль ч хослолын хувьд "үнэн" утгыг авдаг томьёо юм. Баримтлал-худал томъёо– зөвхөн “худал” гэсэн утгыг авдаг нэг. Гүйцэтгэж буй томьёо нь үнэн эсвэл худал байж болно.

Тэгэхээр, холболт(а б ) энгийн санал хоёулаа үнэн бол үнэн. Хатуу тусгаарлалт (а б ) зөвхөн нэг энгийн санал үнэн бол үнэн. Сул задрал (а б ) ядаж нэг энгийн санал үнэн бол үнэн. Үр дагавар ( a É b ) нэгээс бусад тохиолдолд бүх тохиолдолд үнэн - хэзээ А -үнэн, б-худлаа. Тэнцүү байдал ( a º б ) Хоёр санал хоёулаа үнэн эсвэл хоёулаа худал бол үнэн. Үгүйсгэх (ù а) худал үнэнийг өгдөг ба эсрэгээр.

Ø Тодорхой шүүлтийн багцаас бүрдсэн хэл шинжлэлийн аливаа бүтцийг бэлгэдлийн хэл рүү хөрвүүлж болно. Үүнийг хийхийн тулд та дүгнэлтийг логик хувьсагчаар, тэдгээрийн хоорондын холболтыг логик нэгдлээр солих хэрэгтэй. Нарийн төвөгтэй шүүлтийн логик шинж чанар, түүний хэлбэр нь хувьсах хэмжигдэхүүнүүдийн холболтоос хамаарна.

Ø Логик хэлбэр нь түүнийг бүрдүүлэгч хувьсагчдын утгын бүх багцын хувьд "үнэн" утгыг авдаг нийлмэл санал гэж нэрлэдэг. логикийн хувьд зайлшгүй шаардлагатай. Өөрөөр хэлбэл, үнэний хүснэгтийн үр дүнд бий болсон баганын бүх мөрөнд "үнэн" гэж үнэлэгддэг цогц саналууд нь логикийн хувьд зайлшгүй шаардлагатай (логикийн хувьд үнэн) саналууд юм. Логик шаардлагатай шүүлтийн логик хэлбэрийг ижил үнэн томъёогоор илэрхийлдэг бөгөөд хувьсагчийн аль ч үнэний хувьд "үнэн" гэсэн утгыг авдаг, өөрөөр хэлбэл түүний үр дүнгийн багана нь зөвхөн "БА" -аас бүрдэнэ. Яг л үнэн томьёо нь логик зөв мэдэгдлийн үндэс болдог. Ийм томъёо бүрийг логикийн хууль (логик тавтологи) гэж үздэг.

Ø Логик хэлбэр нь хувьсагчийн бүх багц утгын хувьд "худал" гэсэн утгыг авдаг цогц санал гэж нэрлэдэг. логикийн хувьд боломжгүй. Өөрөөр хэлбэл, үүссэн үнэний хүснэгтийн баганын бүх талд "худал" гэж үнэлэгддэг цогц саналууд нь логикийн хувьд боломжгүй (логикийн хувьд худал) саналууд юм. Логикийн хувьд боломжгүй саналын логик хэлбэрийг ижил худал томъёогоор илэрхийлдэг бөгөөд энэ нь хувьсагчдын аль ч үнэний үнэ цэнэд "худал" гэсэн утгыг авдаг, өөрөөр хэлбэл түүний үр дүнгийн багана нь зөвхөн "L" -ээс бүрдэнэ. Үүнтэй адил хуурамч томьёо гэж нэрлэдэг зөрчилдөөн.

Ø Үнэний хүснэгтийн үр дүнгийн баганад логик хэлбэр нь "үнэн" ба "худал" хоёрын утгыг авдаг цогц санал гэж нэрлэдэг. логик санамсаргүй. Логик санамсаргүй саналын логик хэлбэрийг төвийг сахисан (үнэндээ сэтгэл ханамжтай) томъёогоор илэрхийлдэг бөгөөд үүний үр дүнд үүссэн багана нь "I" ба "L" хоёроос бүрдэнэ.

Ø Эхний хоёр төрлийн нийлмэл шүүлтийн онцлог нь тэдгээрийн үнэн, худал нь түүнийг бүрдүүлдэг энгийн шүүлтийн үнэн, худал байдлаас хамаардаггүй явдал юм. Логикийн хувьд санамсаргүй саналууд заримдаа үнэн, заримдаа худал байдаг. Энэ нь энгийн саналуудын аль нь үнэн, аль нь худал байхаас хамаарна.

III. Шүүхийн шийдвэрийг үгүйсгэх

ШҮҮХИЙГ ҮГҮЙЦЭТГЭХ гэдэг нь үгүйсгэсэн шүүлтийн логик агуулгыг өөрчлөхөөс бүрдэх үйл ажиллагаа бөгөөд эцсийн үр дүн нь анхны шүүлтийн зөрчилтэй холбоотой шинэ дүгнэлт гаргах явдал юм.

Энгийн атрибутив дүгнэлтийг үгүйсгэх үед:

1) ерөнхий дүгнэлт нь тодорхой болж өөрчлөгддөг ба эсрэгээр;

2) эерэг дүгнэлт сөрөг болж өөрчлөгддөг ба эсрэгээр.

Атрибутийн дүгнэлтийг үгүйсгэх нь дараахь тэнцүү байдлын дагуу хийгддэг.

ù А тэнцүү ТУХАЙ ù ТУХАЙ тэнцүү А

ù Э тэнцүү I ù I тэнцүү Э

Нарийн төвөгтэй дүгнэлтийг үгүйсгэх нь дараахь тэнцүү байдлын дагуу хийгддэг.

ù (А& IN)тэнцүү ù Аvù B; де Морганы хуулийн дагуу

ù (АvB)тэнцүү ù А& ù B;

ù (АÉ B)тэнцүү А& ù B;

ù (Аº B)тэнцүү (ù А& IN)v(А& ù B);

ù (Аv IN)тэнцүү Аº IN

IV. Шүүмжийн хоорондын хамаарал

Үнэний шүүлтийн хоорондын хамаарлыг ихэвчлэн "логик квадрат" хэлбэрээр бүдүүвчээр дүрсэлдэг.

ЛОГИК Квадрат

ЦОГЦОЛБОР ШҮҮЛТИЙН ХАРИЛЦАА

Нарийн төвөгтэй дүгнэлтүүдийн хоорондын хамаарлыг хамааралтай (харьцуулж болох) ба бие даасан (харьцуулах боломжгүй) гэж хуваадаг. Бие даасан - нийтлэг бүрэлдэхүүн хэсэггүй дүгнэлт; тэдгээр нь жинхэнэ утгын бүх хослолоор тодорхойлогддог. Хамааралтай хүмүүс - эдгээр нь ижил бүрэлдэхүүн хэсгүүдтэй, логик холболтууд, түүний дотор үгүйсгэх зэргээр ялгаатай байж болох шүүлтүүд юм. Хараат хүмүүс нь эргээд хуваагддаг нийцтэй (нэг зэрэг үнэн байж болох шүүлтүүд) ба нийцэхгүй (нэг зэрэг үнэн байж болохгүй шүүлтүүд).

Харилцаа

В. Шийдвэрлэх арга

ЗАГВАР - энэ нь шүүхийн шийдвэрийн логик эсвэл бодит байдал, түүний зохицуулалт, үнэлгээ, цаг хугацааны болон бусад шинж чанаруудын талаархи дүгнэлтэд тусгагдсан нэмэлт мэдээлэл юм.

Баталгаажуулах дүгнэлтүүд, өөрөөр хэлбэл атрибутив ба харилцааны дүгнэлтүүд, түүнчлэн тэдгээрээс бүрдсэн нарийн төвөгтэй мэдэгдлүүд нь бүрэн бус мэдээлэл бүхий шүүлтүүд гэж үзэж болно. Атрибутив шүүлтийн гол үүрэг нь объект болон түүний шинж чанаруудын хоорондын холбоог тусгах явдал юм. S объектыг зүгээр л P өмчтэй гэж хэлж болно. Ийм аттрибутив дүгнэлт нь зүгээр л баталгаа юм. Энгийн батлах (үгүйсгэх) -тэй зэрэгцэн хүчтэй, сул мэдэгдлүүд, үгүйсгэлүүд байдаг бөгөөд эдгээр нь модаль шүүлтүүд юм.

ЗАГВАРЫН ҮНДСЭН ТӨРЛҮҮД:

Ø ALETHIC MODALITY- "шаардлагатай", "заавал", "мэдээж", "санамсаргүй", "боломжтой", "магадгүй", "хасаагүй", "зөвшөөрөгдсөн" гэсэн модаль ойлголтууд болон логик эсвэл бодит байдлын талаархи бусад мэдээллээр дамжуулан дүгнэлтэд илэрхийлсэн. шүүхийн шийдвэрийн . Алетик бүлэгт байдаг онтологи (бодит ) горим, аль нь Шүүлтийн объектив детерминизмтай холбоотой, тэдгээрийн үнэн эсвэл худал нь бодит байдалд болж буй нөхцөл байдлаас шалтгаалан тодорхойлогддог., Мөн логик горим , аль Шүүлтийн хэлбэр, бүтцээр үнэн эсвэл худал нь тодорхойлогддог шүүлтийн логик детерминизмтай холбоотой.

Ø ЭПИСТЕМИЙН ЗАГВАР- үүнийг "мэдэгдэж байгаа", "үл мэдэгдэх", "нотлох боломжтой", "няцаах боломжтой", "таамагласан" гэх мэт модаль операторуудаар дамжуулан шүүлтэд илэрхийлдэг. хүлээн авах үндэслэл, түүний хүчинтэй байдлын зэрэгтэй холбоотой мэдээлэл.

Ø ДЕОНТИК ЗАГВАР- Шүүхийн шийдвэрт зөвлөгөө, хүсэл, зан үйл, дэг журам хэлбэрээр илэрхийлсэн заавар, хүнийг тодорхой арга хэмжээ авахад түлхэц өгөх. Эрх зүйн хэм хэмжээг мөн деонтик гэж үздэг (энд дараах операторуудыг ялгаж болно: "үүрэгтэй", "заавал", "заавал", "хүлээн зөвшөөрсөн", "хориотой", "боломжгүй", "зөвшөөрөхгүй", "эрхтэй", "байна", "хүлээн зөвшөөрч болно" гэх мэт).

Шийдвэрлэх арга ( Р) операторыг ашиглан илэрхийлнэ М, схемийн дагуу ноён(жишээлбэл, "боломжтой P"). Модаль саналын үнэн нь модаль операторын доор байгаа саналын үнэнээс болон модаль операторын төрлөөс хамаарна.

Модаль энгийн саналууд

Модаль операторуудыг ашиглан субьект ба предикатын хоорондын холболтын шинж чанарыг илэрхийлсэн энгийн дүгнэлтүүд (модаль ойлголтууд)

хÉ q);М (хº q).

Жишээ:"Хэрэв температур 100 градусаас дээш байвал ус уур болж хувирдаг" гэсэн нийлмэл хэллэгээс "Хэрэв температур 100 градусаас дээш байвал ус уур болж хувирах нь физикийн хувьд зайлшгүй шаардлагатай" гэсэн модаль мэдэгдлийг олж авах боломжтой.

VI. Логик хуулийн тухай ойлголт

Зөв сэтгэлгээ нь дараахь шаардлагыг хангасан байх ёстой: тодорхой, тууштай, тууштай, үндэслэлтэй байх. Тодорхой сэтгэлгээ нь ямар ч будлиангүй, нарийн бөгөөд хатуу байдаг. Тогтвортой сэтгэлгээ нь бодлын хоорондын зайлшгүй холбоог устгадаг дотоод зөрчилдөөнөөс ангид байдаг. Тогтвортой байдал нь нэг талаараа хүлээн зөвшөөрөгдөхүйц бие биенээ үгүйсгэдэг бодлоос зайлсхийхтэй холбоотой юм. Үндэслэлтэй сэтгэх нь зөвхөн үнэнийг томъёолохоос гадна түүнийг үнэн гэж хүлээн зөвшөөрөх үндэслэлийг зааж өгөх явдал юм.

Тодорхой байдал, тууштай байдал, тууштай байдал, хүчин төгөлдөр байдлын шинж чанарууд нь аливаа сэтгэлгээнд зайлшгүй шаардлагатай шинж чанарууд байдаг тул тэдгээр нь сэтгэн бодоход хуулийн хүчинтэй байдаг. Сэтгэн бодох нь зөв болсон тохиолдолд бүх үйлдэл, үйл ажиллагаандаа тодорхой логик хуулиудыг дагаж мөрддөг.

Өмнө дурьдсанчлан бодлын логик хэлбэр нь бодлын бүтэц, өөрөөр хэлбэл түүний бүрэлдэхүүн хэсгүүдийг холбох арга зам юм. Ийнхүү логик хэлбэрүүд нь "Бүх S нь P" ба "Бүх P нь S" гэсэн илэрхийллээр илэрхийлэгддэг бодлуудын хооронд холболт байдаг: хэрэв эдгээр бодлын аль нэг нь үнэн бол хоёр дахь нь үнэн юм. эдгээр бодлын тодорхой агуулга. Заримынх нь үнэнийг заавал бусдын үнэнийг тодорхойлдог бодлуудын хоорондын уялдаа холбоог албан ёсны логик хуулиуд буюу логикийн хуулиар тодорхойлдог.

§ ЛОГИКИЙН ХУУЛЬ- эдгээр нь зөвхөн логик хэлбэрийн хувьд, өөрөөр хэлбэл зөвхөн бүрэлдэхүүн хэсгүүдийн холболтын үндсэн дээр үнэн байдаг илэрхийллүүд юм. Өөрөөр хэлбэл логик хууль гэдэг нь аливаа агуулгын илэрхийлэлийн үнэнийг баталгаажуулдаг логик хэлбэр нь өөрөө юм.

§ ЛОГИКИЙН ХУУЛЬнь зөвхөн тогтмол болон хувьсагчийг агуулсан илэрхийлэл бөгөөд аль ч (хоосон бус) субьектийн талбарт үнэн байдаг (иймээс саналын логик эсвэл предикатын логикийн аливаа хууль нь логик хуулийн жишээ юм). Эдгээр нь гэж нэрлэгддэг зүйл юм бодлын хоорондын холболтын хуулиуд. Логик хуулиудыг бас нэрлэдэг тавтологи.

§ ЛОГИК СУТОЛОГИ- энэ бол "үргэлж үнэн илэрхийлэл", өөрөөр хэлбэл объектын аль талбараас үл хамааран энэ нь үнэн хэвээр байна. Логикийн аливаа хууль бол логик тавтологи юм.

§ Гэдэг нь онцгой үүрэг гүйцэтгэдэг шаардлагатай ерөнхий нөхцлийг тодорхойлсон хууль (зарчмууд)., үүнд бидний бодол санаа, бодол санаатай хийх логик үйлдлүүд хангах ёстой. Уламжлалт логикт дараахь зүйлийг авч үздэг.

Математик логикт ижил төстэй байдлын хуулийг дараах томъёогоор илэрхийлдэг.

аº а (саналын логикт) ба Аº А (ангилууд нь үзэл баримтлалын ботьоор тодорхойлогддог ангийн логикт).

Тодорхойлолт бол тэгш байдал, зарим талаараа объектуудын ижил төстэй байдал юм. Жишээлбэл, бүх шингэн нь дулаан дамжуулагч, уян хатан чанараараа ижил байдаг. Объект бүр өөртэйгээ адилхан. Гэвч бодит байдал дээр ижил төстэй байдал нь ялгаатай холбоотой байдаг. Хоёр туйлын ижил зүйл (жишээлбэл, модны хоёр навч, ихэр гэх мэт) байдаггүй, байж ч болохгүй. Өчигдөр, өнөөдөр хоёр ижил, ялгаатай. Жишээлбэл, хүний ​​гадаад төрх цаг хугацааны явцад өөрчлөгддөг ч бид түүнийг таньж, нэг л хүн гэж үздэг. Хийсвэр, үнэмлэхүй ижилсэл нь үнэндээ байдаггүй, гэхдээ тодорхой хязгаарт бид одоо байгаа ялгаануудаас салгаж, зөвхөн объектын шинж чанар эсвэл тэдгээрийн шинж чанарт анхаарлаа төвлөрүүлж чадна.

Сэтгэн бодоход өвөрмөц байдлын хууль нь норматив дүрмийн (зарчим) үүрэг гүйцэтгэдэг. Энэ нь сэтгэх явцад нэг бодлын нөгөөгөөр, нэг ойлголтыг нөгөөгөөр солих боломжгүй гэсэн үг юм. Ижил бодлыг өөр, өөр бодлыг ижил гэж дамжуулах боломжгүй.

Жишээлбэл, ийм гурван ойлголт нь хамрах хүрээний хувьд ижил байх болно: "Москвагийн их сургууль түүний санаачилгаар байгуулагдсан эрдэмтэн"; “Матери ба хөдөлгөөнийг хадгалах зарчмыг томъёолсон эрдэмтэн”; “1745 онд Санкт-Петербургийн академийн Оросын анхны академич болсон эрдэмтэн” гэж бүгд нэг хүнийг (М.В.Ломоносов) хэлдэг ч түүний тухай өөр өөр мэдээлэл өгдөг.

Баримтлалын хуулийг зөрчих нь тодорхой бус байдалд хүргэдэг бөгөөд үүнийг жишээлбэл, дараахь үндэслэлээс харж болно: "Ноздрёв зарим талаараа түүхэн хүн байсан. Түүний оролцсон нэг ч уулзалт түүхгүй байсангүй" (Н.В. Гоголь). "Өрөө төлөхийг хичээ, тэгвэл та давхар зорилгодоо хүрэх болно, учир нь үүнийг хийснээр та үүнийг биелүүлэх болно." (Козма Прутков). Эдгээр жишээн дэх үгсийн тоглоом нь ижил утгатай үгсийг ашиглахад үндэслэсэн болно.

Сэтгэн бодохдоо тухайн хүн хэлэлцэж буй сэдвээр яриагүй, хэлэлцүүлгийн нэг сэдвийг нөгөө сэдвээр дур мэдэн орлуулах, нэр томьёо, ойлголтыг заншлаасаа өөр утгаар, энэ талаар сэрэмжлүүлэггүйгээр ашиглах үед таних тухай хууль зөрчигддөг.

Таних (эсвэл таних) нь мөрдөн байцаалтын практикт, жишээлбэл, объект, хүмүүсийг таних, гар бичмэл, баримт бичиг, баримт бичигт гарын үсэг зурах, хурууны хээг таних зэрэгт өргөн хэрэглэгддэг.

2. Зөрчилгүй байдлын хууль: Хэрэв зүйл А тодорхой өмчтэй, дараа нь тухай шүүлтүүдэд А Хүмүүс энэ өмчийг үгүйсгэх биш батлах ёстой. Хэрэв хүн ямар нэг зүйлийг баталж байхдаа ижил зүйлийг үгүйсгэж эсвэл эхнийхтэй үл нийцэх зүйлийг баталж байгаа бол логик зөрчилдөөн үүсдэг. Албан ёсны-логикийн зөрчилдөөн нь будлиантай, буруу үндэслэлийн зөрчил юм. Иймэрхүү зөрчилдөөн нь ертөнцийг ойлгоход хэцүү болгодог.

Хэрэв бид ижил объектын тухай ямар нэг зүйлийг нэгэн зэрэг, ижил харьцаатай баталж, ижил зүйлийг үгүйсгэж байвал бодол нь зөрчилддөг. Жишээлбэл: "Кама бол Ижил мөрний цутгал", "Кама бол Ижил мөрний цутгал биш". Эсвэл: "Лев Толстой бол "Амилалт" романы зохиолч, "Лев Толстой "Амилалт" романы зохиогч биш.

Хэрэв бид өөр өөр объектын тухай, эсвэл өөр өөр цаг үед эсвэл өөр өөр байдлаар авсан ижил объектын тухай ярьж байгаа бол зөрчилдөхгүй. “Намрын бороо мөөгөнд сайн”, “намар бороо ороход ургац хураахад тохиромжгүй” гэвэл зөрчил гарахгүй. "Энэ сарнайн баглаа шинэхэн" ба "Энэ сарнайн баглаа шинэхэн биш" гэсэн дүгнэлтүүд нь хоорондоо зөрчилддөггүй, учир нь эдгээр шүүлтийн бодлын объектуудыг өөр өөр харилцаанд эсвэл өөр өөр цаг үед авч үздэг.

Дараах дөрвөн төрлийн энгийн саналууд нэгэн зэрэг үнэн байж болохгүй.

∧ā. Зөрчилгүй байдлын тухай хуульд: "Хоёр эсрэг тэсрэг санал нэгэн зэрэг, нэг талаар үнэн байж болохгүй." Эсрэг шүүлтүүдэд: 1) эсрэг (эсрэг) шүүлтүүд орно АТэгээд Э, аль аль нь худал байж болох ба тиймээс бие биенээ үгүйсгэдэггүй, a болон ā гэж нэрлэгдэх боломжгүй; 2) зөрчилдөөнтэй (зөрчилтэй) дүгнэлт АТэгээд ТУХАЙ, ЭТэгээд I, түүнчлэн "Энэ S бол P" ба "Энэ S бол P биш" гэсэн ганц санааг үгүйсгэж байгаа тул хэрэв тэдгээрийн аль нэг нь үнэн бол нөгөө нь заавал худал байх тул тэдгээрийг a ба ā гэж тэмдэглэнэ.

Хоёр утгатай сонгодог логик дахь зөрчилдөөнгүй байдлын хуулийн томьёо a ∧ ā нь зөвхөн зөрчилдөөнтэй шүүлтүүдэд (a ба биш-a) хамаарах тул Аристотелийн үл нийцэх хуулийн зөвхөн нэг хэсгийг тусгасан болно. эсрэгээр (эсрэг шийдвэр). Иймд a∧ ā томьёо нь зөрчилдөөнгүй байдлын утга учиртай хуулийг хангалтгүй бөгөөд бүрэн төлөөлөхгүй. Уламжлал ёсоор бид a∧ ā томьёоны хувьд "зөрчилгүй байх хууль" гэсэн нэрийг хэвээр үлдээсэн боловч энэ нь энэ томъёоноос хамаагүй өргөн юм.

Хэрэв хүний ​​сэтгэхүйд (болон ярианд) албан ёсны-логикийн зөрчил илэрвэл ийм сэтгэлгээг буруу гэж үзэж, зөрчилдөөнөөс үүссэн шүүлтийг үгүйсгэж, худал гэж үзнэ. Тиймээс, полемикийн хувьд өрсөлдөгчийнхөө санаа бодлыг няцаахдаа "утгагүй байдалд хүргэх" аргыг өргөн ашигладаг.

3. Хасах дундын тухай хууль: Хоёр зөрчилтэй саналын нэг нь үнэн, нөгөө нь худал, гурав дахь нь өгөгдөөгүй. Зөрчилдөөнтэй (зөрчилтэй) нь ийм хоёр шүүлт бөгөөд тэдгээрийн аль нэгэнд нь объектын талаар ямар нэг зүйл нотлогддог, нөгөөд нь нэг зүйлийн талаар ижил зүйлийг үгүйсгэдэг, тиймээс тэдгээр нь нэгэн зэрэг үнэн, хоёулаа худал байж чадахгүй; Тэдний нэг нь үнэн, нөгөө нь заавал худал. Ийм шүүлтийг харилцан үгүйсгэх гэж нэрлэдэг. Хэрэв зөрчилдсөн дүгнэлтүүдийн аль нэгийг хувьсагчаар тодорхойлсон бол А, дараа нь өөр зүйлийг зааж өгөх хэрэгтэй ā . Тиймээс, "Жеймс Фенимор Купер бол бараг 20 гаруй жилийн турш бүтээгдсэн Арьс ширний цуврал романы зохиогч юм" болон "Жеймс Фенимор Купер бол бараг жилийн турш бүтээгдсэн Арьс ширний цуврал романы зохиогч биш" гэсэн хоёр санал. 20 жил" гэсэн эхнийх нь үнэн, хоёр дахь нь худал, гурав дахь нь - завсрын - шүүлт байж болохгүй.

Дараах хос саналууд сөрөг байна.

1) "Энэ S бол P" ба "Энэ S бол P биш" (нэг дүгнэлт).

2) "Бүх S нь P" ба "Зарим S нь P биш" (шүүлт АТэгээд ТУХАЙ).

3) "Үгүй S нь P" ба "Зарим S нь P" (шүүлтүүд ЭТэгээд I).

Зөрчилтэй (зөрчилтэй) шүүлтийн талаар ( АТэгээд ТУХАЙ, ЭТэгээд I) хасагдсан дундын хууль ба зөрчилдөөнгүй байдлын хууль хоёулаа ажилладаг - энэ нь эдгээр хуулиудын ижил төстэй байдлын нэг юм.

Эдгээр хуулиудын тодорхойлолтын (өөрөөр хэлбэл хэрэглэх) талбарын ялгаа нь эсрэг (эсрэг) шийдвэртэй холбоотой байдаг. АТэгээд Э(жишээ нь: "Бүх мөөг идэж болно" ба "Ямар ч мөөг идэж болохгүй") хоёулаа үнэн байж болохгүй, гэхдээ хоёулаа худал байж болно, зөвхөн зөрчилдөхгүйн хуульд захирагддаг бөгөөд хасагдсан дундын хуульд хамаарахгүй. Тиймээс, үл хамаарах материаллаг хуулийн үйл ажиллагааны хамрах хүрээ нь хасагдсан дунд шатны материаллаг хуулийн үйл ажиллагааны хамрах хүрээнээс илүү өргөн (эдгээр нь зөрчилтэй, зөрчилтэй шүүлтүүд юм) АТэгээд үгүй). Үнэхээр ч "Энэ тосгоны бүх байшин цахилгаанжсан" эсвэл "Энэ тосгоны зарим байшин цахилгаангүй" гэсэн хоёр саналын нэг нь үнэн бөгөөд гуравдахь хувилбар байхгүй.

Оруулсан дундын хууль нь агуулгын хувьд ч, албан ёсны хэлбэрээрээ ч ижил төрлийн шүүлтийг хамардаг - зөрчилтэй, өөрөөр хэлбэл. бие биенээ үгүйсгэдэг. Хасах дундын хуулийн томъёо: А v ù А

Сэтгэн бодохдоо хасагдсан дундын хууль нь бие биенээ үгүйсгэдэг хоёр хувилбарын аль нэгийг нь тодорхой сонгохыг шаарддаг. Хэлэлцүүлгийг зөв явуулахын тулд энэ шаардлагыг заавал биелүүлэх ёстой.

4. Хангалттай шалтгаантай хууль:Үнэн бодол бүр хангалттай үндэслэлтэй байх ёстой. Бид зөвхөн үнэн бодлыг нотлох тухай ярьж байна: худал бодлуудыг нотлох боломжгүй бөгөөд хувь хүмүүс үүнийг хийх гэж оролддог ч худлаа "үндлэх" гэж оролдох нь утгагүй юм. "Алдаа гаргах нь бүх хүмүүст нийтлэг байдаг, харин алдаагаа тулгах нь зөвхөн тэнэг хүмүүст тохиолддог" гэсэн сайн Латин зүйр үг байдаг.

Шүүх (мэдэгдэл) нь аливаа зүйлийг батлах эсвэл үгүйсгэх сэтгэлгээний хэлбэр юм. Жишээлбэл: "Бүх нарс мод", "Зарим хүмүүс тамирчин", "Ямар ч халим загас биш", "Зарим амьтад махчин биш".

Шүүмжийн хэд хэдэн чухал шинж чанарыг авч үзье, энэ нь түүнийг үзэл баримтлалаас нэгэн зэрэг ялгаж өгдөг.

1. Аливаа шүүлт нь хоорондоо холбоотой ойлголтуудаас бүрддэг.

Жишээлбэл, хэрэв бид "ойлголтуудыг холбовол" crucian carp"Ба" загас", дараа нь дараах шүүлтүүд гарч болно:" Бүх загалмай загаснууд загаснууд”, “Зарим загаснууд нь загалмай загас”.

2. Аливаа шүүлт нь өгүүлбэр хэлбэрээр илэрхийлэгддэг (үзэл баримтлал нь үг, хэллэгээр илэрхийлэгддэг гэдгийг санаарай). Гэсэн хэдий ч өгүүлбэр бүр дүгнэлтийг илэрхийлж чадахгүй. Та бүхний мэдэж байгаагаар өгүүлбэрүүд нь мэдүүлэх, асуух, мэдэгдэх шинж чанартай байж болно. Асуулт, дуудлагын өгүүлбэрт юу ч батлагдаагүй, үгүйсгэгддэггүй тул тэд дүгнэлтээ илэрхийлж чадахгүй. Тунхаглалын өгүүлбэр нь эсрэгээрээ ямар нэг зүйлийг үргэлж баталж эсвэл үгүйсгэдэг тул шүүлт нь тунхаг өгүүлбэр хэлбэрээр илэрхийлэгддэг. Гэсэн хэдий ч зөвхөн хэлбэрийн хувьд асуулт, анхаарлын тэмдэг болох боловч утгаараа ямар нэг зүйлийг баталж, үгүйсгэдэг асуулт, дуудлагын өгүүлбэрүүд байдаг. Тэднийг дууддаг риторик. Жишээлбэл, алдартай үг: " Ямар орос хүн хурдан жолоодох дургүй вэ?"- гэдэг нь риторик асуулт өгүүлбэр юм (риторик асуулт), учир нь энэ нь орос хүн бүр хурдан жолоодох дуртай гэдгийг асуулт хэлбэрээр илэрхийлдэг.

Энэ мэт асуултанд шүүлт байдаг. Уран үгсийн талаар мөн адил хэлж болно. Жишээлбэл, мэдэгдэлд: " Хар муур байхгүй бол харанхуй өрөөнд хайж үзээрэй!"- анхаарлын тэмдэг хэлбэрээр санал болгож буй үйлдлийг хийх боломжгүй гэсэн санааг илэрхийлсэн бөгөөд үүнээс үүдэн энэхүү өргөлт нь дүгнэлтийг илэрхийлж байна. Энэ бол риторик биш, харин бодит асуулт гэдэг нь тодорхой байна, жишээлбэл: " Таны нэр хэн бэ?"- Бодит бөгөөд риторик бус өргөлт нь үүнийг илэрхийлдэггүй шиг шүүлтийг илэрхийлдэггүй, жишээлбэл: " Баяртай, чөлөөт элементүүд!

3. Аливаа шүүлт үнэн эсвэл худал байна. Шийдвэр бодит байдалтай нийцэж байвал үнэн, тохирохгүй бол худал болно. Жишээлбэл, шүүхийн шийдвэр: " Бүх сарнай цэцэг", үнэн бөгөөд санал нь: " Бүх ялаа шувууд юм"- худлаа. Үзэл баримтлал нь шүүлтээс ялгаатай нь үнэн эсвэл худал байж болохгүй гэдгийг тэмдэглэх нь зүйтэй. Жишээлбэл, " гэсэн ойлголтыг батлах боломжгүй юм. сургууль"үнэн бөгөөд үзэл баримтлал" институт"- худал, ойлголт" од"үнэн бөгөөд үзэл баримтлал" гариг"- худал гэх мэт. Гэхдээ энэ ойлголт" Луу», « Үхэлгүй Кощей», « байнгын хөдөлгөөнт машин"Тэд худлаа биш гэж үү? Үгүй ээ, эдгээр ойлголтууд нь хоосон (хоосон) боловч үнэн эсвэл худал биш юм. Үзэл баримтлал нь тухайн объектыг тодорхойлсон сэтгэлгээний хэлбэр бөгөөд иймээс энэ нь үнэн эсвэл худал байж болохгүй гэдгийг санацгаая. Үнэн эсвэл худал нь үргэлж зарим мэдэгдэл, батлах эсвэл үгүйсгэлийн шинж чанар байдаг тул энэ нь зөвхөн дүгнэлтэд хамаатай, харин үзэл баримтлалд хамаарахгүй. Аливаа шүүлт нь үнэн эсвэл худал гэсэн хоёр утгын аль нэгийг авдаг тул Аристотелийн логикийг ихэвчлэн нэрлэдэг. хоёр утгатай логик.

4. Дүгнэлт нь энгийн эсвэл төвөгтэй байж болно. Цогцолбор саналууд нь зарим төрлийн холбоогоор холбогдсон энгийн үгсээс бүрдэнэ.

Бидний харж байгаагаар шүүлт нь үзэл баримтлалтай харьцуулахад сэтгэлгээний илүү төвөгтэй хэлбэр юм. Тиймээс шүүх нь дөрвөн хэсгийг ялгаж салгаж болох тодорхой бүтэцтэй байдаг нь гайхах зүйл биш юм.

1. Сэдэв С) нь шүүлтийн тухай юм. Жишээлбэл, шүүхийн шийдвэрт: " ", - бид сурах бичгийн тухай ярьж байгаа тул энэ дүгнэлтийн сэдэв нь "үзэл баримтлал юм" сурах бичиг».

2. Урьдчилсан үг(Латин үсгээр тэмдэглэсэн). Р) сэдвийн талаар юу гэж хэлсэн. Жишээлбэл, ижил шийдвэрт: " Бүх сурах бичиг бол ном", - сэдвийн талаар (сурах бичгийн тухай) эдгээр нь ном гэж хэлсэн байдаг тул энэхүү дүгнэлтийн предикат нь ойлголт юм " номууд».

3. Баглаа- Энэ бол субьект ба предикатыг холбодог зүйл юм. Холбогч нь “байна”, “байна”, “энэ” гэх мэт үгс байж болно.

4. Хэмжигч– энэ бол сэдвийн эзлэхүүнийг заадаг үзүүлэлт юм. Хэмжигч нь "бүгд", "зарим", "байхгүй" гэх мэт үгс байж болно.

Саналыг авч үзье: " Зарим хүмүүс тамирчин байдаг" Үүний сэдэв нь " гэсэн ойлголт юм. Хүмүүс", предикат нь ойлголт юм " тамирчид", холбогчийн үүргийг " гэдэг үг гүйцэтгэдэг. байна", мөн үг" зарим" хэмжигчийг илэрхийлдэг. Хэрэв зарим шүүлтэд копул эсвэл тоон үзүүлэлт байхгүй бол тэдгээр нь далд утгатай хэвээр байна. Жишээлбэл, шүүхийн шийдвэрт: " Бар бол махчин амьтан юм", - тоологч байхгүй, гэхдээ энэ нь "бүгд" гэсэн үг юм. Субъект ба предикатын нөхцөлт тэмдэглэгээг ашиглан дүгнэлтийн агуулгыг хаяж, зөвхөн логик хэлбэрийг нь үлдээж болно.

Жишээлбэл, хэрэв шүүхийн шийдвэр: " Бүх тэгш өнцөгтүүд нь геометрийн хэлбэрүүд юм", - агуулгыг хаяж, маягтыг орхиж, дараа нь: "Бүх зүйл СБайна Р" Шүүлтийн логик хэлбэр: " Зарим амьтад хөхтөн амьтан биш", - "Зарим Сидэж болохгүй юм Р».

Аливаа шүүлтийн сэдэв ба предикат нь бидний аль хэдийн мэдэж байгаагаар бие биетэйгээ янз бүрийн харилцаатай байж болох зарим ойлголтыг үргэлж илэрхийлдэг. Шүүлтийн субьект ба предикатын хооронд дараах харилцаа байж болно.

1. Тэнцүү байдал. Шүүхийн шийдвэрт: " Бүх квадратууд нь ижил талт тэгш өнцөгтүүд юм", - сэдэв" квадратууд"ба предикат" тэгш өнцөгт тэгш өнцөгтүүд"тэгш үзэл баримтлалыг төлөөлдөг учраас тэд эквивалентийн харилцаанд байдаг (дөрвөлжин нь заавал тэгш өнцөгт тэгш өнцөгт, С = Пмөн адил талт тэгш өнцөгт нь заавал дөрвөлжин байх ёстой) (Зураг 18).

2. Уулзвар. Шүүхэд:

« Зарим зохиолчид америк хүн", - сэдэв" зохиолчид"ба предикат" Америкчууд“хэрэв огтлолцсон ойлголтууд учраас огтлолцлын харьцаатай байдаг (зохиолч нь америк хүн байж болно, тийм биш байж болно, америк хүн зохиолч байж болно, гэхдээ бас нэг биш байж болно) (Зураг 19).

3. Захиргааны байдал. Шүүхэд:

« Бүх бар бол махчин амьтан юм", - сэдэв" барууд"ба предикат" махчин амьтан"Тэд төрөл зүйл, ерөнхий ойлголтыг төлөөлдөг тул захирагдах харилцаатай байдаг (бар бол махчин амьтан байх ёстой, харин махчин бол бар байх албагүй). Мөн шүүхийн шийдвэрт: " Зарим махчин амьтан бол бар юм", - сэдэв" махчин амьтан"ба предикат" барууд"нь ерөнхий болон тодорхой ойлголтууд болох захирагдах харилцаанд байдаг. Тиймээс, шийдвэрийн субьект ба предикатын хооронд захирагдах тохиолдолд хоёр төрлийн харилцаа үүсч болно: субьектийн хамрах хүрээ нь предикатын хүрээнд бүрэн багтдаг (Зураг 20, а), эсвэл эсрэгээр (Зураг 20, б).

4. Тохиромжгүй байдал. Шүүхийн шийдвэрт: " ", - сэдэв" гаригууд"ба предикат" одод"нь үл нийцэх харьцаатай, учир нь тэдгээр нь үл нийцэх (дагадагдах) ойлголтууд (ямар ч гариг ​​од байж чадахгүй, ямар ч од гариг ​​байж чадахгүй) (Зураг 21).

Өгөгдсөн шүүлтийн субьект ба предикатын хоорондын хамаарлыг тогтоохын тулд эхлээд өгөгдсөн шүүлтийн аль ойлголт нь субьект, аль нь предикат болохыг тогтоох ёстой. Жишээлбэл, шүүлтэнд субьект ба предикатын хоорондын хамаарлыг тодорхойлох шаардлагатай. Цэргийн албан хаагчдын зарим нь оросууд байдаг" Эхлээд бид шүүлтийн сэдвийг олдог - энэ бол ойлголт " цэргийн албан хаагчид"; Дараа нь бид түүний предикатыг тогтоодог - энэ ойлголт " Оросууд" Үзэл баримтлал " цэргийн албан хаагчид"Ба" Оросууд» уулзвартай холбоотой байна (цэргийн албан хаагч нь орос хүн байж болно, орос хүн байж болно, үгүй ​​ч байж болно). Иймээс, заасан шүүлтэд субьект ба предикат огтлолцдог. Шүүхийн шийдвэрт мөн адил: " Бүх гаригууд нь огторгуйн биетүүд юм", - субьект ба предикат нь захирагдах харилцаанд байгаа бөгөөд шүүлтэд: " Ямар ч халим загас биш

Дүрмээр бол бүх шүүлтийг гурван төрөлд хуваадаг.

1. Атрибутийн дүгнэлтүүд(лат. атрибут– шинж чанар) нь предикат нь тухайн субьектийн аливаа чухал, салшгүй шинж чанарыг илэрхийлдэг шүүлтүүд юм. Жишээлбэл, шүүхийн шийдвэр: " Бүх бор шувуу шувууд юм”, - атрибутив, учир нь түүний предикат нь тухайн субьектийн салшгүй шинж чанар юм: шувуу байх нь бор шувууны гол шинж чанар, түүний шинж чанар бөгөөд үүнгүйгээр энэ нь өөрөө байж чадахгүй (хэрэв тодорхой объект шувуу биш бол энэ нь мэдээж бор шувуу биш). Атрибутивийн шүүлтийн хувьд предикат нь тухайн субьектийн шинж чанар байх албагүй, харин эсрэгээр байж болно - субьект нь предикатын шинж чанар юм гэдгийг тэмдэглэх нь зүйтэй. Жишээлбэл, шүүхийн шийдвэрт: " Зарим шувууд бор шувуу байдаг"(Бидний харж байгаагаар дээрх жишээтэй харьцуулахад субьект ба предикат нь байраа сольсон), субьект нь предикатын салшгүй шинж чанар (шинж чанар) юм. Гэсэн хэдий ч, эдгээр шүүлтүүд нь предикат нь субьектийн шинж чанар болохын тулд үргэлж албан ёсоор өөрчлөгдөж болно. Тиймээс предикат нь субьектийн шинж чанар болох эдгээр шүүлтүүдийг ихэвчлэн атрибутив гэж нэрлэдэг.

2. Оршихуйн дүгнэлтүүд(лат. оршихуй– оршихуй) нь предикат нь субьектийн орших, эс оршихуйг илтгэдэг шүүлтүүд юм. Жишээлбэл, шүүхийн шийдвэр: " Мөнхийн хөдөлгөөнт машин гэж байдаггүй", - оршихуй, учир нь түүний предикат" байж болохгүй"субъект (эсвэл тухайн субьектийн тодорхойлсон объект) байхгүй болохыг гэрчилдэг.

3. Харьцангуй дүгнэлтүүд(лат. харьцангуй– харьцангуй) нь предикат нь субьекттэй ямар нэгэн төрлийн харилцааг илэрхийлдэг шүүлтүүд юм. Жишээлбэл, шүүхийн шийдвэр: " Москва Санкт-Петербургээс өмнө байгуулагдсан" - түүний предикат учир харьцангуй" Санкт-Петербургээс өмнө байгуулагдсан" гэдэг нь нэг хотын түр зуурын (нас) хамаарал ба түүнд тохирох ойлголтыг нөгөө хоттой харгалзах ойлголт, шүүлтийн сэдэв болох харгалзах ойлголтыг заана.

Өөрийгөө туршиж үзээрэй:

1. Шүүх гэж юу вэ? Түүний үндсэн шинж чанар, үзэл баримтлалаас ялгаатай нь юу вэ?

2. Шийдвэрийг ямар хэл шинжлэлийн хэлбэрээр илэрхийлдэг вэ? Асуулт, дуудлагын өгүүлбэр яагаад дүгнэлтийг илэрхийлж болдоггүй юм бэ? Риторик асуултууд болон риторик дуудлагууд гэж юу вэ? Тэд дүгнэлтээ илэрхийлэх хэлбэр байж чадах уу?

3. Доорх хэллэгээс шүүлтийн хэл шинжлэлийн хэлбэрийг ол.

1) Дэлхий нарыг тойрон эргэдэг гэдгийг та мэдээгүй гэж үү?

2) Баяртай, угаагаагүй Орос!

3) "Цэвэр учир шалтгааны шүүмж" хэмээх гүн ухааны зохиолыг хэн бичсэн бэ?

4) Логик 5-р зуунд гарч ирэв. МЭӨ д. эртний Грекд.

5) Америкийн анхны ерөнхийлөгч.

6) Эргээд марш!

7) Бид бүгд бага зэрэг сурсан ...

8) Гэрлийн хурдаар хөдөлж үзээрэй!

4. Үзэл баримтлал нь шүүлтээс ялгаатай нь яагаад үнэн эсвэл худал байж болохгүй вэ? Хоёр утгатай логик гэж юу вэ?

5. Шүүхийн шийдвэр ямар бүтэцтэй вэ? Таван санал дэвшүүлж, тус бүрд нь субьект, предикат, холбогч, хэмжигдэхүүнийг зааж өг.

6. Шүүлтийн сэдэв ба предикат ямар харилцаанд байж болох вэ? Субъект ба предикатын хоорондын харилцааны тохиолдол бүрт тэнцэх, огтлолцох, захирах, үл нийцэх гурван жишээг өг.

7. Субъект ба предикатын хоорондын хамаарлыг тодорхойлж, Эйлерийн тойргийн диаграммыг ашиглан дараах саналуудыг дүрсэл.

1) Бүх бактери нь амьд организм юм.

2) Оросын зарим зохиолчид дэлхийд алдартай хүмүүс байдаг.

3) Сурах бичиг нь зугаатай ном байж болохгүй.

4) Антарктид бол мөсөн тив юм.

5) Зарим мөөг нь идэж болохгүй.

8. Атрибутив, оршихуйн болон харьцангуй шүүлтүүд гэж юу вэ? Атрибутив, оршихуйн болон харьцангуй дүгнэлтийн таван жишээг бие даан сонгон өг.

2.2. Энгийн шүүлтүүд

Хэрэв шүүлт нь нэг сэдэв, нэг предикат агуулсан бол энэ нь энгийн зүйл юм. Сэдвийн хэмжээ, холболтын чанарт суурилсан бүх энгийн дүгнэлтийг дөрвөн төрөлд хуваадаг. Сэдвийн хамрах хүрээ нь ерөнхий ("бүх") ба тусгай ("зарим") байж болно, холбогч нь эерэг ("бол") ба сөрөг ("биш") байж болно:

Сэдвийн эзлэхүүн……………… “бүгд” “зарим”

Шөрмөсний чанар ……………… “байна” “биш”

Бидний харж байгаагаар сэдвийн хэмжээ, холболтын чанарт үндэслэн "бүгд", "зарим нь", "бүгд биш", "бүх төрлийн энгийн дүгнэлтийг багтаасан зөвхөн дөрвөн хослолыг ялгаж болно. зарим нь тийм биш." Эдгээр төрөл бүр өөрийн гэсэн нэр, тэмдэгтэй байдаг.

1. Ерөнхий эерэг саналууд А) нь сэдвийн ерөнхий эзлэхүүн болон батлах холбогчтой шүүлтүүд юм: “Бүх зүйл СБайна Р" Жишээлбэл: " Сургуулийн бүх хүүхдүүд оюутан».

2. Ялангуяа эерэг дүгнэлтүүд(Латин үсгээр тэмдэглэсэн I) нь тодорхой субьект болон батлах холбогчтой шүүлтүүд юм: “Зарим СБайна Р" Жишээлбэл: " Зарим амьтад махчин амьтан юм».

3. Ерөнхий сөрөг дүгнэлтүүд(Латин үсгээр тэмдэглэсэн Э) нь сэдвийн нийт эзэлхүүнтэй, сөрөг холбогчтой шүүлтүүд юм: “Бүгд Сидэж болохгүй юм Р(эсвэл "Үгүй Сидэж болохгүй юм Р"). Жишээлбэл: " Бүх гаригууд од биш», « Ямар ч гариг ​​од биш».

4. Хэсэгчилсэн сөрөг дүгнэлтүүд(Латин үсгээр тэмдэглэсэн О) нь сэдвийн хэсэгчилсэн хэмжээ, сөрөг холбогчтой шүүлтүүд юм: “Зарим Сидэж болохгүй юм Р" Жишээлбэл: " ».

Дараа нь та ерөнхий эсвэл тусгай гэсэн аль шүүлтийг нэг боть сэдэвтэй (жишээ нь тухайн сэдэв нь нэг ойлголттой шүүлтүүд) шүүлт гэж ангилах ёстой вэ гэсэн асуултад хариулах хэрэгтэй. Нар бол огторгуйн биет”, “Москва 1147 онд байгуулагдсан”, “Антарктид бол дэлхийн тивүүдийн нэг”.Шүүмж нь тухайн сэдвийг бүхэлд нь хамарсан, ялангуяа тухайн сэдвийн нэг хэсгийг ярьж байгаа бол ерөнхий байна. Сэдвийн нэг боть бүхий дүгнэлтэд бид тухайн сэдвийн нийт эзлэхүүний тухай ярьж байна (дээрх жишээн дээр - бүхэл бүтэн нарны тухай, бүх Москвагийн тухай, бүх Антарктидын тухай). Тиймээс, субьект нь нэг ойлголт болох дүгнэлтийг ерөнхийд нь (ерөнхийдөө эерэг эсвэл ерөнхийдөө сөрөг) гэж үздэг. Тиймээс дээр дурдсан гурван санал нь ерөнхийдөө эерэг бөгөөд санал нь: " Сэргэн мандалтын үеийн Италийн алдарт эрдэмтэн Галилео Галилей бол цахилгаан соронзон орны онолыг зохиогч биш юм." - ерөнхийдөө сөрөг.

Ирээдүйд бид урт нэрийг ашиглахгүйгээр энгийн шүүлтийн төрлүүдийн талаар ярих болно, тэмдэг - Латин үсэг А, Би, Э, О. Эдгээр үсгийг хоёр латин үгнээс авсан болно. а ff би rmo– батлах ба n д g о - үгүйсгэхийг Дундад зууны үед энгийн шүүлтийн төрлүүдийн нэр томъёо болгон санал болгосон.

Энгийн шүүлтийн төрөл бүрт субьект ба предикат нь тодорхой харилцаатай байдаг гэдгийг анхаарах нь чухал юм. Тиймээс, субьектийн нийт эзлэхүүн ба хэлбэрийн шүүлтийн эерэг copula АТэдгээрийн дотор субьект ба предикат нь эквивалент эсвэл захирагдах харилцаанд байж болно (хэлбэрийн дүгнэлтэд субьект ба предикатын хоорондын бусад харилцаа) Абайж болохгүй). Жишээлбэл, шүүхийн шийдвэрт: " Бүх квадратууд (S) тэгш талт тэгш өнцөгтүүд (P)", - субьект ба предикат нь эквивалентийн харилцаанд байдаг бөгөөд дүгнэлтэд: " Бүх халим (S) нь хөхтөн амьтад (P)" - өргөн мэдүүлэхтэй холбоотой.

Сэдвийн хэсэгчилсэн хэмжээ ба маягтын шүүлтийн баталгааны багц IТэдгээрийн дотор субьект ба предикат нь огтлолцох эсвэл захирагдах харилцаанд байж болохыг тодорхойлох (гэхдээ бусад тохиолдолд биш). Жишээлбэл, шүүхийн шийдвэрт: " Зарим тамирчид (S) хар арьстнууд (P)", - субьект ба предикат нь огтлолцлын харилцаанд байгаа бөгөөд дүгнэлтэд: " Зарим мод (S) нь нарс мод (P)" - өргөн мэдүүлэхтэй холбоотой.

Сэдвийн нийт эзлэхүүн ба хэлбэрийн шүүлтийн сөрөг холболт ЭТэдний дотор субьект ба предикат нь зөвхөн үл нийцэх харилцаанд байдаг. Жишээлбэл, шүүх хуралдаанд: " Бүх халим (S) нь загас биш (P)", "Бүх гаригууд (S) од биш (P)", "Бүх гурвалжин (S) нь дөрвөлжин биш (P))", - субьект ба предикат нийцэхгүй байна.

Сэдвийн хэсэгчилсэн хэмжээ ба хэлбэрийн шүүлтийн сөрөг холболт Отэдгээрийн дотор субьект ба предикат байгаа эсэхийг тодорхойлох, түүнчлэн хэлбэрийн дүгнэлтэд I, зөвхөн огтлолцол ба захирах харилцаанд л оршин байж болно. Уншигчид маягтын шүүлтийн жишээг хялбархан олох боломжтой О, үүнд субьект ба предикат эдгээр харилцаанд байна.

Өөрийгөө туршиж үзээрэй:

1. Энгийн санал гэж юу вэ?

2. Энгийн шүүлтийг ямар үндэслэлээр төрөлд хуваадаг вэ? Тэд яагаад дөрвөн төрөлд хуваагддаг вэ?

3. Нэр, бүтэц, тэмдэг гэсэн бүх төрлийн энгийн саналуудыг дүрсэл. Тэд тус бүрийн жишээг гаргаж ирээрэй. Сэдвийн нэгж эзлэхүүнтэй ерөнхий эсвэл тусгай гэсэн ямар дүгнэлтүүд вэ?

4. Энгийн шүүлтийн төрлийг тодорхойлох үсэг хаанаас ирсэн бэ?

5. Энгийн шүүлтийн төрөл бүрт субьект ба предикат ямар харилцаанд байж болох вэ? гэх мэт шүүлтүүдэд яагаад гэдгийг бодоорой АСубъект ба предикат огтлолцож чадахгүй эсвэл нийцэхгүй байна уу? Яагаад маягтын шүүлтүүдэд IСубъект ба предикат нь тэнцүү эсвэл үл нийцэх харилцаанд байж болохгүй гэж үү? Яагаад маягтын шүүлтүүдэд ЭСубъект ба предикат нь тэнцүү, огтлолцох эсвэл дэд байж болохгүй? Яагаад маягтын шүүлтүүдэд ОСубъект ба предикат нь тэнцүү эсвэл үл нийцэх харилцаанд байж болохгүй гэж үү? Бүх төрлийн энгийн саналд субьект ба предикатын хоорондын боломжит хамаарлыг олохын тулд Эйлерийн тойрог зур.

2.3. Хуваарилагдсан болон хуваарилагдаагүй нөхцөл

Шүүмжийн хувьдтүүний сэдэв ба предикат гэж нэрлэдэг.

Нэр томъёог авч үздэг тараасан(өргөтгөсөн, шавхагдсан, бүрэн эхээр нь авсан), хэрвээ шүүхийн шийдвэр нь энэ нэр томъёонд хамаарах бүх объектыг авч үзвэл. Тархсан нэр томъёог "+" тэмдгээр тэмдэглэсэн бөгөөд Эйлерийн диаграммд үүнийг бүрэн тойрог хэлбэрээр дүрсэлсэн (өөр тойрог агуулаагүй, өөр тойрогтой огтлолцдоггүй тойрог) (Зураг 22).

Нэр томъёог авч үздэг хуваарилагдаагүй(өргөтгөөгүй, дуусаагүй, бүрэн хэмжээгээр аваагүй), хэрвээ шүүхийн шийдвэр нь энэ нэр томъёонд хамаарах бүх объектыг авч үзэхгүй бол. Хуваарилагдаагүй нэр томъёог "-" тэмдгээр тэмдэглэсэн бөгөөд Эйлерийн диаграммд энэ нь бүрэн бус тойрог (өөр тойрог агуулсан тойрог) хэлбэрээр дүрслэгдсэн байдаг (Зураг 23, а) эсвэл өөр тойрогтой огтлолцдог (Зураг 23, б).

Жишээлбэл, шүүхийн шийдвэрт: " Бүх акулууд (S) махчин амьтан (P)", - бид бүх акулуудын тухай ярьж байгаа нь энэ шүүлтийн сэдвийг тараасан гэсэн үг юм.

Гэсэн хэдий ч, энэ шүүлтэнд бид бүх махчин амьтдын тухай биш, харин зөвхөн зарим махчин амьтдын тухай (жишээ нь акулууд) тухай ярьж байгаа тул энэ шүүлтийн предикат нь хуваарилагдаагүй болно. Үзэж буй шийдвэрийн субьект ба предикатын (харилцан хамаарал бүхий) хоорондын хамаарлыг Эйлерийн схемээр дүрслэн үзээд бид тараасан нэр томъёо (субъект" байгааг харж байна. акулууд") бүтэн тойрогтой тохирч, хуваарилагдаагүй (предикат" махчин амьтан") - бүрэн бус (түүнд унасан субьектийн тойрог нь зарим хэсгийг нь хасаж байгаа бололтой):

Энгийн шүүлт дэх нэр томъёоны хуваарилалт нь шүүлтийн төрөл, түүний сэдэв ба предикатын хоорондын харилцааны шинж чанараас хамааран өөр өөр байж болно. Хүснэгтэнд 4-т энгийн шүүлтээр нэр томъёог хуваарилах бүх тохиолдлыг танилцуулж байна.

Дөрвөн төрлийн энгийн шүүлтүүд болон тэдгээрийн субьект ба предикатын хоорондын харилцааны бүх тохиолдлуудыг энд авч үзнэ (2.2-р хэсгийг үзнэ үү). гэх мэт дүгнэлтэнд анхаарлаа хандуулаарай О, үүнд субьект ба предикат нь огтлолцох харилцаатай байна. Эйлерийн диаграммд огтлолцсон тойргийг үл харгалзан энэхүү шүүлтийн сэдэв нь хуваарилагдаагүй боловч предикат нь тархсан байна. Яагаад ийм зүйл болдог вэ? Диаграммд огтлолцсон Эйлерийн тойрог нь хуваарилагдаагүй нөхцөлийг илэрхийлдэг гэж бид дээр хэлсэн. Сүүдэрлэх нь шүүхийн шийдвэрт хэлэлцэж буй сэдвийн нэг хэсэг (энэ тохиолдолд тамирчин биш сургуулийн сурагчдын тухай) байгааг харуулж байгаа тул Эйлерийн диаграм дахь предикатыг харуулсан тойрог бүрэн хэвээр үлдсэн (сэдвийг илэрхийлсэн тойрог таслагдахгүй). унтраах дурын хэсгээс үүнээс -хэсэг, энэ нь хэлбэрийн шүүлтэд тохиолддог шиг I, субьект ба предикат нь огтлолцох харилцаанд байгаа газар).

Тиймээс, субьект нь хэлбэрийн дүгнэлтэд үргэлж хуваарилагддаг гэдгийг бид харж байна АТэгээд Эмөн хэлбэрийн шүүлтүүдэд үргэлж хуваарилагддаггүй IТэгээд О, мөн предикат нь хэлбэрийн шүүлтүүдэд үргэлж тархдаг ЭТэгээд О, гэхдээ хэлбэрийн дүгнэлтэд АТэгээд IЭнэ нь эдгээр дүгнэлт дэх субьект болон түүний хоорондын харилцааны шинж чанараас хамааран тархсан эсвэл хуваарилагдаагүй байж болно.

Энгийн саналд нэр томъёоны хуваарилалтыг тогтоох хамгийн хялбар арга бол Эйлерийн схемийн тусламжтайгаар юм (хүснэгтээс хуваарилах бүх тохиолдлыг санах шаардлагагүй). Санал болгож буй шүүлтийн субьект ба предикатын хоорондын харилцааны төрлийг тодорхойлж, тэдгээрийг дугуй диаграммаар дүрслэн харуулахад хангалттай. Цаашилбал, энэ нь бүр ч хялбар юм - аль хэдийн дурьдсанчлан бүрэн тойрог нь тархсан нэр томъёонд, ​​бүрэн бус тойрог нь хуваарилагдаагүй нэр томъёонд тохирно. Жишээлбэл, шүүхийн шийдвэрт нэр томъёоны хуваарилалтыг тогтоох шаардлагатай: " Оросын зарим зохиолчид дэлхийд алдартай хүмүүс байдаг" Эхлээд энэ шүүлтийн сэдвийг олоод үзэцгээе: " Оросын зохиолчид"- сэдэв," дэлхийн алдартай хүмүүс" бол предикат юм. Одоо тэд ямар холбоотой болохыг тогтооцгооё. Оросын зохиолч дэлхийд алдартай хүн байж болно, үгүй ​​ч байж болно, дэлхийд алдартай хүн бол Оросын зохиолч байж болно, үгүй ​​ч байж болно, тиймээс дээрх дүгнэлтийн сэдэв, предикат нь огтлолцлын харилцаанд байна. Энэ хамаарлыг Эйлерийн диаграм дээр дүрсэлж, шийдвэрт хэлэлцсэн хэсгийг сүүдэрлэж үзье (Зураг 25):

Субъект болон предикат хоёулаа бүрэн бус тойрог хэлбэрээр дүрслэгдсэн байдаг (тэдгээрийн аль нэг хэсэг нь таслагдсан мэт санагддаг), тиймээс санал болгож буй шийдвэрийн хоёр нөхцөл хоёулаа хуваарилагдаагүй байна ( С –, П –).

Өөр нэг жишээг харцгаая. Шүүхийн шийдвэрт нэр томьёоны хуваарилалтыг тогтоох шаардлагатай: " " Энэ шүүлтээс сэдэв, өгүүлэмжийг олж хараад: " Хүмүүс"- сэдэв," тамирчид" гэдэг нь предикат бөгөөд тэдгээрийн хоорондын хамаарлыг тогтоосны дараа бид үүнийг Эйлерийн диаграм дээр дүрсэлж, шийдвэрт хэлэлцсэн хэсгийг сүүдэрлэж байна (Зураг 26):

Предикатыг илэрхийлсэн тойрог нь бүрэн, сэдэвт тохирох тойрог нь бүрэн бус байна (предикатын тойрог нь түүнээс зарим хэсгийг нь хайчилж авсан бололтой). Тиймээс, энэ шүүлтэд субьект нь хуваарилагдаагүй бөгөөд предикат нь тархсан байна ( С –, П –).

Өөрийгөө туршиж үзээрэй:

1. Ямар тохиолдолд шүүхийн шийдвэрийн хугацааг хуваарилсан, ямар тохиолдолд хуваарилаагүй гэж үзэх вэ? Энгийн саналд нэр томъёоны тархалтыг тогтоохын тулд Эйлерийн дугуй диаграммыг хэрхэн ашиглах вэ?

2. Бүх төрлийн энгийн шүүлт, тэдгээрийн субьект ба предикат хоорондын харилцааны бүх тохиолдолд нэр томьёоны хуваарилалт юу вэ?

3. Эйлерийн схемийг ашиглан дараах дүгнэлтэд нэр томьёоны хуваарилалтыг тогтоо.

1) Бүх шавж бол амьд организм юм.

2) Зарим ном сурах бичиг байдаг.

3) Зарим оюутнууд амжилтанд хүрэхгүй байна.

4) Бүх хотууд хүн ам суурьшсан газар нутаг юм.

5) Ямар ч загас хөхтөн амьтан биш.

6) Зарим эртний Грекчүүд алдартай эрдэмтэд байдаг.

7) Зарим селестиел биетүүд нь од юм.

8) Зөв өнцөгтэй бүх ромбууд нь квадрат юм.

2.4. Энгийн саналыг хувиргах

Энгийн шүүлтийн хэлбэрийг өөрчлөх гурван арга байдаг: хувиргах, хувиргах, предикатыг эсэргүүцэх.

Давж заалдах (хувиргах) нь субьект ба предикат байрлаж буй энгийн саналын хувирал юм. Жишээлбэл, шүүхийн шийдвэр: " Бүх акулууд загас юм", - нь шүүлт болж хувирсан:" " Эндээс анхны санал яагаад тоологчоор эхэлдэг вэ гэсэн асуулт гарч ирж магадгүй юм. Бүгд", мөн шинэ - тоон үзүүлэлттэй" зарим"? Энэ асуулт эхлээд харахад хачирхалтай юм шиг санагдаж байна, учир нь: "гэж хэлж чадахгүй. Бүх загас бол акул юм", - тиймээс үлдсэн цорын ганц зүйл бол: " Зарим загас бол акул юм" Гэсэн хэдий ч бид энэ тохиолдолд шүүхийн агуулга руу эргэж, тоон үзүүлэлтийг өөрчилсөн " Бүгд"тоологч руу" зарим"; Логик нь аль хэдийн дурьдсанчлан сэтгэлгээний агуулгаас хийсвэрлэж, зөвхөн түүний хэлбэрийг авч үздэг. Иймд шүүхийн шийдвэрийг хүчингүй болгож: “ Бүх акулууд загас юм”, - агуулгын (утга) хамаарахгүйгээр албан ёсоор гүйцэтгэж болно. Үүнийг хийхийн тулд дугуй диаграммыг ашиглан энэхүү шүүлтийн нэр томъёоны хуваарилалтыг тогтооцгооё. Шийдвэрлэх нөхцөл, өөрөөр хэлбэл сэдэв " акулууд"ба предикат" загас", энэ тохиолдолд захирагдахтай холбоотой байдаг (Зураг 27):

Дугуй диаграмм нь сэдэв нь тархсан (бүтэн тойрог), предикат нь хуваарилагдаагүй (бүрэн бус тойрог) байгааг харуулж байна. Үүнд багтсан бүх объектын тухай ярихад энэ нэр томьёо тархсан, бүгдийг нь ярихгүй бол тараадаггүй гэдгийг санаж, бид автоматаар "хэргийн өмнө" тавьдаг. акулууд"тоологч" Бүгд", мөн нэр томъёоны өмнө" загас"тоологч" зарим" Заасан шүүлтийг өөрчлөх замаар, өөрөөр хэлбэл, түүний сэдэв, предикатыг сольж, "" гэсэн нэр томъёогоор шинэ шүүлтийг эхлүүлнэ. загас", бид үүнийг дахин автоматаар хэмжигчээр хангадаг" зарим", анхны болон шинэ шүүлтийн агуулгын талаар бодолгүйгээр бид алдаагүй хувилбарыг авах болно: " Зарим загас бол акул юм" Магадгүй энэ бүхэн энгийн үйл ажиллагааны хэт төвөгтэй байдал мэт санагдаж болох ч дараа нь үзэх болно, бусад тохиолдолд нэр томъёо, дугуй схемийг ашиглахгүйгээр шүүлтийг өөрчлөх нь тийм ч хялбар биш юм.

Дээр дурдсан жишээн дээр анхан шатны шүүлт нь хэлбэрийн байсан гэдгийг анхаарч үзье А, мөн шинэ нь хэлбэртэй байна I, өөрөөр хэлбэл, буцаах ажиллагаа нь энгийн шүүлтийн төрлийг өөрчлөхөд хүргэсэн. Үүний зэрэгцээ, мэдээжийн хэрэг, түүний хэлбэр өөрчлөгдсөн боловч агуулга нь өөрчлөгдөөгүй, учир нь шүүх хуралдаанд: " Бүх акулууд загас юм"Ба" Зарим загас бол акул юм", - бид ижил зүйлийн талаар ярьж байна. Хүснэгтэнд 5-т энгийн шүүлтийн төрөл, түүний сэдэв ба предикат хоорондын харилцааны шинж чанараас хамааран бүх тохиолдлуудыг харуулав.

Маягтын дүгнэлт А I. Маягтын дүгнэлт Iөөртөө эсвэл хэлбэрийн шүүлт болж хувирдаг А. Маягтын дүгнэлт Эүргэлж өөртөө болон хувирч, хэлбэрийн шүүлт Озохицуулах боломжгүй.

Энгийн шүүлтийг хувиргах хоёр дахь арга гэж нэрлэдэг хувиргалт (ажиглалт), шүүлт нь копулыг өөрчилдөгт оршино: эерэгээс сөрөг, эсвэл эсрэгээр. Энэ тохиолдолд шүүлтийн предикат нь зөрчилтэй ойлголтоор солигдоно (өөрөөр хэлбэл, "биш" гэсэн бөөмийг предикатын өмнө байрлуулсан). Жишээлбэл, бидний давж заалдах жишээ болгон авч үзсэн ижил шийдвэр: " Бүх акулууд загас юм", - нь шүүлт болж хувирсан:" " Энэ дүгнэлт нь хачирхалтай санагдаж магадгүй, учир нь үүнийг ихэвчлэн хэлдэггүй, гэхдээ үнэн хэрэгтээ бид ямар ч акул загас биш амьтан байж чадахгүй, эсвэл бүх акулын багцыг хассан гэсэн санааны товч томъёололтой байдаг. загас биш бүх амьтад. Сэдэв " акулууд"ба предикат" загас биш“Өөрчлөлтийн үр дүнд гарсан дүгнэлтүүд нь үл нийцэх харьцаатай байна.

Өөрчлөлтийн өгөгдсөн жишээ нь чухал логик хэв маягийг харуулж байна: аливаа мэдэгдэл нь давхар сөрөг утгатай тэнцүү ба эсрэгээр. Бидний харж байгаагаар, маягтын анхны шүүлт Аөөрчлөлтийн үр дүнд энэ нь хэлбэрийн шүүлт болсон Э. Хөрвүүлэлтээс ялгаатай нь хувиргалт нь субьект болон энгийн шүүлтийн предикат хоорондын харилцааны шинж чанараас хамаардаггүй. Тиймээс, маягтын дүгнэлт А Э, мөн маягтын дүгнэлт Э- маягтын дүгнэлт болгон А. Маягтын дүгнэлт Iүргэлж хэлбэрийн шүүлт болж хувирдаг О, мөн маягтын дүгнэлт О- маягтын дүгнэлт болгон I(Зураг 28).

Энгийн шүүлтийг өөрчлөх гурав дахь арга бол предикатыг эсэргүүцэх- Энэ нь эхлээд шүүлтийн өөрчлөлт, дараа нь хувиргах явдал юм. Жишээлбэл, предикатыг харьцуулан дүгнэлтийг өөрчлөхийн тулд: " Бүх акулууд загас юм", - та эхлээд үүнийг өөрчлөх ёстой. Энэ нь гарах болно: " Бүх акулууд загас биш" Одоо бид гарсан шүүлтийг буцаах хэрэгтэй, өөрөөр хэлбэл сэдвийг нь солих хэрэгтэй " акулууд"ба предикат" загас биш" Алдаа гаргахгүйн тулд бид дугуй диаграммыг ашиглан нэр томьёоны хуваарилалтыг тогтооход дахин хандах болно (энэхүү дүгнэлтийн сэдэв ба предикат нь үл нийцэх харьцаатай байна) (Зураг 29).

Дугуй диаграмм нь субьект ба предикат хоёулаа тархсан болохыг харуулж байна (хоёр нэр томьёо нь бүтэн тойрогтой тохирч байгаа), тиймээс бид субьект ба предикатыг тоон үзүүлэлтээр дагалдах ёстой " Бүгд" Үүний дараа бид давж заалдах гомдол гаргах болно: " Бүх акулууд загас биш" Энэ нь гарах болно: " Бүх загас биш бол акул биш" Энэ санал нь ер бусын сонсогдож байгаа боловч хэрэв ямар нэгэн амьтан загас биш бол акул байж чадахгүй, эсвэл загас биш бүх амьтад автоматаар акул болж чадахгүй гэсэн санааны товч томъёолол юм. Хүснэгтийг хараад давж заалдах хүсэлтийг илүү хялбар болгож болох байсан. Дээр өгөгдсөн эмчилгээний 5. Үүнийг хараад маягтын шүүлт Эүргэлж өөрөө болж хувирдаг тул бид дугуй схем ашиглахгүйгээр, нэр томьёоны хуваарилалтыг тогтоохгүйгээр шууд тавьж болно " загас биш"тоологч" Бүгд" Энэ тохиолдолд хүснэгтгүйгээр хийх боломжтой гэдгийг харуулах өөр аргыг санал болгосон. эргэлтэнд оруулах бөгөөд үүнийг цээжлэх нь огт шаардлагагүй юм. Энд ойролцоогоор математикийн адил зүйл тохиолддог: та янз бүрийн томьёог цээжлэх боломжтой, гэхдээ цээжлэхгүйгээр хийж болно, учир нь ямар ч томьёог бие даан гаргахад хэцүү биш юм.

Энгийн шүүлтийг хувиргах гурван үйлдлийг дугуй диаграмм ашиглан хийхэд хялбар байдаг. Үүнийг хийхийн тулд та гурван нэр томъёог дүрслэх хэрэгтэй: субьект, предикат, предикаттай зөрчилддөг ойлголт (предикат бус). Дараа нь тэдгээрийн хуваарилалтыг тогтоож, Эйлерийн схемээс дөрвөн дүгнэлт гарна - нэг эхний ба гурван өөрчлөлтийн үр дүн. Санаж байх ёстой гол зүйл бол тархсан нэр томъёо нь тоон үзүүлэлттэй тохирч байна " Бүгд", мөн хуваарилагдаагүй - тоон үзүүлэлт рүү" зарим"; Эйлерийн диаграммд хүрч буй тойрог нь холбогчтой тохирч байна " байна", мөн холбоогүй нь - шөрмөс рүү" биш" Жишээлбэл, гурван өөрчлөлтийн үйлдлийг шүүлтийн дагуу хийх шаардлагатай: " Бүх сурах бичиг бол ном" Сэдвийг дүрсэлцгээе" сурах бичиг", предикат" номууд"ба урьдчилан таамаглахгүй" ном биш» дугуй диаграмм ба эдгээр нэр томъёоны тархалтыг тогтооно (Зураг 30):

1. Бүх сурах бичиг бол ном(анхны шийдвэр).

2. Зарим ном сурах бичиг байдаг(давж заалдах).

3. Бүх сурах бичиг ном биш(хувиргах).

4. Бүх ном биш бол сурах бичиг биш

Өөр нэг жишээг харцгаая. Шийдвэрийг гурван аргаар өөрчлөх шаардлагатай: " Бүх гаригууд од биш" Сэдвийг дүрсэлцгээе " гаригууд", предикат" одод"ба урьдчилан таамаглахгүй" од биш" " гэсэн ойлголтуудыг анхаарна уу. гаригууд"Ба" од биш"Тэд захирагдах харилцаатай байдаг: гараг нь од байх албагүй, харин од биш тэнгэрийн бие нь гараг байх албагүй. Эдгээр нэр томъёоны тархалтыг тогтооцгооё (Зураг 31):

1. Бүх гаригууд од биш(анхны шийдвэр).

2. Бүх одод гариг ​​биш(давж заалдах).

3. Бүх гаригууд од биш(хувиргах).

4. Зарим од биш бол гариг ​​юм(тодорхойлолтын эсрэг).

Өөрийгөө туршиж үзээрэй:

1. Эргэлтийн үйл ажиллагаа хэрхэн явагддаг вэ? Аливаа шийдвэрээс гурвыг нь авч, тус бүрд нь давж заалдах гомдол гарга. Бүх төрлийн энгийн саналууд болон тэдгээрийн субьект ба предикатын хоорондын харилцааны бүх тохиолдолд хөрвүүлэлт хэрхэн явагддаг вэ? Ямар шийдвэрүүдийг буцаах боломжгүй вэ?

2. Хувиргах гэж юу вэ? Дурын гурван дүгнэлтийг авч, тус бүрээр нь хувиргах үйлдлийг хий.

3. Предикатыг ялгах үйлдлийг юу вэ? Гурван санал авч, тус бүрийг предикаттай харьцуулан хувирга.

4. Энгийн шүүлтэнд нэр томьёоны хуваарилалтын талаарх мэдлэг, түүнийг дугуй диаграмм ашиглан тогтоох чадвар нь шүүлтийг өөрчлөх үйлдлийг гүйцэтгэхэд хэрхэн туслах вэ?

5. Маягтын талаар бага зэрэг дүгнэлт хий Аүүнтэй хамт бүх хувиргах үйлдлүүдийг дугуй схем, нэр томъёоны хуваарилалтыг бий болгох замаар гүйцэтгэнэ. Үүнтэй адил зүйлийг санал болго Э.

2.5. Логик квадрат

Энгийн шүүлтийг харьцуулж болохуйц, харьцуулашгүй гэж хуваадаг.

Харьцуулах боломжтой (материалын хувьд ижил)шүүлтүүд нь ижил субьект, предикаттай боловч тоо хэмжээ болон холбогчоороо ялгаатай байж болно. Жишээлбэл, шүүлтүүд: " », « Зарим оюутнууд математикийн хичээл сурдаггүй”, - харьцуулах боломжтой: тэдгээрийн субьект ба предикатууд нь ижил боловч тэдгээрийн тоо хэмжээ болон холбогч нь өөр. Зүйрлэшгүйшүүлтүүд нь өөр өөр субъект, предикаттай байдаг. Жишээлбэл, шүүлтүүд: " Сургуулийн бүх хүүхдүүд математикт суралцдаг», « Зарим тамирчид олимпийн аваргатай”, – нь юутай ч зүйрлэшгүй: тэдгээрийн субьект ба предикатууд давхцдаггүй.

Үзэл баримтлал гэх мэт харьцуулж болохуйц дүгнэлтүүд нь нийцтэй эсвэл нийцэхгүй байж болох бөгөөд өөр хоорондоо өөр өөр харилцаатай байж болно.

Тохиромжтойнэгэн зэрэг үнэн байж болох саналуудыг гэж нэрлэдэг. Жишээлбэл, шүүлтүүд: " Зарим хүмүүс тамирчин байдаг», « Зарим хүмүүс тамирчин биш” нь үнэн бөгөөд нийцтэй саналууд юм.

ТохиромжгүйЭдгээр нь нэгэн зэрэг үнэн байж болохгүй шүүлтүүд юм: тэдгээрийн аль нэгнийх нь үнэн нь нөгөөгийнх нь худал болохыг илтгэнэ. Жишээлбэл, шүүлтүүд: " Сургуулийн бүх сурагчид математикийн хичээл сурдаг”, “Зарим хүүхдүүд математикт сурдаггүй”, – аль аль нь үнэн байж болохгүй, нийцэхгүй (эхний шүүлтийн үнэн нь хоёр дахь нь худал болох нь гарцаагүй).

Тохиромжтой шүүлтүүд нь дараахь харилцаанд байж болно.

1. Тэнцүү байдалсубьект, предикат, холбогч, хэмжигдэхүүн давхцах хоёр шүүлтийн хоорондын хамаарал юм. Жишээлбэл, шүүлтүүд: " Москва бол эртний хот юм»,

« Оросын нийслэл бол эртний хот юм,” нь тэнцүү харьцаатай байна.

2. Захиргааны байдал- энэ бол предикат ба холбогч нь давхцаж, субъектууд нь тал ба хүйсийн харьцаатай байдаг хоёр шүүлтийн хоорондын харилцаа юм. Жишээлбэл, шүүлтүүд: " Бүх ургамал бол амьд организм юм», « Бүх цэцэг (зарим ургамал) нь амьд организм юм" - захирагдах харилцаанд байдаг.

3. Хэсэгчилсэн тоглолт (эсрэгээр) Зарим мөөгийг идэж болно», « Зарим мөөг нь идэж болохгүй,” нь хэсэгчилсэн тохирох харилцаатай байна. Энэ талаар зөвхөн хувийн дүгнэлтүүд байдаг гэдгийг тэмдэглэх нь зүйтэй - хувийн эерэг ( I) ба хэсэгчилсэн сөрөг ( О).

Тохиромжгүй дүгнэлт нь дараах харилцаанд байж болно.

1. Эсрэг (эсрэгээр)субьект ба предикатууд нь давхцаж байгаа боловч холбогч нь ялгаатай хоёр саналын хоорондын хамаарал юм. Жишээлбэл, шүүлтүүд: " Бүх хүмүүс үнэнч байдаг», « ”, – эсрэг тэсрэг харилцаанд байдаг. Үүнтэй холбогдуулан зөвхөн ерөнхий дүгнэлт байж болно - ерөнхийдөө эерэг ( А) ба ерөнхий сөрөг ( Э). Эсэргүүцсэн саналуудын нэг чухал онцлог нь тэд нэгэн зэрэг үнэн байж чадахгүй, харин нэгэн зэрэг худал байж болно. Иймд өгөгдсөн хоёр эсрэг тэсрэг санал нэгэн зэрэг үнэн байж чадахгүй, харин нэгэн зэрэг худал байж болно: бүх хүмүүс үнэнч байдаг нь үнэн биш, гэхдээ бүх хүмүүс үнэн байдаггүй нь бас үнэн биш юм.

Эсрэг шүүлтүүд нь нэгэн зэрэг худал байж болно, учир нь тэдгээрийн хооронд зарим нэг туйлширсан сонголтууд үргэлж гурав, дунд, завсрын сонголт байдаг. Хэрэв энэ дундын сонголт үнэн бол хоёр туйл нь худал болно. Эсрэг (хэт) шүүлтийн хооронд: " Бүх хүмүүс үнэнч байдаг», « Бүх хүмүүс үнэнч байдаггүй", - гурав дахь, дунд сонголт байна:" Зарим хүмүүс үнэн, зарим нь үнэн биш”, - энэ нь жинхэнэ шүүлт болохоос хоёр туйлын, эсрэг тэсрэг шүүлтийн нэгэн зэрэг худал болохыг тодорхойлдог.

2. Зөрчилдөөн (зөрчилтэй)- энэ бол предикатууд давхцаж, холбогч нь өөр, субьектүүд нь эзлэхүүнээрээ ялгаатай, өөрөөр хэлбэл тэдгээр нь захирагдах (төрөл ба хүйс) харилцаатай байдаг хоёр шүүлтийн хоорондын харилцаа юм. Жишээлбэл, шүүлтүүд: " Бүх хүмүүс үнэнч, "Зарим хүмүүс үнэн байдаггүй", – зөрчилдөөнтэй холбоотой байдаг. Зөрчилдөөнтэй шүүлтийн нэг чухал шинж чанар нь эсрэг талынхаас ялгаатай нь тэдгээрийн хооронд гуравдагч, дунд, завсрын хувилбар байж болохгүй. Үүнээс үүдэн хоёр эсрэг тэсрэг санал нэгэн зэрэг үнэн байж чадахгүй бөгөөд нэгэн зэрэг худал байж болохгүй: тэдгээрийн аль нэгнийх нь үнэн нь нөгөөгийнхөө худал байх нь гарцаагүй, харин эсрэгээр нэгнийх нь худал нь нөгөөгийнхөө үнэнийг тодорхойлдог. Зөрчилдөөний логик хуулиуд болон хасагдсан дундын тухай ярихдаа бид эсрэг тэсрэг, зөрчилтэй шүүлтүүд рүү буцах болно.

Харьцуулж болох энгийн шүүлтүүдийн хоорондын хамаарлыг дундад зууны үеийн логик судлаачдын боловсруулсан логик квадрат (Зураг 32) ашиглан бүдүүвчээр дүрсэлсэн болно.

Дөрвөлжингийн орой нь дөрвөн төрлийн энгийн санааг илэрхийлдэг ба түүний талууд ба диагональ нь тэдгээрийн хоорондын хамаарлыг илэрхийлдэг. Тиймээс, хэлбэрийн шүүлтүүд Аболон төрөл I, түүнчлэн маягтын дүгнэлтүүд Эболон төрөл Озахирагдах харилцаанд байдаг. Маягтын дүгнэлтүүд Аболон төрөл ЭЭсэргүүцэл, хэлбэрийн шүүлтийн харьцаанд байдаг Iболон төрөл О- хэсэгчилсэн давхцал. Маягтын дүгнэлтүүд Аболон төрөл О, түүнчлэн маягтын дүгнэлтүүд Эболон төрөл Iзөрчилдөөнтэй харилцаатай байдаг. Логик квадрат нь эквивалентын хамаарлыг дүрсэлдэггүй нь гайхах зүйл биш юм, учир нь энэ харьцаанд ижил төрлийн шүүлтүүд байдаг, өөрөөр хэлбэл эквивалент нь шүүлтийн хоорондын хамаарал юм. АТэгээд А, IТэгээд I, ЭТэгээд Э, ОТэгээд О. Хоёр шүүлтийн хоорондын хамаарлыг тогтоохын тулд тус бүр нь ямар төрөлд хамаарахыг тодорхойлоход хангалттай. Жишээлбэл, шүүхийн шийдвэрүүд ямар хамааралтай болохыг олж мэдэх шаардлагатай: " Бүх хүмүүс логик судалсан», « Зарим хүмүүс логик судлаагүй" Эхний шийдвэр ерөнхийдөө батлагдсан гэдгийг харж байна ( А), хоёр дахь нь хэсэгчилсэн сөрөг ( О), бид тэдгээрийн хоорондын харилцааг логик квадрат ашиглан хялбархан тогтоож чадна - зөрчилдөөн. Шийдвэрүүд: " Бүх хүмүүс логик судалсан (A)», « Зарим хүмүүс логик судалсан (I)", захирагдах харилцаанд байдаг ба шүүлтүүд: " Бүх хүмүүс логик судалсан (A)», « Бүх хүмүүс логик судлаагүй байна (E)”, – эсрэг тэсрэг харилцаанд байдаг.

Өмнө дурьдсанчлан, үзэл баримтлалаас ялгаатай нь шүүлтийн чухал шинж чанар нь үнэн эсвэл худал байж болно.

Харьцуулж болох шүүлтийн хувьд тэдгээрийн үнэний үнэ цэнэ нь бусдын үнэний үнэлэмжтэй тодорхой байдлаар холбоотой байдаг. Тэгэхээр, хэрэв хэлбэрийн шүүлт Аүнэн эсвэл худал бол нөгөө гурав ( I, Э, О), үүнтэй харьцуулах боломжтой шүүлтүүд (түүнтэй төстэй субьектууд болон предикатуудтай), үүнээс хамааран (хэлбэрийн дүгнэлтийн үнэн эсвэл худал байдлын талаар) А) нь үнэн эсвэл худал байна. Жишээлбэл, хэрэв шүүхийн шийдвэр ийм хэлбэртэй бол А: « Бүх бар бол махчин амьтан юм", үнэн, дараа нь хэлбэрийн шүүлт I: « Зарим бар нь махчин амьтан юм”, – гэдэг нь бас үнэн (хэрэв бүх барууд махчин амьтан бол тэдний зарим нь, өөрөөр хэлбэл зарим бар нь бас махчин амьтан байдаг), хэлбэрийн дүгнэлт Э: « Бүх барууд махчин амьтан биш"- нь худал бөгөөд хэлбэрийн шүүлт юм О: « Зарим бар нь махчин амьтан биш юм,” гэдэг нь бас худлаа. Тиймээс, энэ тохиолдолд хэлбэрийн саналын үнэнээс Ахэлбэрийн саналын үнэн нь дараах байдалтай байна Iболон хэлбэрийн шүүлтийн хуурамч байдал Эболон төрөл О(Мэдээжийн хэрэг, бид харьцуулах боломжтой, өөрөөр хэлбэл ижил субьект, предикаттай байх тухай ярьж байна).

Өөрийгөө туршиж үзээрэй:

1. Ямар шүүлтүүдийг харьцуулах боломжтой, алийг нь харьцуулшгүй гэж нэрлэдэг вэ?

2. Тохиромжтой болон үл нийцэх шүүлтүүд гэж юу вэ? Тохиромжтой болон үл нийцэх шүүлтийн гурван жишээг өг.

3. Ямар харилцаанд нийцтэй дүгнэлт байж болох вэ? Тэнцвэртэй байдал, захирагдах байдал, хэсэгчилсэн давхцлын хамаарлын хувьд тус бүр хоёр жишээ өг.

4. Ямар талаар үл нийцэх шүүлтүүд байж болох вэ?

Эсрэг ба зөрчилтэй харилцааны гурван жишээг өг. Яагаад эсрэг саналууд нэгэн зэрэг худал байж болох ч эсрэг тэсрэг саналууд яагаад болохгүй гэж?

5. Логик квадрат гэж юу вэ? Тэр шүүлтийн хоорондын харилцааг хэрхэн дүрсэлсэн бэ? Яагаад логик квадрат нь эквивалент хамаарлыг илэрхийлдэггүй вэ? Хоёр энгийн харьцуулах саналын хоорондын хамаарлыг тодорхойлохдоо логик квадратыг хэрхэн ашиглах вэ?

6. Маягтын зарим үнэн эсвэл худал саналыг ав Ахарьцуулж болохуйц төрлийн шүүлтийн үнэний талаар үүнээс дүгнэлт гарга Э, I, О. Маягтын зарим үнэн эсвэл худал саналыг ав Эмөн үүнтэй харьцуулах боломжтой шүүлтийн үнэний талаар дүгнэлт гарга А, I, О.

2.6. Нарийн төвөгтэй шүүлт

Энгийн шүүлтийг нарийн төвөгтэй болгож нэгтгэж байгаагаас хамааран таван төрлийн нарийн төвөгтэй шүүлтийг ялгадаг.

1. Холбогч санал (холбоо)нь "ба" холбогч холбоос бүхий нийлмэл өгүүлбэр бөгөөд логикт ердийн "?" тэмдгээр тэмдэглэгдсэн байдаг. Энэ тэмдгийг ашиглан хоёр энгийн шүүлтээс бүрдсэн холболтын шүүлтийг томъёогоор илэрхийлж болно. а ? б(уншдаг" аТэгээд б"), Хаана аТэгээд б- Эдгээр нь хоёр энгийн дүгнэлт юм. Жишээлбэл, нарийн төвөгтэй дүгнэлт: " Аянга цахиж, аянга нижигнэв", нь хоёр энгийн саналын холбоос (хослол) юм: "Аянга асгав", "Аянга гүйв". Холболт нь зөвхөн хоёроос гадна олон тооны энгийн саналуудаас бүрдэж болно. Жишээлбэл: " Аянга цахиж, аянга нижигнэж, бороо орж эхлэв (а ? б ? в)».

2. Дизюнктив (салгах)нь “эсвэл” гэсэн салангид холбоос бүхий цогц шүүлт юм. Үзэл баримтлалыг нэмэх, үржүүлэх логик үйлдлүүдийн талаар ярихдаа бид энэ нэгдлийн хоёрдмол утгатай болохыг тэмдэглэсэн - үүнийг хатуу бус (онцгой бус) утгаар болон хатуу (онцгой) утгаар ашиглаж болно гэдгийг санаарай. Тиймээс салангид дүгнэлтийг хоёр төрөлд хуваадаг нь гайхмаар зүйл биш юм.

1. Сул задралгэдэг нь хатуу бус (онцгой бус) утгаараа “эсвэл” гэсэн салангид холбоос бүхий нийлмэл шүүлт бөгөөд үүнийг “?” гэсэн уламжлалт тэмдгээр илэрхийлнэ. Энэ тэмдгийг ашиглан хоёр энгийн шүүлтээс бүрдсэн хатуу бус ялгавартай шүүлтийг томъёогоор илэрхийлж болно. а ? б(уншдаг" аэсвэл б"), Хаана аТэгээд б Тэр англи хэл сурч байна уу, эсвэл герман хэл сурч байна уу", нь хоёр энгийн саналын хатуу бус салгах (салгах) юм: "Тэр англи хэл сурч байна", "Тэр Герман хэл сурч байна".Эдгээр шүүлтүүд нь бие биенээ үгүйсгэдэггүй, учир нь англи, герман хэлийг нэгэн зэрэг судлах боломжтой тул энэ ялгаа нь хатуу биш юм.

2. Хатуу салгахгэдэг нь хатуу (онцгой) утгаараа "эсвэл" гэсэн хуваах холбоос бүхий цогц дүгнэлт бөгөөд үүнийг уламжлалт "" тэмдгээр илэрхийлнэ. Энэ тэмдгийг ашиглан хоёр энгийн шүүлтээс бүрдсэн хатуу ялгавартай шүүлтийг томъёогоор илэрхийлж болно. а б("эсвэл а, эсвэл б"), Хаана аТэгээд б- Эдгээр нь хоёр энгийн дүгнэлт юм. Жишээлбэл, нарийн төвөгтэй дүгнэлт: " Тэр 9-р анги, эсвэл 11-р ангид сурдаг", нь хоёр энгийн саналын хатуу салгах (салгах) юм: “Тэр 9-р ангид сурдаг”, “Тэр 11-р ангид сурдаг”. 9, 11-р ангид нэгэн зэрэг суралцах боломжгүй (хэрэв тэр 9-р ангид сурдаг бол тэр мэдээж 11-р ангид сурдаггүй, дэд ангид сурдаггүй) тул эдгээр шүүлтүүд бие биенээ үгүйсгэж байгааг анхаарч үзье. эсрэгээр), үүнээс болж энэ салалт хатуу байдаг.

Хатуу бус болон хатуу салгах нь зөвхөн хоёроос гадна олон тооны энгийн саналуудаас бүрдэж болно. Жишээлбэл: " Тэр англи хэл сурч байна, герман хэл сурч байна, эсвэл франц хэл сурч байна (a ? b ? c)», « Тэр 9-р анги, эсвэл 10-р анги, эсвэл 11-р анги (a b c)».

3. Импликатив санал (далд утга)нь “>” тэмдгээр тэмдэглэгдсэн “хэрэв ... тэгвэл” болзолт холбоос бүхий цогц шүүлт юм. Энэ тэмдгийг ашиглан хоёр энгийн саналаас бүрдэх импликатив саналыг томъёогоор илэрхийлж болно. а > б("хэрвээ а, Тэр б"), Хаана аТэгээд б- Эдгээр нь хоёр энгийн дүгнэлт юм. Жишээлбэл, нарийн төвөгтэй дүгнэлт: " Хэрэв бодис нь метал бол цахилгаан дамжуулагч юм“, – хоёр энгийн саналын далд дүгнэлтийг (шалтгаан-үр дагаврын холбоо) илэрхийлнэ: "Бодис бол металл", "Бодис нь цахилгаан дамжуулагч". Энэ тохиолдолд эдгээр хоёр шүүлт нь хоёр дахь нь эхнийхээс (хэрэв бодис нь металл бол энэ нь заавал цахилгаан дамжуулагч байх ёстой) дагах байдлаар холбогдсон боловч эхнийх нь хоёрдугаарт хамаарахгүй (хэрэв бодис бол цахилгаан дамжуулагч, энэ нь метал гэсэн үг биш юм). Дуудлагын эхний хэсгийг гэж нэрлэдэг суурь, хоёр дахь нь - үр дагавар; суурь нь үр дагавараас үүдэлтэй, харин суурь нь үр дагавраас үүсдэггүй. Үр нөлөөний томъёо: а > б, дараах байдлаар уншиж болно: “хэрэв а, тэгвэл гарцаагүй б, Гэхдээ хэрэв б, тэгвэл заавал биш а».

4. Тэнцүү дүгнэлт (тэнцүү байдал)- энэ бол "хэрэв ... тэгвэл" гэсэн холбоос бүхий нийлмэл шүүлт нь нөхцөлт утгаараа биш (далдлалын хувьд), харин ижил (тэнцэх) утгаараа юм. Энэ тохиолдолд энэ нэгдлийг "" тэмдгээр тэмдэглэсэн бөгөөд үүний тусламжтайгаар хоёр энгийн шүүлтээс бүрдсэн ижил төстэй шүүлтийг томъёогоор илэрхийлж болно. а б("хэрвээ а, Тэр б, мөн хэрэв б, Тэр а"), Хаана аТэгээд б- Эдгээр нь хоёр энгийн дүгнэлт юм. Жишээлбэл, нарийн төвөгтэй дүгнэлт: " Хэрэв тоо нь тэгш бол 2-т үлдэгдэлгүй хуваагдана.“, – нь хоёр энгийн саналын дүйцэхүйц дүгнэлтийг (тэгш байдал, ижил төстэй байдал) илэрхийлнэ: “Тоо нь тэгш”, “Тоо нь 2-т үлдэгдэлгүй хуваагдана”. Энэ тохиолдолд хоёр санал нь хоёр дахь нь эхнийхээс, эхнийх нь хоёр дахь нь дагах байдлаар холбогдсон болохыг харахад хялбар байдаг: хэрэв тоо тэгш бол энэ нь заавал 2-т үлдэгдэлгүй хуваагдана. , мөн хэрэв тоо 2-т үлдэгдэлгүй хуваагддаг бол энэ нь заавал тэгш байх ёстой. Эквивалент нь далд утгаас ялгаатай нь шалтгаан ч, үр дагавар ч байж болохгүй, учир нь түүний хоёр хэсэг нь тэнцүү шүүлтүүд байдаг.

5. Сөрөг шүүлт (үгүйсгэх)нь “¬” тэмдгээр тэмдэглэгдсэн “энэ нь үнэн биш...” гэсэн холбоос бүхий цогц шүүлт юм. Энэ тэмдгийг ашиглан сөрөг дүгнэлтийг томъёогоор илэрхийлж болно: ¬ а("энэ нь үнэн биш" гэж уншина а"), Хаана а- Энэ бол энгийн шүүлт. Эндээс асуулт гарч ирж магадгүй юм: бид ихэвчлэн тэмдэгээр тэмдэглэдэг нарийн төвөгтэй саналын хоёр дахь хэсэг хаана байна вэ? б? Бичлэгт: ¬ а, хоёр энгийн санал аль хэдийн байна: а- энэ бол нэг төрлийн мэдэгдэл бөгөөд "¬" тэмдэг нь түүнийг үгүйсгэх явдал юм. Бидний өмнө хоёр энгийн дүгнэлт байдаг - нэг нь эерэг, нөгөө нь сөрөг. Сөрөг дүгнэлтийн жишээ: " Бүх ялаа шувууд гэж худлаа».

Тиймээс бид нийлмэл, салгах (хатуу бус ба хатуу), далдлал, эквивалент ба үгүйсгэх гэсэн таван төрлийн цогц шүүлтийг судалсан.

Байгалийн хэлэнд олон холбоо үг байдаг боловч утгын хувьд эдгээр нь таван төрөлд хуваагддаг бөгөөд аливаа нарийн төвөгтэй дүгнэлт нь тэдгээрийн аль нэгэнд хамаарна. Жишээлбэл, нарийн төвөгтэй дүгнэлт: " Шөнө дунд ойртож байгаа ч Херман байхгүй хэвээр байна", нь холбоосыг агуулж байгаа тул холбоос юм" А" ба" холбогч холбоос болгон ашигладаг. Ямар ч холбоогүй цогц санал: " Салхи тарь, шуургыг хураа” гэдэг нь далд санаа юм, учир нь түүний доторх хоёр энгийн санаа нь “хэрэв... тэгвэл” гэсэн нөхцөлт холбоосоор утгаараа холбогддог.

Аливаа нарийн төвөгтэй санал нь түүнд багтсан энгийн саналуудын үнэн эсвэл худал байдлаас хамааран үнэн эсвэл худал байдаг. Хүснэгтийг өгсөн. 6 бүх төрлийн нарийн төвөгтэй шүүлтийн үнэн нь тэдгээрт багтсан хоёр энгийн шүүлтийн үнэний үнэ цэнийн бүх багцаас хамаарч (зөвхөн дөрвөн ийм багц байдаг): энгийн дүгнэлт хоёулаа үнэн; эхний санал нь үнэн, хоёр дахь нь худал; эхний санал нь худал, хоёр дахь нь үнэн; Хоёр мэдэгдэл хоёулаа худал).

Бидний харж байгаагаар холболт нь түүнд багтсан энгийн санал хоёулаа үнэн байвал л үнэн болно. Хоёр биш, харин илүү олон тооны энгийн шүүлтээс бүрдсэн холбоос нь түүнд багтсан бүх шүүлт үнэн бол үнэн гэдгийг тэмдэглэх нь зүйтэй. Бусад бүх тохиолдолд энэ нь худал юм. Сул хуваагдал нь эсрэгээрээ, үүнд багтсан энгийн саналууд хоёулаа худал байхаас бусад тохиолдолд бүх тохиолдолд үнэн байдаг. Хоёр биш, харин олон тооны энгийн саналуудаас бүрдэх сул хуваагдал нь зөвхөн түүнд орсон бүх энгийн санал худал байвал худал болно. Хатуу хуваагдал нь түүнд багтсан нэг энгийн санал үнэн, нөгөө нь худал байвал үнэн болно. Хоёр биш, харин илүү олон тооны энгийн саналуудаас бүрдэх хатуу салгах нь түүнд багтсан энгийн саналуудын зөвхөн нэг нь үнэн, бусад нь худал байвал үнэн болно. Үндэслэл нь үнэн, үр дагавар нь худал бол зөвхөн нэг тохиолдолд л худал болно. Бусад бүх тохиолдолд энэ нь үнэн юм. Энгийн саналуудын хоёр нь үнэн эсвэл хоёулаа худал байвал эквивалент үнэн болно. Хэрэв эквивалентийн нэг хэсэг нь үнэн, нөгөө хэсэг нь худал бол тэнцэл нь худал болно. Үгүйсгэлэнгийн үнэнийг тодорхойлох хамгийн энгийн арга бол: мэдэгдэл үнэн бол түүнийг үгүйсгэх нь худал; мэдэгдэл худал бол түүнийг үгүйсгэх нь үнэн.

Өөрийгөө туршиж үзээрэй:

1. Нарийн төвөгтэй шүүлтийн төрлүүдийг ямар үндэслэлээр ялгадаг вэ?

2. Нэр, холбоо, тэмдэг, томьёо, жишээ гэсэн бүх төрлийн нийлмэл өгүүлбэрийг дүрсэл. Хатуу бус салалт, хатуу хоёрын хооронд ямар ялгаа байдаг вэ? Далдлалыг эквивалентаас хэрхэн ялгах вэ?

3. “Ба”, “эсвэл”, “хэрэв... тэгвэл” гэсэн холбоосын оронд өөр зарим холбоо үг хэрэглэвэл нийлмэл шүүлтийн төрлийг хэрхэн тодорхойлох вэ?

4. “Ба”, “эсвэл”, “хэрэв... тэгвэл” гэсэн холбоо үг хэрэглэхгүйгээр нийлмэл шүүлтийн төрөл тус бүрд гурван жишээ өг.

5. Дараах нийлмэл шүүлтүүд ямар төрөлд хамаарахыг тодорхойл.

1. Амьд хүн сэтгэлгээтэй байж л хүн болдог.

2. Хүн төрөлхтөн дэлхийн нөөцийн хомсдол, байгаль орчны гамшиг, дэлхийн гуравдугаар дайны үр дүнд үхэж болзошгүй.

3. Өчигдөр тэрээр зөвхөн математик төдийгүй орос хэл дээр D үнэлгээ авсан.

4. Цахилгаан гүйдэл дамжин өнгөрөхөд дамжуулагч халдаг.

5. Бидний эргэн тойрон дахь дэлхий ертөнцийг мэддэг эсвэл мэддэггүй.

6. Нэг бол тэр огт авъяасгүй, эсвэл огт залхуу хүн.

7. Хүн зусардахаараа худлаа ярьдаг.

8. Ус нь зөвхөн 0 ° C ба түүнээс доош температурт мөс болж хувирдаг.

6. Нарийн төвөгтэй шүүлтийн үнэнийг юу тодорхойлдог вэ? Тэдгээрт багтсан энгийн шүүлтийн үнэний үнэ цэнийн бүх багцаас хамааран холболт, сул ба хатуу салгах, далдлал, эквивалент ба үгүйсгэлт ямар үнэний утгыг авдаг вэ?

2.7. Логик томъёо

Аливаа мэдэгдэл эсвэл бүхэл бүтэн аргументыг албан ёсны болгож болно. Энэ нь түүний агуулгыг хаяж, зөвхөн логик хэлбэрийг нь үлдээж, аль хэдийн танил болсон холболт, хатуу бус, хатуу дизюнкц, импликация, эквивалент, үгүйсгэх тэмдгүүдийг ашиглан илэрхийлнэ гэсэн үг юм.

Жишээлбэл, дараахь мэдэгдлийг албан ёсны болгохын тулд: " Тэрээр уран зураг, хөгжим, уран зохиолын чиглэлээр ажилладаг", - та эхлээд үүнд багтсан энгийн шүүлтүүдийг тодруулж, тэдгээрийн хоорондын логик холболтын төрлийг тогтоох хэрэгтэй. Дээрх мэдэгдэлд гурван энгийн санал багтсан болно. "Тэр зураг зурдаг", "Тэр хөгжимд оролцдог", "Тэр уран зохиолын чиглэлээр ажилладаг".

Эдгээр шүүлтүүд нь хуваагдах холбоосоор нэгддэг боловч бие биенээ үгүйсгэдэггүй (та уран зураг, хөгжим, уран зохиолын чиглэлээр хичээллэж болно), тиймээс бидний өмнө сул хуваагдал байгаа бөгөөд түүний хэлбэрийг дараахь нөхцөлт байдлаар илэрхийлж болно. тэмдэглэгээ: а ? б ? в, Хаана а, б, в– дээрх энгийн шүүлтүүд. Дүрс: а ? б ? в, ямар ч агуулгаар дүүргэж болно, жишээ нь: " Цицерон бол улс төрч, уран илтгэгч, зохиолч байсан”, “Тэр англи, герман, франц хэл сурдаг”, “Хүмүүс газар, агаар, усан тээврээр аялдаг.».

Үндэслэлээ албан ёсоор болгоё: " Тэр 9-р анги эсвэл 10-р анги эсвэл 11-р анги. Гэтэл 10, 11-р ангид ч сурдаггүй нь мэдэгдэж байна. Тиймээс тэрээр 9-р ангид сурдаг" Энэхүү үндэслэлд багтсан энгийн мэдэгдлүүдийг тодруулж, латин цагаан толгойн жижиг үсгээр тэмдэглэе. "Тэр 9-р ангид сурдаг (а)", "Тэр 10-р ангид сурдаг (б)", "Тэр 11-р ангид сурдаг (в)". Аргументийн эхний хэсэг нь эдгээр гурван мэдэгдлийн хатуу салгах явдал юм. а ? б ? в. Аргументийн хоёр дахь хэсэг нь хоёр дахь үгүйсгэлт юм: ¬ б, гурав дахь нь: ¬ в, мэдэгдлүүд ба эдгээр хоёр үгүйсгэлт нь хоорондоо уялдаа холбоотой, өөрөөр хэлбэл тэдгээр нь хоорондоо холбоотой байдаг: ¬ б ? ¬ в. Дээр дурдсан гурван энгийн саналын хатуу салгахад үгүйсгэлийн холбоосыг нэмж оруулсан болно: ( а ? б ? в) ? (¬ б ? ¬ в), мөн энэхүү шинэ холболтоос үр дүнд нь эхний энгийн саналын мэдэгдэл дараах байдалтай байна: " Тэр 9-р ангид сурдаг" Логик үр дагавар нь бидний аль хэдийн мэдэж байгаагаар далд утга юм. Тиймээс бидний үндэслэлийг албан ёсны болгох үр дүнг дараах томъёогоор илэрхийлнэ: (( а ? б ? в) ? (¬ б ?¬ в)) > а. Энэ логик хэлбэрийг ямар ч агуулгаар дүүргэж болно. Жишээлбэл: " Анх 1957 онд буюу 1959 онд буюу 1961 онд сансарт ниссэн.Гэхдээ анх 1957, 1959 онд сансарт нисээгүй нь мэдэгдэж байна.Тиймээс анхны хүн 1961 онд сансарт ниссэн."Өөр сонголт:" "Цэвэр учир шалтгааны шүүмж" хэмээх гүн ухааны зохиолыг Иммануэль Кант, Георг Гегель, Карл Маркс нар бичсэн. Гэсэн хэдий ч Гегель ч, Маркс ч энэ зохиолын зохиогчид биш юм. Тиймээс үүнийг Кант бичсэн».

Бидний харж байгаагаар аливаа үндэслэлийг албан ёсны болгохын үр дүн нь үндэслэлд багтсан энгийн мэдэгдлүүд, тэдгээрийн хоорондох логик холболтын тэмдэг (холбоо, салгах, салгах) -ийг илэрхийлсэн латин цагаан толгойн жижиг үсгүүдээс бүрдсэн нэг төрлийн томъёо юм. гэх мэт). Бүх томъёог логикоор гурван төрөлд хуваадаг.

1. Яг л үнэн томъёонуудтэдгээрт багтсан хувьсагчдын (энгийн шүүлтүүд) үнэний утгуудын бүх багцад үнэн байна. Аливаа ижил үнэн томъёо нь логик хууль юм.

2. Хуурамч томъёололтэдгээрт орсон хувьсагчдын үнэний утгуудын бүх багцын хувьд худал байна.

Ижил хуурамч томьёо нь ижил үнэн томьёог үгүйсгэх бөгөөд логик хуулиудыг зөрчих явдал юм.

3. Боломжтой (төвийг сахисан) томъёоҮнэний утгуудын янз бүрийн багцын хувьд тэдгээрт орсон хувьсагч нь үнэн эсвэл худал байна.

Хэрэв аливаа үндэслэлийг албан ёсны болгосны үр дүнд ижил үнэн зөв томьёог олж авбал ийм үндэслэл нь логикийн хувьд өө сэвгүй болно. Хэрэв албан ёсны үр дүн нь адилхан хуурамч томьёо юм бол үндэслэлийг логикийн хувьд буруу (алдаатай) гэж хүлээн зөвшөөрөх ёстой. Боломжит (төвийг сахисан) томьёо нь түүнийг албан ёсны болгох үндэслэлийн логик зөвийг илэрхийлдэг.

Тодорхой томьёо ямар төрөлд хамаарахыг тодорхойлох, үүний дагуу зарим үндэслэлийн логик зөвийг үнэлэхийн тулд энэ томъёонд зориулж тусгай үнэний хүснэгтийг ихэвчлэн эмхэтгэдэг. Дараах үндэслэлийг авч үзье: " Владимир Владимирович Маяковский нь 1891, 1893 онд төрсөн.Гэхдээ 1891 онд төрөөгүй нь мэдэгдэж байгаа.Тиймээс 1893 онд төрсөн” гэжээ.. Энэхүү үндэслэлийг албан ёсны болгож, үүнд багтсан энгийн мэдэгдлүүдийг тодруулцгаая. "Владимир Владимирович Маяковский 1891 онд төрсөн." "Владимир Владимирович Маяковский 1893 онд төрсөн.". Бидний аргументийн эхний хэсэг нь эдгээр хоёр энгийн мэдэгдлийн хатуу салгах явдал юм. а ? б. Дараа нь эхний энгийн өгүүлбэрийн үгүйсгэлийг салгахад нэмж, холболтыг олж авна: ( а ? б) ? ¬ а. Эцэст нь, хоёр дахь энгийн саналын мэдэгдэл нь энэ холболтоос үүсэж, үр дагавар гарч ирнэ: (( а ? б) ? ¬ а) > б, энэ нь энэхүү үндэслэлийг албан ёсны болгосны үр дүн юм. Одоо бид хүснэгт үүсгэх хэрэгтэй. Үүссэн томъёоны 7 үнэн:

Хүснэгт дэх мөрийн тоог дараах дүрмээр тодорхойлно: 2 n, энд n нь томъёоны хувьсагчийн тоо (энгийн мэдэгдэл) юм. Манай томъёонд зөвхөн хоёр хувьсагч байгаа тул хүснэгт дөрвөн мөртэй байх ёстой. Хүснэгтийн баганын тоо нь томьёонд орсон хувьсагчийн тоо ба логик холболтын тооны нийлбэртэй тэнцүү байна. Энэ томьёо нь хоёр хувьсагч, дөрвөн логик холболт (?, ?, ¬, >) агуулж байгаа нь хүснэгт нь зургаан баганатай байх ёстой гэсэн үг юм. Эхний хоёр багана нь хувьсагчдын үнэний утгын бүх боломжит багцыг төлөөлдөг (зөвхөн дөрвөн багц байдаг: хувьсагч хоёулаа үнэн; эхний хувьсагч нь үнэн, хоёр дахь нь худал; эхний хувьсагч нь худал, хоёр дахь нь үнэн ; хувьсагч хоёулаа худал). Гурав дахь багана нь хувьсагчдын үнэний бүх (дөрвөн) багцаас хамааран авдаг хатуу салгах үнэний утгууд юм. Дөрөв дэх багана нь эхний энгийн мэдэгдлийг үгүйсгэх үнэний утгууд юм: ¬ а. Тав дахь багана нь дээрх хатуу салгах, үгүйсгэхээс бүрдэх холбоосын үнэний утгууд бөгөөд эцэст нь зургаа дахь багана нь бүхэл бүтэн томъёоны үнэний утгууд юм. Бид бүх томьёог бүрэлдэхүүн хэсгүүдэд нь хуваасан бөгөөд тус бүр нь хоёр гишүүний цогцолбор санал, өөрөөр хэлбэл хоёр элементээс бүрддэг (өмнөх догол мөрөнд үгүйсгэх нь мөн хоёр гишүүний цогцолбор санал гэж хэлсэн).

Хүснэгтийн сүүлийн дөрвөн баганад томьёог бүрдүүлдэг эдгээр бином цогцолбор санал бүрийн үнэний утгыг харуулав. Эхлээд хүснэгтийн гурав дахь баганыг бөглөнө үү. Үүнийг хийхийн тулд нарийн төвөгтэй шүүлтийн үнэний хүснэгтийг танилцуулсан өмнөх догол мөр рүү буцах хэрэгтэй ( хүснэгтийг үзнэ үү 6), энэ тохиолдолд бидний хувьд үндсэн байх болно (математикийн үржүүлэх хүснэгт гэх мэт). Энэ хүснэгтээс бид хоёр хэсэг нь үнэн эсвэл хоёр хэсэг нь худал үед хатуу салгах нь худал болохыг харж байна; Хэрэв нэг хэсэг нь үнэн, нөгөө хэсэг нь худал байвал хатуу салгах нь үнэн болно. Тиймээс бөглөх хүснэгтийн хатуу салалтын утгууд (дээрээс доош) нь: "худал", "үнэн", "үнэн", "худал". Дараа нь хүснэгтийн дөрөв дэх баганыг бөглөнө үү: ¬a: мэдэгдэл хоёр удаа үнэн, хоёр удаа худал бол үгүйсгэх ¬a нь эсрэгээрээ хоёр удаа худал, хоёр удаа үнэн байна. Тав дахь багана нь холбоос юм. Хатуу салгах, үгүйсгэх үнэний утгыг мэдэж авснаар бид холболтын үнэний утгыг тогтоох боломжтой бөгөөд энэ нь зөвхөн түүний бүх элементүүд үнэн бол үнэн юм. Энэ холбоосыг үүсгэсэн хатуу салгах ба үгүйсгэх нь зөвхөн нэг тохиолдолд нэгэн зэрэг үнэн байдаг тул холболт нь нэг удаа "үнэн", бусад тохиолдолд "худал" гэсэн утгыг авдаг. Эцэст нь та сүүлчийн баганыг бөглөх хэрэгтэй: бүхэл бүтэн томъёоны үнэний утгыг илэрхийлэх утга санааны хувьд. Нарийн төвөгтэй саналуудын үнэний үндсэн хүснэгт рүү буцаж ирэхэд, утга нь зөвхөн нэг тохиолдолд худал гэдгийг санаарай: түүний үндэс нь үнэн, үр дагавар нь худал. Бидний утгын үндэс нь хүснэгтийн тав дахь баганад үзүүлсэн холбоос бөгөөд үр дагавар нь энгийн санал юм ( б), хоёр дахь баганад үзүүлэв. Энэ тохиолдолд зарим нэг таагүй зүйл бол зүүнээс баруун тийш үр дагавар нь суурийн өмнө ирдэг, гэхдээ бид тэдгээрийг үргэлж оюун санааны хувьд сольж болно. Эхний тохиолдолд (хүснэгтийн эхний мөрөнд "толгойг" тооцохгүй) утга санааны үндэс нь худал боловч үр дагавар нь үнэн бөгөөд энэ нь далд утга үнэн гэсэн үг юм. Хоёр дахь тохиолдолд шалтгаан, үр дагавар хоёулаа худал бөгөөд энэ нь далд утга үнэн гэсэн үг юм. Гурав дахь тохиолдолд шалтгаан, үр дагавар хоёулаа үнэн бөгөөд энэ нь далд утга үнэн гэсэн үг юм. Дөрөв дэх тохиолдолд, хоёрдугаарт байгаа шиг, шалтгаан, үр дагавар хоёулаа худал бөгөөд энэ нь далд утга үнэн гэсэн үг юм.

Энэ томьёо нь түүнд багтсан хувьсагчдын үнэний утгуудын бүх багцын хувьд "үнэн" утгыг авдаг тул энэ нь адилхан үнэн бөгөөд түүний үйлчилдэг үндэслэл, албан ёсны үндэслэл нь логикийн хувьд алдаагүй юм.

Өөр нэг жишээг харцгаая. Дараахь үндэслэлийг албан ёсоор гаргаж, түүнийг илэрхийлж буй томъёо нь ямар төрөлд хамаарах болохыг тогтоох шаардлагатай. Аливаа барилга хуучин бол их засвар хийх шаардлагатай. Энэ барилгад их засвар хийх шаардлагатай байна. Тиймээс энэ барилга хуучирсан" Энэхүү үндэслэлд багтсан энгийн мэдэгдлүүдийг онцолж үзье: “Зарим барилга хуучирсан”, “Зарим барилгад их засвар хийх шаардлагатай”. Аргументийн эхний хэсэг нь далд санаа юм: а > б, эдгээр энгийн мэдэгдлүүд (эхнийх нь түүний үндэс, хоёр дахь нь түүний үр дагавар). Дараа нь хоёр дахь энгийн мэдэгдлийн мэдэгдлийг далд утганд нэмж, холбоосыг олж авна: ( а > б) ? б. Эцэст нь, анхны энгийн мэдэгдлийн мэдэгдэл нь энэ холболтоос гарч ирсэн бөгөөд шинэ утга санааг олж авав: (( а > б) ? б) > а, энэ нь авч үзэж буй үндэслэлийг албажуулсны үр дүн юм. Үүссэн томъёоны төрлийг тодорхойлохын тулд хүснэгтийг хийцгээе. 8 түүний үнэн.

Томъёонд хоёр хувьсагч байгаа бөгөөд энэ нь хүснэгтэд дөрвөн мөр байх болно гэсэн үг юм; Томъёонд мөн гурван холбоос (>, ?, >) байгаа бөгөөд энэ нь хүснэгтэд таван багана байна гэсэн үг юм. Эхний хоёр багана нь хувьсагчийн үнэний утга юм. Гурав дахь багана нь далд утгын үнэний утгууд юм.

Дөрөв дэх багана нь холболтын үнэний утгууд юм. Тав дахь ба сүүлчийн багана нь бүхэл бүтэн томъёоны үнэний утгууд юм - эцсийн үр дагавар. Тиймээс бид томъёог гурван бүрэлдэхүүн хэсэг болгон хуваасан бөгөөд эдгээр нь хоёр нэр томъёоны цогц санал юм.

Хүснэгтийн сүүлийн гурван баганыг өмнөх жишээн дээрх зарчмын дагуу, өөрөөр хэлбэл нарийн төвөгтэй шүүлтийн үндсэн үнэний хүснэгтэд үндэслэн дараалан бөглөцгөөе (Хүснэгт 6-г үзнэ үү).

Энэ томьёо нь түүнд багтсан хувьсагчдын үнэн утгын янз бүрийн багцын хувьд "үнэн" ба "худал" гэсэн утгыг хоёуланг нь авдаг тул энэ нь хэрэгжих боломжтой (төвийг сахисан) бөгөөд үндэслэл, албан ёсны үндэслэл юм. үйлчилдэг, логикийн хувьд зөв, гэхдээ өөгүй биш: эс тэгвээс аргументийн агуулга, түүний барилгын ийм хэлбэр нь алдаа гаргахад хүргэж болзошгүй, жишээлбэл: " Өгүүлбэрийн эхэнд үг орсон бол том үсгээр бичнэ. "Москва" гэдэг үгийг дандаа том үсгээр бичдэг. Тиймээс "Москва" гэдэг үг өгүүлбэрийн эхэнд үргэлж гарч ирдэг».

Өөрийгөө туршиж үзээрэй:

1. Мэдэгдэл, үндэслэлийг албан ёсны болгох гэж юу вэ? Ямар нэгэн үндэслэл гаргаж ирээд албан ёсоор болго.

2. Дараах үндэслэлийг албан ёсоор бич.

1) Хэрэв бодис нь метал бол цахилгаан дамжуулагч юм. Зэс бол металл. Тиймээс зэс нь цахилгаан дамжуулах чадвартай.

2) Английн нэрт гүн ухаантан Фрэнсис Бэкон 17-р зуунд эсвэл 15-р зуунд эсвэл 13-р зуунд амьдарч байсан. Фрэнсис Бэкон 17-р зуунд амьдарч байжээ. Иймээс тэрээр 15-р зуунд ч, 13-р зуунд ч амьдарч байгаагүй.

3) Хэрэв та зөрүүд биш бол бодлоо өөрчилж болно. Хэрэв та бодлоо өөрчилж чадвал энэ шүүлтийг худал гэдгийг хүлээн зөвшөөрөх боломжтой. Тиймээс, хэрэв та зөрүүд биш бол энэ шүүлтийг худал гэдгийг хүлээн зөвшөөрөх боломжтой.

4) Хэрэв геометрийн дүрсийн дотоод өнцгийн нийлбэр нь 180 ° бол ийм дүрс нь гурвалжин болно. Өгөгдсөн геометрийн дүрсийн дотоод өнцгийн нийлбэр нь 180°-тай тэнцүү биш байна. Тиймээс энэ геометрийн дүрс нь гурвалжин биш юм.

5) Ой мод нь шилмүүст, навчит, эсвэл холимог байж болно. Энэ ой нь навчит, шилмүүст биш юм. Тиймээс энэ ой нь холилдсон байдаг.

3. Ижил үнэн, адилхан худал, хангагддаг томьёо гэж юу вэ? Албан ёсны үр дүн нь яг ижил үнэн томьёо байвал үндэслэлийн талаар юу хэлж болох вэ? Хэрэв түүний албан ёсны илэрхийлэл нь адилхан худал томъёогоор илэрхийлэгдсэн бол үндэслэл нь ямар байх вэ? Логикийн зөв байдлын үүднээс авч үзвэл, ямар үндэслэлүүд албан ёсоор болбол боломжтой томъёололд хүргэдэг вэ?

4. Тодорхой үндэслэлийг албажуулахын үр дүнг илэрхийлэх тодорхой томьёоны төрлийг хэрхэн тодорхойлох вэ?

Логик томъёоны үнэний хүснэгтийг барьж бөглөхөд ямар алгоритм ашигладаг вэ? Ямар нэг үндэслэл гаргаж, түүнийг албан ёсоор гаргаж, үнэний хүснэгтийг ашиглан үүссэн томъёоны төрлийг тодорхойлно уу.

2.8. Асуултын төрөл ба дүрэм

Асуулт нь шүүлтэд тун ойрхон байна. Энэ нь аливаа шүүлтийг тодорхой асуултын хариулт гэж үзэж болно гэдгээр илэрдэг.

Тиймээс асуултыг шүүлтийн өмнөх мэт логик хэлбэр гэж тодорхойлж болох бөгөөд энэ нь нэг төрлийн "үзэл бодол"-ыг илэрхийлдэг. Тиймээс асуулт нь ямар нэгэн дүгнэлт хэлбэрээр хариулт авахад чиглэгдсэн логик хэлбэр (бүтээл) юм.

Асуултуудыг судалгааны болон мэдээллийн гэж хуваадаг.

Судалгааасуултууд нь шинэ мэдлэг олж авахад чиглэгддэг. Эдгээр нь одоогоор хариултгүй байгаа асуултууд юм. Жишээлбэл, асуулт: " Орчлон ертөнц хэрхэн үүссэн бэ?” – судалгаа юм.

Мэдээлэласуултууд нь одоо байгаа мэдлэгийг (мэдээлэл) олж авах (нэг хүнээс нөгөөд шилжүүлэх) зорилготой юм. Жишээлбэл, асуулт: " Хар тугалга хайлах цэг гэж юу вэ?” – мэдээллийн чанартай.

Асуултуудыг мөн категори болон санал гэж хуваадаг.

Ангилал (нөхөж байна, Онцгой) асуултуудад "хэн", "юу", "хаана", "хэзээ", "яагаад", "яаж" гэх мэт асуултын үгс багтаж, хариулт хайх чиглэл, үүний дагуу объект, шинж чанар эсвэл ангиллыг харуулсан болно. үзэгдлүүд , та өөрт хэрэгтэй хариултаа хаанаас хайх ёстой.

Санал дэвшүүлсэн(лат. санал- шүүлт, санал) ( тодруулж байна, нийтлэг байдаг) асуултууд нь аль хэдийн байгаа зарим мэдээллийг батлах эсвэл үгүйсгэхэд чиглэгддэг. Эдгээр асуултын хариулт нь зөвхөн батлах эсвэл үгүйсгэх шаардлагатай бэлэн шүүлтийн хэлбэрээр аль хэдийн тавигдсан бололтой. Жишээлбэл, асуулт: " Химийн элементүүдийн үелэх хүснэгтийг хэн бүтээсэн бэ?" гэсэн ангилалтай бөгөөд асуулт нь: " Математик судлах нь ашигтай юу?» - санал.

Судалгааны болон мэдээллийн асуултууд нь категори эсвэл саналын аль аль нь байж болох нь ойлгомжтой. Үүнийг эсрэгээр нь хэлж болно: категори болон саналын асуултууд хоёулаа эрэл хайгуулын болон мэдээллийн шинж чанартай байж болно. Жишээлбэл: " Фермагийн теоремын бүх нийтийн нотолгоог хэрхэн бий болгох вэ?» - судалгааны категори асуулт:

« Орчлон ертөнцөд дэлхий шиг оюун ухаант биетүүд амьдардаг гаригууд байдаг уу?” – судалгааны саналын асуулт:

« Логик хэзээ гарч ирсэн бэ?"- мэдээллийн ангиллын асуулт:" Тоо гэдэг үнэн үү ? Энэ нь тойргийн тойргийг түүний диаметртэй харьцуулсан харьцаа мөн үү?” гэдэг нь мэдээллийн чанартай асуулт юм.

Аливаа асуулт нь хоёр хэсгээс бүрдэх тодорхой бүтэцтэй байдаг. Эхний хэсэг нь зарим мэдээллийг (дүрмээр бол ямар нэгэн дүгнэлтээр илэрхийлсэн) илэрхийлдэг бөгөөд хоёр дахь хэсэг нь түүний хангалтгүй байдал, ямар нэгэн хариултаар нөхөх шаардлагатай байгааг харуулж байна. Эхний хэсгийг гэж нэрлэдэг үндсэн (үндсэн)(үүнийг заримдаа бас нэрлэдэг асуултын үндэслэл), хоёр дахь хэсэг нь чиний хайж байгаа хүн. Жишээлбэл, мэдээллийн ангиллын асуултанд: " Цахилгаан соронзон орны онол хэзээ үүссэн бэ?" - үндсэн (үндсэн) хэсэг нь батлах санал юм: " Цахилгаан соронзон орны онолыг бий болгосон", - ба хүссэн хэсэг нь асуултын үгээр илэрхийлэгддэг" Хэзээ", асуултын үндсэн хэсэгт агуулагдах мэдээллийн хангалтгүй байдлыг илтгэж, түр зуурын үзэгдлийн бүсэд (ангилал) хайх шаардлагатай нэмэлт оруулах шаардлагатай. Санал болгож буй судалгааны асуултад: " Дэлхийн хүмүүс өөр галактик руу нисэх боломжтой юу?", - үндсэн (үндсэн) хэсгийг шүүхийн шийдвэрээр илэрхийлнэ:" Дэлхий ертөнц бусад галактик руу нисэх боломжтой", - ба бөөмсөөр илэрхийлсэн хүссэн хэсэг" эсэх", энэ шийдвэрийг батлах эсвэл үгүйсгэх шаардлагатай байгааг харуулж байна. Энэ тохиолдолд асуултын хайж буй хэсэг нь түүний үндсэн хэсэгт агуулагдах зарим мэдээлэл байхгүй, харин түүний үнэн эсвэл худал байдлын талаархи мэдлэг байхгүй байгааг харуулж байгаа бөгөөд энэ мэдлэгийг олж авахыг шаарддаг.

Асуулт тавихад тавигдах хамгийн чухал логик шаардлага бол түүний гол (үндсэн) хэсэг нь үнэн санал байх явдал юм. Энэ тохиолдолд асуултыг логикийн хувьд зөв гэж үзнэ. Хэрэв асуултын гол хэсэг нь худал санал байвал асуултыг логикийн хувьд буруу гэж үзэх хэрэгтэй. Иймэрхүү асуултууд нь хариулт шаарддаггүй тул татгалзах ёстой.

Жишээлбэл, асуулт: " Дэлхийг тойрсон анхны аялал хэзээ хийгдсэн бэ?" - логикийн хувьд зөв, учир нь түүний гол хэсэг нь үнэн саналаар илэрхийлэгддэг: " Дэлхийг тойрсон анхны аялал хүн төрөлхтний түүхэнд болсон" Асуулт:" Английн нэрт эрдэмтэн Исаак Ньютон харьцангуйн ерөнхий онолын бүтээлээ хэдэн онд дуусгасан бэ?" - логикийн хувьд буруу, учир нь түүний гол хэсэг нь худал саналаар илэрхийлэгддэг: " Харьцангуйн ерөнхий онолыг зохиогч нь Английн нэрт эрдэмтэн Исаак Ньютон юм».

Тэгэхээр асуултын гол (үндсэн хэсэг) нь үнэн байх ёстой бөгөөд худал байж болохгүй. Гэсэн хэдий ч логикийн хувьд зөв асуултууд байдаг бөгөөд тэдгээрийн гол хэсэг нь худал саналууд юм. Жишээлбэл, асуултууд: "Мөнхийн хөдөлгөөнт машин бүтээх боломжтой юу?", "Ангараг дээр ухаалаг амьдрал бий юу?", "Цаг хугацааны машин зохион бүтээх үү?"- Тэдний үндсэн хэсгүүд нь худал саналууд байсан ч логикийн хувьд зөв гэж хүлээн зөвшөөрөх нь гарцаагүй: " . Баримт нь эдгээр асуултын шаардлагатай хэсгүүд нь тэдгээрийн үндсэн, үндсэн хэсгүүдийн үнэний утгыг тодруулахад чиглэгддэг, өөрөөр хэлбэл, дүгнэлт үнэн эсвэл худал эсэхийг олж мэдэх шаардлагатай: " Мөнхийн хөдөлгөөнт машин бүтээх боломжтой”, “Ангараг гариг ​​дээр ухаалаг амьдрал бий”, “Тэд цагийн машин зохион бүтээнэ”. Энэ тохиолдолд асуултууд логикийн хувьд зөв байна. Хэрэв авч үзэж буй асуултуудын хайж буй хэсгүүд нь үндсэн хэсгүүдийнхээ үнэнийг тодруулахад чиглээгүй, харин өөр ямар нэг зүйл зорилготой байсан бол эдгээр асуултууд логикийн хувьд буруу байх болно, жишээлбэл: " Анхны мөнхийн хөдөлгөөнт машин хаана бүтээгдсэн бэ?”, “Ангараг гариг ​​дээр ухаалаг амьдрал хэзээ бий болсон бэ?”, “Цаг хугацааны машинд аялахад хэр их зардал гарах вэ?”. Тиймээс асуулт тавих гол дүрмийг өргөжүүлж, тодруулах хэрэгтэй: зөв асуултын гол (үндсэн) хэсэг нь үнэн зөв дүгнэлт байх ёстой; хэрэв энэ нь худал санал бол түүний эрэлхийлсэн хэсэг нь үндсэн хэсгийн үнэний үнэ цэнийг тодруулахад чиглэгдэх ёстой; эс бөгөөс асуулт логикийн хувьд буруу байх болно. Үндсэн хэсэг нь үнэн байх ёстой гэсэн шаардлага нь үндсэндээ ангиллын асуултууд байдаг бол гол хэсэг нь үнэн байх шаардлага нь үндсэндээ саналын асуултуудын асуудал гэдгийг таахад хэцүү биш юм.

Ангилал ба саналын зөв асуултууд нь үргэлж үнэн хариултыг (түүнчлэн худал) өгөх боломжтой тул бие биетэйгээ төстэй гэдгийг тэмдэглэх нь зүйтэй. Жишээлбэл, категори асуултанд: " Дэлхийн нэгдүгээр дайн хэзээ дууссан бэ?" - үнэн хариулт гэж өгч болно: " 1918 онд", - ба худал:" 1916 онд" Санал болгож буй асуултад: " Дэлхий нарыг тойрон эргэдэг үү?" - мөн үнэн гэж өгч болно: " Тийм ээ, эргэдэг", - ба худал:" Үгүй ээ, эргэдэггүй", - хариулт. Дээрх хоёр асуулт нь логикийн хувьд зөв юм. Тиймээс үнэн зөв хариулт авах үндсэн боломж нь зөв асуултын гол шинж чанар юм. Хэрэв зарим асуултанд үнэн зөв хариулт авах боломжгүй бол тэдгээр нь буруу байна. Жишээлбэл, санал болгож буй асуултанд үнэн зөв хариулт авч чадахгүй: " Дэлхийн нэгдүгээр дайн хэзээ нэгэн цагт дуусах уу?"- категори асуултын хариуд үүнийг авах боломжгүй юм шиг:" Нар хөдөлгөөнгүй дэлхийг ямар хурдтайгаар эргэдэг вэ?».

Эдгээр асуултын хариултыг хангалтгүй гэж үзэх шаардлагатай бөгөөд асуултууд нь өөрөө логикийн хувьд буруу бөгөөд татгалзах ёстой.

Өөрийгөө туршиж үзээрэй:

1. Асуулт гэж юу вэ? Асуулт ба шүүлтийн хооронд ямар төстэй зүйл байдаг вэ?

2. Судалгааны асуултууд нь мэдээллийн асуултуудаас юугаараа ялгаатай вэ? Судалгаа, мэдээллийн асуулт тус бүр таван жишээ өг.

3. Ангилал ба саналын асуултууд гэж юу вэ? Ангилал ба саналын асуулт тус бүрд таван жишээ өг.

4. Доорх асуултуудыг судалгаа, мэдээллийн шинж чанартай, түүнчлэн категори буюу саналын шинж чанараар нь тодорхойл.

1) Дэлхийн таталцлын хууль хэзээ нээгдсэн бэ?

2) Дэлхийн оршин суугчид нарны аймгийн бусад гаригуудад суурьших боломжтой юу?

3) Бонапарт Наполеон хэдэн онд төрсөн бэ?

4) Хүн төрөлхтний ирээдүй юу вэ?

5) Дэлхийн III дайнаас урьдчилан сэргийлэх боломжтой юу?

5. Асуултын логик бүтэц нь юу вэ? Ангилал судалгааны асуултын жишээг өгч, үндсэн (үндсэн) болон хайж буй хэсгүүдийг тодруулна уу. Ангилал мэдээллийн асуулт, санал асуулгын асуулт, саналын мэдээллийн асуулттай ижил зүйлийг хий.

6. Аль асуулт нь логикийн хувьд зөв, аль нь буруу вэ? Логикийн хувьд зөв, буруу асуултын таван жишээг өг. Логикийн хувьд зөв асуулт нь худал гол хэсэгтэй байж болох уу? Асуултыг зөв тодорхойлоход түүний үндсэн хэсгийн үнэнийг шаардах нь хангалттай юу?

Логикийн хувьд зөв категори болон саналын асуултуудад нийтлэг зүйл юу вэ?

7. Дараах асуултуудын аль нь логикийн хувьд зөв, аль нь буруу гэж хариулна уу.

1) Бархасбадь гараг нарнаас хэд дахин том вэ?

2) Номхон далай ямар талбайтай вэ?

3) Владимир Владимирович Маяковский "Өмдтэй үүл" шүлгийг хэдэн онд бичсэн бэ?

4) Исаак Ньютон, Альберт Эйнштейн нарын хамтарсан шинжлэх ухааны үр дүнтэй ажил хэр удаан үргэлжилсэн бэ?

5) Дэлхийн экваторын урт хэд вэ?

Бүх мэдлэгийн салшгүй хэсэг болох хүн. Ялангуяа энэ үйл явц нь тусгал, дүгнэлт, нотлох баримт бүрдүүлэхтэй холбоотой бол. Логикийн хувьд шүүлтийг мөн "мэдэгдэл" гэсэн үгээр тодорхойлдог.

Үзэл баримтлал болгон шүүлт

Нэг л ухагдахуун, санаа нь хоорондоо уялдаа холбоотой байх боломжгүй байхад хүмүүс ямар нэгэн зүйлийн талаар мэдлэгтэй болж чадах уу? Хариулт нь тодорхой: үгүй. Мэдлэг нь үнэн эсвэл худалтай холбоотой тохиолдолд л боломжтой байдаг. Үзэл баримтлалын хооронд ямар нэгэн холбоо байгаа тохиолдолд л үнэн худал гэдэг асуулт гарч ирдэг. Тэдний хоорондын нэгдэл нь зөвхөн ямар нэг зүйлийн талаар дүгнэлт хийх мөчид л тогтдог. Жишээлбэл, "муур" гэдэг үгийг дуудахдаа бид зөвхөн ойлголтыг л хэлдэг. "Муур дөрвөн сарвуутай" гэсэн санал нь аль хэдийн үнэн эсвэл худал, эерэг эсвэл сөрөг үнэлгээтэй мэдэгдэл юм. Жишээ нь: "Бүх мод ногоон"; "Зарим шувууд нисдэггүй"; "Ямар ч далайн гахай загас биш"; "Зарим ургамлыг идэж болохгүй."

Шүүхийн шийдвэр гаргах нь хүчин төгөлдөр гэж үзэх үндэслэлийг бий болгодог. Энэ нь танд үнэн рүү эргэцүүлэн бодох боломжийг олгоно. Шүүмжлэл нь үзэгдэл ба объектуудын хоорондын холбоог эсвэл шинж чанар, шинж чанаруудын хоорондын холбоог тусгах боломжийг олгодог. Жишээ нь: "Ус хөлдөхдөө өргөсдөг" - энэ хэллэг нь бодисын эзэлхүүн ба температурын хоорондын хамаарлыг илэрхийлдэг. Энэ нь бидэнд янз бүрийн ойлголтуудын хоорондын харилцаа холбоо тогтоох боломжийг олгодог. Шүүмжлэл нь үйл явдал, объект, үзэгдлийн хоорондын холбоог батлах эсвэл үгүйсгэхийг агуулдаг. Жишээлбэл, тэд: "Машин байшингийн дагуу явж байна" гэж хэлэхэд тэд хоёр объект (машин ба байшин) хоорондын тодорхой орон зайн харилцааг илэрхийлдэг.

Шүүмж гэдэг нь объект (үзэл баримтлал) оршин тогтнохыг батлах, үгүйсгэх, түүнчлэн объект эсвэл ойлголт, объект, тэдгээрийн шинж чанаруудын хоорондын холбоог агуулсан сэтгэцийн хэлбэр юм.

Шүүмжлэлийн хэл шинжлэлийн хэлбэр

Үг, хэллэгээс гадуур ухагдахуун байдаггүйтэй адил өгүүлбэрээс гадуур мэдэгдэл хийх боломжгүй юм. Түүнээс гадна, өгүүлбэр бүр нь шүүлт биш юм. Хэл шинжлэлийн хэлбэрийн аливаа мэдэгдэл нь ямар нэг зүйлийн тухай мессежийг агуулсан хүүрнэл хэлбэрээр илэрхийлэгддэг. Үгүйсгэх, батлахгүй (асуулт ба захирах үг), өөрөөр хэлбэл үнэн, худал гэж тодорхойлж болохгүй өгүүлбэрүүд нь шүүлт биш юм. Ирээдүйд тохиолдож болох үйл явдлуудыг тодорхойлсон мэдэгдлийг худал эсвэл үнэн агуулсан гэж үнэлэх боломжгүй.

Гэсэн хэдий ч хэлбэрийн хувьд асуулт эсвэл анхаарлын тэмдэг шиг харагдах өгүүлбэрүүд байдаг. Гэхдээ утгаараа тэд баталж эсвэл үгүйсгэдэг. Тэднийг риторик гэж нэрлэдэг. Жишээ нь: "Ямар орос хүн хурдан жолоодох дургүй вэ?" тодорхой үзэл бодолд тулгуурласан риторик асуулт өгүүлбэр юм. Энэ хэргийн шүүхийн шийдвэрт орос хүн бүр хурдан жолоодох дуртай гэсэн мэдэгдлийг агуулж байна. "Зургадугаар сард цас олохыг хичээ!" Энэ тохиолдолд санал болгож буй арга хэмжээ нь боломжгүй гэсэн санааг баталж байна. Энэ бүтээн байгуулалт нь бас мэдэгдэл юм. Өгүүлбэртэй адил саналууд нь энгийн эсвэл төвөгтэй байж болно.

Шүүлтийн бүтэц

Энгийн мэдэгдэлд ялгах боломжтой тодорхой хэсэг байдаггүй. Түүний бүрэлдэхүүн хэсгүүд нь үзэл баримтлалыг нэрлэсэн илүү энгийн бүтцийн бүрэлдэхүүн хэсгүүд юм. Семантик нэгжийн үүднээс авч үзвэл энгийн шүүлт нь үнэний утгатай бие даасан холбоос юм.

Объект ба түүний шинж чанарыг холбосон мэдэгдэл нь эхний болон хоёр дахь ойлголтыг агуулдаг. Энэ төрлийн саналд дараахь зүйлс орно.

• -Шүүхийн сэдвийг тусгасан үг нь субьект бөгөөд С гэж тэмдэглэсэн.
• - Predicate - объектын шинж чанарыг илэрхийлдэг бөгөөд үүнийг R үсгээр тэмдэглэдэг.
• - Холбогч гэдэг нь хоёр ойлголтыг хооронд нь холбоход зориулагдсан үг юм (“байна”, “байна”, “биш”, үгүй”). Орос хэл дээр та үүнийг зураас ашиглаж болно.

  "Эдгээр амьтад бол махчин амьтан" гэсэн энгийн санаа юм.

  

  Шүүмжлэлийн төрлүүд

  Энгийн мэдэгдлийг дараахь байдлаар ангилдаг.

  • чанар;
  • тоо хэмжээ (сэдвийн эзлэхүүнээр);
  • предикатын агуулга;
  • горимууд.

  Чанарын дүгнэлтүүд

  Гол, чухал логик шинж чанаруудын нэг бол чанар юм. Энэ тохиолдолд мөн чанар нь үзэл баримтлалын хооронд тодорхой харилцаа байхгүй эсвэл байгаа эсэхийг илрүүлэх чадвараар илэрдэг.

  Ийм холболтын чанараас хамааран дүгнэлтийн хоёр хэлбэрийг ялгадаг.

  • - Баталгаатай. Субъект ба предикат хоёрын хооронд ямар нэгэн холбоо байгааг илтгэнэ. Ийм мэдэгдлийн ерөнхий томъёо нь: "S бол P." Жишээ нь: "Нар бол од юм."
  • - Сөрөг. Үүний дагуу энэ нь (S ба P) ойлголтуудын хооронд ямар ч холбоо байхгүй байгааг харуулж байна. Сөрөг дүгнэлтийн томьёо нь “S бол P биш”. Жишээ нь: "Шувууд бол хөхтөн амьтан биш."

  

  Аливаа мэдэгдэл нь нуугдмал үгүйсгэлийг агуулдаг тул энэ хуваагдал нь маш нөхцөлтэй байдаг. Мөн эсрэгээр. Жишээлбэл, "энэ бол далай" гэсэн хэллэг нь гол биш, нуур биш гэх мэтийг илэрхийлдэг. Хэрэв "энэ далай биш" бол өөр зүйл, магадгүй далай эсвэл булан байж магадгүй юм. Ийм учраас нэг мэдэгдлийг нөгөөгийн хэлбэрээр илэрхийлж болох бөгөөд давхар сөрөг нь батлахтай тохирч байна.

  Баталгаажуулах мэдэгдлийн төрлүүд

  Хэрэв "биш" бөөмс нь холбогчийн өмнө ирээгүй, харин предикатын салшгүй хэсэг бол ийм өгүүлбэрийг батлах гэж нэрлэдэг: "Хийсэн шийдвэр буруу байсан." Хоёр сорт байдаг:

  • - "S бол P" үед эерэг шинж чанар: "Нохой бол гэрийн нохой."
  • - сөрөг шинж чанартай, "S биш-P" үед: "Шөл хуучирсан байна."

  Сөрөг дүгнэлтийн төрлүүд

  Үүний нэгэн адил сөрөг мэдэгдлүүдийн дунд:

  • - эерэг предикаттай "S нь P биш" гэсэн томъёо: "Оля алим идээгүй";
  • - сөрөг предикаттай бол "S бол P биш" гэсэн томъёо: "Оля явахаас өөр аргагүй юм."

  Сөрөг шүүлтийн ач холбогдол нь үнэнд хүрэхэд тэдний оролцоонд оршдог. Тэд ямар нэг зүйлээс объектив байхгүй байгааг тусгадаг. Сөрөг үр дүн нь бас үр дүн гэж тэд хэлээгүй. Тухайн объект юу биш, ямар шинж чанаргүй болохыг тогтоох нь эргэцүүлэн бодох үйл явцад бас чухал юм.

  

  Тоо хэмжээгээр шүүлтүүд

  Сэдвийн логик эзэлхүүний талаархи мэдлэг дээр суурилсан өөр нэг шинж чанар бол тоо хэмжээ юм. Дараах төрлүүдийг ялгадаг.

  • Ганц, нэг сэдвийн талаархи мэдээллийг агуулсан. Томъёо: "S бол (биш) P."
  • -Тодорхой ангиллын объектын зарим нэг хэсгийн талаар дүгнэлт хийдэг хүмүүс юм. Энэ хэсгийн тодорхой байдлаас хамааран тэд дараахь зүйлийг ялгадаг: тодорхой (Зөвхөн зарим S нь (байгаа) P) ба тодорхойгүй (Зарим S нь (байгаа) P").
  • -Ерөнхий хэсэгт авч үзэж буй ангийн объект бүрийн тухай мэдэгдэл эсвэл үгүйсгэлийг агуулсан (“Бүх S нь P” эсвэл “Үгүй S нь P”).

  

  Хамтарсан шүүлтүүд

  Олон мэдэгдэл нь чанарын болон тоон шинж чанартай байдаг. Тэдний хувьд хосолсон ангиллыг ашигладаг. Энэ нь дөрвөн төрлийн шүүлтийг өгдөг:

  • - Ерөнхий эерэг: "Бүх S нь P."
  • - Ерөнхий сөрөг: "S байхгүй бол P."
  • - Хэсэгчилсэн эерэг: "Зарим S нь P."
  • - Хэсэгчилсэн сөрөг: "Зарим S нь P биш."

  Предикатын агуулгад үндэслэсэн олон янзын шүүлтүүд

  Предикатын семантик ачааллаас хамааран мэдэгдлийг дараахь байдлаар ялгадаг.

  • - шинж чанар, шинж чанар;
  • - харилцаа, эсвэл хамаатан садан;
  • - оршихуй, эсвэл оршихуй.

  Агуулгаас үл хамааран бодлын объектуудын хоорондын шууд холбоог харуулсан энгийн дүгнэлтийг атрибутив эсвэл категори гэж нэрлэдэг. Жишээлбэл: "Хэн ч бусдын амийг авах эрхгүй." Атрибутив мэдэгдлийн логик схем: "S нь P (эсвэл биш)" (субъект, холбогч, предикат тус тус).

  Харьцангуй дүгнэлт гэдэг нь өөр өөр ангилалд (цаг хугацаа, газар, учир шалтгааны хамаарал) хоёр ба түүнээс дээш объектын хоорондох холбоо (харилцаа) байгаа эсвэл байхгүй байгааг илэрхийлсэн мэдэгдлүүд юм. Жишээ нь: "Петя Васягийн өмнө ирсэн."

  Хэрэв предикат нь объектууд эсвэл бодлын объектын хооронд холбоо байхгүй эсвэл байгааг илтгэж байвал ийм мэдэгдлийг экзистенциал гэж нэрлэдэг. Энд предикат нь "байна/байна", "байсан/байсан", "байдаг/байдаг" гэх мэт үгсээр илэрхийлэгдэнэ. Жишээ нь: "Галгүй утаа байхгүй."

  

  Шийдвэрлэх арга

  Ерөнхий агуулгаас гадна мэдэгдэл нь нэмэлт семантик ачааллыг агуулж болно. "Боломжтой", "ач холбогдолгүй", "чухал" болон бусад үгс, түүнчлэн "зөвшөөрөхгүй", "боломжгүй" болон бусад холбогдох үгүйсгэлийн тусламжтайгаар шүүлтийн хэлбэрийг илэрхийлдэг.

  Ийм төрлийн арга байдаг:

  • -Алетик (жинхэнэ) модал. Бодлын объектуудын хоорондын холбоог илэрхийлдэг. Модаль үгс: "магадгүй", "санамсаргүй", "шаардлагатай", мөн тэдгээрийн ижил утгатай.
  • -Деонтик (норматив) горим. Зан үйлийн хэм хэмжээг хэлнэ. Үг: "хориотой", "заавал", "зөвшөөрсөн", "зөвшөөрөгдсөн" гэх мэт.
  • Эпистемик (танин мэдэхүйн) арга нь найдвартай байдлын түвшинг тодорхойлдог ("батлагдсан", "няцаагдсан", "эргэлзээтэй" ба тэдгээрийн аналогууд).
  • -Аксиологийн (үнэ цэнэ) модал. Тухайн хүний ​​тодорхой үнэт зүйлд хандах хандлагыг илэрхийлдэг. Модаль үгс: "муу", ​​"хайхрамжгүй", "чухал", "сайн".

  Ихэвчлэн сэтгэл хөдлөлийн байдалтай холбоотой үг хэллэгийн агуулгад хандах хандлагыг хэв маягийн мэдэгдлээр илэрхийлэх нь үнэ цэнийн дүгнэлт гэж тодорхойлогддог. Жишээ нь: "Харамсалтай нь бороо орж байна." Энэ тохиолдолд бороо орж байгаа тухай илтгэгчийн субъектив хандлага тусгагдсан болно.

  

  Нарийн төвөгтэй хэллэгийн бүтэц

  Нарийн төвөгтэй саналууд нь логик холбоосоор холбогдсон энгийн саналуудаас бүрдэнэ. Ийм холбогчийг өгүүлбэрийг хооронд нь холбож болох холбоос болгон ашигладаг. Орос хэлэнд холболтын хэлбэрийг авдаг логик холболтоос гадна тоон үзүүлэлтүүдийг бас ашигладаг. Тэд хоёр хэлбэрээр ирдэг:

  • -Ерөнхий тоологч нь “бүгд”, “бүгд”, “байхгүй”, “бүгд” гэх мэт үгс юм. Энэ тохиолдолд өгүүлбэрүүд дараах байдалтай байна: "Бүх объектууд тодорхой шинж чанартай байдаг."
  • -Эзистенциал хэмжигдэхүүн нь “зарим”, “олон”, “цөөн”, “хамгийн их” гэх мэт үгс юм. Энэ тохиолдолд нийлмэл өгүүлбэрийн томъёо нь: "Зарим объектууд тодорхой шинж чанартай байдаг."

  Нарийн төвөгтэй шүүлтийн жишээ: "Өглөө эрт азарган тахиа дуугарч, намайг сэрээсэн тул би хангалттай унтсангүй."

  

  Шүүх

  Хүнд үг хэлэх чадвар нь нас ахих тусам аажмаар үүсдэг. Гурван нас хүртлээ хүүхэд ямар нэгэн зүйлийг илэрхийлсэн энгийн өгүүлбэрүүдийг аль хэдийн дуудаж чаддаг. Логик холбоо, дүрмийн холбоог ойлгох нь тодорхой асуудлаар зөв дүгнэлт хийх зайлшгүй бөгөөд хангалттай нөхцөл юм. Хөгжлийн явцад хүн мэдээллийг нэгтгэж сурдаг. Энэ нь түүнд энгийн шүүлтүүд дээр үндэслэн нарийн төвөгтэй зүйлсийг бий болгох боломжийг олгодог.