conceptul de logică

explicăm ce este logica și caracteristicile logicii filosofice, aristotelice, matematice, computaționale, formale și informale.

¿ce este logica?

logica este o știință formală, parte a filozofiei și matematicii. Se concentrează pe studiul procedurilor valide și nevalide ale gândirii, adică procese precum demonstrația, inferența sau deducerea, precum și concepte precum erori, paradoxuri și adevăr.

logica este o disciplină extrem de veche, născută independent printre gânditorii marilor civilizații clasice și antice, cum ar fi China, Grecia sau India. De la început, a fost înțeles ca un mod de a judeca gândirea pentru a-și verifica validitatea formală, adică pentru a recunoaște care este procedura ideală de raționament, cea care duce de fapt la adevăr.

cu toate acestea, din secolul al XX-lea a fost considerat un domeniu mai legat de matematică, deoarece aplicațiile acestuia din urmă au devenit de mare importanță industrială, socială și tehnologică.

cuvântul” logică”își are originea în cuvântul grecesc Logik („înzestrat cu rațiune”), provenind din termenul logos, echivalent cu” cuvânt „sau” gând ” deopotrivă.

cu toate acestea, în limbajul cotidian folosim acest cuvânt ca sinonim pentru „bunul simț”, adică într-un mod de gândire valoros sau valoros, în contextele lor posibile respective. Este, de asemenea, folosit ca sinonim pentru „Mod de gândire”, ca atunci când se referă la” logica sportivă”,” logica militară” etc.

Vezi și: Gândirea matematică

logica filosofică

acest termen se referă la domeniile filozofiei în care metodele logicii sunt folosite pentru a rezolva sau avansa anumite dileme filosofice și pot fi gestionate în cadrul logicii tradiționale considerate sau, dimpotrivă, a logicii non-clasice. Adică logica în cadrul filozofiei.

este o disciplină foarte apropiată de Filosofia limbajului și este în esență o continuare a logicii antichității, centrată pe gândire și limbaj natural. Folosim în mod obișnuit acest nume pentru a-l distinge de logica matematică mai recentă.

logica aristotelică

în logica filosofică, logica aristotelică este cunoscută ca tradiția gândirii care începe cu lucrările filosofului grec Aristotel din Stagyra (384-322 Î.hr.), considerat fondatorul occidental al logicii și unul dintre cei mai importanți autori ai tradiției filosofice a lumii.

principalele lucrări ale lui Aristotel despre logică sunt adunate în Organonul său (din „instrumentul” grecesc), compilat de Andronicus din Rodos la câteva secole după scriere. Ele afișează un întreg sistem logic care a fost extrem de influent în Europa și Orientul Mijlociu până după Evul Mediu.

în această lucrare, în plus, Aristotel a postulat axiomele fundamentale ale logicii:

• principiul non-contradicției. Potrivit căruia ceva nu poate fi și nu poate fi în același timp (A și A nu pot fi adevărate în același timp).
• principiul identității. Conform căruia ceva este întotdeauna identic cu el însuși (A este întotdeauna egal cu A).
• principiul părții terțe excluse. Conform căreia ceva este sau nu adevărat, fără a exista gradații posibile (A sau apoi a).

logica matematică

logica matematică, numită și logică simbolică, logică formală, logică teoretică sau logistică, este aplicarea gândirii logice la anumite domenii ale matematicii și științei.

aceasta implică studiul procesului de inferență, prin sisteme formale de reprezentare, cum ar fi logica propozițională, logica modală sau logica de ordinul întâi, care permit „traducerea” limbajului natural în limbaj matematic pentru a dezvolta demonstrații riguroase.

logica matematică cuprinde patru domenii majore, care sunt:

• teoria modelului. Care propune studiul teoriilor axiomatice și al logicii matematice prin structuri matematice cunoscute sub numele de grupuri, corpuri sau grafice, atribuind astfel un conținut semantic construcțiilor pur formale ale logicii.
• teoria dovezilor. Numită și teoria dovezilor, propune dovezi folosind obiecte matematice și tehnici matematice ca modalitate de verificare a problemelor logice. Astfel, în cazul în care teoria modelului este preocupată de a da o semantică (sens) structurilor formale ale logicii, teoria dovezilor este preocupată mai degrabă de sintaxa lor (ordonarea).
• teoria mulțimilor. Axat pe studiul colecțiilor abstracte de obiecte, înțelese în sine ca obiecte, precum și operațiunile și interrelațiile lor de bază. Această ramură a logicii matematice este una dintre cele mai fundamentale care există, atât de mult încât constituie un instrument de bază al oricărei teorii matematice.
• teoria calculabilității. Zonă comună între matematică și calcul, studiază problemele de decizie cu care se poate confrunta un algoritm (echivalent cu o mașină Turing). Pentru a face acest lucru, el folosește teoria mulțimilor, înțelegându-le ca seturi calculabile sau necomputabile.

logica computațională

logica computațională este aceeași logică matematică, dar aplicată în domeniul calculului, adică la diferite niveluri fundamentale de calcul: circuite computaționale, programare logică și gestionarea algoritmilor. De asemenea, include inteligența artificială, un domeniu relativ recent în zonă.

s-ar putea spune că, în linii mari, logica computațională aspiră să alimenteze un sistem informatic prin structuri logice care exprimă, într-un limbaj matematic, diferitele posibilități ale gândirii umane, creând astfel sisteme informatice inteligente.

logică formală și informală

de asemenea, se distinge adesea între două domenii separate ale logicii: formală și informală, pe baza abordării lor față de limbajul în care sunt exprimate declarațiile.

• logică formală. Este cel care participă la limbajul formal, adică la modul de exprimare a conținutului său, folosindu-le strict, fără ambiguități, astfel încât calea deductivă să poată fi analizată din validitatea formelor sale (de unde și numele său).
• logică informală. În schimb, își studiază argumentele a posteriori, distingând formele valide și nevalide de informațiile furnizate, fără a ține cont de forma lor logică sau de limbajul formal. Această variantă a apărut la mijlocul secolului al XX-lea ca disciplină în cadrul filozofiei.

urmați cu: Epistemologie

referințe:

• „logică” în Wikipedia.
• ” ce este logica?”(video) în zona școlii.
• ” ce este logica?”(video) în Educatina.
• „Introducere în logică” de Carlos Mu Oktoz Guti Oktocrrez la Universidad Complutense de Madrid.
• ” ce este logica și la ce servește?”în științele sudice.
• „logică” în Encyclopaedia Britannica.

ultima modificare: 22 septembrie 2020. Cum să citez:”logică”. Autor: Mar Xusta Estela Raffino. Din: Argentina. Către: Concepto.de. Disponibil la: https://concepto.de/logica/. Adus: 25 Martie 2021.