1) Логик- Номонд: 1) ертөнц дэх аливаа зүйлийн өгөгдсөн байдлын бүх нийтийн хил хязгаар, энэ нь өөрөө үл үзэгдэх хэвээр байна; 2) энэ хил хязгаарыг шууд бусаар тодорхойлох арга техник.

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

3) Логик - - хүний ​​сэтгэлгээний уялдаа холбоо, дэс дараалал, түүний хөгжлийн хэлбэрүүд, сэтгэцийн хэлбэрийн янз бүрийн харилцаа холбоо, тэдгээрийн өөрчлөлтийн тухай сургаал. Л. сэтгэлгээний оршин тогтнох арга хэрэгсэл, сэтгэлгээний үйл явцыг нэгтгэх, хуулбарлах, орчуулах хэлний талаархи асуултуудыг авч үздэг. Өргөн утгаараа философи бол сэтгэлгээний төдийгүй оршихуйн уялдаа холбоог судалдаг, өөрөөр хэлбэл, “юмсын логик”, “үйл явдлын логик”, “цаг хугацааны холбоо”-г илчлэх уран зохиол юм. Энэ тал дээр Л. онтологи руу ойртдог. Философи нь бодит байдлын хувьд танин мэдэхүй, түүний хөгжил, үйл ажиллагаа, хадгалалтын талаархи сургаалуудтай холбоотой бөгөөд танин мэдэхүйд шууд ордог. Тиймээс философи бол философийн үндсэн салбаруудын нэг бөгөөд философилоход үргэлж тэргүүлэх үүрэг гүйцэтгэдэг, учир нь сүүлийнх нь үргэлж нэг талаараа сэтгэлгээний асуудлыг авч үздэг. 19-р зуунд Философи нь тусгай шинжлэх ухаан болохын хувьд философиос тусгаарлагдсан тул сэтгэлгээ, түүний хэлийг албан ёсны дүн шинжилгээ хийдэг. Сэтгэлгээний хөгжил, түүний арга хэрэгслийн хувьсал, түүний соёл, түүх, нийгмийн нөхцөл байдлын талаархи асуултууд философийн бүрэн эрхэд үлддэг. Философи өөрөө нийгэм-түүх, соёлын өвөрмөц хэлбэрээрээ философийн судалгааны чухал салбар болдог. Энэхүү аргын хүрээнд гэрлийн хувьсал, түүний ойлголтын хэд хэдэн үндсэн үе шатыг тодорхойлж болно. Эртний ертөнцөд логик асуудлуудыг боловсруулах нь хиймэл болон байгалийн зүйлийг ангилах үйл явц, хүний ​​үйл ажиллагааны хэрэгсэл, хүмүүсийн харилцан үйлчлэлийн үйлдэлтэй холбоотой байв. Л. тэдэнтэй ажиллах ерөнхий ойлголт, арга техникийг боловсруулдаг. Философийн нэг хэсэг болохын хувьд дэлхийн дүр төрхийг бий болгох, нийгмийн практикт ашиглах чухал хэрэгсэл юм. Дундад зууны үед уран зохиол нь сэтгэлгээний хэлбэр, тэдгээрийн хоорондын харилцааг судлахад чиглэгдэж байв; утга учиртай танин мэдэхүйн үүднээс авч үздэг түүний логик хэлбэрүүдтэй харьцах байдал. Хүний сэтгэлгээний тогтвортой (эсвэл хөдлөшгүй) бүтцийн тухай сургаал нь түүний зөв байдлыг баталгаажуулдаг шинжлэх ухааны үндэслэлтэй байдлын шинэ стандартуудын чухал урьдчилсан нөхцөл болж байна. Байгалийн шинжлэх ухааныг дагаж, албан ёсны философийг философиос салгах үед хүний ​​сэтгэлгээний оновчтой байдлын тухай асуудал философийн полемикийн төвд байдаг. Нэг талаас, орчин үеийн шинжлэх ухааны хэрэгцээ, хүний ​​хувийн шинж чанарыг хөгжүүлэх, түүний оюун санааны хүрээг тэлэх албан ёсны оновчтой байдал хангалтгүй байгааг харуулж байна. Нөгөөтэйгүүр, соёлыг нөхөн үржих нөхцөл болгон оновчтой байдал, гүн ухааныг хамгийн өргөн утгаар нь хадгалах хэрэгцээ (Бадены нео-Кантизм) батлагдсан. 20-р зуунд оновчтой байдлын философийн шүүмжлэл (ихэвчлэн логик хэлбэрийн хатуу холболт гэж тайлбарладаг) эрчимжиж, янз бүрийн байр сууринаас (экзистенциализм, марксизм, деконструкционизм) явуулж байна. Үүний зэрэгцээ философид уран зохиолыг соёл, түүхийн үүднээс авч үзэх, янз бүрийн соёл, хүний ​​үйл ажиллагааны төрөлд хамаарах янз бүрийн хууль тогтоомжийг судлах хандлага нэмэгдэж байна. Эдгээр хандлагын үүднээс Л-ийн агуулгыг ойлгоход анхаарах зүйл өөрчлөгдөж байна.Хэрэв өмнө нь энэ чанар нь сэтгэлгээний объектив чиг баримжааг тодруулахтай голчлон холбоотой байсан бол одоо хүний ​​харилцан үйлчлэлийн явцад үүсдэг сэтгэхүйн хэлбэрүүдийн холболтод анхаарлаа хандуулж байна. субьектууд, энэ харилцан үйлчлэл нь нэгтгэгдэж, үржиж байна. В.Е. Кемеров

4) Логик- - зөв сэтгэлгээний хууль тогтоомж, үйл ажиллагааны шинжлэх ухаан. Логикийн үндсэн зарчмын дагуу үндэслэлийн зөв байдал нь зөвхөн түүний логик хэлбэр, бүтцээр тодорхойлогддог бөгөөд үүнд багтсан мэдэгдлийн тодорхой агуулгаас хамаардаггүй. Зөв үндэслэлийн өвөрмөц шинж чанар нь хэрэв байр суурь нь үнэн бол логик сэтгэлгээ нь үнэн зөв дүгнэлтэд хүргэдэг (асуултын хариулт). Буруу үндэслэл нь үнэн ба худал үндэслэлээс үнэн ба худал дүгнэлтэд хүргэдэг (дүгнэлтийн үнэн нь тохиолдлын асуудал юм). Тиймээс логик гэж юу болох нь тодорхой байна - эдгээр нь мэдээллийг боловсруулахдаа оюун ухааны тодорхой арга техникийг ашиглах дүрэм юм. Албан ёсны логик, хүмүүнлэг логик, эмэгтэй хүний ​​логик, хүүхдийн логик, шизофрени логик, диалектик логик, гүн ухааны логик гэх мэт.Гэхдээ логикоос гадна өөрийн хуулиа (зөв сэтгэлгээ) захирч чаддаг, дагаж мөрддөггүй (буруу сэтгэх) сэтгэлгээ өөрөө бас бий. ) логик бус сэтгэлгээ). Ассоциатив блок. Бидний үзэж байгаагаар логик бол аливаа зүйлийн харилцаа холбоо, оршихуйг эцсийн үгийн бүрэн утгаараа судалдаг мэдлэгийн онолын нэг хэсэг юм.

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

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

7) Логик- - бодит байдлын аль ч талбарыг оновчтой танихад шаардлагатай сэтгэлгээний ерөнхий хэлбэр, арга хэрэгслийн шинжлэх ухаан.

