Диалектикалық және формальдық логиканың негізгі принциптері

Анықтау үшін, бұл логика, біз алдын-ала анықтау, неде мақсаты адами таным. Мақсаты таным жасалады жеткен ақиқат көмегімен ойлау танымның мақсаты бар шындық. Логика сияқты ғылым бар, ол көрсетеді, себебі жасалуы ойлау үшін қол жеткізілді шындық; қандай ережеге ойлау керек бағыну үшін қол жеткізілді ақиқат. Көмегімен ойлау кейде қол жеткізіледі, ал кейде жоқ қол жеткізіледі. Онда ойлау, оның көмегімен қол жеткізіледі ақиқат, аталуы тиіс дұрыс ойлау. Осылайша, логика ретінде айқындалуы мүмкін ғылым туралы заңдар-дұрыс ойлау, немесе ғылым туралы заңдар, оларға бағынады, дұрыс ойлау. (Г. И. Челпанов, 1994).

 

Тарих логика

 

Термин «логика» қатысты ғылымда ойлау туралы алғаш рет енгізілді стоиками, выделившими атаумен ғана бөлігін нақты қатысу Аристотель, ол келісілмеген олардың өз түсініктері табиғат туралы ойлау. Атауының өзі «логика» жүргізілген өздері грек сөзі «логос» (сөзбе-сөз «дегенді білдіреді» деген сөз), ал аталған ғылым сближалась пәні бойынша сағат тілінің грамматикасы мен атауын. Ортағасырлық схоластика, түпкілікті оформившая және узаконившая бұл дәстүрді қалай рет-қатынас логикасын қарапайым құрал («иудеймен») жүргізу ауызша пікір-талас, зеңбірек пайымдау мәтіндерін «қасиетті жазу» таза формалды аппараты. Нәтижесінде анықталғандай дискредитированным тек ресми түсіндіру логика, тіпті атауының өзі оның. Выхолощенная «аристотелевская логика» сондықтан, мен жоғалтты кредит алдында барлық көрнекті естествоиспытателей мен философтардың жаңа уақыт. Сол себепті көптеген философтар XVI – XVIII ғасырлардағы жалпы избегали пайдалануға термин «логика» ретінде ғылым туралы ойлау, об интеллекте туралы ойына.

Жарамсыз деп тану ресми схоластически-формальды нұсқасы логика ретінде «органона» нақты ойлауды дамыту, ғылыми білім – арқауы, барлық алдыңғы философиялық ой. «Логика, енді пайдаланылады , керісінше нығайтуға қызмет етеді және сақтау қателесу бар, өз негізі, жалпы қабылданған ұғымдар қарағанда, іздестіруге ақиқат. Сондықтан ол көп вредна, пайдалы», — деді Фрэнсис Бэкон. «…Логика, оның силлогизмы басым бөлігі басқа да оның тәлімдемелерді тезірек көмектеседі түсіндіру басқа да бізге белгілі, немесе тіпті, өнердегі Луллия, бестолково айтысып о том, чего не знаешь, оның орнына зерттеу үшін бұл», — сондай-ақ жаңғырық отыр оған Ренэ Декарт. Джон Локк пайымдауынша, «силлогизм жақсы жағдайда ғана бар өнер күресуге көмегімен қатар шағын білім қандай бар бізде, прибавляя оған ештеңе». Бұл негізінде, Декарт және Локк пайымдауынша, қажетті жатқызуға барлық мәселелерін бұрынғы логика облысқа риторика. Өйткені сол логика сақталып, ерекше ретінде ғылым, онда ол бірауыздан түсіндіріледі емес, ғылым ретінде ойлау туралы, ғылым туралы дұрыс қолданылған сөздерді, есімдерді, белгілері. Гоббс, мысалы, дамытады тұжырымдамасын логика ретінде есептеу сөздердің белгілері.

Әлдеқайда осторожнее қолайлы тігіледі, Р. Декарт және Лейбниц. Сондай-ақ, импонировала құру идеясы «, «жалпыға бірдей математика» орнына бұрынғы, высмеянной және дискредитированной, логика. Және олар армандаған құру туралы «әмбебап тілі», терминдер жүйесін, белгілі бір қатаң және сөзсіз, сондықтан жол беретін өзіңмен таза формальды операциялар.

