Зависит от контекста

ну чаще всего операция, а вот как раз statement переводится в зависимости от окружения-контекста.

Не, operation может переводиться как действие, команда и т.д. Именно что зависит ото контекста

Мы тут обсуждаем переводы терминов, а не сами термины, не так ли?
Тот же quantifier и statement встречаются в разных областях, и значения у них в разных областях вовсе не одинаковые.
А Вы предлагаете добавить в эту "смесь" по десятку переводов для каждого оригинального термина, я правильно понял?
И это будет хорошо... почему?!

Вместо того, чтобы выдумывать собственные слова, хорошо бы учитывать происхождение оригинальных.

quantifier явно родом из логики.

Иронично но операция и действие это просто одно и то же, первое заимствование, второе - русский перевод. В целом не спорю АЯ порой слишком страшный язык, собственно таковым он стал именно от отсутствия терминологических стандарт во времена их промышленной революции, когда смежные области наполнили одинаковые слова разным смыслом, собственно поэтому нужны стандарты и стремление  переводить не дословно, но понятно.

И соответственно, аргумент «но логика это же не программирование!» отметается.

Ох, жесть... Мат. логику Вы учили, но связи с теорией множеств не выяснили. Печально.
Я тоже программирование начал учить сильно раньше мат. логики, но ничего – худо-бедно и её освоил...

Квантификаторы (quantifiers) – это все слова, которые используются для того, чтобы показать, о каком количестве предметов или вещества идет речь. Они выражают значение неопределенного количества (много, мало, немного, несколько и т.п.).
Поэтому, конкретно в Аде оно в этом смысле употребляется

Подвох в том что по крайней мере мне не известен ни один человек который учил программирование после матлогики(ровно как ни один изучавший арифметику после матана), а в элементарной логике чаще работают именно с связными образами. Поэтому идея жёсткой связи программирования с матлогикой мягко говоря порочная, я считаю что их отношения можно скорее рассматривать как формализацию, как абстрактное углубление, в ином же случае тогда изучение вообще любого предмета стоит начинать с философии.

+++

Вот из за такого подхода программисты и не могут в нормальную терминологию, когда же как математики — могут.

В то время, когда математики видят и используют взаимосвязи, программисты их яростно отрицают.

Связи то я выяснил, но только постфактум и что важно ассоциация с множествами как первая оказывается сильнее.

Математики там уже договорились с какого числа начинается натуральный ряд?

С нуля конечно же.

Ну поправьте википедию тогда, раз уже договорились. https://ru.wikipedia.org/wiki/%D0%9D%D0%B0%D1%82%D1%83%D1%80%D0%B0%D0%BB%D1%8C%D0%BD%D0%BE%D0%B5_%D1%87%D0%B8%D1%81%D0%BB%D0%BE

Современные математики тоже не могут. Раньше могли т.к. взаимодействовали более менее централизованно и правила трактовки либо брали от автора, либо в полураспорядительно из под академии наук.

Я бы не стал учить математику по википедии.