8) Логик - (Грек logos - үг, үндэслэл, ойлголт, оюун ухаан) - танин мэдэхүйн үйл ажиллагааны хэлбэр, хууль, арга зүйн шинжлэх ухаан; зөв сэтгэх чадвар (логик). Эрт дээр үеэс хүний ​​танин мэдэхүйн сэтгэлгээний чухал шинж чанарыг анзаарч ирсэн: хэрэв эхэндээ зарим мэдэгдэл хийсэн бол бусад мэдэгдлийг хүлээн зөвшөөрч болно, гэхдээ аль нь ч биш, зөвхөн хатуу тодорхойлсон байдаг. Тиймээс танин мэдэхүйн сэтгэлгээ нь тодорхой албадлагын хүчинд захирагддаг бөгөөд түүний үр дүн нь өмнөх мэдлэгээр тодорхойлогддог. Энэ өмчийг Сократ харилцан яриандаа өргөн ашигладаг байсан. Асуултыг чадварлаг тавьж, тэрээр ярилцагчдаа маш тодорхой дүгнэлт гаргахад чиглүүлэв. (Өөрийнхөө арга барилыг тодорхойлохдоо Сократ түүний ярианы арга нь өөрөө төрдөггүй, харин төрдөг эх баригчтай төстэй гэж тайлбарлав. Тиймээс тэрээр зөвхөн бусдаас асууж, үнэнийг төрөхөд хувь нэмрээ оруулдаг, гэхдээ түүнд юу ч байдаггүй. гэж хэлэх.) Тиймээс Сократ өөрийн арга барилыг maieutics - эх баригчийн урлаг гэж нэрлэдэг.) Сократын шавь Платон, дараа нь Аристотель сэтгэлгээний детерминизмыг тусгай судалгааны сэдэв болгосон. Аристотелийн үр дүн онцгой гайхалтай. Түүний амжилт нь түүний агуулгыг гэж нэрлэж болох зүйлийг үндэслэлээс хасаж, зөвхөн хэлбэрийг нь хадгалсантай холбоотой юм. Тэрээр шийдвэрт тодорхой агуулга бүхий нэрсийн оронд үсгийг (хувьсагч) орлуулах замаар ийм амжилтанд хүрсэн. Жишээлбэл, импликатив аргумент дээр: "Хэрэв бүх B нь C, бүх Aes нь B бол, бүх Aes нь B байна." Аристотелийн хандлага нь янз бүрийн агуулгатай сэтгэхүйн үр дүнгийн найдвартай байдал нь зөвхөн анхны байр суурийн (байр) үнэнээс хамаардаггүй, мөн тэдгээрийн хоорондын хамаарал, тэдгээрийн холболтын арга, тухайлбал, жишээлбэл. үндэслэлийн хэлбэрээр. Аристотель жинхэнэ байр сууринаас үнэн дүгнэлт рүү шилжих хамгийн чухал зарчмуудыг томъёолсон. Дараа нь эдгээр зарчмуудыг өвөрмөц байдал, зөрчилдөөн, дундаас хасагдсан хууль гэж нэрлэж эхлэв. Тэрээр сэтгэхүйн хэлбэрүүдийн анхны онолын системийг санал болгов. "Бүгд А нь В", "Зарим А нь В", "А бол B биш", "Зарим А нь В биш" гэсэн хэлбэрийн саналыг авч үздэг ассерторик силлогистик. Ийнхүү тэрээр сэтгэлгээний ерөнхий арга хэрэгсэл, хэлбэр, оновчтой мэдлэгийн хуулиудын шинжлэх ухааны үндэс суурийг тавьсан. Хожим нь энэ шинжлэх ухааныг L.L гэж нэрлэж эхэлсэн. Байрны үнэн нь дүгнэлтийн үнэнийг баталгаажуулдаг тохиолдлуудыг тодруулахаар хязгаарлаагүй. Энэ төрлийн үндэслэл нь түүний салбаруудын нэг болох дедуктив Л.-ийн сэдэв болсон боловч Демокрит индуктив дүгнэлтийн асуудлыг аль хэдийн авч үзсэн бөгөөд үүгээр дамжуулан тодорхой мэдэгдлээс магадлалын шинж чанартай ерөнхий заалт руу шилжих шилжилтийг хийдэг. Индукцийн онцгой сонирхол 17-18-р зуунд гарч ирэв. туршилтын шинжлэх ухаан эрчимтэй хөгжиж эхэлсэн үед. Английн гүн ухаантан Ф.Бэкон индукцийг онолын үүднээс ойлгох анхны оролдлогыг хийсэн бөгөөд түүний бодсончлон энэ нь байгалийн үзэгдлийг хүмүүсийн тусын тулд ашиглах цорын ганц арга хэрэгсэл болж чадна. 19-р зуун хүртэл уран зохиолын хөгжлийн гол чиглэл нь дедуктивизм ба индуктивизм байв. Рационалист философийн төлөөлөгчид (Декарт, Спиноза, Малебранш, Лейбниц) дедукцийг илүүд үздэг байсан бол эмпирик (сенсуализм) философийн төлөөлөгчид (Ф. Бэконыг дагадаг - Хоббс, Локк, Кондиллак, Беркли, Хьюм) индуктивистууд байв. "Бүх боломжит объектуудын шинжлэх ухаан" гэж философийн мэдлэгийн цогц системийг санал болгосон Вольф эдгээр чиглэлийг нэгтгэхийг хичээсэн. Тэрээр ерөнхийдөө рационалист байсан ч шинжлэх ухааны тодорхой салбаруудад (жишээлбэл, физикт) индукц ба туршилтын мэдлэгийн шийдвэрлэх ач холбогдлыг эрч хүчтэйгээр онцлон тэмдэглэв. Гэсэн хэдий ч 19-р зуунд Ленинградад бий болсон сэтгэлгээний хэлбэр, хууль тогтоомж, танин мэдэхүйн аргуудын талаархи Вольфийн санаанууд нь шинжлэх ухаан, нийгмийн практикийн хурдацтай хөгжиж буй хэрэгцээг хангаж чадахгүй байв. Кант, ялангуяа Гегель рационалист-метафизик аргын хязгаарлалтыг шүүмжилсэн. Л. чухал харилцааг судлахад ухамсартай хандах боломжийг олгох арга хэрэгслийг боловсруулах даалгавартай тулгарсан. Энэ асуудлыг шийдэх ноцтой оролдлогыг Гегель хийсэн. Түүний гайхалтай гавьяа бол уран зохиолд хөгжил, харилцан уялдаа холбоотой санааг нэвтрүүлсэн явдал юм. Энэ нь түүнд хүний ​​сэтгэлгээний юмс үзэгдлээс мөн чанар руу, харьцангуй үнэнээс үнэмлэхүй үнэн рүү, хийсвэр мэдлэгээс тодорхой мэдлэг рүү шилжих хөдөлгөөний онол болох диалектик уран зохиолын үндсийг тавих боломжийг түүнд олгосон юм. Диалектик уран зохиолын ангилал, зарчим, хуулиудад үндэслэн объектын агуулгыг олон янз байдал, үл нийцэх байдлаар нь судлах арга зүйн удирдамжийг боловсруулдаг. Одоогийн байдлаар уран зохиол нь нэлээд өргөн хүрээтэй шинжлэх ухааны салбар юм. Түүний хамгийн чухал бөгөөд боловсронгуй хэсэг нь албан ёсны уран зохиол юм. Энэ нь эрт дээр үеэс эхлэн харьцаж ирсэн сэдвээс нэрээ авсан - нэгэнт тогтсон үнэнийг үндэслэн шинэ үнэнийг хүлээн авахыг баталгаажуулдаг бодол санаа, үндэслэлийн хэлбэрүүд, эхлээд бүгдээс нь эдгээр маягтуудын зөв, хүчин төгөлдөр байдлын шалгуур. Удаан хугацааны туршид албан ёсны уран зохиол нь үндсэндээ Аристотель болон түүний тайлбарлагчдын өгсөн хэлбэрээр мэдэгдэж байсан. Тиймээс энэ үе шатанд тохирсон нэр нь Аристотелийн Л. Аристотелийн үеэс улбаатай уламжлал нь уламжлалт философи гэсэн өөр нэг ижил нэр томъёог бий болгосон.Аристотелийн гүн ухааны хүрээнд олон зуун жилийн туршид асуудал, түүнийг шийдвэрлэх арга хэлбэр өөрчлөгдөөгүй байсан нь "албан ёсны философи" гэсэн нэр томъёог анх ашигласан Кантыг үндэслэсэн юм. ,” Аристотелийн үеэс хойш өнгөрсөн хоёр мянган жилийн хугацаанд энэ Л. нэг ч алхам урагшлаагүй бөгөөд үндсэндээ бүрэн дүүрэн шинж чанартай гэж үзэх. Түүнийг нас барснаас хойш ердөө хагас зуун жилийн дараа албан ёсны логикийн хөгжилд "хоёр дахь салхи" эхэлнэ гэж Кант төсөөлөөгүй байсан.Энэ чанарын шинэ үе шат нь математикийн логик үндсийг судлахад тулгарч буй асуудлуудын үр дүнд бий болсон. Аристотелийн логикоор шийдэж болохгүй.Бараг нэгэн зэрэг Математикийг логикжуулах, Л-ийг математикчлах үйл явц явагдаж байна.Логикийн асуудлыг шийдвэрлэхэд математикийн аргуудыг идэвхтэй ашиглаж, логик тооцооллыг бий болгодог. Аливаа шинжлэх ухаанд тооцоолох аргыг ашиглах тухай Лейбницийн санааг хэрэгжүүлэх тодорхой алхамууд хийгдэж байна. Ж.Бул алгебрийн анхны системийг L. О.де Морган, В.Жевонс, Э.Шредер, П.С. Порецкий, Пейрс, Фреге, Ж.Пиано, Рассел нар математикийн математикийн үндсэн хэсгүүдийг бий болгосон нь албан ёсны математикийн хамгийн чухал салбар болсон бөгөөд 20-р зуунд, ялангуяа 20-30-аад оны үед Ж.Лукасиевичийн бүтээлүүдэд . Э.Пост, К Льюис, С.Ясковский, Д.Вэбб, Л.Броувер, А.Хейтинг, А.А. Маркова, А.Н. Колмогоров, Г.Рейхенбах, С.К. Kleene, P. Detouches-Fevrier, G. Birkhoff болон бусад хүмүүс албан ёсны хэл шинжлэлийн сонгодог бус хэсгүүдийн үндэс суурийг тавьсан: олон үнэлэмжтэй хэл шинжлэл, модаль, магадлал, зөн совин, конструктивист болон бусад.. Хэд хэдэн үнэний үнэт зүйлс рүү шилжих шилжилт хоёроос их ("үнэн" ", "худал") нь сонгодог бус, эсвэл ихэвчлэн Крисипийн бус логикийн нэг онцлог шинжийг бүрдүүлдэг. 1930-аад онд албан ёсны логикийн хөгжил Металлогийн олон асуудлыг шийдвэрлэхтэй холбоотой (Грек мета - дараа, дээр), албан ёсны системийн бүтцийн зарчим, ерөнхий шинж чанарыг судлах, жишээлбэл, аксиомын системийн тууштай байдал, бүрэн байдал, бие даасан байдал, шийдвэрлэх чадвар, чадвар зэрэг асуудлууд. утга учиртай онолыг илэрхийлэх эдгээр системүүдийн үндэс гэх мэт. "машин сэтгэлгээ" Эдгээр асуудлыг судлах нь үзэл суртлын болон арга зүйн чухал ач холбогдолтой бөгөөд Тарски, К.Годель, А.Черч нарын нэрстэй холбоотой гайхалтай нээлтүүдээр тэмдэглэгдсэн юм. Хамгийн алдартай нь К.Гөделийн албан ёсны системүүдийн бүрэн бус байдлын тухай теорем юм. натурал тооны арифметик ба аксиоматик олонлогын онол. Энэ теоремын дагуу эдгээр систем бүрт тэдгээрийн хүрээнд нотлогдох, үгүйсгэх боломжгүй гэсэн саналууд байдаг. Ийнхүү формализмын хүрээнд нэг ч хүчин төгөлдөр шинжлэх ухааны онолыг шахаж болохгүй гэдгийг харуулсан. А.Черч аливаа асуудлыг шийдвэрлэх алгоритмыг дурдахгүйн дээр олон ангиллын асуудлыг шийдвэрлэх алгоритм байдаггүй (олон шилдэг логикч, математикчид ийм алгоритм зохион бүтээхийг мөрөөддөг байсан) теоремыг баталжээ. Өнөөдөр албан ёсны логикийн хөгжил хоёр үндсэн чиглэлд явагдаж байна: 1) сонгодог бус логикийн шинэ системийг хөгжүүлэх (захиргааны логик, үнэлгээ, асуулт, түр зуурын, индуктив логик, логик үр дагаврын онол гэх мэт). , эдгээр системийн шинж чанар, тэдгээрийн хоорондын хамаарлыг судлах, тэдгээрийн ерөнхий онолыг бий болгох; 2) албан ёсны L.-ийн хэрэглээний хамрах хүрээг өргөжүүлэх. Энэ чиглэлээр олж авсан хамгийн чухал эцсийн үр дүн бол албан ёсны Л. нь нарийн бодлын хэрэгсэл төдийгүй анхны нарийн хэрэгсэл болох компьютерийн "бодол" болсон явдал юм. , түүнд тулгарч буй асуудлыг шийдвэрлэх салбарт хүний ​​оруулсан түншийн дүрд шууд оролцдог. L. (бүх хэсгүүдийн нийлбэрээр) хүн төрөлхтний соёлын салшгүй хэсэг болсон. Түүний ололт амжилтыг хүний ​​үйл ажиллагааны янз бүрийн салбарт ашигладаг. Энэ нь сэтгэл судлал, хэл шинжлэл, менежментийн онол ба сурган хүмүүжүүлэх ухаан, эрх зүй, ёс зүйд өргөн хэрэглэгддэг. Түүний албан ёсны хэсгүүд нь кибернетик, тооцооллын математик, технологи, мэдээллийн онолын анхны үндэс суурь болдог. Уран зохиолын зарчим, хууль тогтоомжгүйгээр орчин үеийн танин мэдэхүй, харилцааны арга зүйг төсөөлөхийн аргагүй юм. Л.-ийн судалгаанд үргэлж ихээхэн ач холбогдол өгч ирсэн. Парменид философийн талаар туршлагагүй байсан Сократад: "Таны сэтгэн бодох идэвх зүтгэл чинь гайхамшигтай, бурханлаг юм гэдэгт итгэлтэй байгаарай, гэхдээ та залуу насандаа ихэнх хоосон яриа гэж үздэг зүйлд (өөрөөр хэлбэл хийсвэр ойлголттой ажиллах) илүү их дасгал хийхийг хичээгээрэй. V. B.) эс тэгвээс үнэн чамаас зугтах болно." Бидний харж байгаагаар эрт дээр үеэс хожим нь Л. хэмээх нэр өгсөн сахилга бат нь юуны түрүүнд үнэнийг олох хэрэгсэл болгон арга зүйн томоохон үүрэг гүйцэтгэдэг болохыг аль хэдийн ойлгосон. В.Ф. Берков

9) Логик- - өргөн утгаараа - энэ бол зөв сэтгэлгээний хуулиудын философийн шинжлэх ухаан юм; явцуу утгаараа - үнэнийг хайхад бий болсон хэрэгцээний дараалал.

