Logică și argumentare
Raționamente
Structura raționamentelor, tipuri (deductive, inductive, analogice), validitate formală vs. adevăr material, Modus Ponens și Modus Tollens.
Ce este raționamentul?
Raționamentul este o formă de gândire prin care, pornind de la una sau mai multe judecăți date (premise), se derivă o judecată nouă (concluzie).
Structura:
P₁ (premisa majoră)
P₂ (premisa minoră)
───────────────────
C (concluzia)
Exemplu: P₁: Toți oamenii sunt muritori. P₂: Socrate este om. C: Deci, Socrate este muritor.
Validitate și adevăr
Două proprietăți distincte ale raționamentelor:
| Proprietate | Întrebare | Explicație |
|---|---|---|
| Validitate (formală) | Urmează concluzia neapărat din premise? | Privește forma logică |
| Adevăr (material) | Sunt premisele adevărate în realitate? | Privește conținutul |
Combinații posibile
| Premise | Formă | Concluzie | Raționament |
|---|---|---|---|
| Adevărate | Validă | Adevărată | ✅ Solid (sound) |
| False | Validă | Falsă (sau adevărată) | ⚠️ Valid dar nesăbuit |
| Adevărate | Invalidă | Poate fi adevărată | ❌ Invalid |
Exemplu de raționament valid cu premise false: P₁: Toți pisicile sunt câini. (Falsă) P₂: Rex este o pisică. (Falsă) C: Rex este câine. → Forma este validă (AAA), dar premisele sunt false!
Exemplu de raționament invalid cu premise adevărate: P₁: Toți oamenii respiră. P₂: Câinii respiră. C: Câinii sunt oameni. ❌ (Invalid — eroare a termenului mediu nedistribuit)
Tipuri de raționamente
1. Raționamente deductive
Concluzia urmează cu necesitate din premise. Dacă premisele sunt adevărate și forma este validă, concluzia este garantat adevărată.
Direcție: De la general → particular
P₁: Toți matematicienii sunt logici. P₂: Ana este matematiciană. C: Ana este logică.
Forme deductive importante:
Modus Ponens (affirmare antecedentului)
Dacă P, atunci Q.
P.
——————————————
Deci Q.
Dacă plouă, strada e udă. Plouă. → Strada e udă. ✅
Modus Tollens (negarea consecventului)
Dacă P, atunci Q.
Non-Q.
——————————————
Deci non-P.
Dacă plouă, strada e udă. Strada nu e udă. → Nu plouă. ✅
Forme invalide (sofisme formale)
Affirmare consecventului (invalidă):
Dacă P, atunci Q.
Q.
——————————————
Deci P. ❌
Dacă plouă, strada e udă. Strada e udă. → Nu înseamnă că plouă! (poate a dat cineva cu furtunul)
Negarea antecedentului (invalidă):
Dacă P, atunci Q.
Non-P.
——————————————
Deci non-Q. ❌
Dacă plouă, strada e udă. Nu plouă. → Nu înseamnă că strada e uscată!
2. Raționamente inductive
Concluzia depășește informația din premise — generalizează de la particular la general. Concluzia este probabilă, nu certă.
Direcție: De la particular → general
Am observat 1000 de lebede albe. → Toate lebedele sunt albe. (Concluzie probabilă — infirmată de lebedele negre din Australia!)
Tipuri:
- Inducție completă: enumerare exhaustivă (certitudine) — rar posibilă
- Inducție incompletă: bazată pe eșantion (probabilitate) — cel mai frecvent
3. Raționamente prin analogie
Se transferă o proprietate de la un obiect (sursă) la alt obiect (țintă), pe baza similitudinilor existente.
A are proprietățile p₁, p₂, ..., pₙ și P.
B are proprietățile p₁, p₂, ..., pₙ.
——————————————————————————————————————
Probabil B are și P.
Marte și Pământul au atmosferă, temperaturi similare, apă. Pământul are viață. → Probabil Marte a avut/are forme de viață.
Puterea analogiei depinde de:
- Numărul și relevanța proprietăților comune
- Absența proprietăților care contraindică concluzia
Raționamentul ipotetico-disjunctiv
Silogismul disjunctiv
P sau Q.
Non-P.
——————
Deci Q.
Fie a câștigat Ana, fie a câștigat Mihai. Ana nu a câștigat. → Mihai a câștigat.
⚠️ Atenție: funcționează sigur doar cu disjuncție exclusivă sau când se neagă una din variante.
Silogismul ipotetic pur
Dacă P, atunci Q.
Dacă Q, atunci R.
——————————————
Deci: Dacă P, atunci R.
Rezumat esențial pentru BAC
| Tip | Direcție | Concluzie | Certitudine |
|---|---|---|---|
| Deductiv | General → Particular | Necesară | 100% (dacă valid + premise adevărate) |
| Inductiv | Particular → General | Probabilă | < 100% (crește cu eșantionul) |
| Prin analogie | Similar → Similar | Probabilă | Depinde de similitudini |
Modus Ponens: P→Q, P ⊢ Q (valid) Modus Tollens: P→Q, ¬Q ⊢ ¬P (valid) Affirmare consecventului: P→Q, Q ⊢ P ❌ (invalid) Negarea antecedentului: P→Q, ¬P ⊢ ¬Q ❌ (invalid)
Diferența cheie validitate vs. adevăr: Un raționament poate fi valid (formă corectă) dar cu premise false, sau poate fi invalid cu premise adevărate. Un raționament cu adevărat bun (solid/sound) este și valid, și cu premise adevărate.