|
sylogismus, základní typ deduktivního úsudku tradiční logiky. Soustava tří výroků, a to dvou premis a závěru, přičemž premisy tvoří výroky obsahující termín, který se nevyskytuje v závěru (tzv. střední termín), a nový soud; závěr z nich lze odvodit.
Kategorický sylogismus, rozčleněný do tzv. čtyř figur o celkovém počtu 24 platných modů, je charakterizován dvěma premisami (vyšší a nižší) a závěrem, které jsou vyjádřeny jednoduchými subjekt - predikátovými tzv. kategorickými výroky, např.
"všichni savci dýchají plícemi; velryby jsou savci; tedy velryby dýchají plícemi". Hypotetický sylogismus zahrnuje nejčastěji ve vyšší premise hypotetický (implikativní)
výrok, v nižší a v závěru premise kategorický výrok, např. tzv. modus ponens:"Jestliže prší, je mokro; prší, tedy je mokro".
|