10) Логик - (Грек хэлнээс лого - лого) 1) зөв хийх чадвар, i.e. логикоор бодох; 2) адилтгал ба түүнийг үгүйсгэх сургаал (Г. Якоби), тууштай байдал ба танин мэдэхүйн аргын тухай сургаал (логикийн шинжлэх ухаан). "Анхан шатны албан ёсны логик"-ийн хувьд энэ нь бүх (одоо байгаа) үзэл баримтлалд хамаарах хамгийн ерөнхий шинж чанаруудыг авч үздэг. Үндсэн Үзэл баримтлалын шинж чанарыг логик аксиомоор илэрхийлдэг (Аксиомыг үзнэ үү). Эхлээд үзэл баримтлалын сургаалыг авч үздэг, дараа нь шүүлтийн сургаал, эцэст нь дүгнэлт гарч ирдэг. Логик аксиом, үзэл баримтлал, шүүлт, дүгнэлтийн сургаалуудыг нэгтгэн авч үзвэл цэвэр логикийг бүрдүүлдэг. Хэрэглээний логик нь уламжлалт логикт тодорхойлолт, нотолгоо, аргын тухай сургаалыг хамардаг. Энэ нь ихэвчлэн шинжлэх ухаан-логикийн бус харин туршлага, тайлбар, томъёолол (ялангуяа тусгай хэл, нэр томъёоны тусламжтайгаар), үзэл баримтлалыг бий болгох тухай онол-танин мэдэхүйн, сэтгэлзүйн сургаалуудаас өмнө байдаг. Заримдаа системийн сургаалыг үүн дээр нэмдэг. Логик (шинжлэх ухааны хувьд) нь зөвхөн үзэл баримтлал дахь сэтгэлгээний сургаал бөгөөд ойлголтоор дамжуулан мэдлэгийн тухай биш юм; энэ нь ухамсрын албан ёсны нарийвчлал, сэтгэлгээ, танин мэдэхүйн агуулгын объектив байдлыг нэмэгдүүлэхэд үйлчилдэг. Баруун Европын логикийг (шинжлэх ухааны хувьд) үндэслэгч нь "логикийн эцэг" Аристотель юм. "Логик" гэдэг үг анх стоикчуудын дунд гарч ирсэн; тэд болон неоплатонистууд түүний зарим талыг тодруулж, дундад зууны үед схоластикизм үүнийг хамгийн жижиг нарийн ширийн зүйлээр хөгжүүлсэн. Гуманизм нь схоластик үзлийг логикоос хөөсөн боловч шинэчилж чадаагүй юм. Шинэчлэл нь Меланхтоны логикийг, Эсрэг шинэчлэл - Суаресийн логикийг баталсан. Зарчмын хувьд схоластикизмаас дээгүүр гарсан Страсбургийн Йоханнес Штурм логикийг хөгжүүлсэн; Пьер Рамет илүү алдартай болсон. 17-р зуунаас Математиктай холбоотой сэтгэлгээний хүрээнүүдийн логикт үзүүлэх нөлөө мэдэгдэхүйц болж, Спинозагийн геометрийн аргад энэ нь логикт байгалийн шинжлэх ухааны аргыг сайжруулах аргыг ашигласан Лейбницээс бага байв. Лейбниц, математик, түүнчлэн неосхоластикаас Чоно сургуулийн логик гарч ирэв. Кантын "трансцендент логик" бол бодит байдал дээр мэдлэгийн шүүмжлэлтэй онол, герман хэлний логик юм. идеализм (ялангуяа Гегелийн логик) - таамаглалын метафизик. Шопенгауэр, Ницше, Бергсон болон амьдралын гүн ухааныг дэмжигчид уламжлалт логикийг үгүйсгэв. Одоогийн байдлаар логик олон чиглэлд хуваагдсан: 1) метафизик логик (Гегелизм); 2) сэтгэл зүйн логик (Т. Липпс, хэсэгчлэн В. Вундт); 3) эпистемологи буюу трансцендент, логик (нео-Кантизм); 4) семантик логик (Аристотель, Кульпе, орчин үеийн номинализм); 5) сэдвийн логик (Ремке, Мейнонг, Дриш); 6) нео-схоластик логик; 7) феноменологийн логик; 8) логикийг арга зүй (нео-Кантизм) ба логистик гэж үздэг бөгөөд энэ нь логикийн талаархи маргааны төвд байдаг.

11) Логик--харна уу Диалектик логик. Математик логик, Албан ёсны логик.

Логик

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

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

Хүний сэтгэлгээний уялдаа холбоо, дараалал, түүний хөгжлийн хэлбэрүүд, сэтгэцийн хэлбэрүүдийн янз бүрийн харилцаа холбоо, тэдгээрийн өөрчлөлтийн тухай сургаал. Л. сэтгэлгээний оршин тогтнох арга хэрэгсэл, сэтгэлгээний үйл явцыг нэгтгэх, хуулбарлах, орчуулах хэлний талаархи асуултуудыг авч үздэг. Өргөн утгаараа философи бол сэтгэлгээний төдийгүй оршихуйн уялдаа холбоог судалдаг, өөрөөр хэлбэл, “юмсын логик”, “үйл явдлын логик”, “цаг хугацааны холбоо”-г илчлэх уран зохиол юм. Энэ тал дээр Л. онтологи руу ойртдог. Философи нь бодит байдлын хувьд танин мэдэхүй, түүний хөгжил, үйл ажиллагаа, хадгалалтын талаархи сургаалуудтай холбоотой бөгөөд танин мэдэхүйд шууд ордог. Тиймээс философи бол философийн үндсэн салбаруудын нэг бөгөөд философилоход үргэлж тэргүүлэх үүрэг гүйцэтгэдэг, учир нь сүүлийнх нь үргэлж нэг талаараа сэтгэлгээний асуудлыг авч үздэг. 19-р зуунд Философи нь тусгай шинжлэх ухаан болохын хувьд философиос тусгаарлагдсан тул сэтгэлгээ, түүний хэлийг албан ёсны дүн шинжилгээ хийдэг. Сэтгэлгээний хөгжил, түүний арга хэрэгслийн хувьсал, түүний соёл, түүх, нийгмийн нөхцөл байдлын талаархи асуултууд философийн бүрэн эрхэд үлддэг. Философи өөрөө нийгэм-түүх, соёлын өвөрмөц хэлбэрээрээ философийн судалгааны чухал салбар болдог. Энэхүү аргын хүрээнд гэрлийн хувьсал, түүний ойлголтын хэд хэдэн үндсэн үе шатыг тодорхойлж болно. Эртний ертөнцөд логик асуудлуудыг боловсруулах нь хиймэл болон байгалийн зүйлийг ангилах үйл явц, хүний ​​үйл ажиллагааны хэрэгсэл, хүмүүсийн харилцан үйлчлэлийн үйлдэлтэй холбоотой байв. Л. тэдэнтэй ажиллах ерөнхий ойлголт, арга техникийг боловсруулдаг. Философийн нэг хэсэг болохын хувьд дэлхийн дүр төрхийг бий болгох, нийгмийн практикт ашиглах чухал хэрэгсэл юм. Дундад зууны үед уран зохиол нь сэтгэлгээний хэлбэр, тэдгээрийн хоорондын харилцааг судлахад чиглэгдэж байв; утга учиртай танин мэдэхүйн үүднээс авч үздэг түүний логик хэлбэрүүдтэй харьцах байдал. Хүний сэтгэлгээний тогтвортой (эсвэл хөдлөшгүй) бүтцийн тухай сургаал нь түүний зөв байдлыг баталгаажуулдаг шинжлэх ухааны үндэслэлтэй байдлын шинэ стандартуудын чухал урьдчилсан нөхцөл болж байна. Байгалийн шинжлэх ухааныг дагаж, албан ёсны философийг философиос салгах үед хүний ​​сэтгэлгээний оновчтой байдлын тухай асуудал философийн полемикийн төвд байдаг. Нэг талаас, орчин үеийн шинжлэх ухааны хэрэгцээ, хүний ​​хувийн шинж чанарыг хөгжүүлэх, түүний оюун санааны хүрээг тэлэх албан ёсны оновчтой байдал хангалтгүй байгааг харуулж байна. Нөгөөтэйгүүр, соёлыг нөхөн үржих нөхцөл болгон оновчтой байдал, гүн ухааныг хамгийн өргөн утгаар нь хадгалах хэрэгцээ (Бадены нео-Кантизм) батлагдсан. 20-р зуунд оновчтой байдлын философийн шүүмжлэл (ихэвчлэн логик хэлбэрийн хатуу холболт гэж тайлбарладаг) эрчимжиж, янз бүрийн байр сууринаас (экзистенциализм, марксизм, деконструкционизм) явуулж байна. Үүний зэрэгцээ философид уран зохиолыг соёл, түүхийн үүднээс авч үзэх, янз бүрийн соёл, хүний ​​үйл ажиллагааны төрөлд хамаарах янз бүрийн хууль тогтоомжийг судлах хандлага нэмэгдэж байна. Эдгээр хандлагын үүднээс Л-ийн агуулгыг ойлгоход анхаарах зүйл өөрчлөгдөж байна.Хэрэв өмнө нь энэ чанар нь сэтгэлгээний объектив чиг баримжааг тодруулахтай голчлон холбоотой байсан бол одоо хүний ​​харилцан үйлчлэлийн явцад үүсдэг сэтгэхүйн хэлбэрүүдийн холболтод анхаарлаа хандуулж байна. субьектууд, энэ харилцан үйлчлэл нь нэгтгэгдэж, үржиж байна. В.Е. Кемеров

Зөв сэтгэлгээний хууль тогтоомж, үйл ажиллагааны шинжлэх ухаан. Логикийн үндсэн зарчмын дагуу үндэслэлийн зөв байдал нь зөвхөн түүний логик хэлбэр, бүтцээр тодорхойлогддог бөгөөд үүнд багтсан мэдэгдлийн тодорхой агуулгаас хамаардаггүй. Зөв үндэслэлийн өвөрмөц шинж чанар нь хэрэв байр суурь нь үнэн бол логик сэтгэлгээ нь үнэн зөв дүгнэлтэд хүргэдэг (асуултын хариулт). Буруу үндэслэл нь үнэн ба худал үндэслэлээс үнэн ба худал дүгнэлтэд хүргэдэг (дүгнэлтийн үнэн нь тохиолдлын асуудал юм). Тиймээс логик гэж юу болох нь тодорхой байна - эдгээр нь мэдээллийг боловсруулахдаа оюун ухааны тодорхой арга техникийг ашиглах дүрэм юм. Албан ёсны логик, хүмүүнлэг логик, эмэгтэй хүний ​​логик, хүүхдийн логик, шизофрени логик, диалектик логик, гүн ухааны логик гэх мэт.Гэхдээ логикоос гадна өөрийн хуулиа (зөв сэтгэлгээ) захирч чаддаг, дагаж мөрддөггүй (буруу сэтгэх) сэтгэлгээ өөрөө бас бий. ) логик бус сэтгэлгээ). Ассоциатив блок. Бидний үзэж байгаагаар логик бол аливаа зүйлийн харилцаа холбоо, оршихуйг эцсийн үгийн бүрэн утгаараа судалдаг мэдлэгийн онолын нэг хэсэг юм.

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

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

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

