Логик ба хэл. Орчин үеийн албан ёсны логикийн тэмдэг Логикийн хэл дээрх тэмдэг

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

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

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

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

Шинжлэх ухааны мэдлэг, ялангуяа логикт албан ёсны үүрэг ямар үүрэг гүйцэтгэдэг вэ?

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

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

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

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

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

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

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

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

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

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

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

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

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

Гарал үүслээр нь хэл нь байгалийн болон хиймэл байж болно.

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

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

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

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

Сэтгэцийн бүтцийг нарийн онолын болон практикт шинжлэхэд хиймэл хэлийг логикоор амжилттай ашигладаг.

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

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

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

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

Нэрийн субьект утга (тэмдэглэгээ) нь энэ нэрээр тодорхойлогдсон нэг буюу олон объект юм. Жишээлбэл, орос хэл дээрх "байшин" гэсэн нэрний тэмдэглэгээ нь энэ нэрээр тодорхойлогдсон бүх төрлийн бүтэц байх болно: модон, тоосго, чулуу; нэг давхар, олон давхар гэх мэт.

Нэрийн семантик утга (утга, үзэл баримтлал) нь объектуудын тухай мэдээлэл, i.e. тэдгээрийн төрөлхийн шинж чанарууд, тэдгээрийн тусламжтайгаар олон объектыг ялгадаг. Дээрх жишээн дээр "байшин" гэдэг үгийн утга нь аливаа байшингийн дараах шинж чанарууд байх болно: 1) энэ барилга байгууламж (барилга), 2) хүн барьсан, 3) орон сууцанд зориулагдсан.

Нэр, утга, тэмдэглэгээ (объект) хоорондын хамаарлыг дараах семантик схемээр илэрхийлж болно.

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

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

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

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

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

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

Предикат логик хэлний цагаан толгойд дараахь төрлийн тэмдэг (тэмдэг) орно.

• 1) a, b, c,... - объектын дан (зохистой эсвэл дүрслэх) нэрсийн тэмдэг; тэдгээрийг субьект тогтмол буюу тогтмол гэж нэрлэдэг;
• 2) x, y, z, ... - нэг эсвэл өөр газар утга авч буй объектын нийтлэг нэрсийн тэмдэг; тэдгээрийг субьект хувьсагч гэж нэрлэдэг;
• 3) Р 1 ,Q 1 , R 1 ,... - предикатуудын тэмдэглэгээ, тэдгээрийн нутаг дэвсгэрийг илэрхийлэх индексүүд; тэдгээрийг предикат хувьсагч гэж нэрлэдэг;
• 4) p, q, r, ... - саналын болон саналын хувьсагч гэж нэрлэгддэг мэдэгдлийн тэмдэг (Латин propositio - "мэдэгдэл");
• 5) - мэдэгдлийн тоон шинж чанарын тэмдэг; тэдгээрийг хэмжигч гэж нэрлэдэг: - ерөнхий хэмжигдэхүүн; энэ нь илэрхийлэлийг бэлэгддэг - бүх зүйл, хүн бүр, хүн бүр, үргэлж гэх мэт; -- оршихуйн хэмжигч; энэ нь илэрхийлэлийг бэлэгддэг - зарим, заримдаа, тохиолддог, тохиолддог, байдаг гэх мэт;
• 6) логик холболтууд:
  • - холбоос ("ба" холбоос);
  • - салгах ("эсвэл" холболт);
  • - далд утга ("хэрэв..., тэгвэл ..." гэсэн холбоос);
  • - эквивалент, эсвэл давхар нөлөө ("хэрэв, хэрэв зөвхөн ..., тэгвэл ..." гэсэн холбоос);
  • - үгүйсгэх ("энэ нь үнэн биш ...").

Техникийн хэлний тэмдэг: (,) - зүүн ба баруун хаалт.

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

