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