Алайда, Р. Декарт,Г. Лейбниц, өзгелікте Гоббса, жақсы көрген принципиалды қиындықтар, стоявшие жүзеге асыру жолында осы идеялар. Декарт түсіну, терминдерді анықтау «әмбебап тілінде» мүмкін емес өнім полюбовного келісімді, а алынуы тиіс нәтижесінде ғана мұқият талдау қарапайым идеялар, олардың, кірпіштерден, қалыптасады бүкіл интеллектуалдық әлемі; бұл өзі нақты тілі «жалпыға бірдей математика» болуы мүмкін ғана нәрсе туынды «шынайы философия». Сонда ғана сәті еді деген ой нәрселер туралы деректер, қиял (т. е. бойынша сол уақыттағы терминология, созерцании), жалпы нақты сезімдік-заттар әлемі тәжірибесі, адамдардың өзіндік «есептеуге терминдер мен бекіту» жасауға умозаключения үстел сол безошибочными, теңдеулерді шешу.

Присоединяясь осы тармақта — Декарт, Г. Лейбниц үзілді-кесілді ограничивал қолдану облысы «жалпыға бірдей математика» тек сол заттармен, қолданылу аясына жататын күштер «қиял». «Жалпы математика және беруге тиіс, оның ой, тек «былайша айтқанда, логикалық күшін қиял». Бірақ дәл сондықтан, оны жүргізу алынып тасталады барлық метафизика, сондай-ақ «тек рассудку мөлшерлес заттар, ой және әрекет, сондай-ақ область қарапайым математика». Өте елеулі шектеу! Ойлау, қалай болғанда да, бұл жерде қалады тыс құзыреті «жалпыға бірдей математика».

Таңқаларлық емес, бұл Г. Лейбниц бастап нескрываемой иронией қарадым таза номиналистической түсіндіру логика жазылған у, Дж.Локк, оған сәйкес логика ретінде түсініледі ерекше ғылым туралы белгілері. Лейбниц ашады қиындықтарға байланысты осындай түсіністікпен логика. Ең алдымен, деді ол, «ғылым туралы рассуждении, жасақтауына пайымдаулар, өнертабыс, шамасы, өте отлична жылғы білім қазіргі қазақ тіліндегі сөздер мен словоупотребления білдіретін нәрсе белгісіз және еркін. Сонымен қатар, түсіндіре сөздер, қомақты нәрселерді экскурсия облысы өздерінің кандидаты ретінде бұл соғыс жазушылары; екінші жағынан, сол жағынан, болмайды айналысуға ғылымдармен берместен, сол уақытта анықтамаларды терминдер».

Сондықтан оның орнына бөлу философия үш түрлі ғылым, ол Дж.Локк көшіреді у стоиков (логика, физика жəне этика), Лнйбниц көреді туралы айту үш түрлі аспектілері, олар әрекет бір-білу, бірдей ақиқат — теориялық (математика) және практикалық (этика) және терминологическом (логика). Бұрынғы логика бұл жерде жай ғана сәйкес келеді терминологиялық аспект білу, немесе, білдіруге Лейбниц жүйелеу, білімдерін терминдер бойынша анықтамалығында көрсетілген. Әрине, мұндай жүйелеу, тіпті ең үздік, бар ғылым туралы ойлау, өйткені Лейбниц болды ойлау туралы түсіну. Ал шынайы ілім, ойлау туралы ол относил к платон сүйене отырып, бұл мағынада терминология мен мәні логика Аристотель, стоиков. (Ильянков, 1984)

Идея Г. Лейбниц туралы мүмкіндіктері мен өнімділігін мәліметтер ойлау — есептеулерге көптеген жылдар бойы емес находила дамыту және қолдану. Символикалық логика басталғанға құрылуы тек XIX ғасырдың ортасында Оның дамуына байланысты қызметпен Лж.Буля, А. М. Де-Моргана, Ч. Пирс, Г. Фреге және басқа да атақты ғалымдар. Елеулі үлес құру символикалық логика енгізді орыс ғалымдары П. С. Порецкий, Е. Л. Буницкий және т. б.