• 1. Санал болгож буй хувьсагч бүр - p, q, r, ... нь PPF юм.
• 2. Субъект хувьсагч эсвэл тогтмолуудын дарааллаар авсан, тоо нь байршилтай нь тохирч байгаа аливаа предикатын хувьсагч нь PPF байна: A 1 (x), A 2 (x, y), A 3 (x, y, z), A" ( x, y,..., n), энд A 1, A 2, A 3,..., A n нь урьдчилан таамаглагчдын метал хэлний тэмдэг юм.
• 3. Аль нэг хувьсагч нь тоон үзүүлэлттэй холбоотой аливаа объектив хувьсагчтай томъёоны хувьд xA (x) ба xA (x) илэрхийллүүд нь мөн PPF болно.
• 4. Хэрэв A ба B нь томьёо бол (А ба В нь томъёоны схемийг илэрхийлэх металл хэлний тэмдэг) бол илэрхийлэл:

мөн томъёонууд юм.

5. 1-4-р зүйлд зааснаас бусад хэллэг нь энэ хэлний PPF биш юм.

ЛОГИК ҮЙЛ АЖИЛЛАГААНЫ ӨНДӨР

1. Тэмдэглэл

1.1. Логик холболтуудын тэмдэглэгээ (үйлдэл):

а) үгүйсгэх(урвуу, логик NOT) ¬ (жишээлбэл, ¬A) гэж тэмдэглэсэн;

б) холбоос(логик үржүүлэх, логик AND)-г /\ гэж тэмдэглэнэ.
(жишээлбэл, A /\ B) эсвэл & (жишээлбэл, A & B);

в) салгах(логик нэмэх, логик OR) -ийг \/ гэж тэмдэглэнэ.
(жишээлбэл, A \/ B);

г) дараах(далд санааг) → (жишээлбэл, A → B) гэж тэмдэглэнэ;

д) таних тэмдэг≡ гэж тэмдэглэсэн (жишээ нь, A ≡ B). A ≡ B илэрхийлэл нь зөвхөн A ба B утгууд нь ижил (эсвэл хоёулаа үнэн эсвэл хоёулаа худал) тохиолдолд үнэн болно;

е) 1-р тэмдэг нь үнэнийг (үнэн мэдэгдэл) илэрхийлэхэд хэрэглэгддэг; тэмдэг 0 - худал хэлэх (худал мэдэгдэл).

1.2. Хувьсагчийг агуулсан хоёр логик илэрхийлэл гэж нэрлэгддэг тэнцүү Хэрэв эдгээр илэрхийллийн утга нь хувьсагчийн аль ч утгын хувьд давхцаж байвал (тэнцэх). Тиймээс A → B ба (¬A) \/ B илэрхийллүүд нь тэнцүү боловч A /\ B ба A \/ B нь тийм биш (илэрхийллийн утга өөр байна, жишээлбэл, A = 1, B = 0 үед). ).

1.3. Логик үйлдлийн тэргүүлэх чиглэлүүд:урвуу (үгүйсгэх), холбогч (логик үржүүлэх), салгах (логик нэмэх), далдлал (дагах), адилтгал. Тиймээс ¬A \/ B \/ C \/ D нь ижил утгатай

((¬A) \/ B) \/ (C \/ D).

(A \/ B) \/ C-ийн оронд A \/ B \/ C гэж бичих боломжтой. Холболтод мөн адил хамаарна: (A /\ B) -ийн оронд A /\ B /\ C бичих боломжтой. ) /\ C.

2. Properties

Доорх жагсаалт нь бүрэн гүйцэд байхаар төлөвлөгдөөгүй боловч хангалттай төлөөлөл болно гэж найдаж байна.

2.1. Ерөнхий шинж чанарууд

1. Нэг багцын хувьд nяг логик хувьсагч байдаг 2 nөөр өөр утгатай. Логик илэрхийлэлд зориулсан үнэний хүснэгт nхувьсагчдыг агуулдаг n+1багана ба 2 nшугамууд.

2.2.Таслах

