Логика. Логика пәні. Ой мен сана.Формальды логика

ҚРң ғылым және білім министрлігі

Қайнар колледжі

 

 

 

 

 

 

Баяндама

 

 

 

 

 

 

Тақырыбы: Логика. Логика пәні. Ой мен сана.Формальды  логика.

 

 

 

Орындаған: Құқықтану 11/9 тобының        

                                                             студентіНұрла Ақмарал 

                                                              Тексерген: Сарбаз Салтанат

 

 

Ақтау 2012

 

Кіріспе:

Логика

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

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

 

Ойлау– объективті шындықты белсенді бейнелеудің жоғарғы формасы, дүниені тану мен игерудің жоғарғы сатысы, тұлғаның танымдық әрекеті. Ойлау формалары мен құрылымдарында адамзаттың бүкіл танымдық және тарихи-әлеуметтік тәжірибесі, материалдық және рухани мәдениеті дамуының басты нәтижелері қорытылып, бекемделген. Сыртқы дүниені толык тануға түйсік, қабылдау, елестер жеткіліксіз болады. Біз тікелей біле алмайтын заттар мен құбылыстарды тек ойлау аркылы ғана білеміз. Түйсік, кабылдау процестерінде сыртқы дүниенің заттары мен құбылыстары жайлы қарапайым корытындылар жасалады. Бірақ қарапайым қорытындылар сыртқы дүние заттары мен күбыдыстарыньщ ішкі күрылысын, оның қажетті қатынастары мен байланыстарын жөнді ашып бере алмайды. Адамның ой-әрекеті әсіресе тұрлі мәселелерді бір-біріне жанастыра отырып шешуде өте жақсы көрінеді.

Сана — қоғамдық құбылыс. Адамның санасы адамзат коғамының  ұзаққа созылған дамуының нәтижесінде  пайда болды. Психикалық және саналы қызметтің элементтері ақпарат  алмасу үшін дыбыс сигналдарын және ишараны қолданатын жоғары дамыған, топтасып өмір сүретін жануарларда көрініс береді

 

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

 Формальды логиканың  негізгі мақсаты – ақтық білімді  алу процесінде ақиқат қорытындыларға жетудің қажетті шарты болып табылатын заңдарды, принциптерді тұжырымдау.

 Формальды логика силлогистиканы  талдаған Аристотель еңбектерінен  бастау алады.

 Формальды логиканың  одан әрі дамуына ертедегі стоиктер, орта ғасырларда – схоластар (Петр Испанский, Дунс Скот, Оккам, т.б.), жаңа заманда – Лейбниц үлес қосты.

Математикалық логика пікір айту мен дәлелдеудің қисындық теорияларын талдай отырып, Формальды логиканы логикалық зерттеулердің жаңа әдістерімен және құралдарымен байытты.

 

Негізгі бөлім

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

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

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

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

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

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

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

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

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

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

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

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

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

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

 

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

Таным мен сананың өзара байланысы

 

Таным дегеніміз — нағыздықтың  адам санасында мақсатты және белсенді түрде бейнелену үдерісі болып  табылады. Таным кезінде болмыстың  түрлі жақтары айқындалады. Заттардың сыртқы және ішкі мәні, қоршаған орта құбылыстары, сонымен қоса адамның санасында танымдық қызметтің субъектісі — адамның қызметі зерттеледі. Демек, адам өзін-өзі зерттейді. Осының бәрі адамның санасы барлығынан болып жатады. Өйтпесе онсыз таным үдерісі шынайы болмас еді. Сондықтан адамның санасы сияқты ғажап құбылыстың негізгі нысандарын зерттеп білу керек. Адамда оның денесі (физиологиялық организм) және жаны (рухани-психикалық) сияқты қарама-қарсы екі бастама бар. Адам жануарлар дүниесінен шыққандықтан, ол биологиялық заңдылықтарға бағынады. Сонымен қоса адам сөйлей алады. Оған күрделі ойлау және эмоциялық қызмет тән. Ол "сана" деп аталады. Қоғам дамуының салыстырмалы қысқа тарихи мерзімі ішінде адам кептеген жетістіктерге: мысалы, заттарды алдын ала тапсырылған қасиеттер бойынша алуға, ойлай алатын машиналар жасауға, Айға, Шолпанға, Марсқа ғарыш кемелерін жіберуге, қарапайым бөлшектердің құпияларына терең үңілуге қол жеткізді. Әлеуметтік және коғамдық өмірдің аяларына, оны зерттеу, ойлау арқылы зерттелетін объектінің өткеніне, қазіргісіне және келешегіне үңілуге болады. Алайда адам солай болса да, езінің санасын әлі білмейді, оны жеткілікті деңгейде басқара алмайды. Демек, ежелгі ғалымдардың "өзіңді-өзің таны" дегені әлі күнге дейін өзекті болып отыр. Бірде Үндістанда Шакунтале Деви деген әйелге 200 цифрлы санның 23 дәрежелі түбірін табу ұсынылған екен. Осындай есеп, сонымен бірге ең жетілген компьютерге де берілген. Машина есепті 60 секундта, ал Деви 50 секундта шығарған. Есеп шығаруда осындай жетістіктерге жеткізе алатын біздің ойлауымыздың сипаты қандай? Біздің жалпы санамыздың өзі қандай? Жансыз заттардың, мысалы, компьютерлердің ойлауға қабілеті бар ма?