(Грек logos - үг, үндэслэл, үзэл баримтлал, оюун ухаан) - танин мэдэхүйн үйл ажиллагааны хэлбэр, хууль, арга зүйн шинжлэх ухаан; зөв сэтгэх чадвар (логик). Эрт дээр үеэс хүний ​​танин мэдэхүйн сэтгэлгээний чухал шинж чанарыг анзаарч ирсэн: хэрэв эхэндээ зарим мэдэгдэл хийсэн бол бусад мэдэгдлийг хүлээн зөвшөөрч болно, гэхдээ аль нь ч биш, зөвхөн хатуу тодорхойлсон байдаг. Тиймээс танин мэдэхүйн сэтгэлгээ нь тодорхой албадлагын хүчинд захирагддаг бөгөөд түүний үр дүн нь өмнөх мэдлэгээр тодорхойлогддог. Энэ өмчийг Сократ харилцан яриандаа өргөн ашигладаг байсан. Асуултыг чадварлаг тавьж, тэрээр ярилцагчдаа маш тодорхой дүгнэлт гаргахад чиглүүлэв. (Өөрийнхөө арга барилыг тодорхойлохдоо Сократ түүний ярианы арга нь өөрөө төрдөггүй, харин төрдөг эх баригчтай төстэй гэж тайлбарлав. Тиймээс тэрээр зөвхөн бусдаас асууж, үнэнийг төрөхөд хувь нэмрээ оруулдаг, гэхдээ түүнд юу ч байдаггүй. гэж хэлэх.) Тиймээс Сократ өөрийн арга барилыг maieutics - эх баригчийн урлаг гэж нэрлэдэг.) Сократын шавь Платон, дараа нь Аристотель сэтгэлгээний детерминизмыг тусгай судалгааны сэдэв болгосон. Аристотелийн үр дүн онцгой гайхалтай. Түүний амжилт нь түүний агуулгыг гэж нэрлэж болох зүйлийг үндэслэлээс хасаж, зөвхөн хэлбэрийг нь хадгалсантай холбоотой юм. Тэрээр шийдвэрт тодорхой агуулга бүхий нэрсийн оронд үсгийг (хувьсагч) орлуулах замаар ийм амжилтанд хүрсэн. Жишээлбэл, импликатив аргумент дээр: "Хэрэв бүх B нь C, бүх Aes нь B бол, бүх Aes нь B байна." Аристотелийн хандлага нь янз бүрийн агуулгатай сэтгэхүйн үр дүнгийн найдвартай байдал нь зөвхөн анхны байр суурийн (байр) үнэнээс хамаардаггүй, мөн тэдгээрийн хоорондын хамаарал, тэдгээрийн холболтын арга, тухайлбал, жишээлбэл. үндэслэлийн хэлбэрээр. Аристотель жинхэнэ байр сууринаас үнэн дүгнэлт рүү шилжих хамгийн чухал зарчмуудыг томъёолсон. Дараа нь эдгээр зарчмуудыг өвөрмөц байдал, зөрчилдөөн, дундаас хасагдсан хууль гэж нэрлэж эхлэв. Тэрээр сэтгэхүйн хэлбэрүүдийн анхны онолын системийг санал болгов. "Бүгд А бол В", "Зарим А нь В", "А бол В биш", "Зарим А нь В биш" гэсэн хэлбэрийн саналыг авч үздэг ассерторик силлогистик. Ийнхүү тэрээр сэтгэлгээний ерөнхий арга хэрэгсэл, хэлбэр, оновчтой мэдлэгийн хуулиудын шинжлэх ухааны үндэс суурийг тавьсан. Хожим нь энэ шинжлэх ухааныг L.L гэж нэрлэж эхэлсэн. Байрны үнэн нь дүгнэлтийн үнэнийг баталгаажуулдаг тохиолдлуудыг тодруулахаар хязгаарлаагүй. Энэ төрлийн үндэслэл нь түүний салбаруудын нэг болох дедуктив Л.-ийн сэдэв болсон. Гэвч Демокрит индуктив дүгнэлтийн асуудлыг аль хэдийн хэлэлцсэн бөгөөд үүгээр дамжуулан тодорхой мэдэгдлээс магадлалын шинж чанартай ерөнхий заалт руу шилжих шилжилтийг хийдэг. Индукцийн онцгой сонирхол 17-18-р зуунд гарч ирэв. туршилтын шинжлэх ухаан эрчимтэй хөгжиж эхэлсэн үед. Английн гүн ухаантан Ф.Бэкон индукцийг онолын үүднээс ойлгох анхны оролдлогыг хийсэн бөгөөд түүний бодсончлон энэ нь байгалийн үзэгдлийг хүмүүсийн тусын тулд ашиглах цорын ганц арга хэрэгсэл болж чадна. 19-р зуун хүртэл уран зохиолын хөгжлийн гол чиглэл нь дедуктивизм ба индуктивизм байв. Рационалист философийн төлөөлөгчид (Декарт, Спиноза, Малебранш, Лейбниц) дедукцийг илүүд үздэг байсан бол эмпирик (сенсуализм) философийн төлөөлөгчид (Ф. Бэконыг дагадаг - Хоббс, Локк, Кондиллак, Беркли, Хьюм) индуктивистууд байв. "Бүх боломжит объектуудын шинжлэх ухаан" гэж философийн мэдлэгийн цогц системийг санал болгосон Вольф эдгээр чиглэлийг нэгтгэхийг хичээсэн. Тэрээр ерөнхийдөө рационалист байсан ч шинжлэх ухааны тодорхой салбаруудад (жишээлбэл, физикт) индукц ба туршилтын мэдлэгийн шийдвэрлэх ач холбогдлыг эрч хүчтэйгээр онцлон тэмдэглэв. Гэсэн хэдий ч 19-р зуунд Ленинградад бий болсон сэтгэлгээний хэлбэр, хууль тогтоомж, танин мэдэхүйн аргуудын талаархи Вольфийн санаанууд нь шинжлэх ухаан, нийгмийн практикийн хурдацтай хөгжиж буй хэрэгцээг хангаж чадахгүй байв. Кант, ялангуяа Гегель рационалист-метафизик аргын хязгаарлалтыг шүүмжилсэн. Л. чухал харилцааг судлахад ухамсартай хандах боломжийг олгох арга хэрэгслийг боловсруулах даалгавартай тулгарсан. Энэ асуудлыг шийдэх ноцтой оролдлогыг Гегель хийсэн. Түүний гайхалтай гавьяа бол уран зохиолд хөгжил, харилцан уялдаа холбоотой санааг нэвтрүүлсэн явдал юм. Энэ нь түүнд хүний ​​сэтгэлгээний юмс үзэгдлээс мөн чанар руу, харьцангуй үнэнээс үнэмлэхүй үнэн рүү, хийсвэр мэдлэгээс тодорхой мэдлэг рүү шилжих хөдөлгөөний онол болох диалектик уран зохиолын үндсийг тавих боломжийг түүнд олгосон юм. Диалектик уран зохиолын ангилал, зарчим, хуулиудад үндэслэн объектын агуулгыг олон янз байдал, үл нийцэх байдлаар нь судлах арга зүйн удирдамжийг боловсруулдаг. Одоогийн байдлаар уран зохиол нь нэлээд өргөн хүрээтэй шинжлэх ухааны салбар юм. Түүний хамгийн чухал бөгөөд боловсронгуй хэсэг нь албан ёсны уран зохиол юм. Энэ нь эрт дээр үеэс эхлэн харьцаж ирсэн сэдвээс нэрээ авсан - нэгэнт тогтсон үнэнийг үндэслэн шинэ үнэнийг хүлээн авахыг баталгаажуулдаг бодол санаа, үндэслэлийн хэлбэрүүд, эхлээд бүгдээс нь эдгээр маягтуудын зөв, хүчин төгөлдөр байдлын шалгуур. Удаан хугацааны туршид албан ёсны уран зохиол нь үндсэндээ Аристотель болон түүний тайлбарлагчдын өгсөн хэлбэрээр мэдэгдэж байсан. Тиймээс энэ үе шатанд тохирсон нэр нь Аристотелийн Л. Аристотелийн үеэс улбаатай уламжлал нь уламжлалт философи гэсэн өөр нэг ижил нэр томъёог бий болгосон.Аристотелийн гүн ухааны хүрээнд олон зуун жилийн туршид асуудал, түүнийг шийдвэрлэх арга хэлбэр өөрчлөгдөөгүй байсан нь "албан ёсны философи" гэсэн нэр томъёог анх ашигласан Кантыг үндэслэсэн юм. ,” Аристотелийн үеэс хойш өнгөрсөн хоёр мянган жилийн хугацаанд энэ Л. нэг ч алхам урагшлаагүй бөгөөд үндсэндээ бүрэн дүүрэн шинж чанартай гэж үзэх. Түүнийг нас барснаас хойш ердөө хагас зуун жилийн дараа албан ёсны логикийн хөгжилд "хоёр дахь салхи" эхэлнэ гэж Кант төсөөлөөгүй байсан.Энэ чанарын шинэ үе шат нь математикийн логик үндсийг судлахад тулгарч буй асуудлуудын үр дүнд бий болсон. Аристотелийн логикоор шийдэж болохгүй.Бараг нэгэн зэрэг Математикийг логикжуулах, Л-ийг математикчлах үйл явц явагдаж байна.Логикийн асуудлыг шийдвэрлэхэд математикийн аргуудыг идэвхтэй ашиглаж, логик тооцооллыг бий болгодог. Аливаа шинжлэх ухаанд тооцоолох аргыг ашиглах тухай Лейбницийн санааг хэрэгжүүлэх тодорхой алхамууд хийгдэж байна. Ж.Бул алгебрийн анхны системийг L. О.де Морган, В.Жевонс, Э.Шредер, П.С. Порецкий, Пейрс, Фреге, Ж.Пиано, Рассел нар математикийн математикийн үндсэн хэсгүүдийг бий болгосон нь албан ёсны математикийн хамгийн чухал салбар болсон бөгөөд 20-р зуунд, ялангуяа 20-30-аад оны үед Ж.Лукасиевичийн бүтээлүүдэд . Э.Пост, К Льюис, С.Ясковский, Д.Вэбб, Л.Броувер, А.Хейтинг, А.А. Маркова, А.Н. Колмогоров, Г.Рейхенбах, С.К. Kleene, P. Detouches-Fevrier, G. Birkhoff болон бусад хүмүүс албан ёсны хэл шинжлэлийн сонгодог бус хэсгүүдийн үндэс суурийг тавьсан: олон үнэлэмжтэй хэл шинжлэл, модаль, магадлал, зөн совин, конструктивист болон бусад.. Хэд хэдэн үнэний үнэт зүйлс рүү шилжих шилжилт хоёроос их ("үнэн" ", "худал") нь сонгодог бус, эсвэл ихэвчлэн Крисипийн бус логикийн нэг онцлог шинжийг бүрдүүлдэг. 1930-аад онд албан ёсны логикийн хөгжил Металлогийн олон асуудлыг шийдвэрлэхтэй холбоотой (Грек мета - дараа, дээр), албан ёсны системийн бүтцийн зарчим, ерөнхий шинж чанарыг судлах, жишээлбэл, аксиомын системийн тууштай байдал, бүрэн байдал, бие даасан байдал, шийдвэрлэх чадвар, чадвар зэрэг асуудлууд. утга учиртай онолыг илэрхийлэх эдгээр системүүдийн үндэс гэх мэт. "машин сэтгэлгээ" Эдгээр асуудлыг судлах нь үзэл суртлын болон арга зүйн чухал ач холбогдолтой бөгөөд Тарски, К.Годель, А.Черч нарын нэрстэй холбоотой гайхалтай нээлтүүдээр тэмдэглэгдсэн юм. Хамгийн алдартай нь К.Гөделийн албан ёсны системүүдийн бүрэн бус байдлын тухай теорем юм. натурал тооны арифметик ба аксиоматик олонлогын онол. Энэ теоремын дагуу эдгээр систем бүрт тэдгээрийн хүрээнд нотлогдох, үгүйсгэх боломжгүй гэсэн саналууд байдаг. Ийнхүү формализмын хүрээнд нэг ч хүчин төгөлдөр шинжлэх ухааны онолыг шахаж болохгүй гэдгийг харуулсан. А.Черч аливаа асуудлыг шийдвэрлэх алгоритмыг дурдахгүйн дээр олон ангиллын асуудлыг шийдвэрлэх алгоритм байдаггүй (олон шилдэг логикч, математикчид ийм алгоритм зохион бүтээхийг мөрөөддөг байсан) теоремыг баталжээ. Өнөөдөр албан ёсны логикийн хөгжил хоёр үндсэн чиглэлд явагдаж байна: 1) сонгодог бус логикийн шинэ системийг хөгжүүлэх (захиргааны логик, үнэлгээ, асуулт, түр зуурын, индуктив логик, логик үр дагаврын онол гэх мэт). , эдгээр системийн шинж чанар, тэдгээрийн хоорондын хамаарлыг судлах, тэдгээрийн ерөнхий онолыг бий болгох; 2) албан ёсны L.-ийн хэрэглээний хамрах хүрээг өргөжүүлэх. Энэ чиглэлээр олж авсан хамгийн чухал эцсийн үр дүн бол албан ёсны Л. нь нарийн бодлын хэрэгсэл төдийгүй анхны нарийн хэрэгсэл болох компьютерийн "бодол" болсон явдал юм. , түүнд тулгарч буй асуудлыг шийдвэрлэх салбарт хүний ​​оруулсан түншийн дүрд шууд оролцдог. L. (бүх хэсгүүдийн нийлбэрээр) хүн төрөлхтний соёлын салшгүй хэсэг болсон. Түүний ололт амжилтыг хүний ​​үйл ажиллагааны янз бүрийн салбарт ашигладаг. Энэ нь сэтгэл судлал, хэл шинжлэл, менежментийн онол ба сурган хүмүүжүүлэх ухаан, эрх зүй, ёс зүйд өргөн хэрэглэгддэг. Түүний албан ёсны хэсгүүд нь кибернетик, тооцооллын математик, технологи, мэдээллийн онолын анхны үндэс суурь болдог. Уран зохиолын зарчим, хууль тогтоомжгүйгээр орчин үеийн танин мэдэхүй, харилцааны арга зүйг төсөөлөхийн аргагүй юм. Л.-ийн судалгаанд үргэлж ихээхэн ач холбогдол өгч ирсэн. Парменид философийн талаар туршлагагүй байсан Сократад: "Таны сэтгэн бодох идэвх зүтгэл чинь гайхамшигтай, бурханлаг юм гэдэгт итгэлтэй байгаарай, гэхдээ та залуу насандаа ихэнх хоосон яриа гэж үздэг зүйлд (өөрөөр хэлбэл хийсвэр ойлголттой ажиллах) илүү их дасгал хийхийг хичээгээрэй. V. B.) эс тэгвээс үнэн чамаас зугтах болно." Бидний харж байгаагаар эрт дээр үеэс хожим нь Л. хэмээх нэр өгсөн сахилга бат нь юуны түрүүнд үнэнийг олох хэрэгсэл болгон арга зүйн томоохон үүрэг гүйцэтгэдэг болохыг аль хэдийн ойлгосон. В.Ф. Берков

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