1. Хэрэв дизьюнкц хэрэглэж буй дэд илэрхийллүүдийн ядаж нэг нь хувьсагчийн зарим утгын багц дээр үнэн байвал энэ багц утгын хувьд дизьюнкц бүхэлдээ үнэн болно.
2. Хэрэв тодорхой жагсаалтын бүх илэрхийлэл хувьсах утгуудын тодорхой багц дээр үнэн байвал эдгээр илэрхийллийн дизьюнкац нь бас үнэн болно.
3. Хэрэв тодорхой жагсаалтын бүх илэрхийлэл хувьсагчийн тодорхой багц дээр худал байвал эдгээр илэрхийлэлийн салалт нь бас худал болно.
4. Дизюнкцийн утга нь түүнийг хэрэглэж буй дэд илэрхийллүүдийн бичих дарааллаас хамаардаггүй.

2.3. Холболт

1. Хэрэв зарим нэг хувьсагчийн утгуудад холбоосыг хэрэглэж буй дэд илэрхийллүүдийн ядаж нэг нь худал байвал энэ багц утгын хувьд холболт бүхэлдээ худал байна.
2. Хэрэв тодорхой жагсаалтын бүх илэрхийлэл хувьсах утгуудын тодорхой багц дээр үнэн байвал эдгээр илэрхийллийн холболт нь бас үнэн болно.
3. Хэрэв тодорхой жагсаалтын бүх илэрхийлэл хувьсагчийн тодорхой багц дээр худал байвал эдгээр илэрхийллүүдийн холболт бас худал болно.
4. Холболтын утга нь түүнийг хэрэглэж буй дэд илэрхийллүүдийн бичих дарааллаас хамаардаггүй.

2.4. Энгийн салалт ба холболтууд

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

1. Энгийн холболт нь хувьсагчийн яг нэг багц утгыг 1 (үнэн) гэж үнэлдэг.
2. Энгийн салгах нь хувьсагчийн яг нэг багц утгыг 0 (худал) гэж үнэлдэг.

2.5. Үр дагавар

1. Үр дагавар А →Бдизюнкцтай тэнцэнэ (¬ A) \/ Б.Энэ салалтыг мөн дараах байдлаар бичиж болно: ¬ А\/Б.
2. Үр дагавар А →Бзөвхөн тохиолдолд 0 (худал) утгыг авна A=1Тэгээд B=0.Хэрэв A=0,дараа нь үр дагавар А →Бямар ч үнэ цэнийн хувьд үнэн Б.

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

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

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

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

(логик тогтмол) утгыг хатуу тодорхойлсон тэмдэгтүүдийг ашигладаг.

Логик уран зохиолд янз бүрийн тэмдэглэгээний системийг ашигладаг тул хоёр ба түүнээс дээш тэмдгийн сонголтыг доор өгөв.

Үгүйсгэхийг илтгэх тэмдэг; унших: "үгүй", "энэ нь үнэн биш";

Холболт гэж нэрлэгддэг логик холбогчийг илэрхийлэх тэмдэг; унших: "ба";

Онцгой бус дизьюнкц гэж нэрлэгддэг логик холбогчийг илэрхийлэх тэмдэг; уншина: "эсвэл";

Хатуу, эсвэл онцгой салалтыг илэрхийлэх тэмдэг; уншина: "эсвэл, эсвэл";

Үр дагаварыг илтгэх тэмдэг; уншина уу: "хэрэв, тэгвэл";

Мэдэгдэлийн тэнцүү байдлыг илтгэх тэмдэг; уншина уу: "хэрэв л бол";

Ерөнхий хэмжигч; уншина: "хүн бүрт", "бүгд";

Оршихуйн хэмжигч; "байдаг", "дор хаяж нэг байна" гэж унших;

L, N, - хэрэгцээний модаль операторыг илэрхийлэх тэмдэг; уншина уу: "энэ нь зайлшгүй шаардлагатай";

M нь боломжийн модаль операторыг илэрхийлэх тэмдэг; "Энэ нь боломжтой" гэж уншдаг.

Жагсаалтад дурдсан зүйлсийн зэрэгцээ логикийн янз бүрийн системүүд нь бусад тодорхой тэмдэгтүүдийг ашигладаг бөгөөд энэ нь яг юу гэсэн үг, түүнийг хэрхэн уншдаг тухай бүрд нь тайлбарладаг.

