axióm sylogismu

axióm sylogismu, lat. dictum de omni et nullo - zákl. princip kategorického sylogismu. Aristoteles jej v Kategoriích formuluje: "Když vypovídáme jedno o druhém jako o předmětu, můžeme říkat vše, co říkáme o přísudku, také o předmětu." Obecně lze formulovat a. s. např.: co vypovídáme o všech prvcích třídy, platí o každém z nich.