- Шта је логика?
- Филозофска логика
- Аристотеловска логика
- Математичка логика
- Рачунска логика
- Формална и неформална логика
Објашњавамо шта је логика и карактеристике филозофске, аристотеловске, математичке, рачунарске, формалне и неформалне логике.
Шта је логика?
Логика је а формална наука, који је део филозофија и од матх. Фокусира се на проучавање ваљаних и неважећих поступака мислио, односно у процесима као што су демонстрација, закључивање или дедукција, као иу концептима као што су заблуде, парадокси анд тхе истина.
Логика је а дисциплина изузетно древни, самостално рођени међу мислиоцима великих класичне и античке цивилизације, попут Кинеза, Грка или Индијаца. Од својих почетака схватан је као начин просуђивања мисли да се провери њена формална ваљаност, односно да се препозна шта је идеалан поступак расуђивање, онај који заиста води ка истини.
Међутим, од 20. века па надаље, сматра се да је област више сродна математици, пошто је примена потоње добила велики индустријски, друштвени и технолошки значај.
Реч "логика" потиче из грчког гласа логике („Обдарен разумом“), од термина логос, једнако као "реч" или "мисао".
Међутим, у свакодневном језику ову реч користимо као синоним за „здрав разум“, односно на вредан или вредан начин размишљања, у њиховом контекстима могуће. Такође се користи као а синоним "начина размишљања", као када се говори о "спортској логици", "војној логици" и тако даље.
Филозофска логика
Овим појмом називамо области филозофије у којима се методе логике да разреши или унапреди одређене филозофске дилеме, будући да се може решити у оквиру сматране традиционалне логике или, напротив, некласичне логике. Другим речима, логика у оквирима филозофије.
То је дисциплина веома блиска филозофији Језик, и у суштини је наставак логике антике, усредсређене на мисао и природни језик. Обично користимо ово име да га разликујемо од најновије математичке логике.
Аристотеловска логика
У оквиру филозофске логике, традиција мишљења која почиње делима грчког филозофа Аристотела де Естагире (384-322. п.н.е.), који се сматра западним оснивачем логике и једним од најзначајнијих аутора, позната је као аристотелова логика. светска филозофска традиција.
Аристотелова главна дела о логици окупљена су у његовом Орган (од грчког „инструмент“), саставио Андроник са Родоса неколико векова након писања. У њима се одвија читав логички систем који је био изузетно утицајан у Европа а Блиски исток до после Средњи век.
Штавише, у овом раду Аристотел је поставио основне аксиоме логике:
- Принцип непротивуречности. По коме нешто не може бити и не бити истовремено (А и ¬А не могу бити истинити у исто време).
- Принцип идентитета. По којој је нешто увек идентично самом себи (А је увек једнако А).
- Принцип искљученог трећег. По чему нешто јесте или није тачно, без икаквих могућих градација (А или затим ¬А).
Математичка логика
Позната је као математичка логика, такође названа симболичка логика, формална логика, теоријска или логистичка логика, на примену логично размишљање одређеним областима математике и Наука.
Ово подразумева проучавање процеса закључивања, кроз формалне системе представљања, као што су пропозиционална логика, модална логика или логика првог реда, који омогућавају „превођење“ природног језика у математички језик како би се развиле ригорозне демонстрације.
Математичка логика обухвата четири главне области, а то су:
- Теорија модела. Који предлаже проучавање аксиоматских теорија и математичке логике кроз математичке структуре познате као групе, тела или графови, приписујући тако семантички садржај чисто формалним конструкцијама логике.
- Теорија демонстрације. Такође се назива и теорија доказа, она предлаже доказе помоћу математичких објеката и технике математика као начин провере логичких задатака. Дакле, где се теорија модела бави давањем а семантика (значење) формалним структурама логике, Теорија доказа се пре бави њиховим синтаксе (његово наређење).
- Тхеори оф сетови. Фокусиран на проучавање апстрактних колекција објеката, схваћених сами по себи као објекти, као и њихових основних операција и међусобних односа. Ова грана математичке логике је једна од најосновнијих која постоји, толико да чини основно оруђе сваке математичке теорије.
- Теорија израчунљивости. Заједничка област између математике и рад на рачунару или рад на рачунару, проучава проблеме одлучивања на које а алгоритам (еквивалентно Туринг машини) може да се носи. Да би то урадио, он користи теорију скупова, схватајући их као израчунљиве или неизрачунљиве скупове.
Рачунска логика
Рачунарска логика ствара интелигентне рачунарске системе.Рачунарска логика је иста математичка логика, али примењена на област рачунарства, односно на различите фундаменталне нивое рачунарства: рачунарска кола, програмирање логику и алгоритме управљања. Вештачка интелигенција, релативно нова област у овој области, такође је део тога.
Могло би се рећи да, уопштено говорећи, рачунарска логика тежи да нахрани компјутерски систем кроз логичке структуре које математичким језиком изражавају различите могућности људске мисли, стварајући тако интелигентне рачунарске системе.
Формална и неформална логика
Такође се често прави разлика између два одвојена поља логике: формалног и неформалног, на основу њиховог приступа језику којим су искази изражени.
- Формална логика. То је онај који води рачуна о формалном језику, односно начину изражавања његових садржаја, користећи их стриктно, без двосмислености, на начин да се дедуктивни пут може анализирати из валидности његових садржаја. облика (отуда и његово име).
- Неформална логика. Уместо тога, проучите њихову аргументима а постериори, разликовање ваљаних и неважећих облика од датих информација, без обзира на њихову логичку форму или формални језик. Ова варијанта се појавила средином 20. века као дисциплина у оквиру филозофије.