Математикийн хэлний нэгэн адил хашилтыг логикийн зохиомол хэл дээр цэг таслал болгон ашигладаг.

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

A) "Тодорхой сэтгэдэг хүн тодорхой ярьдаг" -; А үсэг нь "Хүн тодорхой сэтгэдэг", B - "Хүн тодорхой ярьдаг", - "хэрэв, тэгвэл" гэсэн холбоосыг илэрхийлнэ;

B) "Тэр боловсролтой хүн бөгөөд Шекспирийн сонетуудыг мэддэггүй нь худлаа" -; A - "Тэр бол боловсролтой хүн" гэсэн үг, Б - "Тэр Шекспирийн сонетуудыг сайн мэдэхгүй", - "ба" гэсэн холбоос.

C) "Хэрэв гэрэл нь долгионы шинж чанартай бол түүнийг бөөмс (корпускул) хэлбэрээр дүрсэлсэн тохиолдолд алдаа гардаг" -

; A - "Гэрэл нь долгионы шинж чанартай", B - "Гэрлийг бөөмсийн урсгалаар дүрсэлсэн", C - "Алдаа зөвшөөрөгдсөн";

D) "Хэрэв та Парист байсан бол Луврыг үзсэн эсвэл Эйфелийн цамхаг харсан" - "Та Парист байсан", B - "Та Луврыг харсан", C - "Та Эйфелийн цамхаг харсан";

4. Логик бэлгэдэл

D) "Хэрэв бодисыг халаавал хайлж эсвэл уурших боловч тэсэрч болно" - (A ^ (B v C v D)); А - "Бодис халдаг", B - "Бодис хайлдаг", В - "Бодис ууршдаг", D - "Бодис тэсэрч байна".

Хиймэл логик хэлнээс энгийн хэл рүү шилжих өөр нэг энгийн жишээг хэлье. А хувьсагч нь “Дарвины онол нь шинжлэх ухаан”, B - “Дарвины онолыг туршилтын мэдээллээр баталж болно”, C - “Дарвины онолыг туршилтын өгөгдлөөр няцаах боломжтой” гэсэн мэдэгдлийг илэрхийлье. Томъёогоор ямар утга учиртай мэдэгдлүүд илэрхийлэгддэг вэ:

A) A ^ (B ^ C);

B) (V l ~ C) ^ ~ A;

B) (~ V l ~ C) ^ ~ А?

Энэ асуултын хариулт нь гурван мэдэгдэл юм.

A) Хэрэв Дарвины онол шинжлэх ухааны шинжтэй бол туршилтын өгөгдлөөр нотлогдож чадвал тэд бас үгүйсгэж болно;

B) Хэрэв Дарвины онолыг туршилтын өгөгдлөөр баталж болох боловч няцаах боломжгүй бол энэ нь шинжлэх ухаан биш юм;

C) Хэрэв Дарвины онолыг туршилтын өгөгдлөөр баталгаажуулж, түүгээрээ няцаах боломжгүй бол энэ нь шинжлэх ухаан биш юм.

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

Математик тэмдэгтүүд:

Жишээлбэл, " > » тоонууд руу а, б,Бид оруулгыг авдаг " a>b", энэ нь өгүүлбэрийн товчлол юм: "тоо аилүү тоо б" Хэрэв шугамын тэмдэглэгээ бол энэ тэмдэглэгээ нь параллель байна. Нэвтрэх " x М" гэсэн үг xолонлогийн элемент юм М.

Математик бэлгэдлийн зэрэгцээ логик бэлгэдлийг математикт өргөн ашигладаг мэдэгдэл Тэгээд предикатууд .

Доод мэдэгдэл зөвхөн үнэн эсвэл зөвхөн худал өгүүлбэрийг хэлнэ. Жишээ нь: “–3 > 0” гэдэг нь худал, харин “2 2 = 4” гэсэн нь үнэн. Бид мэдэгдлийг латин том үсгээр, магадгүй индексээр тэмдэглэнэ. Жишээлбэл, А= "–3 > 0», Б= "2 2 = 4".

