I see! That is indeed a confusing name, because it is not the posts that get ignored but their “stickiness”, yet the language of the option name is a valid English sentence (in the imperative) whose subject are the (sticky) posts. Since it now looks like this option was taken from somewhere in the core, I realise that this is not the place to complain about that, but it is one of many examples of sloppy naming in WordPress. Thanks for the clarification!
Here is a suggested wording for the table in https://getshortcodes.com/docs/posts/
ignore_sticky_posts – Set to “yes” to prevent sticky posts from being moved to the start of the returned list of posts. They are still included, but appear in regular order.
Also, I would be very happy to see “exclude_sticky_posts” being implemented because I think it a need that does occur occasionally, if the posts shortcode is used on a page that features some posts outside the list and a list of other posts using the shortcode.