абстракція потенційної здійсненності

АБСТРАКЦІЯ ПОТЕНЦІЙНОЇ ЗДІЙСНЕННОСТІ — одна з основних концепцій математики і логіки (конструктивних логіко-математичних теорій). Будучи різновидом абстракції здійсненності, що полягає в абстрагуванні від реальних меж конструктивних можливостей людського інтелекту, зумовлених об'єктивними — просторово-часовими і матеріально-енергетичними — обмеженнями, вона припускає незалежність процесу побудови об'єктів від об'єктивних умов його реалізації, причому, її можна розуміти не тільки у тому значенні, що припускається абстрагування від об'єктивних умов побудови (тобто від зазначених вище об'єктивних обмежень), а й у тому, що ці умови припускаються завжди здійсненними. У цьому плані А.п.з. дає можливість під побудовою об'єкта розуміти не тільки практично здійснювану за даних об'єктивних умов побудову, а й побудову потенційно здійсненну, тобто здійсненну у припущенні, що після кожного кроку процесу побудови об'єкта існують об'єктивні умови для виконання кроку наступного. А.п.з. дає можливість розглядати об'єкти, ігноруючи (чи обминаючи) питання про їх реалізацію і враховуючи лише можливості їх побудови у тому розумінні, що існує ефективний (конструктивний) спосіб (алгоритм, процедура, метод тощо) такої побудови.