Төлөвлөлтнэг хувьсагчтай эсвэл хэд хэдэн хувьсагчтай өгүүлбэр юм. Жишээлбэл, өгүүлбэр: "тоо x 0" тооноос их (тэмдэгтээр x> 0) нь нэг хувьсагчийн предикат юм x, мөн өгүүлбэр: "a + b = c"- гурван хувьсагчийн предикат a, b, c.

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

Бид предикатуудыг функц гэж тэмдэглэнэ: Q(x) = « x> 0» , Ф(x,b,c) = « x + b = c» .

Логик тэмдэг: .

1. Үгүйсгэх нэг өгүүлбэр эсвэл предикатад хамаатай, "биш" бөөмстэй тохирч, -ээр тэмдэглэнэ.

Жишээлбэл, томъёо нь өгүүлбэрийн товчлол юм: "–3 нь 0-ээс ихгүй байна" ("-3 нь 0-ээс их" гэдэг нь худлаа).

2. Холболт Хоёр өгүүлбэр эсвэл предикатад хэрэглэсэн нь "ба" гэсэн холбоостой тохирч байна: A&B(эсвэл А Б).

Тэгэхээр (–3 > 0) & (2 2 = 4) томъёо нь “–3 > 0 ба 2 2 = 4” гэсэн өгүүлбэрийг илэрхийлж байгаа нь илт худал.

3. Салалт Энэ нь хоёр өгүүлбэр эсвэл предикатад хамааралтай, "эсвэл" (салгадаггүй) холболттой тохирч, тэмдэглэнэ. А Б .

Өгүүлбэр: "тоо" xолонлогт хамаарах" гэсэн томъёог дараах томъёогоор илэрхийлнэ. .

4. Үр дагавар "хэрэв ..., тэгвэл ..." гэсэн холбоостой тохирч, дараах байдлаар тэмдэглэнэ. А Б.

Тиймээс, оруулга " a > –1 a > 0" нь "хэрэв" гэсэн зүйлийн товчлол юм a >-1, тэгвэл a > 0».

5. Тэнцүү байдал А Бөгүүлбэртэй тохирч байна: " Адараа нь, зөвхөн хэзээ Б».

Баатруудыг дууддаг ерөнхий болон оршихуйн хэмжигдэхүүн , үүний дагуу предикатуудад (мөн мэдэгдэлд биш) хэрэглэнэ. Хэмжигчийг “ямар ч”, “бүгд”, “бүгд” эсвэл “for” гэсэн угтвар үгтэй уншина: “for who”, “for everybody” гэх мэт. Хэмжигч нь "байна", "олдох болно" гэх мэтийг уншина.

Ерөнхий хэмжигч предикатад хамаарна Ф(x,...) нэг хувьсагч агуулсан (жишээлбэл, x) эсвэл хэд хэдэн хувьсагч, үр дүнд нь томъёо

1. xF(x,…), өгүүлбэртэй тохирч байна: "ямар ч xгүйцэтгэсэн Ф(x,...)» эсвэл бүгд xөмчтэй Ф(x,...)».

Жишээлбэл: x(x> 0) хэллэгийн товчлол байдаг: “ямар ч x 0-ээс их" гэсэн нь худал мэдэгдэл юм.

Санал: а(а> 0 а> –1) нь үнэн мэдэгдэл юм.

2. Оршихуйн хэмжигч , угтвар үгэнд хэрэглэсэн Ф(x,…) гэсэн өгүүлбэрт “байна x, ийм Ф(x,…)" ("тэнд байх болно x, Үүний төлөө Ф(x,…)") ба тэмдэглэсэн байна: xF(x,…).

Жишээлбэл, "квадрат нь 2 бодит тоо байдаг" гэсэн үнэн үгийг томъёогоор бичдэг x(xR&x 2 = 2). Энд оршихуйн хэмжигдэхүүнийг предикатад хэрэглэнэ. Ф(x)= (xR&x 2 = 2) (бүх бодит тоонуудын олонлогийг дараах байдлаар тэмдэглэдэг гэдгийг санаарай Р).

