Логикалық шығару

Логиканың шығуы 

Логика (гр. λογική - «талдауға құрылған», λόγος — «сөз», «сөйлем», «ойлау», «ақыл») — ойлау, оның формалары мен заңдылықтары туралы ғылым. Логика дәлелдеу мен теріске шығарудың белгілі бір әдіс-тәсілдері қаралатын ғылым теориялар жиынтығын құрайды

Логика  — пікірлер жөне олардың байланыстары туралы ғылым. Ойлау, пайымдау әдістері туралы алғашқы ілімдер Ежелгі Шығыс елдерінде пайда болды, бірақ оның негізіне грек ойшылы Аристотель құрған ілім жатады. Неміс ғалымы Г.В. Лейбниц (1666 жылы) алғаш рет ойлау, пайымдау заңдарындағы анықталмағандықтың ауызша төрелік етуін және пікірлер арасындағы байланысты математикалық қатынас түрінде анықталатын математика тіліне аударуға тырысты. Жүз жылдан соң ағылшын математигі Джордж Буль математикалық зандылықтарға бағынатын логикалық әмбебап тілді құру туралы Лейбниц идеясын дамытты. Ол өз алдына ерекше алгебраны — барлық объектілерге, атап айтканда, сандар, әріптерден бастап сөйлемдерге дейін колдануға болатын белгілеулер мен ережелердін жүйесін ойлап тапты. Джордж Буль логикалык алгебраның атасы болып табылады.

XX ғасырдын  басына дейін логика іс жүзінде  дамыған жок, ол тек ЭЕМ теориясының  пайда болуынан бастап қана  өзінің қаркынды дамуын бастады.

 Әрбір  ғылым сияқты логика да бірнеше  пәндерді қамтиды. Мысалы, формалды логика, математикалык логика, ыктималдық логика, диалектикалық логика және т.с,с. пәндерді атауға болады.

 Формалды  логика сөйлесу тілімен берілген  ігікірлерді талдаумен байланысты.

 Д.  Буль 1815—1864

 Ыктималдык  логика кездейсок параметрлермен жасалатын сынактың бірнеше серияларын қолдануға негізделген. Алынған нәтиженің дәлдігі жасалынған тәжірибелер санына тәуелді. Мысалы, тиынды лақтырғанда «елтаңба» немесе «жазу» жағының түсу ыктималдығы 1/2-ге тең, яғни тиынды лақтыру саны артқан сайын осы ыктималдық нақтылана түседі.

 Математикалык  логика дөлелдеулер техникасын  зерттейді. Компьютерлер математика  пәні сиякты аныктамалар мен  дәлелдеулерде нақтылықты және  қатаң реттілікті талап етеді.  Пікірлер алгебрасы математикалық  логика аймағы болып табылады.

 Пікірлер  алгебрасы—идеал пікірлерге қатысты  ақкикат немесе жал¬ган пікір  деп тұжырымдауға болатын пікірлерді  зерттейтін логикалар алгебрасы.  Логикалар алгебрасы пікірдің  мағынасына назар аударып, терең  қарастырмайды.

 Сондықтан  логикалар алгебрасы тек екі мағынаға ие болады, яғни пікірлердің кез келгені «акикат» немесе «жалған» пікірлерінің біреуін ғана сипаттайды.

 Қарапайым  пікірлер логикалар алгебрасында  латынның бас әріптерімен таңбаланады:

 А  = {Абай — қазақ халқының ұлы  ақыны}. В = {А.С. Пушкин — ұлы математик}.

 Акикат  пікірге 1 саны, жалғанға 0 саны сейкес  қойылады. Сондықтан А=1, В=0.

 Құрмалас  пікірлер табиғи тілде пікірлер  алгебрасында логикалык амалдармен  алмастырылатын «және», «немесе», «теріске  шығару» сөздері арқылы құрылады. Логикалық амалдар ақиқаттық кестесімен беріледі және графикалық түрде Эйлер-Венн диаграммасы көмегімен бейнеленеді.

