Хэлний практикт худал, үнэн мэдэгдлийг ихэвчлэн ашигладаг. Эхний үнэлгээ нь үнэнийг үгүйсгэх (үнэн худал) гэж ойлгогддог. Бодит байдал дээр бусад төрлийн үнэлгээг бас ашигладаг: тодорхойгүй байдал, нотлогдоогүй байдал (нотлох чадвар), шийдэгдэх боломжгүй байдал. Хэний тооны х-ийн талаар маргахдаа энэ нь логикийн хуулиудыг авч үзэх шаардлагатай.
"Олон утгат логик" бий болсноор үнэний үзүүлэлтийг хязгааргүй тоогоор ашиглахад хүргэсэн. Үнэний элементүүдтэй холбоотой нөхцөл байдал будлиантай, ээдрээтэй тул үүнийг тодруулах нь чухал.
Онолын зарчим
Үнэн мэдэгдэл нь шинж чанарын (атрибут) үнэ цэнийг хэлдэг бөгөөд үүнийг үргэлж тодорхой үйлдэлд тооцдог. Үнэн гэж юу вэ? Энэхүү схем нь дараах байдалтай байна: "З санал зөв байх тохиолдолд X санал нь Y үнэний утгатай байна."
Жишээ харцгаая. Өгөгдсөн мэдэгдлүүдийн аль нь үнэн болохыг ойлгох шаардлагатай: "А объект В тэмдэгтэй". Энэ мэдэгдэл нь тухайн объект нь B шинж чанартай байдаг тул худал, а нь B шинж чанартай байдаг тул худал юм. Энэ тохиолдолд "худал" гэсэн нэр томъёог гадны үгүйсгэл болгон ашигладаг.
Үнэнийг тодорхойлох
Үнэн мэдэгдлийг хэрхэн тодорхойлох вэ? Х саналын бүтцээс үл хамааран зөвхөн дараах тодорхойлолтыг зөвшөөрнө: "Х санал байвал зөвхөн X байгаа тохиолдолд X санал үнэн болно."
Энэ тодорхойлолт нь хэлэнд "үнэн" гэсэн нэр томъёог нэвтрүүлэх боломжийг олгож байна. Энэ нь хэлсэн зүйлтэй санал нийлэх эсвэл ярих үйлдлийг тодорхойлдог.
Энгийн үгс
Тэд ямар ч тодорхойлолтгүй үнэн мэдэгдлийг агуулдаг. Хэрэв энэ санал үнэн биш бол "X биш" гэсэн ерөнхий тодорхойлолтоор өөрийгөө хязгаарлаж болно. X болон Y хоёулаа үнэн бол "X ба Y" холбоос үнэн болно.
Жишээ хэлж байна
Аль х-ийн хувьд мэдэгдэл үнэн болохыг хэрхэн ойлгох вэ? Энэ асуултад хариулахын тулд бид "а бөөм нь b орон зайн бүсэд байрладаг" гэсэн илэрхийллийг ашигладаг. Энэ мэдэгдлийн дараах тохиолдлуудыг авч үзье:
- бөөмийг ажиглах боломжгүй;
- та бөөмсийг ажиглаж болно.
Хоёр дахь сонголт нь тодорхой боломжуудыг санал болгож байна:
- бөөм нь үнэндээ сансар огторгуйн тодорхой бүсэд байрладаг;
- тэр сансар огторгуйн төлөвлөсөн хэсэгт ороогүй байна;
- бөөмс нь түүний байршлын талбайг тодорхойлоход хэцүү байхаар хөдөлдөг.
Энэ тохиолдолд өгөгдсөн боломжуудад тохирох дөрвөн үнэний утгыг ашиглаж болно.
Нарийн төвөгтэй бүтцийн хувьд илүү олон нэр томъёо тохиромжтой. Энэ болхязгааргүй үнэний утгыг илэрхийлнэ. Аль тооны хувьд энэ мэдэгдэл үнэн байх нь практик боломжоос хамаарна.
Тодорхой бус байдлын зарчим
Үүний дагуу аливаа мэдэгдэл худал эсвэл үнэн, өөрөөр хэлбэл "худал" ба "үнэн" гэсэн хоёр боломжит үнэний аль нэгээр тодорхойлогддог.
Энэ зарчим нь хоёр үнэлэмжийн онол гэж нэрлэгддэг сонгодог логикийн үндэс юм. Хоёрдмол байдлын зарчмыг Аристотель ашигласан. Энэ философич х тоонуудын аль нь үнэн болохыг маргаж, ирээдүйн санамсаргүй үйл явдлуудтай холбоотой эдгээр мэдэгдлүүдэд тохиромжгүй гэж үзжээ.
Тэр фатализм ба хүний аливаа үйлдлийг урьдчилан тогтоосон хоёрдмол байдлын зарчим хоёрын логик харилцааг тогтоосон.
Дараагийн түүхийн эрин үед энэ зарчимд тавьсан хязгаарлалтыг төлөвлөсөн үйл явдал, мөн байхгүй (ажиглах боломжгүй) объектуудын талаархи мэдэгдлийн дүн шинжилгээг ихээхэн хүндрүүлдэгтэй холбон тайлбарлаж байсан.
Аль мэдэгдлүүд үнэн болохыг бодоход энэ аргаар тодорхой хариулт олох боломжгүй байсан.
Логик системийн талаарх шинээр гарч ирж буй эргэлзээг орчин үеийн логик хөгжүүлсний дараа л арилгасан.
Өгөгдсөн тоонуудын аль нь үнэн болохыг ойлгохын тулд хоёр утгатай логик тохиромжтой.
Тодорхой бус байдлын зарчим
Хэрэв дахин томъёолсон болҮнэнийг илчлэх хоёр утгатай мэдэгдлийн хувилбар бол та үүнийг полисемийн онцгой тохиолдол болгон хувиргаж болно: хэрэв n нь 2-оос их эсвэл хязгааргүйгээс бага байвал аливаа мэдэгдэл нэг n үнэний утгатай болно.
Нэмэлт үнэний утгуудаас ("худал" ба "үнэн"-ээс дээш) үл хамаарах зүйл бол хоёрдмол утгатай зарчим дээр суурилсан олон логик систем юм. Хоёр утгатай сонгодог логик нь "эсвэл", "ба", "биш" гэсэн зарим логик тэмдгүүдийн ердийн хэрэглээг тодорхойлдог.
Тогтворжсон гэж үздэг олон утгат логик нь хоёр үнэлгээтэй системийн үр дүнтэй зөрчилдөх ёсгүй.
Тодорхой бус байдлын зарчим нь үргэлж фатализм, детерминизмын мэдэгдэлд хүргэдэг гэсэн итгэл үнэмшил нь алдаатай гэж тооцогддог. Олон тооны логик нь тодорхой бус үндэслэлийг хэрэгжүүлэхэд зайлшгүй шаардлагатай хэрэгсэл гэж үздэг, түүнийг хүлээн зөвшөөрөх нь хатуу детерминизмыг ашиглахаас татгалзсантай тохирч байна гэсэн санаа бас буруу юм.
Логик тэмдгийн семантик
Х тоогоор энэ мэдэгдэл үнэн болохыг ойлгохын тулд та үнэний хүснэгтээр өөрийгөө зэвсэглэж болно. Логик семантик нь зориулалтын объектуудтай харьцах харьцаа, тэдгээрийн янз бүрийн хэл шинжлэлийн илэрхийлэлийн агуулгыг судалдаг металлогикийн хэсэг юм.
Энэ асуудлыг эртний ертөнцөд аль хэдийн авч үзсэн боловч бүрэн бие даасан сахилга бат хэлбэрээр зөвхөн 19-20-р зууны төгсгөлд томъёолсон. Г. Фреге, К. Пирс, Р. Карнап, С. Крипке нарын бүтээлүүдЭнэ онолын мөн чанар, түүний бодитой, оновчтой байдлыг илчлэх боломжийг олгосон.
Удаан хугацааны туршид семантик логик нь үндсэндээ албан ёсны хэлнүүдийн шинжилгээнд тулгуурладаг. Саяхан л ихэнх судалгааг байгалийн хэлэнд зориулжээ.
Энэ техникт хоёр үндсэн хэсэг байдаг:
- тэмдэглэгээний онол (лавлагаа);
- утгын онол.
Эхнийх нь төрөл бүрийн хэл шинжлэлийн хэллэгүүдийн зориулалтын объекттой харилцах харилцааг судлах явдал юм. Үүний үндсэн ангиллын хувьд "тэмдэглэл", "нэр", "загвар", "тайлбар" гэж төсөөлж болно. Энэ онол нь орчин үеийн логикийн нотолгооны үндэс юм.
Утгын онол нь хэл шинжлэлийн илэрхийллийн утга нь юу вэ гэсэн асуултын хариултыг эрэлхийлдэг. Тэр тэдний хэн болохыг утгаараа тайлбарлав.
Утгын онол нь утгын парадоксуудыг хэлэлцэхэд чухал үүрэг гүйцэтгэдэг бөгөөд тэдгээрийг шийдвэрлэхэд хүлээн зөвшөөрөгдсөн аливаа шалгуурыг чухал бөгөөд хамааралтай гэж үздэг.
Логик тэгшитгэл
Энэ нэр томъёог метал хэлэнд ашигладаг. Логик тэгшитгэлийн дор бид F1=F2 бичлэгийг төлөөлж болох ба F1 ба F2 нь логик саналуудын өргөтгөсөн хэлний томъёо юм. Ийм тэгшитгэлийг шийдэхийн тулд санал болгож буй тэгш байдал ажиглагдах F1 эсвэл F2 томъёоны аль нэгэнд багтах хувьсагчдын жинхэнэ утгуудын багцыг тодорхойлохыг хэлнэ.
Зарим тохиолдолд математикт тэнцүү тэмдэганхны объектуудын тэгш байдлыг илэрхийлдэг бөгөөд зарим тохиолдолд тэдгээрийн үнэ цэнийн тэгш байдлыг харуулахаар тохируулсан байдаг. F1=F2 гэсэн оруулга нь бид ижил томьёоны тухай ярьж байгааг илэрхийлж магадгүй.
Уран зохиолд ихэвчлэн албан ёсны логикийн дор "логик саналын хэл" гэсэн ижил утгатай үг байдаг. "Зөв үгс" нь албан бус (философийн) логикийн үндэслэлийг бий болгоход ашигладаг утгын нэгжийн үүрэг гүйцэтгэдэг томьёо юм.
Мэдэгдэл нь тодорхой саналыг илэрхийлсэн өгүүлбэрийн үүрэг гүйцэтгэдэг. Өөрөөр хэлбэл, энэ нь ямар нэгэн нөхцөл байдал байгаа гэсэн санааг илэрхийлдэг.
Түүнд дурдсан нөхцөл байдал бодит байдалд байгаа тохиолдолд аливаа мэдэгдлийг үнэн гэж үзэж болно. Үгүй бол ийм мэдэгдэл худал мэдэгдэл болно.
Энэ баримт нь саналын логикийн үндэс болсон. Тайлбаруудыг энгийн болон төвөгтэй бүлэгт хуваадаг.
Мэдэгдэлийн энгийн хувилбаруудыг албан ёсны болгохдоо тэг эрэмбийн хэлний анхан шатны томьёог ашигладаг. Нарийн төвөгтэй мэдэгдлийн тайлбарыг зөвхөн хэлний томьёо ашиглан хийх боломжтой.
Холбооны холбоог илэрхийлэхэд логик холболт хэрэгтэй. Хэрэглэх үед энгийн хэллэгүүд нарийн төвөгтэй хэлбэр болж хувирдаг:
- "биш",
- "энэ нь худлаа…",
- "эсвэл".
Дүгнэлт
Албан ёсны логик нь аль нэрний хувьд мэдэгдэл үнэн болохыг олж мэдэхэд тусалдаг бөгөөд тэдгээрийг хадгалах тодорхой хэллэгийг хувиргах дүрмийг боловсруулж, дүн шинжилгээ хийдэг.агуулгаас үл хамааран жинхэнэ үнэ цэнэ. Философийн шинжлэх ухааны тусдаа хэсэг болохын хувьд энэ нь зөвхөн XIX зууны төгсгөлд гарч ирсэн. Хоёрдахь чиглэл нь албан бус логик юм.
Энэ шинжлэх ухааны гол үүрэг бол батлагдсан мэдэгдлүүд дээр үндэслэн шинэ мэдэгдэл гаргах боломжийг олгодог дүрмийг системчлэх явдал юм.
Логикийн үндэс нь бусад мэдэгдлүүдийн логик үр дагавар болох зарим санааг олж авах боломж юм.
Энэ баримт нь математикийн шинжлэх ухааны тодорхой асуудлыг зохих ёсоор тайлбарлахаас гадна логикийг уран сайхны бүтээлч байдалд шилжүүлэх боломжийг олгодог.
Логик судалгаа нь байр болон тэдгээрээс гаргасан дүгнэлтүүдийн хоорондын хамаарлыг таамагладаг.
Энэ нь орчин үеийн логикийн анхдагч, үндсэн ойлголтуудын тоотой холбоотой бөгөөд үүнийг ихэвчлэн "түүнээс юу гарах вэ" шинжлэх ухаан гэж нэрлэдэг.
Ийм үндэслэлгүйгээр геометрийн теоремуудыг батлах, физикийн үзэгдлийг тайлбарлах, химийн урвалын механизмыг тайлбарлахыг төсөөлөхөд бэрх.
