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