Ғылым ретіндегі логикадан логикалық  дұрыс ойдың байланысы мен  динамикасын (ойлау логикасы) айыра  білу қажет. Ғылыми логика саласына белгілік құрылымдарды жасау мен зерттеу (есептеу, формальдік жүйелер), жалпы касиеттері логикалық оймен көрінетін және белгілік құрылымда белгіленетін шындықтың белгілі бір үзінділерін қарастыру (модельдер) енеді. 
 
 
 
 
 
 
 
 

Логикалық форма 

Логикалық форма — бұл мазмұнды тұжырымдардың байланыс өдісі. Мысалы, пікірдің екі түрлі нақты мазмұнын қарастырайық:

Барлық  ағаш — өсімдік.

Барлық  өзендер теңізге қүяды.

Екеуінің  мазмұндары жағыңан айырмашылығын аңгару қиын емес, сонымен бірге бірішпі пікір ақиқат та, екішпісі — жалған пікір. Осы пікірдің мазмүнын шетке шығарып тастайық та, оларды S және Р ауыспалы бөлшектерімен алмастырайық. Нәтижесінде осы пікірлер "Барлық SP-нің негізі" деген логикалык формада күрылады. Әр түрлі мазмүнды пікірлер "Егер от болса, түтін де болады" және "Егер тарих ғылымы болса, оның өз зандары да болады" деген пікірлер де бірдей логикальщ формада "Егер А болса, В да болады" деген пікірді білдіреді. Сонымен, белгілі бір ойдың логикалық формасы сол ойдың қүрылымы, оның нақты мазмүны бөліктерінің байланыс төсілі болып табылады. Жоғарыда айтылғандарға сүйене отырып, логика ғылымына нақты аньщтама беруге болады. Логика—адам ойының логикалық формалары жагынан және кіріспе білім алу удерісі кезінде, ақиқатқа жетуийн оның заңдары мен пәнін қалыптастырушы қажетті іиарттарды реттейтін ғылым. Логика жалпы логикалық тәсілдерді (әдістерді) зерттейді. Логикалық әдістер адамның накты емірді тануында ете қажетті кұрал болмақ. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Негізгі мақсаты мен зерттеу  пәні 

   Логика ұғымы объективті дүниенің, шындықтың даму заңдылықтарын бейнелеу мағынасында да қолданылады. Кең мағынада Логика ойлаудың ғана емес, болмыстың да байланыстарын көрсетеді, бұл жағынан ол онтологиямен сабақтас. Ойлау мен таным қатар жүретіндіктен Логика таным теориясымен (гносеологиямен) байланысады. Логика философияның негізгі бөлігі болып табылады, өйткені философия “оймен басталып, оймен жалғасады, сондықтан оны кейде “ойлау туралы ойлау” деп анықтайды.

   Логика тарихы философия тарихымен тығыз байланысты. Логиканың алғашқы тарихи нұсқасын б.з.б. 4 ғасырда ежелгі грек философы Аристотель жасаған. Ол дедуктивтік ой қорытулар теориясын (яғни силлогистиканы) қалыптастырып, логика қателердің алғашқы жіктелімін жасап берді және Логикалық дәлелдеу туралы ілімнің негізін қалады. Дәстүр бойынша Аристотельдің Логикасы — аподейктика — анық, ақиқат білім туралы ілім, ол Аристотельдің “Аналитикасында” баяндалған.

    Аристотель дедуктивтік-силлогист. ілімді дамытса, Эпикур мен оның ізбасарлары индуктивтік Логиканың бастауын ашып, индуктивтік жалпылаудың бірқатар ережелерін тұжырымдаған. Аристотельдің Логикалық идеяларының сақталуына, олардың мән-маңызының ашылуы мен тарихи жалғасын табуына ортағасырлық ислам философтары әл-Кинди, әл-Фараби, ибн Сина, ибн Рушдтың сіңірген еңбегі зор. Аристотельдің дәлелденбейтін пікір, индукция туралы ілімін әл-Фараби жүйелі түрде дамытты. Ол предикат түрінде “өмір сүретін” құбылыстың бары жайында мүлде жаңа мәселе қойып, шартты силлогизм теориясын егжей-тегжейлі талдады, сөйтіп, Логикадағы диалектикалық мәселелерді түсінуге елеулі үлес қосты.

    Неміс философы Кант Аристотельге қарсы философияның зерттейтін формаларының деректік мәні жоқ, олар әншейінгі бос форма болып табылады, сондықтан, олардың мазмұн мен ақиқатқа қатысы жоқ деген пікір айтты. Кант пікірі бойынша, жалпы Логика ғылымның формасын ғана емес, оның мазмұны мен генезисін де зерттейді. Жалпы Логиканың ең жоғарғы принципі — қайшылық принципі (немесе қайшылыққа жол бермеу принципі), ал трансцендентальді Логиканікі — әр түрлі пікірді біріктіріп, қисындастыру синтезі. Гегель “рухтың” тарихы, яғни мәдениет тарихы Логикада синтезделуге тиіс, Логика бұрынғы философияның, ең алдымен, онтологияның орнын басады, сонда болмыс пен ойлаудың тепе-теңдігі пікірдің дамуын, оның өз бетімен дамуының ішкі ырғағына сәйкес имманентті, диалекттка түрде болатынын дәлелдейді.

     17 ғасырда Бэкон тәжірибеге сүйенген ғылымның басты құралы ретінде индуктивтік әдісті негіздеп, индуктивтік Логиканың негізін саралап, силлогист. ілімді сынға алды. Декарт керісінше дедуктивтік әдіс пен дедуктивтік Логиканы жоғары бағалап, ақиқатты дәлелдеудің басты жолы деп есептеді. Формальді Логиканың әрі қарай дамуына аса зор үлес қосқан философтардың бірі — Лейбниц. Ол Аристотель категорияларын талдау арқылы ең қарапайым бастапқы ұғымдар мен пікірлерді іріктеп алып, адам ойының әліпбиін” құрастыру идеясын ұсынды, математика Логиканың негізін қалады. Дж.С. Милльдің индуктивті ой қорыту теориясы ықтималдық теориясы мен Логика алгебрасының қалыптасуына байланысты 19 — 20 ғ-ларда Логиканың зерттеу саласына айналды. Бұл кезеңде индуктивтік Логикамен дедуктивтік-математика Логика дамыды. Дж.Буль, О де Морган және неміс математиктері Э.Шредер,П.С. Порец, т.б. математика әдістерді Логикаға қолданудың нәтижесінде осы заманғы Логика алгебрасы қалыптасты.

    Логикалық сөйлемдерді геометрия фигуралар арқылы түсіндіру әдісі И.Г. Ламберг және Б.Больцано еңбектерінде кездеседі. Сөйтіп, Логикалық мәселелерді шешуде математика әдістерді қолдану кеңінен таралды. Қазақстанда математика Логиканың дамуына академия А.Д. Тайманов зор үлес қосты. Ол Логиканың ойлау формаларын (ұғым, пікір, ой-қорытынды) зерттеп, олардың мәнін, түрлерін, арақатынастарын, олармен операциялар жасаудың тәртібін ашып, оларға тән ережелер мен түпкілікті ойлау заңдарын саралады. Формальді Логиканың (қазіргі Логика) символик. (немесе математика Логика) саласы дәстүрлі Логиканың тарихи сабақтасы болып саналады. Мұнда дәстүрлі Логиканың қойған мәселелерін шешу үшін символдар тілі, математика әдістер, Логикалық есептеулер қолданылады. Бұлайша қарастыру ойлаудың жаңа заңдылықтарын ашуға, ойлау процесін автоматтандыруға, сөйтіп, осыған негізделген жаңа техника мен технологияны жасауға жағдай жасайды. Қазіргі кезде Логика, негізінен, үш бөлімнен (пайымдаулар теориясы, математика және Логикалық методология) тұратын, жан-жақты тармақталған ғылымға айналды. Тұтас алғанда, мұндағы зерттеулер тіл мен ойдың арақатынасының қай қырынан келетіне байланысты Логикалық семиотика мен Логикалық семантика тұрғысынан жүргізіледі. Логикалық семиотикада тіл байламдары таңбалық объектілер ретінде қарастырылса, Логикалық семантикада тіл мен Логикалық теориялар олардың мазмұны жағынан зерделенеді.

    Қазіргі Логикада түсініктеме (интерпретация) ұғымы маңызды рөл атқарады, өйткені бұл ұғым арқылы Логикалық заң және Логикалық жалғасу ұғымдары анықталады. Кейінгі кездері Логикалық зерттеулерде жаңа математика аппарат — категориялар теориясының тілі кеңінен қолданылуда. Логикалық теориялар оларда зерделенетін Логикалық лебіздердің сипатына, түптеп келгенде заттар қатынастарының түріне орай классик. және бейклассиктер болып бөлінеді. Қазіргі Логиканың маңызды бір бөлігі — металогикада Логикалық теориялардың қасиеттері (қайшылықсыздығы, толықтығы, түпкілікті дедуктивтік принциптерінің тәуелсіздігі, т.б.) зерттеледі, яғни оны Логиканың өз түзілістері турасындағы өзіндік рефлексиясы деп атауға болады.

     Логикалық методолдар да қазіргі Логиканың бір бөлігін құрайды. Оны жалпы (яғни, ғылым білімнің барлық салаларында қолданылатын танымдық амалдарды зерттейтін) және жекелеген ғылымдардың методологиясы (дедуктивтік ғылымдардың методологиясы, эмпирик. ғылымдардың методологиясы, әлеуметтік және гуманитарлық білімнің методологиясы) деп бөледі. Логикалық-методолдар ізденістерде, әсіресе дедуктивтік ғылымдар методологиясы саласындағы жетістіктерді атауға болады (Логиканың дедуктивтік теория ретінде құрылуы, математиканы негіздеу, білімді аксиоматизациялау және формальдандыру әдістерінің қолдау табуы, т.б.).

