Cele 6 tipuri de logică principală

Există mai multe tipuri de logică și toate se concentrează obiectul lor de studiu în înțelegerea raționamentului și identificarea atunci când acestea sunt corecte sau incorecte.

Studiul logicii a evoluat din vremurile filosofului grec Aristotel până în prezent și acest lucru 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 omului, care îi permite să aplicație mai tangibilă în diferite domenii.

Căutările logice pentru studiul sistematic al argumentelor și propozițiilor și diferitele tipuri de logică permit să fie posibilă studierea atât a structurii pur formale a acestor afirmații, cât și a conținutului și a conținutului respectivului conținut.

Deși logica se bazează pe studiul afirmațiilor, ea nu se axează clar pe limbajul natural (limba pe care o cunoaștem), dar utilitatea sa a ajuns în domenii diverse și cu structuri diferite, cum ar fi matematica și de calcul.

Cele mai relevante tipuri de logică

formal

Logica formală, cunoscută și sub denumirea de logică clasică sau logică aristoteliană, este studiul propozițiilor, argumentelor, afirmațiilor sau propozițiilor din punct de vedere structural.

Este o metodă de a structura gândirea și de a determina formele corecte sau incorecte ale unei abordări specifice.

Logica formală nu se concentrează pe adevărul sau falsitatea conținutului unui anumit argument, ci se concentrează asupra valabilității sau a altui tip de construcție a 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.

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

Logica deductivă se referă la acele afirmații specifice care sunt generate de noțiunile generale. Prin acest tip de logică, inferențele pot fi făcute din concepte sau teorii care există deja.

De exemplu, în logica deductivă se poate spune că, dacă oamenii au picioare și Clara este o ființă umană, atunci Clara are picioarele.

În cazul logicii inductive, construirea argumentelor se întâmplă într-un mod contrar; adică conceptele generale sunt create din argumente specifice.

De exemplu, în cadrul logicii inductive se poate spune că, dacă o pisică îi place peștelui, altul îi place și altul, apoi toate pisicile ca peștele.

neoficial

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ă, în sensul că logica formală studiază structurile propozițiilor și propozițiilor; și logica informală se concentrează pe fundalul mesajului transmis.

Obiectivul său de studiu este modul de a argumenta pentru a obține rezultatul dorit. Logica informală dă valabilitate argumentelor logice care sunt mai coerente printre altele, care au o structură argumentativă mai slabă.

Nu clasic

Logica non-clasică, sau logica modernă, își are originea în secolul al XIX-lea și apare în contradicție cu enunțurile logicii clasice.

Ea stabilește alte forme de analiză care pot cuprinde mai multe aspecte decât pot fi incluse prin abordarea clasică a logicii.

Acesta este modul în care sunt incluse elementele matematice și simbolice, afirmațiile noi sau teoremele care au venit pentru a compensa deficiențele unui sistem logic formal.

În logica non-clasică 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 includ elemente noi care sunt complementare și permit studiul logic al unei declarații particulare mai precise și adaptate utilității în viața de zi cu zi.

simbolic

Logica simbolică este numită și logică de ordinul întâi sau logică matematică și se caracterizează prin utilizarea simbolurilor care constituie o nouă limbă prin care să se "traducă" argumentele.

Intenția logicii simbolice este de a transforma gândurile abstracte în structuri mai formale.

De fapt, nu folosește limba naturală (limbă), ci folosește un limbaj tehnic care convertește propozițiile în elemente sensibile la aplicarea unor reguli mai exacte decât cele care pot fi aplicate în limbajul natural.

Apoi, logica simbolică permite tratarea propozițiilor prin legile de calcul, pentru a evita confuziile sau inexactitățile.

Acesta urmărește includerea elementelor matematice în analiza structurilor logice formale. În câmpul matematic, logica este folosită pentru a demonstra teoreme.

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

Această aplicație matematică a logicii permite ca argumentele și construcțiile să fie mai precise.

modal

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

Modalitatea logică pretinde a fi mai consistentă cu gândirea umană, prin urmare ea include utilizarea unor construcții cum ar fi "ar putea", "posibil", "uneori", "probabil", "probabil", "este probabil" ", Printre altele.

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

computațională

Componenta logică este un tip de logică derivată din logica simbolică sau matematică, numai că este aplicată în domeniul calculului.

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