Metoda reducerii la moduri valide
Metoda reducerii la moduri valide pornește de la ideea că doar silogismele din figura I sunt moduri „perfecte”, a căror validitate este evidentă. Această considerație a fost făcută de Aristotel pe baza unor caracteristici care sunt valabile doar acestei figuri. Acestea sunt:
- Silogismele de tipul aaa sunt posibile doar în figura I;
- Aceste moduri permit deducerea unor concluzii de toate cele patru tipuri;
- Termenii extremi nu își modifică rolul din concluzie în permise (S este și subiectul concluziei și subiectul premisei, P este și predicatul concluziei și predicatul premisei).
Reducerea la moduri valide se poate realiza în două feluri: prin reducere directă sau prin reducere indirectă (sau reducere la absurd). Vom detalia aceste două moduri de reducere la moduri valide în paginile ce urmează.