Шүүмжлэл гэдэг нь объектын оршин тогтнох, тэдгээрийн хоорондын холбоо, шинж чанарын тухай, түүнчлэн объектын хоорондын харилцааны талаар ямар нэг зүйлийг батлах эсвэл үгүйсгэх сэтгэлгээний хэлбэр юм.
Шүүхийн жишээ: “Ижил мөрөн Каспийн тэнгист урсдаг”, “А. С. Пушкин "Хүрэл морьтон", "Уссури бар улаан номонд орсон" гэх мэт шүлэг бичсэн.
Шүүлтийн бүтэц
Шүүмжлэлд дараах элементүүд багтана: сэдэв, предикат, холбогч болон тоологч.
- Сэдэв (лат. subjektum - "үндсэн") - энэ шүүлтэд юу гэж хэлсэн бэ, түүний сэдэв ("S").
- Предикат (лат. praedicatum - "гэж хэлсэн") - тухайн субьектийн шинж чанарын тусгал, шүүлтийн сэдвийн талаар юу гэж хэлсэн ("P").
- Холбоос нь субьект ("S") ба предикат ("P") хоорондын хамаарал юм. Предикатад илэрхийлэгдсэн аливаа өмчийн субьект байгаа / байхгүй эсэхийг тодорхойлдог. Үүнийг зураасаар эсвэл “байна” (“байна”), “байна”, “байна”, “мөн чанар” гэх мэт үгээр илэрхийлж болно.
- Тоон илэрхийлэгч (тоон илэрхийлэгч үг) нь шүүлтийн субьект хамаарах ойлголтын хамрах хүрээг тодорхойлдог. Сэдвийн өмнө зогсох боловч байхгүй байж болношүүлт. "Бүгд", "олон", "зарим", "байхгүй", "байхгүй" гэх мэт үгсээр тэмдэглэгдсэн.
Үнэн ба худал шүүлт
Шүүмжлэлд батлагдсан / үгүйсгэсэн шинж тэмдэг, шинж чанар, объектын харилцаа бодит байдалтай нийцэж байвал шүүлт үнэн болно. Жишээ нь: "Бүх хараацай шувууд", "9 нь 2-оос их" гэх мэт
Шүүхийн шийдвэрт тусгагдсан мэдэгдэл үнэн биш бол бид “Нар дэлхийг тойрон эргэдэг”, “Нэг килограмм төмөр нэг килограмм хөвөн даавуунаас хүнд” гэх мэт худал дүгнэлтэд хүрч байна. Зөв дүгнэлт нь зөв дүгнэлтийн үндэс болдог.
Гэхдээ шүүлт нь үнэн эсвэл худал байж болох хоёр утгатай логикоос гадна олон хэмжээст логик байдаг. Түүний нөхцлийн дагуу шүүхийн шийдвэр мөн хугацаагүй байж болно. Энэ нь ялангуяа ирээдүйн ганцаарчилсан шүүлтүүдийн хувьд үнэн юм: "Маргааш тэнгисийн цэргийн тулаан болно / болохгүй" (Аристотель, "Тайлбарын тухай"). Хэрэв бид үүнийг үнэн шүүлт гэж үзвэл маргааш тэнгисийн цэргийн тулаан болохгүй гэж үзэж болохгүй. Тиймээс үүнийг хийх шаардлагатай байна. Эсвэл эсрэгээр: энэ шүүлтийг одоогоор худал гэж нотолсоноор бид маргааш болох тэнгисийн цэргийн тулалдаанд оролцох боломжгүй болгож байна.
Мэдэгдэлийн төрлөөр шүүлт
Таны мэдэж байгаагаар өгүүлбэрийн төрлөөс хамааран өгүүлбэрийн өгүүлбэр нь өгүүлэх, урамшуулах, асуух гэсэн гурван төрөл байдаг. Жишээлбэл, "Би гайхалтай мөчийг санаж байна" гэсэн өгүүлбэрт хамаарнаөгүүллэгийн төрөлд. Ийм шүүлт нь бас хүүрнэл байх болно гэж үзэх нь үндэслэлтэй юм. Энэ нь тодорхой мэдээллийг агуулсан, тодорхой үйл явдлыг мэдээлдэг.
Харин, асуух өгүүлбэр нь “Ирэх өдөр надад юу бэлдэж байна вэ?” гэсэн хариултыг агуулсан асуултыг агуулна. Энэ нь юу ч хэлдэггүй, үгүйсгэдэггүй. Иймээс ийм шүүлт нь байцаалтын шинжтэй гэсэн нь буруу юм. Асуултыг үнэн/худал гэсэн зарчмаар ялгах боломжгүй тул байцаах өгүүлбэр нь зарчмын хувьд дүгнэлт агуулаагүй болно.
Урамшууллын төрлийн өгүүлбэрүүд нь "Босоорой, эш үз, хар, сонс" гэсэн үйлдэл, хүсэлт, хориг байгаа үед үүсдэг. Шүүмжийн хувьд зарим судлаачдын үзэж байгаагаар тэдгээр нь энэ төрлийн өгүүлбэрт байдаггүй. Бусад хүмүүс бид нэг төрлийн модал шүүлтийн тухай ярьж байна гэж үздэг.
Шүүлтийн чанар
Чанарын үүднээс авч үзвэл, дүгнэлт нь эерэг (S нь P) эсвэл сөрөг (S нь P биш) байж болно. Батлах санааны хувьд тухайн зүйлд угтвар үгийн тусламжтайгаар тодорхой шинж чанарыг хавсаргана. Жишээ нь: "Леонардо да Винчи бол Италийн зураач, архитектор, барималч, эрдэмтэн, байгаль судлаач, мөн зохион бүтээгч, зохиолч, Сэргэн мандалтын үеийн урлагийн хамгийн том төлөөлөгч юм."
Сөрөг саналд эсрэгээр өмчийг тухайн сэдвээс хасна:туршилтын баталгаа."
Тоон үзүүлэлт
Логикийн шүүлтүүд нь ерөнхий (тухайн ангийн бүх объектод хамаарах), хувийн (тэдгээрийн заримынх нь хувьд) болон ганц (нэг хуулбарт байгаа объектын тухай) байж болно. Жишээлбэл, "Бүх муурнууд шөнийн цагаар саарал байдаг" гэх мэт дүгнэлт нь бүх мууранд (шүүлтийн сэдэв) нөлөөлдөг тул ерөнхий шинж чанартай байх болно гэж маргаж болно. “Зарим могой хоргүй” гэдэг нь хувийн шүүлтийн жишээ юм. Хариуд нь "Днепр бол тайван цаг агаарт гайхамшигтай" гэсэн дүгнэлт нь ганцхан дүгнэлт юм, учир нь бид нэг хэлбэрээр оршдог тодорхой нэг голын тухай ярьж байна.
Энгийн бөгөөд төвөгтэй дүгнэлт
Бүтэцээс хамааран шийдвэр нь энгийн эсвэл төвөгтэй хэлбэртэй байж болно. Энгийн саналын бүтцэд "Ном бол мэдлэгийн эх сурвалж" гэсэн хоёр холбоотой ухагдахууныг (S-P) агуулдаг. Мөн нэг ойлголттой шүүлтүүд байдаг - хоёр дахь нь зөвхөн "Харанхуй" (P).
Хэд хэдэн энгийн саналуудыг нэгтгэснээр цогц хэлбэр үүсдэг.
Энгийн шүүлтийн ангилал
Логик дахь энгийн шүүлтүүд нь дараах төрлүүд байж болно: атрибутив, хамаарал бүхий шүүлтүүд, оршихуйн, модаль.
Атрибутив (өмчийн дүгнэлт) нь тухайн объект тодорхой шинж чанартай (шинж чанар), үйл ажиллагаатай гэдгийг батлах/үгүйсгэх зорилготой. Эдгээр дүгнэлтүүд нь ангилсан хэлбэртэй бөгөөд эргэлзээгүй: "Хөхтөн амьтдын мэдрэлийн систем нь тархи, нугасаас бүрддэг.тархи болон гадагшлах мэдрэлийн замууд."
Харьцааны шүүлтүүд нь объект хоорондын тодорхой харилцааг авч үздэг. Тэд орон зай-цаг хугацааны нөхцөл, учир шалтгаан гэх мэт байж болно. Жишээ нь: "Хуучин найз хоёр шинэ найзаас дээр", "Устөрөгч нь нүүрстөрөгчийн давхар ислээс 22 дахин хөнгөн."
Оршихуйн шүүлт гэдэг нь аливаа объектын орших / байхгүйн тухай мэдэгдэл (материаллаг ба идеал): "Түүний оронд эш үзүүлэгч байхгүй", "Сар бол дэлхийн дагуул".
Модаль санал гэдэг нь тодорхой модаль оператор (шаардлагатай, сайн/муу; батлагдсан, мэдэгдэж/мэдэгдэхгүй, хориотой, итгэх гэх мэт) агуулсан мэдэгдлийн хэлбэр юм. Жишээ нь:
- "Орос улсад боловсролын шинэчлэл хийх шаардлагатай байна" (алетик арга - боломж, ямар нэг зүйлийн хэрэгцээ).
- "Хүн бүр хувийн шударга байх эрхтэй" (deontic modality - нийгмийн зан үйлийн ёс суртахууны хэм хэмжээ).
- "Төрийн өмчид хайхрамжгүй хандах нь түүнийг алдахад хүргэдэг" (аксиологийн арга - материаллаг болон оюун санааны үнэт зүйлсэд хандах хандлага).
- "Бид таны гэм зэмгүй гэдэгт итгэдэг" (эпистемик арга - мэдлэгийн найдвартай байдлын зэрэг).
Нарийн төвөгтэй дүгнэлт ба логик холболтын төрлүүд
Өмнө дурьдсанчлан нарийн төвөгтэй шүүлтүүд нь хэд хэдэн энгийн дүгнэлтээс бүрддэг. Тэдгээрийн хоорондох логик холбоосууд нь дараах заль мэх юм:
- Холбоо (болон ʌ b нь холбох санаа). Хамтарсан шүүлтүүд нь "ба" гэсэн үгтэй байдаг:“Хүний болон иргэний эрх, эрх чөлөөг хэрэгжүүлэх нь бусдын эрх, эрх чөлөөг зөрчиж болохгүй.”
- Таслах (a v b – салгах дүгнэлт). Салангид дүгнэлтийг бүрэлдэхүүн хэсэг болгон ашигладаг бөгөөд "эсвэл" нэгдлийг холбоос болгон ашигладаг. Жишээ нь: "Нэхэмжлэгч нэхэмжлэлийн хэмжээг нэмэгдүүлэх, багасгах эрхтэй."
- Учир нь (a → b – шүүлт-үр дагавар). Хэрэв нийлмэл шүүлтийн бүтцэд үндэслэл ба үр дагаварыг ялгаж үзвэл ийм дүгнэлт нь далд дүгнэлтэд хамаарна гэж үзэж болно. Энэ маягтын холбоос болгон "хэрэв … тэгвэл" гэх мэт холбоог ашигладаг. Жишээ нь: "Хэрэв цахилгаан гүйдэл дамжуулагчаар дамжин өнгөрвөл дамжуулагч халах болно", "Хэрэв та аз жаргалтай байхыг хүсч байвал тэр бай."
- Эцвивалент (a ≡ b – ижил дүгнэлт). a ба b ижил үед тохиолддог (аль аль нь үнэн эсвэл хоёулаа худал): "Шувуу нисдэг шиг хүнийг аз жаргалтай байлгахын тулд бүтээдэг."
- Үгүйсгэх (¬a, ā – шүүлт-урвуу). Анхны мэдэгдэл бүр нь эхийг үгүйсгэсэн нийлмэл мэдэгдэлтэй холбоотой байдаг. Энэ нь "биш" гэсэн багцын тусламжтайгаар хийгддэг. Үүний дагуу "Бух улаан гэрэлд хариу үйлдэл үзүүлдэг" (a) гэсэн анхны мэдэгдэл иймэрхүү байвал үгүйсгэх нь: "Бух улаан гэрэлд хариу үйлдэл үзүүлэхгүй" (¬a).
