Bun venit! Hai să aprofundăm prima lecție de logică, exact așa cum o predăm la EduBro. Vreau să înțelegi de ce logica e importantă, nu doar să memorezi definiții.
• --
Vrei să înțelegi mai bine noțiunile introductive: ce este logica, ce studiază ea (obiectul) și de ce contează (importanța). Acestea sunt întrebări de teorie care apar la Bacalaureat, deci le tratăm riguros.
• --
Logica este știința care studiază principiile și formele corecte ale raționamentului.
• Cuvântul provine din grecescul „logos” = cuvânt, rațiune, gândire.
• Nu studiază orice gândire, ci modul în care ajungem la concluzii valide din premise date.
Obiectul logicii este gândirea, dar privită dintr-un unghi specific:
> Logica nu se ocupă de ce gândim, ci de cum gândim corect — de forma raționamentului.
De aceea spunem că logica este o știință a formei, nu a conținutului.
• Ne ajută să gândim clar și să argumentăm coerent.
• Ne învață să detectăm erorile de raționament din discursul altora.
• Stă la baza oricărei cunoașteri riguroase (matematică, informatică, drept, filozofie).
• --
Hai să lămurim cea mai importantă distincție din lecție:
| Aspect | Ce înseamnă | Exemplu |
|---|---|---|
| Conținutul | Despre ce vorbim | „oameni”, „muritori”, „Socrate” |
| Forma | Structura raționamentului | „Toți A sunt B; x este A; deci x este B” |
De ce contează? Pentru că logica studiază forma: dacă forma e validă, raționamentul e valid indiferent de conținut.
Atenție, capcană clasică!
• Validitatea = proprietatea formei (concluzia decurge logic din premise).
• Adevărul = proprietatea conținutului (propozițiile corespund realității).
Un raționament poate fi valid, dar cu premise false — și atunci concluzia poate fi falsă, deși inferența e corectă.
• --
> „Toate fructele sunt sănătoase. Mărul este fruct. Deci mărul este sănătos.”
Forma: Toți A sunt B ; x este A ; deci x este B .
Aceasta este forma silogismului valid (modul Barbara). Raționamentul e valid.
👉 Observație: dacă înlocuim „fructe” cu „legume”, forma rămâne validă, dar conținutul devine discutabil. Iată de ce logica separă forma de conținut!
• --
> „Dacă plouă, atunci pământul este ud. Pământul este ud. Deci plouă.”
Să formalizăm:
• P = „plouă”
• Q = „pământul este ud”
Structura aparentă:
\frac{P \to Q, \quad Q}{\therefore P}
Este aceasta o formă validă? NU! Să verificăm cu un tabel de adevăr:
| P | Q | P \to Q | Q | P |
|:---:|:---:|:---:|:---:|:---:|
| A | A | A | A | A |
| A | F | F | F | A |
| F | A | A | A | F ← contraexemplu! |
| F | F | A | F | F |
Pe rândul 3: premisele P \to Q și Q sunt adevărate, dar concluzia P este falsă.
\boxed{\text{Forma } \frac{P \to Q,\ Q}{\therefore P} \text{ este INVALIDĂ (sofismul afirmării consecventului).}}
Intuiția: pământul poate fi ud și din alte cauze (furtun, inundație). Concluzia nu decurge cu necesitate.
• --
> „Toți elevii care învață iau note mari. Eu iau note mari. Deci eu învăț.”
Formalizare:
• P(x) = „x învață”
• Q(x) = „x ia note mari”
Structura:
\frac{\forall x\,(P(x) \to Q(x)), \quad Q(\text{eu})}{\therefore P(\text{eu})}
Invalid! Este exact același sofism: din P \to Q și Q nu putem deduce P . Poți lua note mari și fără să înveți (noroc, copiat, talent natural).
\boxed{\text{Raționamentul este INVALID — aceeași eroare: afirmarea consecventului.}}
• --
Rezolvă singur aceste două exerciții (fără să te uiți înapoi):
Exercițiul 1. Analizează raționamentul: „Dacă un număr este divizibil cu 4, atunci este par. Numărul 6 este par. Deci 6 este divizibil cu 4.” Este valid? De ce?
> 💡 Indiciu: Formalizează cu P = „divizibil cu 4”, Q = „par”. Ce formă obții? Verifică dacă e vreun sofism cunoscut.
Exercițiul 2. Explică în 2–3 propoziții diferența dintre validitate și adevăr, dând un exemplu de raționament valid cu o premisă falsă.
> 💡 Indiciu: Gândește-te la un silogism cu formă corectă, dar cu un termen inventat (ex.: „Toți dragonii zboară...”).
• --
Dacă vrei, putem continua cu următoarea lecție: conectivele logice și formalizarea propozițiilor din limbaj natural — acolo vei exersa exact ce am atins aici. Spune-mi! 🚀