(Грек хэлнээс лого - лого) 1) зөв хийх чадвар, i.e. логикоор бодох; 2) адилтгал ба түүнийг үгүйсгэх сургаал (Г. Якоби), тууштай байдал ба танин мэдэхүйн аргын тухай сургаал (логикийн шинжлэх ухаан). "Анхан шатны албан ёсны логик"-ийн хувьд энэ нь бүх (одоо байгаа) үзэл баримтлалд хамаарах хамгийн ерөнхий шинж чанаруудыг авч үздэг. Үндсэн Үзэл баримтлалын шинж чанарыг логик аксиомоор илэрхийлдэг (Аксиомыг үзнэ үү). Эхлээд үзэл баримтлалын сургаалыг авч үздэг, дараа нь шүүлтийн сургаал, эцэст нь дүгнэлт гарч ирдэг. Логик аксиом, үзэл баримтлал, шүүлт, дүгнэлтийн сургаалуудыг нэгтгэн авч үзвэл цэвэр логикийг бүрдүүлдэг. Хэрэглээний логик нь уламжлалт логикт тодорхойлолт, нотолгоо, аргын тухай сургаалыг хамардаг. Энэ нь ихэвчлэн шинжлэх ухаан-логикийн бус харин туршлага, тайлбар, томъёолол (ялангуяа тусгай хэл, нэр томъёоны тусламжтайгаар), үзэл баримтлалыг бий болгох тухай онол-танин мэдэхүйн, сэтгэлзүйн сургаалуудаас өмнө байдаг. Заримдаа системийн сургаалыг үүн дээр нэмдэг. Логик (шинжлэх ухааны хувьд) нь зөвхөн үзэл баримтлал дахь сэтгэлгээний сургаал бөгөөд ойлголтоор дамжуулан мэдлэгийн тухай биш юм; энэ нь ухамсрын албан ёсны нарийвчлал, сэтгэлгээ, танин мэдэхүйн агуулгын объектив байдлыг нэмэгдүүлэхэд үйлчилдэг. Баруун Европын логикийг (шинжлэх ухааны хувьд) үндэслэгч нь "логикийн эцэг" Аристотель юм. "Логик" гэдэг үг анх стоикчуудын дунд гарч ирсэн; тэд болон неоплатонистууд түүний зарим талыг тодруулж, дундад зууны үед схоластикизм үүнийг хамгийн жижиг нарийн ширийн зүйлээр хөгжүүлсэн. Гуманизм нь схоластик үзлийг логикоос хөөсөн боловч шинэчилж чадаагүй юм. Шинэчлэл нь Меланхтоны логикийг, Эсрэг шинэчлэл - Суаресийн логикийг баталсан. Зарчмын хувьд схоластикизмаас дээгүүр гарсан Страсбургийн Йоханнес Штурм логикийг хөгжүүлсэн; Пьер Рамет илүү алдартай болсон. 17-р зуунаас Математиктай холбоотой сэтгэлгээний хүрээнүүдийн логикт үзүүлэх нөлөө мэдэгдэхүйц болж, Спинозагийн геометрийн аргад энэ нь логикт байгалийн шинжлэх ухааны аргыг сайжруулах аргыг ашигласан Лейбницээс бага байв. Лейбниц, математик, түүнчлэн неосхоластикаас Чоно сургуулийн логик гарч ирэв. Кантын "трансцендент логик" бол бодит байдал дээр мэдлэгийн шүүмжлэлтэй онол, герман хэлний логик юм. идеализм (ялангуяа Гегелийн логик) - таамаглалын метафизик. Шопенгауэр, Ницше, Бергсон болон амьдралын гүн ухааныг дэмжигчид уламжлалт логикийг үгүйсгэв. Одоогийн байдлаар логик олон чиглэлд хуваагдсан: 1) метафизик логик (Гегелизм); 2) сэтгэл зүйн логик (Т. Липпс, хэсэгчлэн В. Вундт); 3) эпистемологи буюу трансцендент, логик (нео-Кантизм); 4) семантик логик (Аристотель, Кульпе, орчин үеийн номинализм); 5) сэдвийн логик (Ремке, Мейнонг, Дриш); 6) нео-схоластик логик; 7) феноменологийн логик; 8) логикийг арга зүй (нео-Кантизм) ба логистик гэж үздэг бөгөөд энэ нь логикийн талаархи маргааны төвд байдаг.

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

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

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

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

Логик (Грек λογιχή - сэтгэлгээний шинжлэх ухаан, λόγος - бодол, үг, сургаал) - нь онолын сэтгэлгээний хууль, хэлбэрүүдийн тухай, эдгээр хэлбэрүүдийн хоорондын хамаарал, сэтгэн бодох үйл явцад гарсан алдаа, түүнийг арилгах арга замын тухай философийн шинжлэх ухаан юм.

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

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

Логикийн сэдэв нь:

- онолын сэтгэлгээний хэлбэрүүд: үзэл баримтлал, дүгнэлт, дүгнэлт;

- сэтгэлгээний ерөнхий хуулиуд:таних тэмдэг, зөрчилдөөн, хасагдсан гурав дахь, хангалттай шалтгаан;

- шинжлэх ухааны түгээмэл аргууд, ерөнхийдөө онолын сэтгэлгээ:дүн шинжилгээ хийх, нэгтгэх, хийсвэрлэх, ерөнхийлэх, албан ёсны болгох гэх мэт;

- бие даасан сэтгэлгээний хэлбэрийн бүтцийн хууль, дүрэм:үзэл баримтлалын эзэлхүүн ба агуулгын урвуу хамаарлын хууль, байр, нэр томъёоны дүрэм, энгийн категорийн силлогизмын дүрсийн тусгай дүрэм гэх мэт;

- логик хэлсэтгэлгээний хэлбэр, тэдгээрийн холболтыг тодорхойлох тусгай тэмдгийн систем болгон;

- нөхцөл болон тодорхойлолтууд,логикоор үндэслэлтэй;

- логик алдаа,сэтгэх үйл явцад боломжтой.

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

Зөв сэтгэлгээний шинж чанарууд:

- итгэлтэй- нарийвчлал, нягт нямбай байдал;

- дэд дараалал- дотоод зөрчилгүй;

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

Сэтгэлгээний хувьд тэд ялгадаг сэтгэлгээний агуулга, хэлбэр:

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

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

Шалтгаанууд тохиолддог зөв ба буруу.

Зөв үндэслэл - энэ бол зөвхөн бодол санаа агуулсан үндэслэл юм(дүгнэлт)бусад бодлуудаас заавал дагаж мөрдөх(илгээмж).

Жишээ:“Бүх одод бол халуун хийн асар том гялалзсан бөмбөг юм. Нар бол од юм. Тиймээс нар бол халуун хийн асар том гэрэлтдэг бөмбөг юм." Энэхүү маргаанд эхний хоёр бодол гурав дахь санааг зөвтгөдөг. "Хэрэв объектын ангилал нь тодорхой шинж чанартай бөгөөд тодорхой объект нь энэ ангилалд хамаарах бол энэ шинж чанар нь мөн чанар юм.". Эсвэл: "Хэрэв объект тодорхой өмчтэй бөгөөд энэ өмчтэй бүх зүйл өөр шинж чанартай байдаг бол энэ объект мөн өөр өмчтэй байна."“Нар бол халуун хийн асар том гэрэлтдэг бөмбөг юм. Бүх аварга том гялалзсан халуун хийн бөмбөлгүүд нь асар их хэмжээний энерги үүсгэдэг. Үүний үр дүнд нар асар их энерги үйлдвэрлэдэг."

Буруу үндэслэл - Энэ бол логикийн хууль тогтоомж, дүрмийг дагаж мөрдөөгүйгээс логик алдаа гардаг үндэслэл юм.

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

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

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

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

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

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

Жишээ:"Бүх технологичид үйлдвэрлэлийн тодорхой салбарын технологийн мэргэжилтнүүд байдаг" гэж үнэн; "Бүх өргөдөл гаргагчид ирээдүйн оюутнууд" гэдэг нь худлаа.

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

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

Жишээлбэл,“Киев бол Францын нийслэл” ба “Хэрэв Киев бол Францын нийслэл бол 22=5” гэсэн саналуудыг авч үзье, эхнийх нь энгийн санал, хоёр дахь нь “хэрэв” гэсэн холбоосоор үүсгэгдсэн төвөгтэй санаа юм , дараа нь". Эдгээр дүгнэлтэд логикийн албан ёсны дүрмүүдийн аль нэгийг хэрэглэцгээе. x, x→y╞цагт, Хаана XТэгээд цагт- энгийн саналуудыг илэрхийлэх, → - "хэрэв, тэгвэл", ╞ - үр дагаврын хамаарлыг илэрхийлдэг байгалийн хэлний холбоосыг илэрхийлнэ. Бид анхны шүүлтийг томилох үед X, хоёрдугаарт - x→y, үүний дагуу энд у - 22=5. Мөн эдгээр дүгнэлтүүд үнэн эсэх, утга учиртай эсэх нь хамаагүй. Мэдээжийн хэрэг, эхний санал нь худал, хоёр дахь нь худал бөгөөд хэрэв энэ нь үнэн байсан бол ("22 = 4") энэ нь ердийн утгаараа утгагүй байх болно. Гэсэн хэдий ч энэ нь үүнийг харуулж байна Албан ёсны дүрмийг хэрэглэхийн тулд шүүлтийн үнэн ба тэдгээрийн утгын уялдаа холбоо нь чухал биш юм. Хэрэв тийм бол "Киев бол Францын нийслэл" гэсэн анхны саналыг томилно А, мөн "22=5" гэсэн шүүхийн шийдвэр - IN, дараа нь бид "Хэрэв Киев бол Францын нийслэл бол 22 = 5" гэсэн нарийн төвөгтэй дүгнэлтийн томъёог "хэрэв" гэсэн илэрхийлэл хэлбэрээр авна. А, Тэр IN" Шүүхийн шийдвэрийн хэлбэрийг тодорхойлсны дараа бид тэдэнд албан ёсны дүрмийг хэрэглэж болно " x, x→y╞цагт"Шүүлтийн утга, утгыг мэдэхгүй байх" А"болон бол А, Тэр IN" Тиймээс, хэзээ шүүхийн шийдвэрээс " А"болон бол А, Тэр IN"дүгнэлт гарлаа" IN", тэгвэл үндэслэл нь албан ёсны бөгөөд логикийн хувьд зөв юм. Иймээс албан ёсны логик үндэслэлүүд энд үүсдэг, учир нь энэ нь логикийн албан ёсны дүрэмд захирагддаг. Тэгээд шүүх хэзээ " А"болон санал "хэрэв А, Тэр IN"үнэн байх болно, тэгвэл энэ нь үнэн байх болно" IN" Хэрэв тэд үнэн биш бол үнэн " IN» баталгаагүй.

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

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

