Логик шүүлт. шүүлт, шийдвэрийн төрөл гэж юу вэ

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

тайлангийн Жишээ нь: "Волга, Каспийн тэнгис рүү урсаж", "AS Пушкин шүлэг "Хүрэл морьтон", "Сибирийн бар Улаан номонд орсон" гэх мэт бичсэн

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

сэдэв, үндсэн болон шормос quantifier: Шүүх нь дараах хүчин зүйлийг хэлнэ.

1. Агуулга (LAT subjektum. - «Доорх») - гэж шүүлтийн-д заасны дагуу, түүний хичээл ( "S").
2. үндсэн (Латин praedicatum. - «хэлэхдээ") - объект тагийн тусгал, шүүлтийн сэдвээр хэлсэн байдаг ( "P").
3. Багцлах - субьектийн ( «S») болон үндсэн ( "P") хоорондын харьцаа. нь үндсэн илэрхийлсэн нь эд хөрөнгийг сэдвийн байгаа / байхгүйг тодорхойлдог. Магадгүй энэ нь гэсэн үг, мөн "зураас", эсвэл үг "нь" ( "биш") заасан байна, "байгаа", "бодис" "байгаа", болон бусад.
4. Quantifier (quantifier үг) шүүлтийн ямар зүйл нь үзэл баримтлалын хүрээг тодорхойлсон. Энэ сэдвийн талаар өмнө зогсож байдаг, гэхдээ энэ нь бас шүүлтийн байхгүй байж болно. Ийм "бүх", "олон", "хэдэн", "үгүй", "үгүй", болон бусад үгээр тэмдэглэсэн.

Үнэн, худал тайлан

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

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

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

тайлангийн төрөл шүүлтүүд

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

Хариуд нь interrogative өгүүлбэр асуулт, хариулт авах агуулж байдаг: энэ нь юу ч биш "гэж юу вэ ирээдүйн барьж миний хувьд, хийдэг" тэр үед хэлэхдээ, үгүйсгэж болохгүй. Тиймээс ийм шийдвэр буруу асуудал юм үздэг. Interrogative өгүүлбэр, зарчмын хувьд асуулт үнэн / falsity дээр үндэслэн ялгавартай байж чадахгүй байна, учир нь ямар ч дүгнэлт агуулаагүй байна.

өгүүлбэрийн урамшууллын төрөл, хэргийн үйл ажиллагааны зарим нэг хөшүүрэг байдаг онд байгуулагдсан байдаг бөгөөд энэ нь хоригийг хүсэлт: "Босч Өө, эш үзүүлэгч, ДАВИД, болон оролцож байна." Шүүлтийн хувьд, зарим судлаачдын үзэж байгаагаар тэд энэ төрлийн саналыг багтсан байна. Бусад нь энэ терлийн шийдвэрийн талаар янз бүрийн юм гэж үзэж байна.

чанарын шүүлт

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

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

тоон тодорхойлолт

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

Энгийн, нийлмэл шүүлтүүд

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

Төвөгтэй хэлбэр нь хэд хэдэн энгийн дүгнэлт нэгдэж байгуулсан байна.

энгийн шийдвэрийн ангилал

тодотгогч, харилцаа, existential, терлийн нь шүүлтийн: логик Энгийн шүүлтүүд дараах хэлбэрээр байж болно.

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

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

Existential шүүлтийн - субьектийн (материал, төгс аль аль нь) байгаа эсэх / nonexistence энэ мэдэгдэл: "өөрийн оронд ямар ч эш үзүүлэгч байна", "Сар дэлхийн дагуул юм."

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

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

Цогцолбор шүүлтүүд, логик connectives төрөл

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

• Холбоос үг (а ʌ б - шүүхийн шийдвэр холбосон). Шүүлт-conjuncts "болон", "эрх, хүний, иргэн бусдын эрх, эрх чөлөөг зөрчихгүй байх ёстой эрх чөлөөг хэрэгжүүлэх." Нь холбон байна
• Disjunction (avb - шүүлтийг хувааж). хамтран "эсвэл" - шүүлтийн заалт бүрдүүлэгч элементүүд нь Биндэр болгон ашиглаж байна гэх мэт. Жишээ нь: "нэхэмжлэгч нэмэгдүүлж, нэхэмжлэлийн шаардлагын хэмжээг бууруулах эрхтэй."
• Дүгнэлт нь (а → B - шүүлтийн нөлөө). илгээж байгаа захидал бүтэц төвөгтэй шүүлтийн хуваарилагдаж, улмаар бол энэ нь ийм шийдвэр implicative холбоотой гэж үзэж болох юм. Ийм "бол ... Дараа нь" гэж холбоодын хэлбэрээр ашиглаж Биндэр байна. Жишээ нь: "цахилгаан гүйдэл санаж дамжуулагчийн дамжуулан бол, утас хүртэл халааж", "Та аз жаргалтай байхыг хүсч байна - аз жаргалтай байх".
• Эквивалент (а ≡ б - ижил шүүлтийн). Энэ тохиолдолд А ба В-ийн утгууд нь яг тэр (үнэн эсвэл аль аль нь худал аль аль нь) нь явагддаг: "Хүн нисэх шувуу шиг, аз жаргалыг бий болгож байна."
• Үгүйсгэхэд (¬a, А - шүүлтийн Урвуу). эх үүсвэр нь тус бүр эх хааж мэдээ нийлмэл тайлан холбоотой байдаг. "Биш" баглаа ашиглан хийж болно. Иймээс талаар анхны тайлан дараахь уу: "бух улаан гэрэлд урвалд" (а) - хаасныг шиг сонсогдож байна: "бух улаан гэрэлд хариу үйлдэл биш юм" (¬A).