Logica formală studiază structurile raționamentelor, nu conținutul lor. Trei concepte fundamentale leagă logica de cunoaștere: adevărul (proprietate a propozițiilor), validitatea (proprietate a argumentelor bazată pe formă) și corectitudinea (argument valid cu premise adevărate). Diferențierea acestor noțiuni este esențială pentru gândirea critică și pentru abordarea problemelor de Bacalaureat.
Adevărul este o proprietate a propozițiilor (sau enunțurilor) despre lume. O propoziție este adevărată dacă ceea ce afirmă corespunde realității (conform teoriei corespondenței). De exemplu, „Bucureștiul este capitala României” este adevărată. Adevărul este independent de forma logică – se referă la conținut.
Validitatea este o proprietate a argumentelor (raționamentelor). Un argument este valid dacă, pornind de la premise adevărate, concluzia rezultă în mod necesar. Cu alte cuvinte, dacă premisele ar fi adevărate, concluzia nu poate fi falsă.
Validitatea este o chestiune de formă, nu de conținut. De exemplu: „Toți oamenii sunt muritori. Socrate este om.
Deci, Socrate este muritor” – acest argument este valid, indiferent dacă premisele sunt factual adevărate.
Corectitudinea (sau sănătatea) este o proprietate a argumentelor care sunt atât valide, cât și au toate premisele adevărate. Un argument corect este un argument valid cu premise reale, deci concluzia sa este adevărată în lumea reală. De exemplu, argumentul despre Socrate este corect, deoarece premisele sunt adevărate și argumentul este valid.
În cunoaștere, logica ne ajută să construim argumente corecte, pornind de la adevăruri fundamentale. Un raționament poate fi:
Logica oferă instrumentele pentru a trece de la cunoaștere (premise adevărate) la noi cunoștințe (concluzii adevărate) prin forme valide de raționament.
Vrei exerciții pe lecția asta + AI care te ajută pas cu pas?
Cont gratuit — 20 întrebări AI/zi, exerciții nelimitate.