it bugs me when people at uni say "syllogisms are the most fundamental form of inference, Sokrates wrote it"

syllogisms are not an inference at all but somehow nobody ever notices