Приглашаем посетить сайт
ЛУКАСЁВИЧ
ЛУКАСЁВИЧ (Lukasiewicz) Ян (1878-1956) - пол. логик. Учился во Львове под руководством К. Твардовского (1896-1900). Проф. философии в Варшавском ун-те (1915-1939), после Второй мировой войны - проф. математической логики в Королевской академии наук в Дублине.
Л. - один из наиболее выдающихся логиков 20 в. Вместе с С. Лесневским основал варшавскую логическую школу, многое сделал также для организации логических исследований в Польше. Наиболее важным достижением Л. было открытие многозначных логик. Над этой проблемой Л. работал с 1910. Мотивами для изменения логики были у него филос. соображения, а именно размышления над проблемами индетерминизма и свободы воли. Согласно Л., в основе классической (двузначной) логики лежат принципы, имплицирующие радикальный детерминизм. Л. подверг тщательному анализу высказывания о будущем и пришел к выводу, что они не являются истинными или ложными в настоящем, а приобретают определенное логическое значение лишь в определенный момент времени. Если Л есть высказывание о будущем случайном событии, то в момент произнесения это высказывание является возможным. Т.о., Л. пришел к мысли, что такое высказывание имеет третье, наряду с истиной и ложью, логическое значение. В 1918 Л. разработал трехзначную логику, затем обобщил ее до логики с произвольным, но конечным числом значений и, наконец, предложил бесконечнозначную многозначную логику. По мере успехов в разработке многозначных логик мотивация их введения отошла на второй план, хотя Л. всегда подчеркивал, что новая логика имеет важное филос. значение, а также особое значение для обоснования науки, в частности математики. Первоначально Л. был убежден, что логика имеет ценность как описание мира и полагал, что опыт даст ответ на вопрос, какая из альтернативных логических систем является правильной, двузначная или многозначная. Построенная Л. модальная логика (т.н. L-система) опиралась на многозначную логику. Л. показал, что ни один из функторов классической логики высказываний нельзя интерпретировать как возможность. В конечном счете модальная L-логика была развита Л. как надстройка над четырехзначной логикой.
Л. принадлежат также многие др. интересные логические результаты. Он ввел бесскобочную логическую символику, называемую теперь польской нотацией, или символикой Л. Предложил ряд оригинальных аксиоматик классического исчисления высказываний. Исследовал частичные исчисления высказываний, импликативные и эквивалентностные. Занимался, в частности, поисками таких аксиоматизаций, которые содержали бы только одну аксиому или самые короткие аксиомы. Еще одним достижением Л. была формулировка исчисления высказываний с переменными функторами, что сделало возможным элегантную формализацию интуиционистской логики. Огромную роль Л. сыграл в исследованиях в области истории логики. Он открыл, что стоики явились создателями логики высказываний, а также дал формализацию логики Аристотеля. Ведущей идеей историко-логических исследований Л. было убеждение, что традиционная формальная логика должна исследоваться методами современной логики.