Осылайша, басында ағымдағы жүзжылдықтың символикалық логика твердого ретінде қатысты өзіндік пәннің шеңберінде логикалық ғылым. Әдістерін қолдану символикалық логика проблемаларын шешуге қойылған дәстүрлі логикасын, сондай-ақ проблемаларды тіпті болуы мүмкін емес, ол қойылған, туғызды ХХ ғасырдың басында революцияға логикалық. Дәл әдістерін пайдалану символикалық логика ерекшеленеді логика қазіргі заманғы дәстүрлі. Сонымен қатар, қазіргі заманғы логика сақталады барлық жетістіктері мен барлық мәселесі дәстүрлі логика.

Диалектикалық логика, сондай-ақ ежелгі шығу тегі. Идеялар диалектиканың ойлау восходят к древневосточной және антикалық философия. Негізгі санаттары диалектической логики қолданылды қазірдің өзінде ерте грек классикада /VI – V ғғ. б. э. дейін/, дегенмен олар біріктіріліп, жүйеге және диалектикалық логика атты далека бөлуге дербес ғылымға. Дамытуға диалектической логики енгізді белгілі бір үлесі Платон мен Аристотель, жеке идеялар, осы логика білдірілді орта философами. Классикалық нысаны диалектикалық логикаға ұялатты неміс философтар Жаңа уақыт Кант, Фихтенің, Шеппинг және әсіресе Гегель. Диалектикалық логика Гегеля болып табылады жүйелі оқу-жаттығу, ол әзірленді позиция объективті идеализма.

Диалектическую логикасын арналған материалистік негізде өңдеген К. Маркс, Ф. Энгельс және В. И. Ленин. Одан әрі дамыту, ол алды еңбектеріндегі қазіргі заманғы философтар. (Ю. В. Ивлев, 1994)

 

Логика-формальды және диалектикалық

 

Өйткені ой өрнектеледі тілінде, олар дыбыс немесе тілдік формалары. Бір ой көрінуі мүмкін тілде әр түрлі. Мысалы, «Петр – студент», «Peter is a student», «Peter ist student»білдіреді бір ой. Мысалдарын келтіруге болады әр түрлі әдістерін білдіру белгілі бір ой бір тілде, мысалы, орыс.

Сонымен дыбыстық формасы, әрбір ойы бар логикалық нысанын (логикалық құрылымы).

Логикалық құрылымы, ой, айқын жоғарыда келтірілген ұсыныстар, мынадай: «Кейбір белгілі бір мәні бар кейбір белгілі бір қасиеті», немесе басқа тәсіл: «Кейбір белгілі бір мәні болып табылады және кейбір белгілі бір сыныптағы заттар».

Ретінде анықтап, логикалық нысанын күрделі ойлар, сондай-ақ ойлау процестерін (ойлау)?

Табу үшін тәсілі, мүмкіндік беретін анықтау логикалық формалары әр түрлі ойлар мен процестерді ойлау, мәндері неғұрлым жалпы қасиеттері мен сипаттамалары заттар мен құбылыстардың ең жалпы арасындағы қарым-қатынастар заттар мен құбылыстар, сондай-ақ неғұрлым жалпы қасиеттері мен сипаттамалары өз ойлары мен олардың арасындағы қарым-қатынас. Бұл қасиеттері, сипаттамалары және қарым-қатынас мәні болып табылады зерттеу логика. Олар көрінеді мынадай сөздермен және словосочетаниями: «мәні» /»бар», «болып табылады»/, «барлық»

/ «әрбір, «бірде-бір»/, «кейбір», «егер …онда», «және», «немесе», «із».

Негізгі әдістемелік принциптерін формалды логика: теңдік, непротиворечия, шығарылған үшінші және жеткілікті негіздері. Бұл принциптер білдіреді ең жалпы талаптарды қанағаттандыруы тиіс біздің пайымдау және логикалық операциялар ойларымен, егер біз алдымызға мақсат жетуі шындықты ұтымды әдістерімен.

Принципі тепе-белгілейді талап айқындылығы ойлау барысында ойлау, употребляя кейбір термин, біз употребить оны бір мағынада түсінуге астында нәрсе белгілі. Дегенмен заттар, қолда бар объективті шындық, үздіксіз өзгереді, ұғымдар туралы осы заттар бөлінеді нәрсе өзгеріссіз. Процесінде ойлау болмайды өзгертуге ұғымдар жоқ арнайы ескертпелер. Басқаша принципі тепе атауға болады қағидаты ескертулер: егер изменяешь несиенің болса, онда оговори бұл, әйтпесе боласың түсінікті болды дұрыс.