Сананы қалыптастыратын факторлар

Сана — қоғамдық құбылыс. Адамның санасы адамзат коғамының  ұзаққа созылған дамуының нәтижесінде  пайда болды. Психикалық және саналы қызметтің элементтері ақпарат  алмасу үшін дыбыс сигналдарын және ишараны қолданатын жоғары дамыған, топтасып өмір сүретін жануарларда көрініс береді. Бір катар жануарлардың — мысық, ит тектестер, приматтар, дельфиндер әрекеттерінің көбі күрделі және сананың қызметін талап етеді. Одан кейін жануарлардың өзіндік "моралі", өзін ұстау әдеттері, жетекшілік үшін күрес жүргізуі бар. Жалпы, жануарлардың өмірі өзінен-өзі жүріп жатқан жоқ, оларда санаға бағыныштылық, яғни бір мән бар. Алайда адамның санасы бүл жануарлардың күрделендірілген психикалық қызметінің жалғасы емес, терең ұстанымды өзгерістердің нәтижесі. Бүл өзгерістердің негізі — еңбек. Еңбек арқылы еңбек құралдары жасалды және материалдық заттарды кайта жаңғырту үшін адамдардың алдымен қарапайым, кейінірек күрделі қажеттіліктерін өтеу үшін пайдаланылды. Адамның эволюциясы 3 миллион жылға жуық мерзімді құрайды, соның 95%-ы адамның нышаны айқын көрінетін алғашқы ұжымдарды калыптастыру үшін жұмсалды. Алғашқы адам қалдықтары табылған жер француз деревнясы Неандерталь болғандықтан, оларды неандертальдықтар деп атайды. Неандертальдықтар тастан қанжар жасай білген, найзаның ұшын, сүйектен қарулар жасады, жасанды жолмен отты алды. Оларда алғашқы қауымдық құрылыс қатынастары орнады. Еңбек құралдары өлі жетілмеген дамудың алғашқы кезеңінде өмір үшін күрес ширығып, еңбек қызметі сол мақсаттарға ғана арналып, тек қана ұжымның күшімен жүзеге асырылатын жағдайда болды. Бүл мақсаттарды іске асу, еңбек үдерісін басқару үшін жақсы сигнал жүйесі, жылдам ақпарат алмасу қажет болды. Осындай жағдайлар ойдың дамуы мен жетілуінде шешуші рөл атқарған тілдің пайда болуына алып келді. Қалыптасқан бірқатар жағдайларға байланысты біздің ежелгі ата-бабаларымыз өмірінде өте маңызды өзгерістер болып жатты. Кездейсоқ, жағдайда ғана қару ретінде қолына белгілі бір затты — тасты немесе бұтақты алып әрекет еткен кездің орнына қаруды тастан және сүйектен дайындап, үнемі пайдаланатын кез келді. Тас және басқа да қарапайым қарулары бар адамдар тобыры енді жануарлармен салыстыруға болмайтын, әлдеқайда күрделі жүйеге — қоғамға айналды. Онда атқарылатын қызмет түрі өте көп еді. Тобырға қарағанда адамдардың бір-бірімен қатынасы, пікір алмасуы күрделеніп, түрлене бастады. Тас қаруды жасау және оны пайдалану, шұңқырды бірігіп қазып, оны жасыру, аңды оған қуып әкеліп құлату үшін аңшылар көптеген жұмыстарды бірігіп атқаруы керек болды. Өмір оларды соған үйретті, бірігіп еңбек етудің ұтымдылығы жалпының күшімен жеке адамның қолынан келмейтін мақсаттарды іске асыруға болатынын көрсетті және сонымен қоса ақпаратты да ұжым болып пайдалануға алып келді. Демек, біреу бірдемені көрсе, естісе, ұжымдық қозғалыстың барлық катысушылары оны естиді және көреді.