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

Logica este studiul raționamentului și al deducerilor. Este un set de întrebări și analize care ne-au permis să înțelegem cum diferă argumentele valabile de la erori și cum ajungem la acestea.

Pentru aceasta, dezvoltarea unor sisteme și forme diferite de studiu a fost indispensabilă, ceea ce a condus la patru tipuri majore de logică. Vom vedea mai jos ce este vorba despre fiecare.

• Articolul recomandat: ["Cele 10 tipuri de erori logice și argumentative"] (Cele 10 tipuri de erori logice și argumentative)

Ce este logica?

Cuvântul "logică" provine din "logosul" grecesc, care poate fi tradus în moduri diferite: cuvântul, gândul, argumentul, principiul sau rațiunea sunt unele dintre cele mai importante. În acest sens, logica este studiul principiilor și raționamentului.

Acest studiu are scopul de a înțelege diferite criterii de deducții și cum ajungem la demonstrații valide, spre deosebire de demonstrațiile nevalabile. Deci, întrebarea de bază a logicii este ceea ce este gândirea corectă și cum putem diferenția între un argument valid și o eroare??

Pentru a răspunde la această întrebare, logica propune diferite modalități de clasificare a afirmațiilor și argumentelor, indiferent dacă apar într-un sistem formal sau în limbaj natural. Analizează în mod specific propozițiile (declarații declarative) care pot fi adevărate sau false, precum și erorile, paradoxurile, argumentele care implică cauzalitatea și, în general, teoria argumentării.

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

• consistență (nu există nici o contradicție între teoremele care alcătuiesc sistemul)
• soliditate (sistemele de testare nu includ inferențe false)
• deplinătate (toate sentințele adevărate trebuie să poată fi dovedite)

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 anumite subtipuri și specificități. Vom vedea mai jos despre ce este vorba fiecare.

1. Logică formală

De asemenea, cunoscut ca logica tradițională sau logică filozofică, este vorba despre studiul inferențelor cu conținut pur formal și explicit. Este vorba despre analiza declarațiilor formale (logice sau matematice), a căror semnificație nu este intrinsecă, dar simbolurile sale au semnificație datorită aplicării utile pe care o primesc. Tradiția filosofică din care derivă aceasta se numește tocmai "formalismul".

La rândul său, un sistem formal este unul care este folosit pentru a extrage o concluzie din unul sau mai multe premise. Acestea din urmă pot fi axiome (propoziții proprii) sau teoreme (concluziile unui set fix de reguli de inferențe și axiome).

2. Logica informală

La rândul său, logica informală este o disciplină mai recentă, care să studieze, să evalueze și să analizeze argumentele afișate în limbajul natural sau de zi cu zi. Prin urmare, primește categoria "informală". Poate fi vorba fie de limbaj scris, fie de orice tip de mecanism și interacțiune folosit pentru a comunica ceva. Spre deosebire de logica formală, care, spre exemplu, se va aplica studiului și dezvoltării limbajelor de computere; limba oficială se referă la limbi și limbi.

Astfel, logica informală poate analiza argumentele și argumentele personale pentru dezbaterile politice, argumentele juridice sau spațiile diseminate de mass-media, cum ar fi ziarele, televiziunea, internetul etc..

3. Logica simbolică

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

• Predica logica sau prima ordine: este un sistem formal compus din formule și variabile cuantificabile
• propozitiilor: este un sistem formal compus din propoziții, care pot crea alte propoziții prin conectori numiți "conectivitate logică". În acest caz, 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 general vorbind, aplicarea limbajului matematic în construirea sistemelor logice face posibilă reproducerea minții umane. De exemplu, acest lucru a fost foarte prezent în dezvoltarea inteligenței artificiale și în paradigmele computaționale ale studiului cunoașterii.

Acesta este de obicei împărțit în două subtipuri:

• logicismului: este vorba despre aplicarea logicii în matematică. Exemple de acest tip sunt teoria testului, teoria modelelor, teoria seturilor și teoria recursivității.
• intuitionism: argumentează că atât logica cât și matematica sunt metode a căror aplicare este consecventă pentru realizarea unor construcții mentale complexe. Dar, el spune că, în sine, logica și matematica nu pot explica proprietățile adânci ale elementelor pe care le analizează.

Rădăcini inductive, deductive și modale

Pe de altă parte, Există trei tipuri de raționamente care pot fi, de asemenea, considerate sisteme logice. Acestea sunt mecanisme care ne permit să tragem concluzii din premise. Argumentarea deductivă face ca o astfel de extragere dintr-o premisă generală la o anumită premisă. Un exemplu clasic este cel propus de Aristotel: toți oamenii sunt muritori (aceasta este premisa generală); Socrate este un om (este premisa majoră) și, în final, Socrate este muritor (aceasta este concluzia).

La rândul său, un raționament inductiv este procesul prin care se trasează o concluzie în direcția opusă: de la cea specială la cea generală. Un exemplu în acest sens ar fi: "Toți cârnații pe care îi văd sunt negri" (premisa specială); atunci toate ciorile sunt negre (concluzie).

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

Referințe bibliografice:

• Groarke, L. (2017). Informatică logică. Enciclopedia de filosofie din Stanford. Recuperat 2 octombrie 2018. Disponibil la adresa https://plato.stanford.edu/entries/logic-informal/
• Logică (2018). Bazele filosofiei. Recuperat la 2 octombrie 2018. Disponibil la https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. și Kouri, S. (2018). Clasicul Logic. Recuperat 2 octombrie 2018. Disponibil în logică (2018). Bazele filosofiei. Recuperat la 2 octombrie 2018. Disponibil la https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Modal Logic. Enciclopedia de filosofie din Stanford. Recuperat 2 octombrie 2018. Disponibil la adresa https://plato.stanford.edu/entries/logic-modal/