Конструктивни логики
Конструктивна логика - Раздел Обучение, Учебник по логика Конструктивна логика, различна от класическата логика, собствена.
Конструктивната логика, различна от класическата логика, дължи раждането си на конструктивната математика. Конструктивната математика може да бъде описана накратко като наука за конструктивните процеси и нашата способност да ги извършваме. В резултат на конструктивния процес възниква конструктивен обект, т.е. такъв обект, който е даден от ефективен (точен и напълно разбираем) метод (алгоритъм) на конструиране 37 .
Конструктивното направление (в математиката и логиката) ограничава изследването до конструктивни обекти и го провежда в рамките на абстракцията на потенциалната осъществимост (осъществимост), т.е. игнорира практическото ограничение на нашите възможности за конструиране в пространството, времето и материала.
Има допирни точки между идеите на конструктивната логика на съветските изследователи и някои идеи на интуиционистката логика (например в разбирането за дизюнкция, в отхвърлянето на закона за изключената среда).
Въпреки това, конструктивната и интуиционистката логика имат значителни разлики.
1.Различни обекти на изследване.Основата на конструктивната логика, която е логиката на конструктивната математика, е абстракцията на потенциалната осъществимост и само конструктивни обекти (думи в определена азбука) са разрешени като обекти на изследване.
Интуиционистичната логика, която е логиката на интуиционистичната математика, се основава на идеята за „свободно ставаща последователност“ (т.е. последователност, която не е изградена според алгоритъм), която интуиционистите смятат за интуитивно ясна.
2.Обосновката на интуиционистичната математика и логикае дадена сс помощта на идеалистично интерпретирана интуиция, а обосновката на конструктивната математика и логика се дава въз основа на научната математическа концепция за алгоритъм (например нормалният алгоритъм на А. А. Марков) или еквивалентната концепция за рекурсивна функция.
3.Различни методологични основи.Методологическата основа на конструктивното направление в математиката местните изследователи считат разпоредбите на материализма, от гледна точка на които критерият за истинността на знанието (включително научното) е практиката. Тази разпоредба остава валидна за такива науки като логика и математика, въпреки че тук практиката влиза в процеса на познание само косвено, в крайна сметка.
Интуиционистите, оставайки в рамките на субективно-идеалистичната философия, считат източника на формирането на математически концепции и методи не човешката практика, а първоначалната „интуиция“, а критерият за истина в математиката е „интуитивната яснота“.
4.Различни интерпретации**.А. Н. Колмогоров разглежда интуиционистката логика като смятане на проблемите. А. А. Марков дефинира логическите връзки на конструктивната логика, приложени към потенциално реализирани конструктивни процеси (действия).
Интуиционистичната логика на Л. Брауер и А. Хейтинг се интерпретира от тях като смятане на изречения (изявления), а областта на изявленията е ограничена до математически изречения.
5.Разликата между редица логически средстваМестните представители на тясно конструктивната логика признават като принцип: ако има алгоритмичен процес и е възможно да се опровергае, че той продължава безкрайно, тогава, следователно, процесът ще приключи. Някои от представителите на конструктивната логика го доказват в изчистена форма.
Представителите на интуиционистката логика не признават този принцип.