Cele mai importante 4 tipuri de logică (și caracteristici)

Logica este studiul raționamentului și al inferențelor. Este un set de întrebări și analize care au făcut posibilă înțelegerea modului în care argumentele valide diferă de erori și cum ajungem la ele.

Pentru aceasta, dezvoltarea diferitelor sisteme și forme de studiu a fost esențială, ceea ce a dus la patru tipuri principale de logică. Vom vedea mai jos despre ce este vorba fiecare dintre ele.

• Articol recomandat: „Cele 10 tipuri de erori logice și argumentative”

Ce este logica?

Cuvântul „logică” provine din grecescul „logos”, care poate fi tradus în diferite moduri: cuvânt, gând, argument, principiu sau rațiune sunt unele dintre principalele. În acest sens, logica este studiul principiilor și al raționamentului.

Acest studiu are scopul de a înțelege diferite criterii de inferențe și cum ajungem la dovezi valide, spre deosebire de dovezile nevalide. Deci întrebarea de bază a logicii este ce este gândirea corectă și cum putem face diferența între un argument valid și o eroare?

Pentru a răspunde la această întrebare, logica propune diferite moduri de clasificare a afirmațiilor și argumentelor, indiferent dacă apar în sisteme formale sau în limbaj natural. Mai exact, analizează propoziții (propoziții declarative) care pot fi adevărate sau false, precum și erori, paradoxuri, argumente care implică cauzalitatea și, în general, teoria argumentare.

În termeni generali, pentru a considera un sistem drept logic, trebuie să îndeplinească trei criterii:

• Coerență (nu există nicio contradicție între teoremele care alcătuiesc sistemul)
• Soliditate (sistemele de testare nu includ inferențe false)
• Completitudine (toate propozițiile adevărate trebuie să poată fi testate)

Cele 4 tipuri de logică

După cum am văzut, logica folosește diferite instrumente pentru a înțelege raționamentul pe care îl folosim pentru a justifica ceva. În mod tradițional, sunt recunoscute patru tipuri majore de logică, fiecare cu unele subtipuri și specificități. Vom vedea mai jos despre ce este vorba fiecare.

1. Logică formală

De asemenea, cunoscut sub numele de logică tradițională sau logică filosofică, este studiul inferențelor cu conținut pur formal și explicit. Este vorba despre analiza enunțurilor formale (logice sau matematice), a căror semnificație nu este intrinsecă, ci mai degrabă simbolurile sale au sens datorită aplicației utile pe care le sunt date. Tradiția filosofică din care derivă acesta din urmă se numește precis „formalism”.

La rândul său, un sistem formal este unul care este utilizat pentru a trage o concluzie dintr-una sau mai multe premise. Acestea din urmă pot fi axiome (propoziții evidente de sine) sau teoreme (concluzii dintr-un set fix de reguli de inferențe și axiome).

Concluziile la care am ajuns prin logica formală, dacă se bazează pe premise valide și nu există eșecuri în operațiile logice, ele sunt adevărate în sine. De fapt, acest lucru duce la o dezbatere deschisă despre dacă logica formală aparține lumii științei. sau aparțin unui alt domeniu al cunoașterii, prin faptul că nu descriu realitatea, ci propriile reguli ale funcționare.

2. Logica informală

La rândul său, logica informală este o disciplină mai recentă, care studiază, evaluează și analizează argumentele desfășurate în limbaj natural sau de zi cu zi. Prin urmare, primește categoria „informal”. Poate fi atât limbaj vorbit, cât și scris, sau orice tip de mecanism și interacțiune utilizate pentru a comunica ceva. Spre deosebire de logica formală, care de exemplu s-ar aplica studiului și dezvoltării limbajelor computerizate; limbajul formal se referă la limbi și limbi.

Astfel, logica informală poate analiza totul, de la raționamente și argumente personale la dezbateri politice, argumente juridice sau premise difuzate de mass-media precum ziarul, televiziunea, internetul, etc.