◊[(П, П, П (x))(П, П (y))→(П (y))],

дараах байдлаар уншиж болно: “Элемент Xшинж чанаруудтай П,П,П, болон элемент цагт- шинж чанарууд П, П. Тиймээс элемент цагт, өмчтэй байх магадлалтай П».

Энэ дүрмийн агуулгын хамаарал нь түүнийг нэг (1) агуулгад хэрэглэх нь утга учиртай боловч нөгөөд (2) буруу дүгнэлтэд хүргэж байгаагаар тодорхойлогддог.

(1) "Дэлхий ( X) бол гариг ​​юм П, нарыг тойрон эргэдэг П, ойсон гэрлээр гэрэлтдэг П. Сугар ( цагт) бол гариг ​​юм П, нарыг тойрон эргэдэг П. Тиймээс Сугар ( цагт), ойсон гэрлээр гэрэлтдэг байх П" (2) "Дэлхий ( X) бол гариг ​​юм П, нарыг тойрон эргэдэг П, хиймэл дагуултай П. Сугар ( цагт) бол гариг ​​юм П, нарыг тойрон эргэдэг П. Тиймээс Сугар ( цагт), магадгүй хиймэл дагуултай П", бидний мэдэж байгаагаар Сугар гаригт байдаггүй.

2. Логик ба хэл.

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

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

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

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

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

Шинж тэмдгүүд гүйцэтгэдэг функцийг төлөөлөх (Латин temsil - дүрслэл, харааны дүрс), i.e. объект, тэдгээрийн шинж тэмдгийг заана(шинж чанар, харилцаа холбоо). Тэмдгийг тайлбарлах, тэдгээрийн утга, ач холбогдлыг илчлэх замаар хүн объектив ертөнцийг сурдаг. Эцсийн эцэст, ертөнц өөрөө, түүний агуулга нь сэтгэлгээний үйл ажиллагаанд шууд оролцдоггүй.

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

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

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

Бүгд тэмдгүүд хуваагдана дээр хэл шинжлэлийн шинж тэмдэгТэгээд хэл шинжлэлийн бус шинж тэмдэг. Хэл шинжлэлийн бус тэмдгийн төрлүүд хуваарилах By тэмдэг ба объектуудын хоорондын холболтын шинж чанар, тэдгээрийн шинж чанарууд: тэмдэг-зураг - харгалзах объекттой тодорхой төстэй байх(газрын зураг, талбайн төлөвлөгөө, зураг, гэрэл зураг); индексийн тэмдэг (лат. индекс - үзүүлэлт) - тэдний тодорхойлсон объекттой шууд холбоотой байх(утаа бол галын шинж тэмдэг, мөнгөн усны баганын өндрийн өөрчлөлт нь атмосферийн даралтын өөрчлөлтийн шинж тэмдэг, тоон эсвэл үсгийн үзүүлэлт юм: X, X...X, энд 1, 2, n нь индексийн тэмдэг); тэмдэг-тэмдэгт - объект руу чиглүүлдэг боловч тэдгээртэй бие махбодийн хувьд холбоогүй байдаг(замын тэмдэг нь замын хөдөлгөөнийг зохих ёсоор зохион байгуулах тухай мэдээлсэн тэмдэг; төрийн сүлд, туг, дуулал нь тухайн улсын төрт ёсны бэлгэдэл)... Хэлний тэмдэг объектуудыг төлөөлдөг.

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

Нэрийг нь ангилдаг дээр ганц биеТэгээд нийтлэг байдаг. Ганц бие нэг объектыг илэрхийлэх ба хэлэнд тохирох нэрээр илэрхийлэгдэнэ(“Г.С. Сковорода”, “Днепр”). Хэрэв зохих нэрийг тодорхой илэрхийлээгүй бол үүнийг ашигладаг iota оператор - "хэн нь"("Шинжлэх ухааны индукцийн аргыг боловсруулсан хүмүүс"). Нийтлэг байдаг олонлогийг илэрхийлнэ(нэгэн төрлийн анги)объектууд бөгөөд хэлэнд нийтлэг нэрээр илэрхийлэгддэг(“ном”, “нарны аймгийн гараг”). Нийтлэг нэрсийн дундялгаж болно энгийн, үүнд бие даасан утгатай хэсэг байхгүй (“ном”) ба цогцолбор,эсвэл дүрсэлсэн,бие даасан утгатай хэсгүүдээс бүрдэх ("нарны аймгийн гараг": "гараг", "систем", "нарны систем").

Нэр (тэмдэг гэх мэт) байна утга учирТэгээд утга учир. Нэрийн утга түүгээр тодорхойлсон объект байна. Нэрийн утгадуудсан тэмдэглэгээ (лат. denotatus - томилогдсон; томилгоо , лат. тэмдэглэгээ - тэмдэглэгээ). Нэрийн утга- энэ бол нэр нь объектыг тодорхойлох арга юм, өөрөөр хэлбэл. зориулалтын объектын талаархи тодорхой мэдээлэл. Нэрийн утгадуудсан үзэл баримтлал. Утга ба ач холбогдолбүрдүүлэх агуулгыг нэрлэх.

Жишээлбэл,"Хамгийн жижиг улс бол хот-улс", "Италийн нийслэл Ром дахь хот муж", "44 га газар нутагтай, ойролцоогоор хүн амтай улс" гэх мэт хэл шинжлэлийн хэлбэрүүд. 1 мянган хүн", "Ромын католик сүмийн төв, түүний тэргүүний оршин суух газар, Ромын Пап лам" ижил утгатай(Ватикан), Гэхдээ өөр өөр утгатай,учир нь төрөл бүрийн өмчийг ашиглан тухайн улсыг төлөөлөх, өөрөөр хэлбэл. энэ талаар янз бүрийн мэдээлэл өгнө.

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

Жишээлбэл,"Днепр" гэдэг үгийн тэмдэглэгээ нь гол, мотоцикль, хөлбөмбөгийн клуб гэх мэт байж болно.

Хэрэв тэмдэглэвэл(утга учир)нэр нь мөн нэр, дараа нь анхны нэр нь хэрэглэгддэг антоним утга (“байх” гэдэг нь “оршихуйн ангилал”, “шүүлт” нь “шүүлтийн тухай ойлголт”, энд хоёр дахь жишээ болгон нэр томъёоны эсрэг утгатай хэрэглээг харуулдаг).

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

Жишээлбэл,франц хэлэнд боломжгүй. философич Р.Декартыг солих хөдөлгөөнматериаллаг бодис ба түүний элементүүдийн бүх нийтийн шинж чанар болгон өөрчлөх 17-р зуунаас хойш материаллаг бодис ба түүний элементүүдийн бүх нийтийн шинж чанар. өөрчлөлтийг материйн шинж чанар гэж үзээгүй. Олон элементүүдээс бүрдэх матери нь Р.Декартын хэлснээр зөвхөн хөдөлгөөн хийх чадвартай (механик) боловч эдгээр элементүүд нь бүхэлдээ материйн нэгэн адил өөрчлөгдөөгүй байдаг.

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

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

Урьдчилан таамаглагчид тодорхойлогддог газар нутаг, хэрэглээний талбар, үнэний талбар.

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

Анги(Латин ангилал - бүлэг) тодорхой таамаглагч ашиглах нь утга учиртай сэдвүүд,дуудсан урьдчилан таамаглагчийн хамрах хүрээ.

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

Боломжтой Нэг ба олон газартай урьдчилан таамаглагчдын хэрэглээний талбаруудын онцлог:бүс нутаг ганц биеолон тооны объектын боломжит шинж чанаруудын нэг болж ажилладаг ба олон суудалтай- өөр өөр ангиллын объектуудтай тогтоосон объектын харилцаа.

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

Урьдчилан таамаглагчаар илэрхийлсэн өмч буюу харилцааны эзлэхүүндуудсан таамаглагчийн үнэний талбар.

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

Төрөл бүрийн үйлдэл, объекттой хийсэн үйлдлийг илэрхийлдэг илэрхийлэл, үүний үр дүнд шинэ объект бий болно.гэж нэрлэдэг функциональ шинж тэмдэг (домэйн функциональ илэрхийллүүд, эсвэл домайн функцүүд , өөрөөр хэлбэл субьект функцүүдийн нэрс:математикийн хувьд: "√", "+", " ctg а" гэх мэт; байгалийн хэлээр: "нас", "өндөр", "масс", "хурд", "зай", "мэргэжил" гэх мэт).

Зүйлийн функцүүд (урьдчилан таамаглагчид гэх мэт) байдаг ганц бие ("жин") ба олон суудалтай (“зай”), мөн байна хэрэглээний талбар , өөрөөр хэлбэл тодорхой функцийг ашиглахыг зөвлөж буй объектын ангилал (физикийн масс, математикийн хувьд "лог"). Гэхдээ функторыг хэрэглэх нь (жишээлбэл, Самарин С.М.-д "нас") шинэ объект үүсэхэд хүргэдэг (энэ тохиолдолд нэрлэсэн тоо, жишээлбэл, 20). Үүнтэй холбогдуулан бид хэлж чадна үнэний хүрээний тухай биш, болон тухай объект функцийн домэйн .

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

Ерөнхийдөө зүйлийн нэрс (өөрөөр хэлбэл бие даасан объект, нэг төрлийн объектын ангиллыг илэрхийлсэн үг, хэллэгүүд), урьдчилан таамаглагчид (жишээ нь: объектын шинж чанар эсвэл объектын хоорондын харилцааг илэрхийлсэн үг, хэллэг) ба функциональ шинж тэмдэг (жишээ нь: зорилгын функц, үйлдлийг илэрхийлсэн илэрхийллүүд: "√", "+", " ctg а") байна дүрсэлсэн (Латин тайлбараас - тайлбар, дүрсэлсэн )нөхцөл (лат . төгсгөл - хил).

Хэл нь бас бий логик нэр томъёо (логик тогтмол, эсвэл логик тогтмол). Логик нэр томъёо байгалийн хэлний ийм үг, хэллэгийг илэрхийлэх, Хэрхэн "Ба" , "эсвэл" , "хэрэв, тэгвэл" , "Үгүй" , "хэрэв, хэрэв л бол, тэгвэл" гэх мэт. "Бүгд" ,"зарим" гэх мэт., "Тэр" ,"аль" ,"ийм" гэх мэт.

Логик нэр томъёо "ба" , "эсвэл" , "хэрэв, тэгвэл" , "Үгүй" , "Хэрэв, хэрэв тийм бол"... дүрслэх нэр томъёоны хоорондын хамаарлыг олж авахмэдэгдлүүдийн дунд, мэдэгдлийн хооронд .

