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

Шрифт
Интервал

. Такую запись формул оценил А. Чёрч (см. [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.

[17] Łukasiewicz J. O indukcji jako inwersji dedukcji // Przegląnd Filozoficzny 6: 9-24 и 138-152, 1903.

[18] Łukasiewicz J. Analiza i konstrukcja pojecia przyczyny // Przegląnd Filozoficzny 9: 105-179, 1906.

[19] Łukasiewicz J. Elementy logiki matematycznej. Skrypt autoryzowany. Warszawa, 1929. (Английский перевод: Elements of Mathematical Logic. Oxford: Pergamon Press, 1966).

[20] Łukasiewicz J. and Tarski A. Investigations into the sentential calculus // Łukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970, 131-152.

[21] Mundici D. Advanced Łukasiewicz Calculus and MV-algebras. Dordrecht: Kluwer, 2011.

[22] Woleński J. Historia odsyłacza // Ratione et Studio. Profesorowi Witoldowi Marciszewskiemu w darze, ed. K. Trzęsicki. Białystok: W-wo Uniwersytetu w Białymstoku, 2005, 249-268.

[23] Wójcicki R. and Malinowski G. Selected Papers on Łukasiewicz Sentential Calculi. Wroclaw: OSSOLINEUM, 1977. Bibliogr.: pp. 189-199.

Сборники избранных работ

Łukasiewicz J. Z zagadnien logiki i filozofii. Pisma wybrane. Warszawa: PWN, 1961 (J. Slupecki ed.)

Łukasiewicz J. Logika i metafizyka. Warsawa: Wydzial Filozofii i Socjologii Uniwersytetu Warszawskiego, 1998 (J. J. Jadacki ed.)

Łukasiewicz J. Selected Works. Amsterdam & Warszawa: NorthHolland & PWN. 1970 (L. Borkowski ed.)

Краткая библиография

Borkowski L. and Slupecki J. The logical works of J. Łukasiewicz // Studia Logica 8: 7-56, 1958.

Craig E. (general editor). Article: Jan Łukasiewicz // Routledge Encyclopedia of Philosophy, Vol. 5. London: Routledge, 1998, 860–863.

Goe G. Łukasiewicz, Jan // Biographical Dictionary of Mathematicians, Vol. 3. Cengage Gale, 1991, 1625-1626.

Kotarbinski T. Jan Łukasiewicz's works on the history of logic // Studia Logica 8: 57-62, 1958.

Kwiatkowski T. Jan Łukasiewicz – A historian of logic // Organon 16-17: 169-188, 1980-1981.


Рекомендуем почитать
Вырождение. Современные французы

Макс Нордау"Вырождение. Современные французы."Имя Макса Нордау (1849—1923) было популярно на Западе и в России в конце прошлого столетия. В главном своем сочинении «Вырождение» он, врач но образованию, ученик Ч. Ломброзо, предпринял оригинальную попытку интерпретации «заката Европы». Нордау возложил ответственность за эпоху декаданса на кумиров своего времени — Ф. Ницше, Л. Толстого, П. Верлена, О. Уайльда, прерафаэлитов и других, давая их творчеству парадоксальную характеристику. И, хотя его концепция подверглась жесткой критике, в каких-то моментах его видение цивилизации оказалось довольно точным.В книгу включены также очерки «Современные французы», где читатель познакомится с галереей литературных портретов, в частности Бальзака, Мишле, Мопассана и других писателей.Эти произведения издаются на русском языке впервые после почти столетнего перерыва.


Несчастное сознание в философии Гегеля

В книге представлено исследование формирования идеи понятия у Гегеля, его способа мышления, а также идеи "несчастного сознания". Философия Гегеля не может быть сведена к нескольким логическим формулам. Или, скорее, эти формулы скрывают нечто такое, что с самого начала не является чисто логическим. Диалектика, прежде чем быть методом, представляет собой опыт, на основе которого Гегель переходит от одной идеи к другой. Негативность — это само движение разума, посредством которого он всегда выходит за пределы того, чем является.


Проблемы жизни и смерти в Тибетской книге мертвых

В Тибетской книге мертвых описана типичная посмертная участь неподготовленного человека, каких среди нас – большинство. Ее цель – помочь нам, объяснить, каким именно образом наши поступки и психические состояния влияют на наше посмертье. Но ценность Тибетской книги мертвых заключается не только в подготовке к смерти. Нет никакой необходимости умирать, чтобы воспользоваться ее советами. Они настолько психологичны и применимы в нашей теперешней жизни, что ими можно и нужно руководствоваться прямо сейчас, не дожидаясь последнего часа.


Зеркало ислама

На основе анализа уникальных средневековых источников известный российский востоковед Александр Игнатенко прослеживает влияние категории Зеркало на становление исламской спекулятивной мысли – философии, теологии, теоретического мистицизма, этики. Эта категория, начавшая формироваться в Коране и хадисах (исламском Предании) и находившаяся в постоянной динамике, стала системообразующей для ислама – определявшей не только то или иное решение конкретных философских и теологических проблем, но и общее направление и конечные результаты эволюции спекулятивной мысли в культуре, в которой действовало табу на изображение живых одухотворенных существ.


Ломоносов: к 275-летию со дня рождения

Книга посвящена жизни и творчеству М. В. Ломоносова (1711—1765), выдающегося русского ученого, естествоиспытателя, основоположника физической химии, философа, историка, поэта. Основное внимание автор уделяет философским взглядам ученого, его материалистической «корпускулярной философии».Для широкого круга читателей.


Онтология поэтического слова Артюра Рембо

В монографии на материале оригинальных текстов исследуется онтологическая семантика поэтического слова французского поэта-символиста Артюра Рембо (1854–1891). Философский анализ произведений А. Рембо осуществляется на основе подстрочных переводов, фиксирующих лексико-грамматическое ядро оригинала.Работа представляет теоретический интерес для философов, филологов, искусствоведов. Может быть использована как материал спецкурса и спецпрактикума для студентов.