Cele 6 tipuri de logică și semnificația lor

2686
Abraham McLaughlin
Cele 6 tipuri de logică și semnificația lor

Sunt câteva tipuri de logică și toți își concentrează obiectul de studiu pe înțelegerea raționamentului și identificarea când este corectă sau incorectă. Studiul logicii a evoluat de pe vremea filosofului grec Aristotel până în zilele noastre.

Etica a fost ajustată cu intenția de a fi mai specifică și, în același timp, mai adaptată la viața de zi cu zi a ființei umane, ceea ce îi permite o aplicare mai tangibilă în diferite domenii.

Aristotel, recunoscut ca tatăl logicii.

Logica urmărește studiul sistematic al argumentelor și propozițiilor, iar diferitele tipuri de logică permit să fie posibilă studierea atât a structurii doar formale a acestor enunțuri, cât și a ceea ce are de-a face cu conținutul și puterea conținutului menționat..

Deși logica se bazează pe studiul propozițiilor, ea nu se concentrează în mod clar asupra limbajului natural (limbajul așa cum îl cunoaștem noi), ci utilitatea sa a atins diferite domenii și structuri diferite, precum matematica și calcul.

Cele mai relevante tipuri de logică

Logică formală

Logica formală, cunoscută și sub numele de logică clasică sau logică aristotelică, este studiul propozițiilor, argumentelor, enunțurilor sau propozițiilor dintr-un punct de vedere structural. Este o metodă de structurare a gândirii și determinarea formelor corecte sau incorecte ale unei abordări specifice..

Logica formală nu se concentrează pe veridicitatea sau falsitatea conținutului unui anumit argument, ci mai degrabă se concentrează pe validitatea sau nu a construcției formei sale.

Adică, obiectul de studiu al logicii formale nu este empiric, pentru logician nu este relevant să se determine dacă argumentul prezentat este real și dovedit; dar studiul său se concentrează în mod clar asupra structurii argumentului menționat.

În cadrul logicii formale există două clasificări foarte importante: logica deductivă și logica inductivă..

Logica deductivă se referă la acele afirmații specifice care sunt generate din noțiuni generale. Prin acest tip de logică, se pot face inferențe din concepte sau teorii care există deja..

De exemplu, în cadrul logicii deductive, s-ar putea spune că, dacă oamenii au picioare și Clara este o ființă umană, atunci Clara are picioare..

În cazul logicii inductive, construcția argumentelor se întâmplă în sens opus; adică conceptele generale sunt create din argumente specifice.

De exemplu, în cadrul logicii inductive, s-ar putea spune că, dacă unei pisici îi plac peștele, iar alteia îi place peștele, iar alta, de asemenea, atunci tuturor pisicilor le plac peștele..

Logica informală

Logica informală este ramura de studiu care se concentrează asupra limbajului și a mesajului care emană din construcțiile și argumentele semantice.

Această logică este diferită de logica formală, deoarece logica formală studiază structurile propozițiilor și propozițiilor; iar logica informală se concentrează pe substanța mesajului transmis.

Obiectul său de studiu este modul de argumentare pentru a obține rezultatul dorit. Logica informală validează argumente logice care sunt mai coerente printre altele care au o structură argumentativă mai slabă.

Logică non-clasică

Logica non-clasică, sau logica modernă, își are originea în secolul al XIX-lea și apare în opoziție cu afirmațiile logicii clasice. Stabilește alte forme de analiză care pot acoperi mai multe aspecte decât cele care pot fi acoperite prin abordarea clasică a logicii..

Acesta este modul în care sunt incluse elemente matematice și simbolice, declarații noi sau teoreme care au venit să suplinească deficiențele unui sistem logic formal..

În cadrul logicii non-clasice există diferite subtipuri de logică, cum ar fi modal, matematic, trivalent, printre altele..

Toate aceste tipuri de logică diferă într-o oarecare măsură de logica formală sau încorporează elemente noi care sunt complementare și permit studiului logic al unei anumite afirmații să fie mai precis și adaptat la utilitate în viața de zi cu zi..

Logica simbolică

În acest joc trebuie să localizați fiecare piesă a pătratului central în diferite figuri din jur

Logica simbolică este numită și logică de ordinul întâi sau logică matematică și se caracterizează prin utilizarea simbolurilor care constituie un nou limbaj prin care argumentele sunt „traduse”.

Intenția logicii simbolice este de a converti gândurile abstracte în structuri mai formale. De fapt, nu folosește limbajul natural (limbajul), ci folosește un limbaj tehnic care transformă propozițiile în elemente susceptibile de a aplica reguli mai exacte decât poate fi aplicat în limbajul natural..

Deci, logica simbolică permite tratarea propozițiilor prin legile calculului, pentru a evita confuzia sau inexactitățile..

Se caută să încorporeze elemente matematice în analiza structurilor logicii formale. În domeniul matematic, logica este utilizată pentru a demonstra teoreme.

Pe scurt, logica simbolică sau matematică caută să exprime gândirea umană prin limbajul matematic..

Această aplicație matematică a logicii permite argumentelor și construcțiilor să fie mai exacte.

Logica modală

Logica modală se concentrează pe studiul argumentelor, dar adaugă elemente legate de posibilitatea ca afirmația în cauză să fie adevărată sau falsă.

Logica modală pretinde a fi mai în ton cu gândirea umană, prin urmare cuprinde utilizarea unor construcții precum „putea”, „posibil”, „uneori”, „poate”, „probabil”, „este probabil”, „poate” printre altele.

În logica modală, este vorba de luarea în considerare a unui scenariu în care există o posibilitate și tinde să ia în considerare toate posibilitățile care pot exista, din punct de vedere logic.

Logica computationala

Logica computațională este un tip de logică derivată din logica simbolică sau matematică, numai că este aplicată în zona de calcul.

Programele de calculator folosesc limbajul de programare pentru dezvoltarea lor și, prin logică, este posibil să se lucreze acele sisteme de limbaj, să atribuie sarcini specifice și să execute acțiuni de verificare.

Referințe

  1. „Logică” în Enciclopedia Britanică. Recuperat la britannica.com
  2. „Logica formală” în Enciclopedia Britanică. Recuperat la britannica.com
  3. Hernández, F. "Computational Logic" la Universitatea Națională Autonomă din Mexic. Recuperat în unam.mx
  4. Muñoz, C. „Logică non-clasică” la Universitatea Complutense din Madrid. Recuperat în ucm.es
  5. „Inferențe deductive și inductive” în Junta de Extremadura. Recuperat în educarex.es.

Nimeni nu a comentat acest articol încă.