Харилцааг илтгэдэг үгсдуудсан логик холболтууд . Логик холболтын бүлгүүдийн дунд зөвхөн төдийгүй саналын холбогч ("Ба" , "эсвэл" , "хэрэв, тэгвэл" , "Үгүй" , "хэрэв, хэрэв л бол, тэгвэл" ), Гэхдээ бас логик холболтууд, бодлын объектуудын хоорондох оршихуй болгон засах харилцаа("Платон байнаАристотелийн багш), мөн тухайн сэдвээр бодол санаа байгаа эсэх шинж чанарууд("Донецк Байнабүсийн төв"): "Байна" ("идэж болохгүй юм" ), "байна" ("биш" ), олон тооны хэлбэр нь "мөн чанар" ("гол биш" ). Хэрэв шөрмөс "Байна" ("идэж болохгүй юм" ), "байна" ("биш" ) мэдэгдэлд илэрхийлсэн шинж чанарууд, Тэд гэж нэрлэдэг атрибут , Хэрэв харилцаа - хамаатан садан . Шөрмөс илэрхийлж болно оршихуйобъект ба/эсвэл түүний шинж чанар, тиймээс байх оршин тогтнох. Үүнээс гадна эдгээр холбоосууд нь иймэрхүү байж болно эерэг ("Байна" ), ба сөрөг ("идэж болохгүй юм" ).

Үг "Ба" , "эсвэл" , "хэрэв, тэгвэл" гэх мэт. энгийн буюу утга зохиолын хэлээр бол дүрмийн холбоо үг. Тэд энгийн өгүүлбэрүүдийг нарийн төвөгтэй өгүүлбэрүүдтэй холбодог. Тэд энд чухал ач холбогдолтой агуулга ба утга.

Үг "Ба" , "эсвэл" , "хэрэв, тэгвэл" гэх мэт. байна ба логик нэгдлүүд. Тэд өгүүлбэр хоорондын холбоог бичихээ больсон, гэхдээ зөвхөн хаана байна логик утгууд(үнэн ба худал) нийлмэл нэгийг бүрдүүлдэг энгийн мэдэгдлүүд.

Логик дээр байдаг Логик холболтын тусгай нэр, тэмдэг: « Тэгээд» - холболт(), « эсвэл» - салгах(), « хэрэв, тэгвэл» - утга учир(→), « хэрвээ зөвхөн хэрэв тийм бол, тэгвэл» - эквивалент- (≡), гэх мэт. Тэдний мөн чанарыг саналын логикоор судалдаг. Тэдгээрийн тусламжтайгаар энгийн мэдэгдлүүд (шүүлтүүд) нь харгалзах холбоосын нэрийг агуулсан нарийн төвөгтэй хэлбэрүүд болж үүсдэг. холбоо үг, салалтгэх мэт. Тэд адилхан саналын холбоо, эсвэл саналын холбогч(Латин propositio - санал, мэдэгдэл).

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

"Тэр" гэсэн логик нэр томъёо ,"аль" , "Иймэрхүү..." бодлын объектуудын дүрслэх илэрхийлэлийг тусганаэнгийн хэллэгээр.

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

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

Логик хэл дээрх логик нэр томъёо дараах зүйлийг илэрхийлнэ тэмдэгтүүд:

1. 1) а, б, в- ганц нэр эсвэл субьект хувьсагчийн тэмдэг;
2. 2) x, y, z- нийтлэг нэрсийн тэмдэг, эсвэл субьект хувьсагч;
3. 3) П, Q, Р, … П, Q, Р- урьдчилан таамаглагчийн тэмдэглэгээ, тэдгээрийн байршлыг харуулсан тэмдэг, эсвэл урьдчилан таамаглах хувьсагч;
4. 4) х, q, r- мэдэгдлийн тэмдэг, эсвэл саналын хувьсагч;
5. 5) - ерөнхий байдлын тоон үзүүлэлтийн тэмдэг ("бүгд", "байхгүй", "ямар ч", "ямар ч", "тус бүр" гэх мэт);
6. 6) - оршихуйн хэмжигдэхүүний тэмдэг ("бүгд биш", "зарим", "тийм байна", "олонхи", "цөөнх", "хэсэг", "заримдаа" гэх мэт);
7. 7) С, П- шүүлтийн субьект ба предикатын тэмдэг;
8. 8) М- дүгнэлтийн дунд хугацааны тэмдэг (хоёр байранд нийтлэг);
9. 9) А- ерөнхийдөө эерэг дүгнэлтийн бэлэг тэмдэг ("Бүх зүйлСБайна Р»);
10. 10) Э- ерөнхийдөө сөрөг дүгнэлтийн бэлэг тэмдэг ("БүгдСидэж болохгүй юм Р»);
11. 11) I - хувийн эерэг дүгнэлтийн бэлэг тэмдэг ("ЗаримСБайна Р»);
12. 12) ТУХАЙ- хэсэгчилсэн сөрөг дүгнэлтийн бэлгэдэл (“ЗаримСидэж болохгүй юм Р»);
13. 13) () - зүүн ба баруун хаалтны техникийн шинж тэмдгүүд, жишээлбэл, шүүлтийн нарийн төвөгтэй нэр томъёог бичихэд ашигладаг;
14. 14) < >- хаалтны тэмдэг нь хаалттай буюу бүрэн холболт, салалт;
15. 15) ¬а, ~а, ā, - үгүйсгэх тэмдэг (“-а биш”, “а гэдэг нь үнэн биш”);
16. 16) , & - холболтын тэмдэг (“ба”);
17. 17) - сул (хатуу бус) салалтын холболтын тэмдэг ("эсвэл");
18. 18), - хүчтэй (хатуу) салалтын холболтын тэмдэг ("эсвэл, эсвэл");
19. 19) →, - далд үгийн холбоосын тэмдэг (“хэрэв, тэгвэл”);
20. 20) ↔, ≡ - эквивалентийн холболтын тэмдэг ("хэрэв, зөвхөн хэрэв байвал");
21. 21) - - шүүлтийн логик холболтын тэмдэг ("байна", "биш", "мөн чанар", "мөн чанар биш", "байна", "биш");
22. 22) - үзэл баримтлал (анги) нэмэх логик үйлдлийн тэмдэг;
23. 23) - үзэл баримтлалыг үржүүлэх эсвэл огтлолцох логик үйлдлийн тэмдэг;
24. 24) - ангид харьяалагдах, ангид оруулах бэлэг тэмдэг;
25. 25) \ - ухагдахууныг хасах логик үйлдлийн тэмдэг;
26. 26)  - “шаардлагатай” модаль операторын тэмдэг;
27. 27) ◊ - "боломжтой" модаль операторын тэмдэг;
28. 28) - "санамсаргүй" модаль операторын тэмдэг;
29. 29) i - "үнэхээр" модаль операторын тэмдэг;
30. 30) Р- "зөвшөөрөгдсөн" модаль операторын тэмдэг;
31. 31) Ф- "хориотой" модаль операторын тэмдэг;
32. 32) ТУХАЙ- "шаардлагатай" модаль операторын тэмдэг;
33. 33) TO- "мэддэг" модаль операторын тэмдэг;
34. 34) IN- "итгэдэг" модаль операторын тэмдэг (тоо);
35. 35) 1, би, т- "үнэн" тэмдэг;
36. 36) 0, x, е- "үнэн биш" гэсэн тэмдэг;
37. 37) Р- харилцааны бэлэг тэмдэг;
38. 38) А, IN, ХАМТ- мэдэгдлийн тэмдэг;
39. 39) Df- тодорхойлолтын тэмдэг (тодорхойлолт).

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

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

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

Сэтгэцийн логик бүтэц, энэ бүтцийн элементүүдийн логик холболтыг агуулсан бэлгэдлийн хэрэгслийн багцбайна субьект хэл , эсвэл объект хэл: "Бүгд С Байна Р" А сэтгэхүйн бүтцийн логик дүн шинжилгээ, энэ бүтцийн тэмдгийн хэрэгслийн холболт, тэдгээрийг утга санаатай уялдуулах журам.үндсэн дээр үүсдэг металл хэл: С бодлын сэдвийг илэрхийлдэг, Р- бодлын сэдвийн шинж тэмдэг, "Байна"тэдгээрийн хоорондын харилцааг тодорхойлж, "Бүгд"- тусгагдсан өвөрмөц шинж чанартай объектуудын тодорхой багц С(сэдэв) ба Р(тодорхойлолт).

Байгалийн хэлний бүтэц танилцуулсан семиотикийн гурван хэсэг (Грек хэлээр σημειωτικόν - тэмдгийг судлах, Грек хэлнээс σημεϊον - тэмдэг) - дохионы систем болох дохио ба хэлийг шинжлэх ухаан: синтакс (Грек хэлээр σύνταζις - бүтэц, хослол; тэмдгүүдийг өөрөө шинжилдэг, өөрөөр хэлбэл тэмдгүүдийг бий болгох зарчим, холболтын дүрэм, хэл шинжлэлийн тэмдгийг тодорхой дохионы системд байрлуулахыг тодорхойлдог). семантик (Грек. σημαντικός - тэмдэглэгээ; тэмдэг, утгын хоорондын хамаарлыг илчлэх, хэл шинжлэлийн хэллэгийн утга, ач холбогдлыг судлах, хэлийг тодорхойлолт, тэмдэглэгээний чиг үүргийн дагуу дохионы систем болгон шинжилдэг) ба прагматик (Грек хэлнээс πραγμα - бизнес, үйл ажиллагаа; дохионы систем ба түүний тээвэрлэгчийн хоорондын харилцаа, тодорхой практик нөхцөл байдалд дохио, хэлийг дохионы систем болгон ашиглах арга замыг авч үздэг).

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

Логик судлахын ач холбогдол боломжтой болгож байгаа юм Нэгдүгээрт,объектив шинж чанартай сэтгэлгээний хууль, дүрэм, арга барилтай танилцах; Хоёрдугаарт,сэтгэлгээний хууль тогтоомж, дүрмийн мэдлэг дээр үндэслэн сэтгэн бодох үйл явцад ухамсартайгаар хандах, нотлох баримт, няцаалт хийх, аналоги зурах гэх мэт үйлдлүүдийн тодорхой байдлыг сайжруулахад туслах; Гуравдугаарт,аргументуудыг зөвхөн албан ёсны зөв байдлын үүднээс төдийгүй үнэнийг ухамсартайгаар бий болгох; дөрөвдүгээрт,хэлэнд ашигласан үгсийн мөн чанар, дүгнэлт, дүгнэлтийн хэлбэр, бүтцийг үнэн зөв тогтоох; тавд,сэтгэн бодох, сэтгэх явцад хоёрдмол байдал, зөрчилдөөнөөс зайлсхийх; Зургаадугаарт,өөрийн үндэслэл болон өрсөлдөгчийнхөө алдааг олж, арилгах; долоо дахь,логик ололт амжилт болон хүний ​​үйл ажиллагааны бусад чиглэлээр хамгийн сүүлийн үеийн үр дүнтэй танилцах; найм дахь,Шинжлэх ухааны мэдлэгийн үр ашгийн түвшинг дээшлүүлэх төдийгүй түүний үр дүнг нийгмийн практикийн янз бүрийн салбарт хэрэгжүүлэх.

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

ерөнхий шинж чанар

Тэгэхээр логик гэж юу вэ? Логикийн тодорхойлолт нь маш олон талт юм. Грек хэлнээс орчуулбал "бодол", "оюун ухаан", "үг", "хууль" гэсэн утгатай. Орчин үеийн тайлбарт энэ ойлголтыг гурван тохиолдолд ашигладаг.

1. Объектив ертөнц дэх хүмүүсийн үйлдэл, үйл явдлыг нэгтгэдэг харилцаа холбоо, хэв маягийн тодорхойлолт. Энэ утгаараа "логик хэлхээ", "баримтуудын логик", "юмсын логик" гэх мэт ойлголтуудыг ихэвчлэн ашигладаг.
2. Сэтгэн бодох үйл явцын хатуу дараалал, тогтмол байдлыг тодорхойлох. Энэ тохиолдолд "сэтгэцийн логик", "сэтгэхүйн логик", "ярианы логик" гэх мэт хэллэгийг ашигладаг.
3. Логик хэлбэр, үйл ажиллагаа, түүнчлэн тэдгээртэй холбоотой сэтгэлгээний хуулиудыг судалдаг тусгай шинжлэх ухааны нэршил.

Логикийн асуудлууд