Принципі непротиворечия талап етеді ойлау болды дәйекті. Ол талап етеді, көктер нәрсе туралы болса, біз отрицали сол туралы сол сол ең мағынада сол уақытта, яғни тыйым салады, бір мезгілде қабылдауға біраз бекіту және оның терістеу.

Қарама-қайшылықтар тілдік контексте кейде болып табылады неявными. Мәселен, әйгілі бекіту Сократ: «Мен білемін, не мен ештеңе білмеймін» жасырады өз-өзіне қарама-қайшылық. Шын мәнінде, егер Сократ біледі, ол ештеңе білмейді, ол және бұл білмейді.

Принципі шығарылған үшінші талап етеді отвергать бір мезгілде пікір және оны терістеу. Пікірлер Ал мен ù А болмайды отвергнуть бір мезгілде, өйткені, оның бірі-міндетті түрде ақиқат, өйткені еркін жағдай не бар, не жоқ орын шындық.

Осы қағидатқа сәйкес қандай нақтылауға біздің ұғымдар алатындай беруге жауаптар баламалы. Мысалы: «бұл әрекет қылмыс немесе ол қылмыс болып табылмайды?». Егер ұғымы «қылмыс» емес, дәл анықталған болса, онда кейбір жағдайларда, бұл мүмкін емес еді жауап беру. Басқа сұрақ: «Солнце взошло немесе взошло?». Деп елестетіп көрейікші мұндай жағдайды: Күн жартылай шықты-қабат. Қалай сұраққа жауап беру керек. Принципі шығарылған үшінші талап етеді ұғымдар нақтыланып үшін мүмкіндіктер беруге жауаптар осындай. Жағдайда с восходом Солнца біз, мысалы, келісімге келу деп санауға Солнце взошло, егер ол сәл артық көрінді-қабат. Әйтпесе, не ол взошло.

Нақтылап ұғымдар, біз туралы айтуға болады екі суждениях, олардың бірі болып табылады отрицанием басқа да, оның бірі-міндетті түрде ақиқат, т. е. басқаша болуы мүмкін емес.

Принципі жеткілікті негіз талап етеді кез келген бекітуге болатын шамада негізделген, яғни ақиқаттығын бекіту қабылдауға болмайды » — деген.

Пайымдаулар, оның ішінде шығарылады бекіту кезінде оның негіздемесінде (егер санау ережесі логика деректер) деп аталады негіздер, сондықтан қаралып отырған принцип деп аталады принципі жеткілікті негіздер білдіреді: негіздердің жеткілікті болуы тиіс шығару үшін олардың қаралып бекітілген.

Егер талап принципін жеткілікті негіздер орындалмаса, онда бекітілген көрсетіледі негізсіз, тек сөзбен ғана жеткізіп қоймай. (Ю. В. Ивлев, 1994).

 

Негізгі әдіснамалық принциптері диалектической логики

Негізгі принциптері диалектической логики баяндалған. В. И. Ленин «Тағы да кәсіподақтар туралы, ағымдағы жағдай туралы және қателер туралы т. т. Троцкий Бухарина» және «Философиялық көбінесе оқушылар дәптерлерінде».

Ретінде жоғары әдіснамалық принципі ретінде талаптар объективті қарау. Бұл қағида қазақстан республикасының » заңды материалистического шешу негізгі мәселе философия, яғни дүниетанымдық принципін первичности материалдық және вторичности идеал. Ол талап етеді зерттеу кезінде кез келген объектінің негізге алып, оның өзіне емес, біздің пікір, ол туралы емес, ойлау бағындыруға пән және ойлау пәні, ішкі логика өзара байланыс және өзара тәуелділік оның тараптардың».

Объективтілік принципі-қарау, пайдаланылатын әлеуметтік таным, «өзіне ғана емес, талап негізге объектіні, заңдар, оның жұмыс істеуі және дамыту және енгізуге, оған ештеңе, бірақ және нақты ажырату материалдық және идеологиялық қатынастар, объективті және субъективті факторлардың, қоғамдық болмыс пен қоғамдық сананың, тану материалдық объективті факторлар (қарым-қатынастар), қоғамдық болмыс ретінде анықтайтын, бастапқы, рухани, идеологиялық қатынастар, құбылыстар қоғамдық сананың – ретінде қайталама, обусловливаемых материалдық адамдардың өміріне, олардың экономикалық қатынастар. Тек осындай специфическом мәнде объективтілік принципі-жағдайы дұрыс бағыттау субъектінің таным әлеуметтік құбылыстардың».

