КВАНТИФІКАЦІЯ

КВАНТИФІКАЦІЯ ( від лат. quantum - скільки; facio - роблю) - 1) Логічна операція, що дає можливість шляхом певної перебудови структури висловлювання вказати предметну область, у межах якої дане висловлювання може бути істинним або хибним. Операція К. полягає в тому, що висловлювання розчленовують на суб'єкт і предикат, що виступають як логічна функція від предметної змінної; потім вводять у структуру висловлювання квантори, визначають, чи є висловлювання істинним (або хибним) для всіх значень змінної чи лише для частини їх. К. застосовують при переході від аналізу висловлювання як нерозчленованого цілого до аналізу його внутрішньої структури. В формальній логіці це має місце при переході від алгебри висловлювань до логіки предикатів. 2) Кількісне вираження якісних ознак.