3. Logica simbolică

După cum sugerează și numele, logica simbolică analizează relațiile dintre simboluri. Uneori folosește un limbaj matematic complex, deoarece este responsabil de studierea problemelor pe care logica formală tradițională le consideră complicate sau dificil de abordat. De obicei, este împărțit în două subtipuri:

• Logică predicativă sau de ordinul întâi: este un sistem formal compus din formule și variabile cuantificabile
• Propozițional: este un sistem formal compus din propoziții, care sunt capabile să creeze alte propoziții prin conectori numiți „conectivități logice”. În aceasta nu există aproape nici o variabilă cuantificabilă.

4. Logica matematică

În funcție de autorul care o descrie, logica matematică poate fi considerată un tip de logică formală. Alții consideră că logica matematică include atât aplicarea logicii formale la matematică, cât și aplicarea raționamentului matematic la logica formală.

În linii mari, este vorba despre aplicarea limbajului matematic în construcția sistemelor logice care face posibilă reproducerea minții umane. De exemplu, acest lucru a fost foarte prezent în dezvoltarea inteligenței artificiale și în paradigmele de calcul ale studiului cognitiv.

De obicei, este împărțit în două subtipuri:

• Logicism: este vorba despre aplicarea logicii în matematică. Exemple de acest tip sunt teoria demonstrației, teoria modelelor, teoria mulțimilor și teoria recursivității.
• Intuitionismul: susține că atât logica, cât și matematica sunt metode a căror aplicare este consecventă pentru a realiza construcții mentale complexe. Dar, el spune că prin ele însele, logica și matematica nu pot explica proprietățile profunde ale elementelor pe care le analizează.

Raționament inductiv, deductiv și modal

Pe de altă parte, există trei tipuri de raționament care pot fi considerate și sisteme logice. Acestea sunt mecanisme care ne permit să tragem concluzii din premise. Raționamentul deductiv face această extracție de la o premisă generală la o premisă specială. Un exemplu clasic este cel propus de Aristotel: Toți oamenii sunt muritori (aceasta este premisa generală); Socrate este uman (este premisa majoră) și, în cele din urmă, Socrate este muritor (aceasta este concluzia).

La rândul său, raționamentul inductiv este procesul prin care se trage o concluzie în direcția opusă: de la particular la general. Un exemplu în acest sens ar fi „Toate ciorile pe care le văd sunt negre” (premisă specială); deci toate corbele sunt negre (concluzie).

În cele din urmă, raționamentul sau logica modală se bazează pe argumente probabiliste, adică exprimă o posibilitate (o modalitate). Este un sistem logic formal care include termeni precum „putea”, „poate”, „trebuie”, „în cele din urmă”.

Referințe bibliografice:

• Groarke, L. (2017). Logică informală. Enciclopedia Stanford a filosofiei. Adus pe 2 octombrie 2018. Disponibil in https://plato.stanford.edu/entries/logic-informal/
• Logică (2018). Bazele filozofiei. Adus pe 2 octombrie 2018. Disponibil in https://www.philosophybasics.com/branch_logic.html
• Magnani, L. (2001). Răpire, rațiune și știință: procese de descoperire și explicație. New York: Kluwer Academic Plenum Publishers.
• McGinn, C. (2000). Proprietăți logice: identitate, existență, predicație, necesitate, adevăr. Oxford: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Filosofia logicii. Cambridge, MA.: Harvard University Press.
• Shapiro, S. și Kouri, S. (2018). Logică clasică. Adus pe 2 octombrie 2018. Disponibil în Logic (2018). Bazele filozofiei. Adus pe 2 octombrie 2018. Disponibil in https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Logică modală. Enciclopedia Stanford a filosofiei. Adus pe 2 octombrie 2018. Disponibil in https://plato.stanford.edu/entries/logic-modal/