Лукасевич Ян
Ян Лукасевич/ Jan Lukasiewicz
 |
Лукасевич известен во всем мире как один из наиболее выдающихся и значительных логиков ХХ столетия |
Ян Лукасевич - известный польский логик и философ.
Лукасевич известен во всем мире как один из наиболее выдающихся и значительных логиков ХХ столетия и, прежде всего, как создатель первого исчисления многозначной логики. Пытаясь разрешить проблему детерминизма, ведущего в логике к фатализму, Лукасевич ввел понятие третьего истинностного значения, промежуточного между «истиной» и «ложью», которое он интерпретировал как «возможно». По мнению Лукасевича, высказывания о будущих случайных событиях ни ложны, ни истинны, но лишь возможны, следовательно, они имеют третье истинностное значение. На основе подобной интерпретации Лукасевичем были разработаны также системы многозначной (трехзначной и четырехзначной) модальной логики. Однако в дальнейшем он отказывается от подобной содержательной интерпретации и разрабатывает системы конечнозначной и бесконечнозначной логик с конечным и бесконечным числом промежуточных истинностных значений.
Значителен вклад Лукасевича в историю логики. Он привлек внимание исследователей к логике стоиков, показав, что именно она лежит в основании современной логики. Его реконструкция силлогистики Аристотеля современными методами не только явилась значительным достижением в области логики, но и привела к созданию целой программы пересмотра истории логики, реализация которой дала возможность обнаружить зародыши многих известных логических концепций в античной и средневековой логике.
Менее известны результаты Лукасевича в области философии науки и научного творчества. Он был сторонником так называемой обратной теории индукции, в которой индукция рассматривается как разновидность редукции, при которой по готовому заключения ищут гипотетические посылки. По мнению Лукасевича в эмпирических науках общие гипотезы формулируются редуктивно, а эмпирические процедуры не сводимы к логике, поскольку в них важную роль играет интуиция исследователя.
Логика Яна Лукасевича
Лукасевич - известный польский логик и философ.
Родился в семье офицера австрийской армии во Львове 21 декабря 1878 года. Очень рано увлекся математикой и после окончания школы поступил во Львовский университет, где изучал математику, право и философию. Философией он заинтересовался под влиянием лекций К.Твардовского, став одним из первых его учеников. Под руководством Твардовского в 1902 защитил диссертацию.
После нескольких лет учебы в Берлине и Лувене Лукасевич вернулся во Львов вначале в качестве преподавателя университета, а с 1906 – профессора логики и философии. В 1907–1908 годы прочел первый в Польше курс лекций по математической логике. Во время первой мировой войны Лукасевич переехал в Варшаву, где возглавил одну из двух кафедр логики Варшавского университета. В 1919 – министр образования Польши, а с 1920 по 1939 – профессор Варшавского университета, и дважды исполнял обязанности ректора.
После окончания Второй мировой войны переехал в Дублин, где получил кафедру математической логики в университете. Среди его важнейших работ – «О принципе противоречия у Аристотеля» (1910); «О науке» (1934); «Элементы математической логики» (1929); «Аристотелевская силлогистика с точки зрения современной формальной логики» (1951, русский перевод – М., 1966).
В области логики Лукасевичу принадлежит целый ряд результатов, относящийся к другому кругу проблем. Так, им была разработана система логической символики, известная под именем польской (бесскобочной) нотации. Он разработал ряд аксиоматизаций классического пропозиционального исчисления, среди которых аксиоматизации с единственной аксиомой и с набором самых коротких аксиом. Лукасевич построил исчисление высказываний с переменными функторами, положенное им в основу формулировки интуиционистской логики. Он также разработал общую логическую теорию вероятности.
В 1954 Лукасевич разработал четырёхзначную систему логики, а затем — бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счётно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значении выступают рациональные числа из отрезка (0, 1). Моделями бесконечнозначных логик Лукасевича являются им же разработанные алгебры.
Скончался Лукасевич в Дублине от сердечного приступа в 1956.
Источники:
Новая книга
8(926)919-67-47
Подписка на рассылку
Ближайшие клубы
События и новости
Заповеди руководителя