Нэг хувьсагчтай предикат дээр тоологчийг хэрэглэхэд үр дүн нь үнэн эсвэл худал гэсэн үг юм. Хэрэв хоёр ба түүнээс дээш хувьсагчтай предикатад тоологчийг хэрэглэвэл үр дүн нь нэг хувьсагч багатай предикат болно. Тэгэхээр, хэрэв предикат бол Ф(x, y) нь хоёр хувьсагчийг агуулж, дараа нь предикат дотор xF(x, y) нэг хувьсагч y(хувьсагч x"холбогдсон", утгыг оронд нь орлуулах боломжгүй x). Тогтоох xF(x, y) хувьсагч дээр ерөнхий эсвэл оршихуйн тоон үзүүлэлтийг хэрэглэж болно y, дараа нь үүссэн томъёо xF(x, y) эсвэл xF(x, y) мэдэгдэл юм.

Тиймээс, предикат " | нүгэл x|< a » хоёр хувьсагчийг агуулна x,a. Төлөвлөлт x(|sinx|< а) нэг хувьсагчаас хамаарна а, мөн энэ предикат нь худал мэдэгдэл болж хувирдаг (|sinx|< ), цагт А= 2 бид үнэн мэдэгдлийг авдаг x(|sinx|< 2).

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

Дараах гурван төрлийн тэмдгийг ялгаж болно: (1) индексийн тэмдэг; (2) тэмдэг-зураг; (3) тэмдэг-тэмдэгт.

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

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

Тэмдэг-тэмдэгтүүд нь материаллаг холбоогүй бөгөөд тэдгээрийн төлөөлж буй объектуудтай ижил төстэй байдаггүй.

Логик нь сүүлчийн төрлийн шинж тэмдгүүдийг судалдаг.

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

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

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

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

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

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

Эхлээд.Нэгдэл нь хоёр нөхцөл байдлын нэгэн зэрэг оршин тогтнохыг илэрхийлдэг. (Бороо цас орж байна.) Логикийн хувьд холбоо үгийн утгыг засахын тулд тэмдэгтийн хэл гэж нэрлэгддэг тусгай хэлийг ашигладаг. Тэмдгийн хэлээр "ба" гэсэн холбоосыг заасан утгаараа дараах байдлаар тэмдэглэв. 8сек.

Хоёрдугаарт.Хоёр нөхцөл байдлын дараалсан оршин тогтнох эсвэл тохиолдохыг илэрхийлдэг. (Петров гадаа гараад (дараа нь) нэг найзтайгаа уулзав.) Зориулалт: 8С

Гуравдугаарт.Тодорхой нөхцөл байдал үүсч, хоёр дахь нөхцөл байдал нь эхнийхээсээ хожуу үүсдэг, гэхдээ эхнийх нь дуусаагүй байхад хэвээр байна. (Зун ирж, цэцэгс дэлгэрч байна.) Зориулалт:

Бусад логик нэр томъёог доор танилцуулав.

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

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

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

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

Нэрийг ашиглах нь тодорхой шаардлагад (зарчмуудад) хамаарна. Эдгээр хоёр зарчмыг томъёолъё.

Эхлээд.Объектив байдлын зарчим: Өгүүлбэрт ямар нэг зүйлийг нэрсийн тухай биш, харин нэрний утгын талаар батлах эсвэл үгүйсгэх ёстой.Жишээлбэл, хэрэв бид Дэлхий бол гариг ​​гэж хэлбэл "Дэлхий" гэсэн үг биш, харин Дэлхий өөрөө юм. Мэдээжийн хэрэг, заримдаа та нэрсийн талаар ямар нэг зүйлийг батлах эсвэл үгүйсгэх хэрэгтэй. Дараа нь гэж нэрлэгддэг "ишлэл авсан нэрс".Жишээлбэл, "Дэлхий" гаригийн нэр" гэсэн өгүүлбэр нь "Дэлхий" огторгуйн биетийн тухай биш, харин энэ селестиел биетийн нэрийг хэлдэг. Заримдаа байгалийн хэлээр нэрний нэр нь өөрөө анхны нэр байх тохиолдол байдаг. Жишээлбэл, "Хүснэгт дөрвөн үсгээс бүрдэнэ" гэсэн өгүүлбэрт "хүснэгт" гэдэг нь тухайн үгийн нэр юм. Нэрийн ийм хэрэглээ гэж нэрлэдэг бие даасан.Шинжлэх ухааны хэлээр нэрийг бие даасан байдлаар ашиглахыг зөвшөөрдөггүй.

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

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

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