Мысалы, болжау кезінде қылмыстың негізге алады ол болып табылады қайталама құбылыс қатысты басқа да әлеуметтік құбылыстарға ретінде әрекет етуші оның себептері. «Осыдан қорытынды, бұл … болжау (қылмыс)бар қайталама болжау көрсететін өзгерістер болашақта басқа да әлеуметтік құбылыстар, сказывающихся арналған қылмыс. Болжау қылмыс…жүруі тиіс артынан болжамдармен құбылыстардың, процестердің айтарлықтай әсер ететін қарқынын, деңгейін, құрылымын қылмыс. Сондықтан алдымен жасалуы тиіс болжам жататын бірінші буынға себеп-салдарлық жүйе – саласына себептерін, ал содан кейін, және осының негізінде – екінші буынға – қылмыс. Болжамдарын әзірлеу бірінші буын – міндет экономистер, әлеуметтанушылар, демографов және т. б. әзірлеу, екінші буын – криминологов».

Маңызды салдары объективтілік принципін қарастыру болып табылады талап баруға наурыздағы » қайталама құбылыстар, олардың себептері, керісінше негізге ала отырып, бастапқы құбылыстар, олардың себептерін анықтау мақсатында барлық ықтимал тергеу.

«…Көптеген жеңіл, — деп жазды К. Маркс, — талдау арқылы табуға жер ядросы туманных діни түсініктердің қарағанда, керісінше, осы қарым-қатынастар шынайы өмірде шығаруға тиісті діни нысандары. Соңғы әдісі бар жалғыз материалистический, демек, бірден-бір ғылыми әдісі». Қатысты қылмыстың бұл әдіс тұжырымдауға болады: емес, қылмысқа баруға оның себептері, сондай-ақ деректер (материалдық) өмір сүру жағдайларын шығаруға күтілетін құқық бұзушылық.

Басқа салдары принципінің объективтілік принципі болып табылады конкретности талап ететін зерделеу кезінде объект негізге алып, оның ерекшеліктеріне, арнайы жағдайларына, оның өмір сүруінің, принциптері және әдістері зерттеу объектісі ғана пайдалануға бағыттар ретінде, бағыттаушы таным анықтау, оның ішкі табиғаты. «Әдісі К. Маркс, — деп жазды В. И. Ленин, маңыздылығын көрсете отырып талаптар конкретности, — ол ең алдымен, ескеру үшін объективті мазмұны тарихи процестің осы нақты сәтте, осы нақты жағдайда…»

Ұстану принципі конкретности сақтайды жылғы айналдыру диалектикалық әдісті жан-жақты отмычку-мыс шешуге қабілетті кез келген ғылыми проблема болып табылады. Бұл жөнінде Ф. Энгельс былай деп жазды: «…материалистический әдісі айналады өз қарама-қарсы, пайдаланады емес басшылық жіппен кезде тарихи зерттеу, ал дайын шаблонмен, ол бойынша кроят және перекраивают тарихи фактілер».

Маңызды қағидаты диалектикалық әдісі болып табылады және талап қарау объектісі, оның барлық байланыстарда және қарым-қатынас. «Шын мәнінде білуге мәні, — деп жазды В. И. Ленин, — керек қамту, зерттеп, оның барлық тараптар, барлық байланыс және «опосредствования». Біз ешқашан жетеміз, бұл толығымен емес, жан-жақтылық талап предостережет бізді қателер мен омертвения». Бұл қағида жөн дүниетанымдық принципін жалпыға бірдей байланыс. Шын мәнінде, егер мәні білдіреді бірлік, өзара байланысты тараптардың, қасиеттердің және т. б. ол көптеген байланыстар басқа заттармен, онда тану үшін мәні, қамту қажет барлық осы байланыстар және қатынастар.

Маңызды принципі диалектикалық әдісі болып табылады тарихилық принципі, ол талап етеді, қарастыратын нысаны, дамуы, самодвижении, өзгерту, т. е. зерттеп, оның пайда болуы, өткелдер бір даму сатыларын басқа, тіпті осы уақытқа дейін, бұл болжау, оның болашақ жай-күйі. Тарихилық принципі салдары болып табылады принципі жалпыға бірдей дамыту. Шынында да, егер барлық әлемде орналасқан қозғалыста, өзгерту, онда тану үшін сол немесе өзгеше құбылыс, зерттеу керек процесс, оны өзгерту, оның даму.

