Квантор: различия между версиями
[непроверенная версия] | [отпатрулированная версия] |
Содержимое удалено Содержимое добавлено
Строка 67:
== История появления ==
Хотя кванторно-логические конструкции широко используются как в научной, так и в обыденной речи, их формализация произошла только в [[1879]] г., в книге [[Фреге, Фридрих Людвиг Готлоб|Фреге]] «Исчисление понятий». Обозначения Фреге имели вид громоздких графических конструкций и не были приняты. Впоследствии было предложено множество более удачных символов, но общепринятыми стали обозначения <math>\exists</math> для квантора существования (перевёрнутая первая буква {{lang-en|Exists}} — существует), предложенное [[Пирс, Чарльз Сандерс|Чарльзом Пирсом]] в [[1885]] г., и <math>\forall</math> для квантора общности ({{lang-en|All}} — все), образованное [[Генцен, Герхард|Герхардом Генценом]] в [[1935]] г. по аналогии с символом квантора существования. Термины «квантор», «квантификация» также предложил Пирс.
|