Қазіргі кезде эмпирик. ғылымдар методологиясының Логикалық проблематикасы да (мысалы, гипотеза түзу және тексеру процесі, білімнің эмпирик. және теория деңгейлерінің арақатынасы, эмпирик. теориялардың Л-лық құрылымы, т.б.) белсенді зерттеліп келеді. 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Пайдаланылған әдебиеттер 

↑ Орысша-қазақша  түсіндірме сөздік: Педагогика / О 74 Жалпы редакциясын басқарған э.ғ.д., профессор Е. Арын - Павлодар: "ЭКО" ҒӨФ. 2006. - 482 б. ISBN 9965-808-85-6

↑ Орысша-қазакша  түсіндірме сөздік: Ғылымтану. Жалпы  редакциясын басқарған э.ғ.д., профессор  Е. Арын - Павлодар: ҒӨФ «ЭКО», 2006. ISBN 9965-808-78-3

↑ Қоғамдық білім негіздері:Жалпы біліы беретін  мектептің коғамдык-гуманитарлык бағытындағы 10-сыныбына арналған окулык / Ә.Нысанбаев, Ғ.Есім, М.Изотов, К.Жүкешев, т.б. - Алматы: "Мектеп" баспасы, 2006. ISBN 9965-33-570-2 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Жоспар 
 
 
 

1. Логиканың шығуы 

2. Логикалық форма 

3. Негізгі мақсаты  мен зерттеу пәні 

4. Пайдаланылған әдебиеттер