В. И. Ленин бөлінетін маңызды рөл атқарады, бұл мәселе әлеуметтік таным: «Ең сенімді мәселесінде қоғамдық ғылым мен қажетті үшін шын мәнінде сатып алуға дағдысы бөлуге дұрыс бұл мәселеге беруге затеряться массасы ұсақ-түйек немесе громадном түрлі борющихся пікірлерін, — ең бастысы, жақындауға мәселесі тұрғысынан ғылыми, бұл – ұмытпау үшін негізгі тарихи байланысты, смотреть әр сұраққа тұрғысынан, сонымен қатар белгілі құбылыс тарихында пайда болған, қандай басты кезеңдері өз дамуындағы бұл құбылыс-шара, және тұрғысынан, бұл оның даму көруге, бұл нәрсе болды енді».

Тарихилық принципі ғана шектелмейді талабы ойнату тарихын зерттелетін объектінің түрінде қандай ол болып табылады шындық. Ол талап етеді, әрі қарай баруға және анықтау заңдылықтарын ауысым бір даму сатыларын объектінің басқа. Дәл орындауға соңғы талаптар мүмкіндік береді ғылыми түсіндіруге қасиеттері және байланыс объектісінің, ашып, оның мәні мен болжау, белгілі бір ықтималдылықпен, оның болашағы дамыту.

Маңызды принципі диалектикалық әдістің принципі болып табылады раздвоения объектінің таным қарама-қарсы туындайтын заңының қарсылықтың бірлігі мен күресі.

Әдіснамалық принциптері бірлікте әдістерімен және тәсілдерімен таным мен тәжірибелік қызмет түрлерімен таным құрайды белсенді жағына диалектикалық әдісі. (Ю. В. Ивлев, 1988).

 

Анықтау үшін логикалық нысанын ой керек алаңдап от басым бөлігінің мазмұнын нелогических терминдер кіретін деген сөз тіркесі білдіретін, осы ойды. Бұны әр түрлі тәсілдермен. Болады, мысалы, төмен нелогические терминдер бұл сөз тіркесі қоюға олардың орнына көп нүкте, штрихтік және басқа да желілер. Бұл ретте орнына түрлі вхождений бір терминнің чертить бірдей сызық, ал оның орнына вхождений әр түрлі терминдер – әр түрлі сызықтар. Соңғы ескертулер және туралы айтады неполном отвлечении жылғы мағынасын нелогических терминдер. Типі бойынша желілерді қалпына келтіруге болады түрі нелогических терминдер «басым мағынасы» онда болды бермесін.

Екінші тәсілі босатылған мағынасын нелогических терминдер жасалады ауыстыру осы терминдердің символдармен – айнымалы. Бұл жағдайда орнына түрлі вхождений бір терминнің қойылады бір айнымалы, ал оның орнына әр түрлі терминдер – әр түрлі айнымалылар. Сонымен қатар, оның орнына терминдер әр түрлі типті қойылады және айнымалылар әр түрлі типтері.

Болсын берілді пайымдау:

(1) Барлық металдар болып табылады теплопроводными заттармен.

Барлық металдар болып табылады электропроводными заттармен.

Демек, кейбір электропроводные заттар болып табылады теплопроводными.

(2) Тергеуші – заңгер.

Демек, жақсы тергеуші – жақсы заңгер.

(3) Муха – жануар. Демек, ірі муха – ірі жануар.

Екі келесі өзіндік жұмыстарды орындады түсініледі «деген сөз «барлық».

Нәтижесінде ауыстыру нелогических терминдер айнымалы аламыз, тиісінше, білдіру:

(1) Барлық М мәні. Р. Барлық М мәні S. Демек, S мәні. Р.

(2) Барлық S мәні-Р. Демек, барлық Sq мәні Pq.

(3) Барлық S мәні-Р. Демек, барлық Sq мәні Pq.

Олар білдіреді логикалық нысанын көрсетілген айтылып жүр.

Осылайша, қисынды нысаны – бұл құрылымы ой немесе ойлау процесінің нәтижесінде алынатын босатылған мәнін /оның басым бөлігін/ нелогических терминдер.

