Filosofie Logică
Formule logice silogism validitate
Silogismele sunt argumente deductive formate din două premise și o concluzie, folosite pentru a testa validitatea raționamentelor. Formulele logice ajută la reprezentarea acestor structuri și la verificarea validității prin reguli formale. Validitatea unui silogism depinde de structura sa, nu de adevărul conținutului.
Formule de bază pentru silogisme categorice
- Forma standard Un silogism categoric are forma: Premisa majoră: Toți/niciunul/unele M sunt P. Premisa minoră: Toți/niciunul/unele S sunt M. Concluzie: Toți/niciunul/unele S sunt P.
- Exemplu cu notație logică Pentru 'Toți oamenii sunt muritori. Socrate este om. ∴ Socrate este muritor.', se poate nota: ∀x (Om(x) → Muritor(x)), Om(Socrate) ∴ Muritor(Socrate).
- Tipuri de propoziții A: Toți S sunt P (universal afirmativă). E: Niciun S nu este P (universal negativă). I: Unii S sunt P (particular afirmativă). O: Unii S nu sunt P (particular negativă).
Reguli pentru validitate
- Regula termenului mediu Termenul mediu (M) trebuie să fie distribuit în cel puțin una dintre premise pentru a asigura legătura logică între termenii major (P) și minor (S).
- Regula distribuției Dacă un termen este distribuit în concluzie, trebuie să fie distribuit și în premise. De exemplu, în 'Toți S sunt P', S este distribuit.
- Regula calității și cantității Din două premise negative nu rezultă nicio concluzie. Din două premise particulare (I sau O) nu rezultă nicio concluzie validă.
- Exemplu de aplicare Pentru silogismul: 'Toate mamiferele sunt animale. Unele câini sunt mamifere. ∴ Unele câini sunt animale.', termenul mediu (mamifere) este distribuit în premisa majoră, deci este valid.
Utilizează diagrame Venn sau tabele de adevăr pentru a vizualiza și verifica validitatea silogismelor în exerciții.