Cele 6 tipuri de logică principală

Sunt mai multe tipuri de logicăși toți își concentrează obiectul de studiu asupra înțelegerii raționamentului și identificării atunci când sunt corecte sau incorecte.

Studiul logicii a evoluat de la epoca filosofului grec Aristotel până în prezent, și a fost ajustat cu intenția de a fi mai specific și, în același timp, mai adaptat la commonness ființei umane, care permite o aplicație mai tangibilă în diferite domenii.

Logica caută studiul sistematic al argumentelor și a propunerilor, precum și diferite tipuri de logică permit posibil să se studieze atât structura pur formală a acestor afirmații, cea care are de a face cu conținutul, și puterea unui astfel de conținut.

Deși logica se bazează pe studiul declarațiilor, aceasta nu se concentrează exclusiv pe limbaj natural (limba așa cum o știm), dar utilitatea sa a ajuns la diferite domenii și cu diferite structuri, 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 altcuiva 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 acestui argument.

Î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, iar alta îi place, și alta, atunci toate pisicile ca peștele.

neoficial

O logică 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 care logica formală studiază structurile propozițiilor și propozițiilor; și logica informală se concentrează pe fundalul mesajului transmis.

Obiectul 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ă, provine din secolul al XIX-lea și apare în contradicție cu declarațiile 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.

Astfel sunt incluse elementele matematice și simbolice, noi declarații sau teoreme 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 logica diferă oarecum logica formală, sau pentru a integra noi elemente sunt complementare, și să permită studiul unei anumite declarații logică este mai precisă și adaptată la utilizarea în viața de zi cu zi.

simbolic

Logica simbolică este, de asemenea, numit logica de ordinul întâi sau a logicii matematice, și se caracterizează prin utilizarea de simboluri care constituie un nou limbaj prin care să „traducă“ argumentele.

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

De fapt, nu folosesc limbaj natural (limba), dar utilizarea limbaj tehnic care convertește Exemple în elemente sensibile la aplicarea mai precise decât pot fi aplicate în normele lingvistice naturale.

Apoi, logica simbolică permite tratarea propozițiilor prin legile de calcul, pentru a evita confuzia 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 exacte.

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 conformă cu gândirea umană, cuprinzând astfel utilizarea unor construcții cum ar fi "ar putea", "posibil", "uneori", "probabil", "probabil", "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ă lucreze la acele sisteme lingvistice, să atribuie sarcini specifice și să execute acțiuni de verificare.

referințe

1. "Logic" în Encyclopedia Britannica. Adusă la 4 august 2017 de la Encyclopedia Britannica: britannica.com
2. "Logică formală" în Encyclopedia Britannica. Adusă la 4 august 2017 de la Encyclopedia Britannica: britannica.com
3. Hernández, F. "Logica computațională" la Universitatea Națională Autonomă din Mexic. Adus la 4 august 2017 de la Universitatea Națională Autonomă din Mexic: unam.mx
4. Muñoz, C. "Logica non-clasică" la Universitatea Complutense din Madrid. Adus la 4 august 2017 de la Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Ce este logica simbolică?" În eHow en Español. Adus pe 4 august 2017 de la eHow en Español: ehowenespanol.com
6. Oller, C. "Logică și argumente formale" (2006) la Universitatea Națională din La Plata. Adus la 4 august 2017 de la Universitatea Națională din La Plata: rfytp.fahce.unlp.edu.ar
7. "Inferențe deductive și inductive" în Junta de Extremadura. Adus pe 4 august 2017 în Junta de Extremadura: educarex.es.