Логикалық нысаны білдіреді бөлігі ұстау ой. Ол информативна.

Осылайша, мазмұны, выражаемое логикалық нысаны қолданысқа дәлел, мынадай: «Егер барлық заттарды сынып оқушысы М қосылады сынып Р. және барлық заттар-сынып оқушысы М қосылады класс S болса, онда кейбір заттар S класты қосылады сынып Р». Басқаша айтқанда, әрбір ой бар дыбыс немесе тілдік, нысанын білдіру мен мазмұны. Барлық мазмұны бөлінеді логикалық және нелогическое. Логикалық мазмұны тәсіл-логикалық терминдер және ішінара нелогическими, ал нелогическое нелогическими.

Логикалық нысандары жіктеуге болады типтері бойынша. Негізгі типтері логикалық формалары болып ұғым, пікір және умозаключение.

Түсінік – бұл ой, жинақталып, бөлініп сыныбы заттары жүйесі негізінде белгілері, жалпы тек заттардың осы класс.

Мысалы ұғымдар пайдаланылады: әрекет немесе әрекетсіздік, білікті заңмен жазаланатын (қылмыс ұғымы).

— Суждениям жатады ой, бекітетін болуы немесе болмауы қасиеттері бар заттар арасындағы қарым-қатынастардың, заттар арасындағы байланыстар заттармен. Мысалдар: (1) Курящий адам көп дейді, бірақ невпопад.

(2) Адам, курящий осындай маңызды түрі деп санайды, бұл ой үлкен мемлекеттік маңызы витают оның басына, қалқып жүргендей тек қана түтін болса, онда басында, шамамен оған.

Умозаключение – алу процесі білім білдірілген суждении, олардың басқа да білім де, айқын байқалатын суждениях. Мысалдар ойлауымыз арқылы болуы мүмкін жоғарыда келтірілген дәлел (1), (2), (3).

Арасындағы ой бар байланыс, байланысты тек олардың логикалық формалары. Мұндай байланыс бар ұғымдары арасындағы. Және арасындағы суждениями, және арасындағы умозаключениями. Осылайша, арасында ой логикалық формалар «кейбір S мәні Р» және «кейбір Р мәні S» бар мынадай байланыс бар: егер истинна бірі осы ойлар болса, онда истинна және екінші қарамастан, қандай нелогическое мазмұны осы ойлар.

Арасындағы байланысты ой нысан бойынша олардың ақиқаттығын бір осы ойды негіздейді ақиқаттығын басқа да деп аталады формальды-логикалық заңдар, немесе жай ғана заңдарында логика.

Заңдар логика көрінісі болып табылады объективті шындық. Бұл көрініс орын алады өзара іс-қимыл процесінде адамның қоршаған ортамен. В. И. Ленин былай деп жазды: «Тәжірибесі адам, миллиардтаған рет повторяясь бекітіледі санасында адам тұлғалармен логика. Фигуралар бұл бар беріктігі предрассудка, аксиоматикалық сипатын дәл /тек/ осы миллиардного қайталау».

Арасындағы байланыс ой » рассуждении білдіреді логикалық заң. Орнату үшін болып табылады ма арасындағы байланыс высказываниями логикалық заңына, қажет орнына нелогических терминдер подставлять бұл сөздері еркін терминдер сол типтегі және бұл ретте кез анықтау, болады ма шынайы выводимое пікір кезінде бастапқы ақиқаттық. Егер әрқашан анықталады мұндай тәуелділік пікірлердің ақиқаттық, онда олардың арасындағы байланыс білдіреді логикалық заң. Қазіргі заманғы логика әзірленді көп өнімді анықтау әдістері заңды арасындағы байланысты ой-пікірлерімен бөлісті.

Тұра ұғымы логикалық формасы және логикалық заң болады анықтама беріңіз формальды логика.

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

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

Құралдарын қолдану кезінде, өңделетін формальды логикасы болады алаңдап дамуына білімдер.

Сонымен формалды логика бар логика диалектикалық, арнайы зерттеу нысанасы болып табылады, формалары мен даму заңдылықтарын білу. Құралдар диалектической логики қолданылады жағдайларда дамуына білім алаңдап болмайды. Диалектикалық логика зерттейді мұндай нысандарын дамыту, білім, проблема, гипотеза және т. б. мұндай таным әдістері ретінде восхождение от абстрактылы, нақты, талдау және синтез және т. б.

