Ян Лукасевич - О принципе противоречия у Аристотеля. Критическое исследование

Многозначные логики Лукасевича получили исключительное развитие в силу их необычайных свойств. Сошлемся только на книгу [23], где логики Лукасевича исследуются как пропозициональные исчисления; на книгу [14] (см. также [21]), где исследуются алгебраические свойства бесконечнозначной логики Лукасевича, начиная с исходных MV -алгебр Чэна и их непосредственной связи с функциональным анализом ( AF C *-алгебры), с теорией кодирования, с квантовой физикой, с геометрией. Также была доказана эквивалентность MV -алгебр с другими важными алгебраическими структурами; на книгу [2], где исследуются алгебро-функциональные свойства конечнозначных логик Лукасевича, которые неожиданным образом оказались связанными со свойствами простых чисел (теорема В.К. Финна). Следствия этого открытия оказались совсем неожиданными: структурализация простых чисел в виде корневых деревьев; построение такой логики K n+1, которая имеет класс тавтологий т.т.т., когда n есть простое число; штрих Шеффера для простых чисел; алгоритм порождения классов простых чисел.

Наконец, начиная с 1929 г., а сама идея пришла в 1924 г., Лукасевич использует бесскобочную запись формул (см. [11: 128]), которая по национальности Лукасевича стала называться польской системой записи формул, также известной как префиксная нотация (запись). Характерная черта такой записи – оператор располагается слева от операндов . Такую запись формул оценил А. Чёрч (см. [13]; примечание 91 на c. 41), а на ее важность для информатики обратил внимание А. Тьюринг, который встречался с Лукасевичем в 1949 г. В языках программирования особое применение получила обратная польская нотация (RPN, англ. Reverse Polish Notation ) – такая форма записи математических выражений, в которой операнды расположены перед знаками операторов. Подобная запись лежит в основе идеи рекурсивного стека – специальной структуры для хранения данных в памяти компьютера. Она была предложена сразу несколькими исследователями, включая А. Тьюринга, Ф. Бауэра, Ч. Хэмблина и впервые реализована Хэмблином в 1957 г. В 1960 г. на базе рекурсивного стека компанией English Electric Company был создан компьютер KDF9, а корпорацией Burroughs – компьютер Burroughs B5000. Эти же идеи были использованы компанией Frieden в настольном калькуляторе EC-130, в калькуляторах компании Hewlett Packard, языке программирования Forth, языке описания страниц PostScript. В СССР на основе рекурсивного стека был создан инженерный калькулятор Б3-19М., выпущенный в 1976 г. В настоящее время такую же организацию имеет память программируемых калькуляторов «Электроника МК-152» и «ЭЛЕКТРОНИКА МК-161».

В 2008 г. Польское Общество Информационных Процессов установило премию имени Яна Лукасевича для наиболее инновационных польских информационно-технологических компаний.

[1] Воленьский Я. Львовско-Вашавская философская школа. М.: РОССПЭН, 2004.

[2] Карпенко А.С. Логики Лукасевича и простые числа. М.: URSS/ЛКИ, 2009, 3-е изд. (Английский перевод: Karpenko A.S. Łukasiewicz Logics and Prime Numbers. Beckington: Luniver Press, 2006).

[3] Карпенко А.С. Развитие многозначной логики. М.: URSS/ЛКИ, 2010.

[4] Лукасевич Я. Логика и психология и ( см. настоящее издание ).

[5] Лукасевич Я. О принципе противоречия у Аристотеля. Критическое исследование ( см. настоящее издание ).

[6] Лукасевич Я. Прощальная лекция проф. Яна Лукасевича, произнесенная в зале Варшавского университета 7 марта 1918 г. ( см. настоящее издание ).

[7] Лукасевич Я. О трехзначной логике ( см. настоящее издание ).

[8] Лукасевич Я. О детерминизме ( см. настоящее издание ).

[9] Лукасевич Я. О методе в философии // Исследования аналитического наследия Львовско-Варшавской философской школы. Санкт-перербург: Издательский дом «Мiръ», 2006, 263-265.

[10] Лукасевич Я. Логистика и философия // Философия и логика Львовско-Варшавской школы. М.: РОССПЭН, 1999, 198-218.

[11] Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: Иностранная литература, 1959 (переиздана в 2000).

[12] Твардовский К. К учению о содержании и предмете представлений. Психологическое исследование // Твардовский К. Логико-философские и психологические исследования. М.: РОССПЭН, 1997, 38-159.

[13] Чёрч А. Введение в математическую логику. М.: Иностранная литература, 1960.

[14] Cignoli R., D'Ottaviano I.M.L. and Mundici D. Algebraic Foundations of Many-Valued Reasoning. Dordrecht: Kluwer, 2000.

[15] Font J.M. and Hájek P. On Łukasiewicz’s four-valued modal logic // Studia Logica 70 (2): 157-182, 2002.

[16] Jadczak R. Mistrz i jego uczniowie. Warszawa: W-wo Scholar, 1997.