Квантор: відмінності між версіями

Квантори вживаються в будь-якому осмисленому тексті. Однак, протягом тисячоліть їхнє вживання було чисто інтуїтивним і не до кінця усвідомленим навіть в математиці; кванторні вирази формулювалися словами, спеціальних символів для їхнього позначення не було. Як теоретичні об’єкти квантори вперше введені [[Фреґе Ґотлоб|Ґ. Фреґе]] в роботі Begriffsschrift 1879 р. разом із теорією їхнього застосування (див.: [[Квантифікації теорія|Теорія квантифікації]]). Терміни «квантор» і «квантифікація» ввів у 1885 р. [[Чарлз Пірс]], який перевідкрив тоді квантори. Сучасна символіка на позначення кванторів належить [[Рассел Бертран|Б. Расселу]], який модифікував відповідні позначення [[Пеано Джузеппе|Дж. Пеано]]. Сучасні математики, на відміну від логіків, продовжують формулювати кванторні вирази переважно словами, однак вивчають теорію квантифікації з метою уникнення помилок при нагромаджуваннінавішуванні кванторів.