Таным процесінде әдістері: формалды логика әдістерімен толықтырылады диалектической логики, және керісінше. (Ю. В. Ивлев, 1988)

 

Негізгі әдістемелік принциптерін формалды логика

Формальды логика арасындағы байланысты зерттейді ой, тәуелді, олардың логикалық формалары, т. е. ең алдымен мағынасын логикалық терминдер. Бұл байланыс орын алады қарамастан, біз қалай түсінеміз, олар туралы немесе жоқ. Өйткені логикалық терминдер, кем дегенде, кейбір ұсынады ең жалпы сипаттамалары внеязыковой шындыққа постольку логикалық өрнектеледі білу онтологического сипаттағы білу керектігі туралы, қандай белгілеріне ие болуы тиіс. Осындай білімі бар, мысалы, мыналар болып табылады: (1) «болуы Мүмкін емес жағдай және сол уақытта, оның болмауы, атап айтқанда, болуы мүмкін емес қасиеттері бар затты және сол уақытта болмауы, осы қасиеттері бар затты»; (2) «өзгеріп отыратын заттар бар қасиеттері болып қалатын, өзіне тән көптеген жағдайларда, кем дегенде, біраз уақыт».

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

Нысаны логикалық-шынайы сөздер, егер оған кіретін айнымалылар байланысады квантарами ортақтығы, білдіреді (1) формальды-логикалық заңдар немесе (2) жоғарыда көрсетілген білім онтологического сипаттағы. Мысалдар нысандарын пікірлердің бірінші түрі:

(((pÙq) É ((pÙùq)); ((p É(q É r)) É((p Ùq) É r)).

Мысалдар нысандарын пікірлердің екінші түріне:

ù ( p Ùù p); (p v ù p) ; (p É p).

Бұл нысаны деп атайды заңдарында логика, немесе тождественноистинными формулалары (высказываниями).

Бұл пікір ù (pÙù p) – қазақстан республикасының непротиворечия, (р vù p) – заңда шығарылған үшінші, (p É p) – заң айырманы. Әлбетте, бұл заң непротиворечия білдіреді бірінші көрсетілген жоғары білім онтологического сипаттағы (р É p) – екінші.

Правомерность формалды-логикалық заң непротиворечия сонау Аристотель сынға ұшырап.

Болып саналады, бұл пікір нысанын ù (АÙù А) болып табылады логикалық-шынайы, т. е. бар құбылыстар бар және сол уақытта, жоқ; бар заттар кейбір қасиетке ие және сол уақытта ие емес. Барлық мысалдар пікірлердің құбылыстар туралы, заттар мен қасиеттері болды қабылданбаған. Көбінесе кезде сынға заңының непротиворечия келтіреді үлгілері емес, формалды-логикалық қайшылықтар т. б. арасындағы қарама-қайшылықтарды ой, описывающими болуы, заттың қасиеттерін, және сол уақытта, оның болмауы және т. б.), сондай-ақ мысалдар деп аталатын «ауызша қайшылықтар», т. е. пікірлердің бірінде бұл бәрі «жоқ» немесе «деген сөз дұрыс емес», ал осы бөлшектер жоқ. Қалған ұсыныстар ұнайды ұқсас болып келеді.

Е. К. Войшвилло зерттеген келесі «сөздік қарама-қайшылық»: «қазіргі уақытта уақыт денесі орналасқан, осы нүктесінде, және дұрыс, сол кезде ол осы нүктесінде».

Формалды-логикалық заң непротиворечия қуатты құралы болып табылады дамыту білу. Процесінде таным теориясының, ол деп санайды шындыққа сәйкес шығарылады және тергеу, шындыққа сәйкес келмейтін. Күші теориясының, мысалы, бекітеді

ù А. Нақты бекітеді АÙù А. Заң непротиворечия дейді, бұл дұрыс ù (A vù А), т. е. дұрыс АÙù А. сіз түсінесіз, бұл шын мәнінде мүмкін АÙù Ал, онда даму процесі білім аяқталады. Өйткені мүмкін емес АÙù Ал, көбінесе қайта қарастыруда қандай да бір бөлігін теориясы болдырмау үшін, қарама-қайшылықтар және т. б.

Добавить комментарий

Your email address will not be published.