Вопросы к Поиску с Алисой
Готлоб Фреге ввёл кванторы в явном виде в работе «Begriffsschrift» («Исчисление понятий», 1879). amstarm.ru Учёный ввёл понятия кванторов существования и всеобщности, что позволило выражать утверждения о множестве объектов. vtk-portal.ru Это нововведение стало важным шагом в развитии логики предикатов. vtk-portal.ru Благодаря Фреге в язык логики вошли кванторы: всеобщности (∀) и существования (∃), что дало возможность более точно выражать логические утверждения. vtk-portal.ru
Чарльз Пирс ввёл термины «квантор» и «квантификация» в 1885 году. amstarm.ru Квантор, по определению Пирса, показывает, о скольких (всех или некоторых) объектах говорится в том или ином предложении. amstarm.ru Основной вклад Пирса в развитие кванторов заключается в чётком понимании различия между свойствами и отношениями. plato.stanford.edu Он представил примитивную версию логики первого порядка с кванторами и отдельными переменными. vk.com
Таким образом, Фреге внёс значительный вклад в понимание структуры предложений и логических выводов благодаря идеям квантификации и выражения логических форм посредством функций и аргументов. vtk-portal.ru Пирс же расширил сферу формализации в логике, в том числе за счёт введения кванторов и связанных переменных, а также чёткого понимания важности рассуждений, включающих отношения. plato.stanford.edu