планы:
1. Тил-маалыматтык символдор системасы.
2. Табигый жана жасалма тилдер, алардын өз ара байланышы.
3. Тилдин семантикалык категориялары.
1. Тил ой жүгүртүү менен ажырагыс байланышта болгон, биздин ойлорубуздун түздөн-түз жашоосун камсыз кылган жана адамдардын ортосундагы байланышты орнотууга кызмат кылган маалыматтык символдор системасынан турат. Тилди үйрөнүү – логика илиминин маанилүү милдеттеринин бири. Ой жүгүртүү дүйнөнү абстракциялоочу жана жалпылоочу идеалдуу кубулуш экендиги белгилүү. Абстракттуу нерселерди, жалпылыктарды тилдин жардамы менен гана жазып алууга болот.
Тил менен ойдун биримдиги кепте айтылат. Кеп оозеки жана жазуу түрүндө болот, анда биздин ойлорубуз материалдык формага, башкача айтканда, кабыл алына турган формага кирет жана ошентип ал жеке адамга эмес, коомго таандык болот.
Тил адамдардын коомдук ишинин негизинде жаралып, өнүккөн. Ошондуктан ал терең социалдык мааниге ээ жана маданиятыбыздын жана тарыхыбыздын маанилүү бөлүгү болуп саналат.
Тилдин жардамы менен билим жаралып, топтолуп, муундан муунга өтөт. Мына ушинтип окуу-тарбиялык иштерди жургузууге, маданиятыбыздын енугушуне жардам берет.
Белги – таанып-билүү процессинде башка объекттин өкүлү катары иш алып баруучу жана ал жөнүндө белгилүү бир кабарларды берүүгө, аны сактоого, иштетүүгө жана берүүгө мүмкүнчүлүк берүүчү материалдык объект. ар бир символ тилдин символу боло албайт. Тилдик эмес белгилерге көчүрүүчү белгилер (мисалы, фотокарта, манжа изи ж.б.), индекстик белгилер же индикативдик белгилер (мисалы, дене табынын көтөрүлүшү – оорунун белгиси, түтүн – өрттүн белгиси, ж.б.) камтылган.
Тилдик белгилер символдор түрүндө болот жана алар чагылдырган объектилер менен түзүлүшү боюнча эч кандай окшоштукка ээ эмес. Логика мындай тилдик белгилерди изилдөөгө басым жасайт.
Тилдик белгилердин өзүнүн мааниси жана мазмуну бар. Тил белгисинин мазмуну ал чагылдырган объекттен түзүлөт. Мисалы, "аудитория" деген сөз реалдуу бар объектти - угуучуларды чагылдырган ойдун мазмунун билдирет. Тилдик белгинин мааниси — ал туюндурган объектинин мүнөздөмөсү (сыпаттамасы). Мисалы, «Аудитория» деген сөздүн мааниси «окуу үчүн ылайыкталган бөлмө», «атайын жабдылган бөлмө» ж.б.
Аристотель, Лейбниц сыяктуу ойчулдар символдордун таанып-билүүдөгү функциясын изилдөөгө чоң көңүл бурушкан. Символдор жөнүндөгү окуунун өнүгүшү 1839-кылымда актуалдуу маселеге айланган. Дал ушул мезгилде америкалык философ Чарльз Пирс (1914-XNUMX) белгилер жөнүндөгү семиотика илимин негиздеген. Бул дисциплин лингвистикалык белгини үч түрдүү багытта талдайт. Биринчиси - семантика, ал белги менен ал билдирген объекттин ортосундагы байланышты изилдейт. Экинчиси, адамдардын белгилерге болгон мамилесин жана адамдардын ортосундагы мамилелерди белгилердин жардамы менен изилдеген прагматика. Үчүнчүсү синтаксис деп аталат, ал белгилердин ортосундагы байланыштарды (тил куруунун эрежелерин) изилдейт. Логика илимин тилдик символдордун семантикасы көбүрөөк кызыктырат.
2. Тилдин эки түрү бар. Алар табигый жана жасалма тилдер. Табигый же улуттук тилдер тарыхый калыптанган үн (кеп) жана графикалык (жазуу) маалыматтык символдордон турат. Табигый тилдин кандайдыр бир обочолонгон символу өз алдынча эч нерсени билдирбейт. Бул белгилер адамдын практикалык ишмердүүлүгүнүн жана ой жүгүртүүсүнүн өнүгүшүнүн негизинде түзүлгөн тил системасына киргенде гана белгилүү бир мааниге жана мазмунга ээ болгон белгилерге айланат.
Жаратылыш тилинин объективдүү дүйнөнүн жана билимдин ар түрдүү тармактарына тиешелүү нерселерди, кубулуштарды жана алардын касиеттерин, мамилелерин камтууга жана чагылдырууга чоң мүмкүнчүлүк бар. Ал семантикалык жактан жабык система деп эсептелет. Башкача айтканда, табигый тил башка тилдерге кайрылбастан, өз алдынча куруп, өзүн көрсөтө алат.
Мындан тышкары, табигый тилди колдонуу да таанып-билүү процессинде кээ бир кыйынчылыктарды жаратат. Алар төмөнкүлөргө байланыштуу: 1) табигый тилдеги сөздөрдүн мааниси убакыттын өтүшү менен өзгөрөт; 2) табигый тилде бир сөз бир нече түшүнүктү (омонимдерди) туюнтушу мүмкүн же бир түшүнүк бир нече сөз (синонимдер) менен берилиши мүмкүн; 3) табигый тилдеги кээ бир сөздөрдүн жардамы менен айтылган ойдун так мааниси жок (мисалы, «Карим чет тилин жакшы билбейт» деген пикирде Карим чет тилин билбейт деп көрсөтүлгөн эмес. кимге же кандай тапшырманы аткарууга карата жакшы тил ). Табигый тилдеги мындай кубулуштардан арылуу үчүн илимий билимдерде терминдер (терминдер) колдонулат. Термин – белгилүү жана так мааниге ээ болгон сөз жана бул маани аныктама аркылуу көрсөтүлөт. Ошондой эле, табигый тилде тактык жасалма тилди колдонуу менен жетишилет.
Жасалма тил табигый тилдин негизинде түзүлгөн жардамчы маалыматтык символдордун тутумунан турат, ал бар билдирүүлөрдү так жана үнөмдүү билдирүүгө жана жеткирүүгө кызмат кылат. Жасалма тилде жасалма жол менен түзүлгөн атайын символдор, башкача айтканда символ-символдор колдонулат. Табигый тилдеги конкреттүү мазмундагы ойлор илимий билимдерде ушундай символдор менен алмашылган. Демек, жасалма тил оюбуздун конкреттүү мазмунунан чыкпай, символдор менен гана иштөөнү камсыздайт.
Жасалма тилдер заманбап илимде жана техникада кеңири колдонулат. Алардын математика, физика, химия, кибернетика, эсептөө техникасы жана ушул сыяктуу тармактарын өнүктүрүүгө кошкон салымы чоң. Жасалма тилдерди колдонууга мисал катары математикада тик бурчтуу үч бурчтуктун капталдарын туюндурган Sos2+Sin2=1 формуласы, химияда сууну туюндурган N2O формуласы, механикада ылдамдыкты туюндурган формула кирет. , жана башка. Электрондук эсептегичтер үчүн программаларды түзүү үчүн атайын алгоритмдик тилдер колдонулат. Аларга «Алгол-60», «Алгол-65», «Фортран», «Кобол», «ПЛ-1», «Ассемблер», «Базик» жана башкалар кирет. Жасалма тил логика илими тарабынан биздин ойлорубуздун түзүлүшүн теориялык көз караштан талдоо үчүн колдонулат.
Демек, илимий билимде табигый тил да, жасалма тил да колдонулат. Илимий тил табигый тилден, жасалма тилден жана атайын терминдерден турат.
Жалпы логиканын өзүнүн атайын илимий формалдаштырылган тили бар. Ал адамдын ой жүгүртүүсүнүн түзүлүшүн так жана так көрсөтүү максатында түзүлгөн. Мунун маани-маңызын түшүнүү үчүн формалдуулуктун өзү эмне экенин тактап алуу зарыл.
Формалдаштыруу - ойлорду конкреттүү мазмун менен символдор менен алмаштыруу, б.а. ой жүгүртүүнүн (ойдун) структурасын сунуштоо функциясын түзүү, формулаларды киргизүү, логикалык эрежелерди түзүү аркылуу билдирүү. Ойдун структурасы менен тилдеги логиканы туюнтуу структурасынын ортосунда дал келүүчүлүк бар, башкача айтканда, ойдун ар бир конкреттүү структурасына конкреттүү тилдик түзүлүш туура келет. Муну пропорционалдык функцияны түзүү мисалында көрө алабыз. «Ташкент-Өзбекстандын борбору» деген ойдо «Ташкент» - S түшүнүгүн, ал эми «Өзбекстандын борбору» - Р түшүнүгүн алмаштырсак, С-Р түрүндөгү сунуштук функция алынат. Сунушталган функция – өзгөрмө мааниси бар туюнтма, бул маани аргумент менен алмаштырылганда конкреттүү маанилүү ой пайда болот.
Формалдуу тил төмөнкү талаптарга жооп бериши керек.
1. Башкы каармандар так көрсөтүлүшү керек. Бул белгилер негизги түшүнүктөрдү, терминдерди билдирет.
2. Сүрөттөөнүн бардык эрежелери көрсөтүлүүгө тийиш. Бул эрежелердин негизинде жаңы, кыскараак символдор учурдагы белгилерди колдонуу менен түзүлөт.
3. Формулаларды түзүүнүн бардык эрежелери берилиши керек. Буга түшүнүктөрдөн сүйлөмдөрдү чыгаруу эрежелери мисал боло алат.
4. Корутундунун бардык эрежелери көрсөтүлүүгө тийиш. Ал колдонулган белгилердин (сөздөрдүн, сүйлөмдөрдүн, символдордун) графикалык чагылдырылышын билдирет.
5. колдонулган символдордун маанисин чечмелөө эрежелери көрсөтүлүүгө тийиш.
Формалдуу тилдеги логика бир эле чыныгы ойду туюндурган башка формуланы жаратуу үчүн чыныгы ойду билдирген бир формуланы колдоно алат. Берилген пикирдин конкреттүү мазмуну эске алынган эмес.
Формалдуу тилдин артыкчылыгы - логикалык корутунду чыгарууда күтүлбөгөн негиздердин катышуусун камтыбайт. Математиканын жана логиканын көптөгөн маселелерин ушундай жол менен гана чечүүгө болот.
Акырында, формалдаштырылган тилдин дагы бир баалуу жагы – бир тармакта түзүлгөн формалдаштырылган тил башка тармактагы маселелерди чечүү үчүн колдонулушу мүмкүн. Мисалы, логика боюнча класстар менен операцияларда ойдун түзүлүшүн билдирүү үчүн математика тилин (кошуу, көбөйтүү, аяктоо сыяктуу терминдер жана аларды билдирген символдор) колдонууга болот. Мында, албетте, колдонулган белгилерге өзгөчө маани берилет.
Формалдуу тилдин кемчилиги табигый тилге караганда объектти үстүртөн чагылдырат. Бүгүнкү күндө бар расмий тилдер жашоонун жана билимдин өтө аз аймактарын камтыйт. Билимдин кайсы тармактарында формалдаштырылган тил түзүлүшү мүмкүн экенин алдын ала айтуу кыйын.
Ошондой эле, формалдуу тил эмпирикалык изилдөөнүн ордун баса албайт. Ошондуктан илимий тил формалдаштырылган тилди колдонуу менен чектелбейт.
Ошого карабастан формалдуу тил илимий билимде жана практикалык турмушта маанилүү мааниге ээ. Тактап айтканда, ойдун түзүлүшүн изилдөөгө, анын логикалык баалуулугун, башкача айтканда, анын чын же жалган экендигин аныктоого кемчиликсиз шарттарды түзөт. Ошондуктан логиканын формалдуу тилин түзүүгө, аны терең изилдөөгө кызыгуу чоң.
3. Ой жүгүртүүнүн логикалык формасын изилдөөдө семантикалык категориялардын мааниси чоң. Семантикалык категориялар тилдик сөз айкаштарынын класстарынан турат, алар бири-биринен кандай объекттерди чагылдырышы менен айырмаланат. Негизги семантикалык категорияларга сүйлөм жана анын салыштырмалуу өз алдынча бөлүктөрү – баяндоочу жана логикалык терминдер кирет.
Сүйлөм сүйлөмдү, суроону жана норманы билдире алат. өкүмдү билдирген сүйлөм предметке карата кандайдыр бир белгинин (менчиктин же мамиленин) мүнөзүн ырастайт жана жокко чыгарат. Ал сүйлөмдөн турат.
Сүйлөмдө предметтерди, алардын касиеттерин жана мамилелерин чагылдырган сөз айкаштары баяндоочу терминдер деп аталат. Сүрөттөөчү терминдер объектилердин аталыштары же терминдер (объекттерди туюндурган туюнтмалар, предметтердин жыйындысы) жана предикаторлор (объекттердин касиеттерин жана мамилелерин билдирген туюнтмалар) болуп бөлүнөт.
Объекттердин аттары материалдык (планета, электр) жана идеалдуу (сезим, ой) предметтерди билдирген кээ бир сөздөр жана сөз айкаштары. Предметтик аталыш символдордон тургандыктан өзүнүн мазмунуна жана маанисине ээ. Аттын мазмуну объектти билдирет жана логикада денотация деп аталат. Аттын мааниси предметтин маанилүү, жалпы мүнөздөмөлөрүн билдирип, түшүнүк деп аталат. Мисалы, «Аристотель», «Логика илиминин негиздөөчүсү», «Актуалдуу эмгектин автору» сыяктуу сөздөр бир эле мааниге ээ, б.а. бир предметти билдирет, бирок мааниси башка, б.а. каралып жаткан объекттин белгилери.
Ошондой эле аттар жекече («Ташкент шаары») же жалпы («шаар») болушу мүмкүн. Бул учурда, бирдиктүү аталыш бир объектти, ал эми жалпы аталыш объекттердин классын билдирет.
Предикативдер кайсы зат атоочтун санына жараша бир муундуу же көптүк санда болот. Мында субъекттин касиетин туюндурган предикаттар бир орундуу, ал эми алардын ортосундагы мамилелерди билдирген предикаттар көптүк предикаттар болуп эсептелет. Мисалы, «Өзбекстан көз карандысыз республика» деген билдирүүдө предикатор бир орундуу, «Өзбекстан Түркия менен экономикалык келишимге кол койду» деген пикирде «экономикалык келишимге кол койду» предикатору эки орундуу, «Өзбекстан Сырдарыя жана Амударыя «орналасқан» сүйлөмүндөгү «ортосунда жайгашкан» предикаты үч орунда турат.
Логикалык терминдер (Буль константалары) туруктуу логикалык мааниге ээ жана сүйлөмдөгү баяндоочу терминдерди байланыштыруу үчүн колдонулат. Алар өзбек тилинде «ва», «хам», «хамда», «ор», «же», «баары», «эч ким», «айрым», «эмес» жана ар түрдүү (жөнөкөй) сыяктуу сөздөр менен туюнат. жана комплекстүү) өкүмдөр, өкүм чыгаруучу элементтер эсептелет. Мисалы, «эч бир товар нарксыз болбойт» деген пикирде «эч бир» жана «жок» логикалык терминдер болуп саналат, ансыз сыпаттоочу терминдерди – «товар» менен «наркты» байланыштыруу мүмкүн эмес.
Логиканын формалдуу тилин түзүүдө семантикалык категориялар так аныкталып, сүрөттөлүшү керек. Буга конкреттүү символдордо семантикалык категорияларды чагылдыруу аркылуу жетишүүгө болот.
Бул белгилер логиканын формалдуу тилинин алфавитин түзөт. Логикада эки тил бар - предикат логикасынын тили жана сунуш логикасынын тили.
Ой жүгүртүү логикасы – өкүмдөрдүн ички түзүлүшүн изилдөөдөн качкан, алардын логикалык өз ара байланышын эске алуу менен ой жүгүртүү процессин талдоочу формалдаштырылган логикалык система. Ой жүгүртүү логикасына алфавит, сөз айкаштарынын аныктамалары жана аларды чечмелөө кирет. Атап айтканда, бул тил алфавити төмөнкүлөрдөн турат:
1. р, q, р сунуш өзгөрмөлөрү, башкача айтканда, өкүмдөрдүн символдору.
2. - бириктирүүчү белги; өзбек тилиндеги «ва», «хам», «хамда» сыяктуу жалкоочуларга туура келет. Мисалы, "Лекция аяктады (r) жана анын талкуусу башталды (q)" деген сүйлөмдү pq түрүндө туюндуруп алууга болот.
3. – дизъюнкциялык белги; Өзбек тилинде «йо», «ёки», «же» сыяктуу сөздөргө туура келет. Мисалы, «Электр тогу же өзгөрмө (r) же туруктуу (q)» деген сүйлөм pvq түрүндө жазылган.
4. — импликация белгиси; ал өзбекче «Эгер... болот... болот» деген сөзгө туура келет. Мисалы, «Студент өз алдынча иштесе (р), окуу материалдарын жакшы өздөштүрүп алат (q)» деген сүйлөм p q формасында жазылган.
5. Эквиваленттүүлүктүн белгиси; ага өзбекче «Тек жана гана...» деген сөз туура келет. Мисалы, «Жуп сандар (r) гана 2ге калдыксыз (q) бөлүнөт» деген сөз rq түрүндө жазылган.
6. – жокко чыгаруунун белгиси. Мисалы, «Ахмедов Анвар студент». (р) сүйлөм жокко чыгарылганда “Ахмедов Анвар студент эмес” сүйлөмү r сүйлөмүнө айланат, б.а.
Предикаттык логика – өкүмдөрдүн ички түзүмүн эске алуу менен талкуу процессин изилдөөчү формалдаштырылган логикалык система. Предикаттык логиканын алфавити сунуш логикасынын алфавитине жаңы символдорду кошуу менен түзүлөт. Алар төмөнкүдөй:
1. a, v, s,..., предметтердин аттарын билдирген символдор, алар туруктуулар деп аталат.
2. х, у, з..., — предметтердин жалпы аталыштарын билдирген белгилер.
3. R1, Q1, R1..., Pn, Qn, Rn предикаторлордун символдору; мында 1 бир сандуу предикаторду, 2 эки орундуу предикаторду жана nn цифралык предикаторлорду билдирет.
4. өкүмдүн көлөмүн көрсөтүүчү белгилер: — жалпылыктын сандык көрсөткүчү; Өзбек тилинде ага «барча», «хар бир», «кеч бир» сыяктуу сөздөр туура келет. Мисалы, «эч бир ата-эне баласына жамандык каалабайт» деген сүйлөм (x)P(x) түрүндө жазылган.
— жеткиликтүүлүктүн сандык көрсөткүчү; ага өзбек тилинде «бази», «айрым» сыяктуу сөздөр туура келет. Мисалы, «Кээ бир адамдар жекече иштешет» деген сүйлөм (x)P(x) түрүндө жазылган.
Сунуштардын логикасы жана предикаттардын логикасы табигый жыйынтык системасы (же аксиоматикалык) система катары түзүлүшү мүмкүн.
Китептер
1. Каримов И.А. Өзбекстан улуу келечекке карай. — Т.: «Өзбекстан», 1998-ж.
2. Каримов И.А. Тарыхый эстутумсуз келечек жок. «Талкуу», 1998, №5.
3. Каримов И.А. Кемел муун Өзбекстандын өнүгүүсүнүн пайдубалы. /Ислам Каримов. Коопсуздук жана туруктуу өнүгүү жолунда: Т.6-Т.: «Өзбекстан», 1998.
4. Каримов И.А. Өзбекстан 1999-кылымга умтулууда. — Т.: «Өзбекстан», XNUMX-ж.
5. Каримов И.А. Элдик кез каранды эместиктин идеологиясы — элдин ишеними жана улуу келечекке ишеним: «Фидокор» газетасынын кабарчысынын суроолоруна жооптор. Т., Өзбекстан, 2000.
6. М. Хайруллаев, М. Хагбердиев. Логика, 2-бөлүм.
7. Ю.В. Ивлев. Логика, 2-бөлүм.
8. Рахимов И. Логикадан практикалык көнүгүүлөр жана методикалык сунуштар, 1-глава.
9. Кондаков Н.И. Логикалык сөздүк. М., 1976. Тема боюнча макалалар.
10. Э.К. Войшвило. Понятие как микеленияны түзөт. М., 1989, 1-бөлүк.
11. Е.Д. Смирнова. Логикалык семантиканын негизи. М., 1989.