Таны харж байгаагаар тодорхой нөхцөл байдал бүрт "Логик гэж юу вэ?" Гэсэн асуултын хэд хэдэн хариултын дор хаяж нэг нь байж болно. Логик асуудлын тодорхойлолт нь арай өргөн хүрээтэй биш юм. Гол ажил бол тухайн үзэгдлийн бусад талуудтай харьцах харьцааны талаар илүү гүнзгий ойлголттой болохын тулд үндэслэлд үндэслэн дүгнэлт хийж, үндэслэлийн сэдвийн талаар мэдлэг олж авах явдал юм. Аливаа шинжлэх ухаанд гол хэрэглүүрүүдийн нэг бол логик юм. Энэ нь философийн чухал дэд хэсэг төдийгүй зарим математикийн сургаалд нөлөөлдөг. "Логикийн алгебр" гэдэг нь математикийн хүрээлэлд сайн мэддэг тодорхойлолт юм. Үүнийг компьютерийн шинжлэх ухааны үндэс суурь гэж заримдаа андуурдаг ч энэ нь бүрэн үнэн биш юм.

Албан бус логик

Логикийг үндсэндээ дараахь байдлаар ангилдаг.

1. Албан бус.
2. Албан ёсны.
3. Бэлгэдлийн шинж чанартай.
4. Диалектик.

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

Албан ёсны ба бэлгэдлийн логик

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

Диалектик логик

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

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

Логик объект

Логикийг шинжлэх ухаан гэж тодорхойлсон нь түүний объект нь хүн төрөлхтөн, хүрээлэн буй ертөнц дэх аливаа зүйл, харилцааг ерөнхийд нь тусгадаг хүний ​​цогц, олон талт үйл явц гэдгийг харуулж байна. Энэ үйл явцыг философи, сэтгэл судлал, генетик, хэл шинжлэл, кибернетик зэрэг янз бүрийн шинжлэх ухаан судалдаг. Философи нь сэтгэлгээний гарал үүсэл, мөн чанарыг судалж, түүнийг материаллаг ертөнц, мэдлэгтэй адилтгадаг. Сэтгэл судлал нь сэтгэлгээний хэвийн үйл ажиллагаа, түүний хөгжлийн нөхцөл, түүнчлэн хүрээлэн буй орчны нөлөөллийг хянадаг. Генетик нь сэтгэн бодох чадварыг удамшлын механизмыг судлахыг хичээдэг. Хэл шинжлэл нь сэтгэлгээ ба ярианы хоорондын холбоог эрэлхийлдэг. За, кибернетик нь хүний ​​тархи, сэтгэлгээний техникийн загваруудыг бүтээхийг оролдож байна. Логик өөрөө сэтгэн бодох үйл явцыг бодлын бүтэц, үндэслэлийн зөв, буруу эсэх талаас нь авч үзэхийн зэрэгцээ бодлын агуулга, хөгжлөөс хийсвэрлэн авч үздэг.

Логикийн сэдэв

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

1. Мэдрэхүйн танин мэдэхүй. Энэ нь мэдрэхүйн эрхтэн эсвэл багаж хэрэгслийг ашиглан хийгддэг.
2. Рациональ танин мэдэхүй. Энэ нь хийсвэр сэтгэлгээг ашиглан хийгддэг.

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

Мэдрэхүйн танин мэдэхүй

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

1. Мэдрэмж. Объектын бие даасан шинж чанарыг илэрхийлдэг.
2. Ойлголт. Объектыг бүхэлд нь тусгаж, түүний цогц дүр төрхийг илэрхийлдэг.
3. Гүйцэтгэл. Энэ бол санах ойд хадгалагдсан объектын дүрс юм.

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

Рациональ танин мэдэхүй

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

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

Үзэл баримтлал

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

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

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

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

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

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

Шүүх

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

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

Дүгнэлт

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

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

Дүгнэлт

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

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

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

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

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

"Сэдвийн тухай", "Ангилал", "Зөв аргументуудыг няцаах тухай", "Тайлбарын тухай". Византийн логикчид Аристотелийн жагсаасан бүх бүтээлийг "Органон" (Мэдлэгийн хэрэгсэл) гэсэн нийтлэг нэрээр нэгтгэсэн. - см.: Аристотель. Оп. Т. 2. М., 1978 он.

Ойлголт -Энэ бол одоогийн байдлаар хүний ​​анализаторуудад нөлөөлж буй объектив ертөнцийн объект, үзэгдлийг тусгах үйл явц юм.

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

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

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

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

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

Гэхдээ сэтгэлгээ бол нарийн төвөгтэй, олон талт үйл явц, ертөнцийг танин мэдэх хамгийн дээд хэлбэр бөгөөд зөвхөн хүний ​​онцлог шинж юм. Энд хүн бүр логик сонирхдоггүй. Сэтгэлгээний мөн чанар, түүний гарал үүсэл, ертөнцтэй харилцах харилцаа, танин мэдэхүйн чадварыг философи судалдаг. Физиологи нь сэтгэлгээ нь бодлын материаллаг субстрат болох тархины төлөв байдлаас хэрхэн хамаардаг болохыг сонирхдог. Сэтгэл судлал нь сэтгэлгээний оновчтой хөгжил, үйл ажиллагааны нөхцөл, нийгэм-сэтгэлзүйн орчин, түүнд үзүүлэх мэдрэмжийн нөлөөллийг судалдаг. Генетик нь хүүхдүүдийн эцэг эхээс аливаа үйл ажиллагааны чадварыг өвлөн авах нууцыг задлахыг оролдож байна. Кибернетикийн эрдэмтэд уян хатан эргэх холбоо бүхий компьютер дээр хүний ​​сэтгэлгээг загварчлах техникийн боломжуудыг судалж байна.

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

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

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

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

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

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

Тиймээс бид логикийг шинжлэх ухаан гэж тодорхойлж болно.

Логик(Грек Аоу

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

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

Нарийн утгаараа логикийг сонирхож байгаа тул хэлбэрбодол санааг бий болгож, түүнд агуулагдах тодорхой мэдээллээс сатаардаг, үүнийг гэж нэрлэдэг албан ёснылогик.

Бодлын тодорхой агуулгыг сатааруулж, логик нь бидний сэтгэн бодоход үйлчилж буй мэдэгдлүүд үнэн эсвэл худал уу гэсэн асуултыг үл тоомсорлодоггүй. Анхны мэдэгдлүүд үнэн эсвэл худал эсэхээс хамааран гаралт нь үнэн эсвэл худал байж болно. Тиймээс логик нь үнэнийг илрүүлэх хэрэгсэл болохын тулд сэтгэлгээний албан ёсны бүтцийг судлахад үндэслэн үнэн ба худал дүгнэлтийн хоорондын хамаарлын хуулийг тогтоох ёстой.

Жишээлбэл, дараах хоёр санал:

"Ахлагч Катон Карфагеныг устгах хэрэгтэй гэж хэлсэн" ба "Плевако - зальтай хуульч" - ижил агуулгатай байдаггүй, гэхдээ тэдгээр нь ижил логик бүтэцтэй байдаг. Эхний болон хоёр дахь шүүлтэд бодлын объектыг тодорхойлдог зарим төрлийнтодорхой өмч. Схемийн хувьд энэ нь иймэрхүү харагдах болно: S бол P, энд: S бол бодлын сэдэв; (лат. сэдэв- субьект, мэдэгдэл-шүүлтэнд - логик сэдэв); P - энэ объектод хамаарах өмч; (лат. proedicatum -мэдэгдэл-шүүлтэнд хэлсэн зүйл бол предикат юм).

Бидний дүгнэлтийг батлахын тулд өөр хоёр аргументыг авч үзье: "Бүх сансрын нисэгчид зоригтой хүмүүс. Г.Титов - сансрын нисгэгч. Улмаар Г.Титов бол эрэлхэг хүн”, “Оросын Хууль зүйн академийн нэгдүгээр дамжааны бүх оюутнууд логикийн чиглэлээр суралцдаг. Таня Петрова бол Оросын Хууль зүйн академийн нэгдүгээр дамжааны оюутан юм. Тиймээс,

Таня Петрова логик судалдаг." Эдгээр аргументуудын агуулга өөр боловч логик бүтэц (хэлбэр) нь адилхан. Логик дээр ихэвчлэн ингэж бичдэг.

“M бол P”, “S бол М” гэсэн саналууд нь “М” гэсэн нийтлэг нэр томъёогоор бие биентэйгээ холбоотой байдаг (“М” үсэг нь эхний болон хоёр дахь өгүүлбэрт ижил агуулгатай ойлголтыг илэрхийлдэг. Үүнийг дунд нэр томъёо (лат. дунд- дундаж)) ба үүний ачаар "S бол P" гэсэн дүгнэлт гарч болно.

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

Логикийн түүх 2.5 мянга гаруй жилийн түүхтэй бөгөөд үндсэн хоёр үе шатанд хуваагддаг. Эхнийх нь Аристотелийн бүтээлүүдээс эхэлж 20-р зууны эхэн үе хүртэл үргэлжилсэн. Хоёр дахь нь тэр үеэс өнөөг хүртэл. Логикийг хөгжүүлсэн бүх шилдэг сэтгэгчдийг жагсаах нь бараг боломжгүй юм. Энэ асуудалд тусгай сургалт явуулах ёстой. Үүний зэрэгцээ, эртний Грект аль хэдийн "Стоик" сургуулийн төлөөлөгчид (Хринсий) логикт ихээхэн анхаарал хандуулж байсныг тэмдэглэх нь зүйтэй. Дундад зууны логик соёлын хамгийн алдартай хүмүүсийн нэг бол I. D. Scot юм. Ф.Бэкон албан ёсны логикийг шинжлэх ухаан болгон хөгжүүлэхэд ихээхэн хувь нэмэр оруулсан. Тэрээр индукцийн логик сургаалын үндэс суурийг тавьсан бөгөөд түүний зорилго нь ажиглалт, туршилтаар хүрээлэн буй ертөнц дэх үзэгдлийн хоорондын учир шалтгааны холбоог илрүүлэх явдал юм. Ж.С.Милл учир шалтгааны холбоог тогтооход үндэслэн шинжлэх ухааны индукцийн аргыг боловсруулсан. Г.Лейбниц нотлох баримтыг математик тооцоолол болгон гаргах боломжтой гэсэн санааг үндэслэсэн. Д.Боол дүгнэлтийг логик тэгш байдлыг шийдсэний үр дүн гэж тайлбарлав. Г.Фреге математикийн үндсийг судлахдаа логикийг ашигласан. Дараа нь Б.Болзано, О.Де Морган, В.С.Жевонс, С.С.Пирс, Э.Шрөдер болон бусад хүмүүс логикийг хөгжүүлэхэд ихээхэн хувь нэмэр оруулсан.

20-р зууны эхэн үе бол логикийн нэгэн төрлийн хувьсгал юм. Үндсэн үр дүнг К.Годель, Д.Гилберт, Б.Расел, А.Тарски, А.Н.Уайтхед, А.Черч болон бусад хүмүүс гаргажээ.

Манай нутаг нэгтнүүд ч логикийг хөгжүүлэхэд асар их хувь нэмэр оруулсан. Орос дахь логик санааны хувьсал нь нэрсийн гайхалтай одонтой холбоотой: эдгээр нь ах дүү Лихуд, М.В.Ломоносов, П.С.Порецкий, Н.А.Васильев, А.А.Марков-хүү гэх мэт. Сүүлийн хэдэн арван жилд А.П.Алексеевын төлөө их зүйл хийсэн. Л.Б.Баженов, В.А.Бочаров, Е.К.Войшвилло, А.Д.Гетманова, Д.П.Горский, А.А.Ивин, Ю.В.Ивлев, В.И.Кириллов, С.А.Лебедев, В.И.Маркин, А.Л.Никифоров, С.И.Поварергеч, А.В.Рувин, А.В. Старченко, М.К.Треушников, А.И.Уемов гэх мэт.

• Мэдлэгийн онолтой тодорхой утгаараа давхцдаг диалектик логикоос ялгаатай.