CELE 6 TIPURI DE LOGICĂ ȘI SEMNIFICAȚIA LOR - FILOZOFIE - 2025

Există mai multe tipuri de logică și toate își concentrează obiectul de studiu pe î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 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 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ă îi permit să fie studiat atât structura simplă formală a acestor enunțuri, cât și ceea ce are legătură cu conținutul și puterea conținutului menționat.

Deși logica se bazează pe studiul enunțurilor, nu se concentrează clar pe limbajul natural (limbajul așa cum îl cunoaștem), dar utilitatea sa a ajuns în domenii diferite și cu structuri diferite, cum ar fi matematica și tehnica de calcul.

Cele mai relevante tipuri de logică

Logica formală

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

Logica formală nu se concentrează pe veridicitatea sau falsitatea conținutului unui anumit argument, ci se concentrează mai degrabă 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 stabilească dacă argumentul prezentat este real și dovedit; Mai degrabă, studiul său este clar concentrat pe structura argumentului menționat.

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

Logica deductivă se referă la acele enunțuri 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 logica deductivă 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 invers; adică concepte generale sunt create din argumente specifice.

De exemplu, în logica inductivă, s-ar putea spune că, dacă unei pisici îi place peștele, iar alteia îi plac și alte, de asemenea, toate pisicile le plac peștele.

Logica informală

Logica informală este ramura de studiu care se concentrează pe limbaj și pe mesajul care emană din construcții și argumente semantice.

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

Obiectul său de studiu este modul de argumentare pentru a obține rezultatul dorit. Logica informală conferă validitate argumentelor logice care sunt mai coerente între altele care au o structură argumentativă mai slabă.

Logica non-clasică

Logica non-clasică, sau logica modernă, 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 incluse prin abordarea clasică a logicii.

Așa sunt incluse elemente matematice și simbolice, noi enunțuri sau teoreme care au reușit să rezolve deficiențele unui sistem logic logic.

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

Toate aceste tipuri de logici diferă într-o oarecare măsură de logica formală sau includ elemente noi care sunt complementare și permit studiul logic al unei afirmații particulare să fie mai exact și adaptat la utilitatea din viața de zi cu zi.

Logica simbolică

Logica simbolică se mai numește logică de prim ordin, sau logică matematică și se caracterizează prin utilizarea simbolurilor care constituie un limbaj nou 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 (idiom), ci folosește un limbaj tehnic care transformă propozițiile în elemente susceptibile de aplicare a unor reguli mai exacte decât pot fi aplicate în limbajul natural.

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

Se urmărește încorporarea elementelor matematice în analiza structurilor logicii formale. Pe tărâmul matematic, logica este folosită pentru a demonstra teoreme.

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

Această aplicare matematică a logicii permite argumentele și construcțiile 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ă încearcă să fie mai în ton cu gândirea umană, de aceea cuprinde utilizarea unor construcții precum „ar putea”, „posibil”, „uneori”, „poate”, „probabil”, „este probabil”, „poate ", printre altele.

În logica modală, este vorba de a lua în considerare un 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 computationala este un tip de logica derivata din logica simbolica sau matematica, numai ea este aplicata in zona de calcul.

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

Referințe

1. „Logică” în Enciclopedia Britannică. Adus pe 4 august 2017 de la Enciclopedia Britannica: britannica.com
2. „Logica formală” în Encyclopedia Britannica. Adus pe 4 august 2017 de la Enciclopedia Britannica: britannica.com
3. Hernández, F. „Logica computationala” la Universitatea Nationala Autonoma din Mexic. Preluat pe 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. Preluat pe 4 august 2017 de la Universitatea Complutense din Madrid: ucm.es
5. Julia, J. "Ce este logica simbolică?" în eHow în spaniolă. Adus pe 4 august 2017 de la eHow în spaniolă: ehowenespanol.com
6. Oller, C. „Logica și argumentarea formală” (2006) la Universitatea Națională din La Plata. Preluat pe 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.