Чиг үүрэгФункцийн тодорхойлолтын муж гэж нэрлэгддэг тодорхой олонлогийн объектууд (объект, хос, объектын гурвалсан гэх мэт) өөр эсвэл ижил олонлогийн объектуудтай харилцан уялдаатай байдаг тул захидал харилцаа гэж нэрлэдэг. функцийн утгууд. Хүн бүр математик (тоон) функцийг мэддэг - тоо нэмэх, хасах, үржүүлэх, хуваах. Логикийн хувьд функцийн талаархи ойлголтыг ерөнхийд нь илэрхийлдэг.

Сэдэвнь утгууд нь аливаа объект болох функц юм. Сэдвийн чиг үүргийн жишээ: жин, ажилласан хугацаа, сарын дундаж орлого, эцэг, капитал. "Дэлхий" гэсэн ганц нэрэнд "масс" гэсэн функциональ тэмдгийг ашигласнаар бид "Дэлхийн масс" гэсэн ганц бие нэрийг олж авдаг бөгөөд энэ нь тодорхой хэмжигдэхүүнийг, өөрөөр хэлбэл объектыг илэрхийлдэг. Тиймээс энэ функц нь объектуудыг (масстай материаллаг объектууд) бусад объектуудтай (массын утгууд) харьцуулдаг. "Ажлын туршлага" функцийг тодорхойлох талбар нь хүмүүсийн багц юм. Утгын хүрээ нь нэрлэсэн тоонуудын багц юм (олон жил ажилласан). Энэ функцийг хүнд, жишээлбэл, Петровт ашигласнаар бид нэрлэсэн тоо, жишээлбэл, 20 жилийг авдаг. "Эцэг" функцийг тодорхойлох талбар нь хүмүүсийн багц юм. Энэ функцийг жишээ нь Сократад ашигласнаар бид тодорхой хүнийг үнэ цэнэ болгон авдаг.

Зарим логик нэр томъёог функц гэж бас ойлгодог. Эдгээр нь аль хэдийн өөр төрлийн функцууд юм - логик функцууд.Жишээлбэл, "энэ нь үнэн биш" (үгүйсгэх) логик хэллэгийг үнэн өгүүлбэрийг худал, худал өгүүлбэрийг үнэнтэй харьцуулах функц гэж үздэг. "Дэлхий дээр амьдрал байдаг" гэсэн үнэн өгүүлбэрт үгүйсгэлийг хэрэглэснээр бид "Дэлхий дээр амьдрал байдаг нь үнэн биш" гэсэн худал өгүүлбэрийг олж авдаг. "Москва бол том тосгон" гэсэн худал өгүүлбэрийг үгүйсгэх замаар бид "Москва бол том тосгон гэдэг нь худлаа" гэсэн үнэн өгүүлбэрийг олж авдаг.

• Леонардо да Винчи ингэж бичжээ: “...Хэрэв та харандааны үзүүрээр тодорхой гадаргууд хүрэх нь цэг үүсгэх гэж хэлбэл, ийм шүргэх нь түүний дундыг тойрсон гадаргууг үүсгэдэг гэж бид буруу хэлэх болно; , мөн энэ дунд цэгийн байршил байна." Үзнэ үү: Жуков A. N. Үл мэдэгдэх Леонардо: сургаалт зүйрлэл, зүйрлэл, нүүр царай. Ростов, 2007. P. 79.