Смотреть больше слов в «Большом энциклопедическом словаре»
(Lukasiewicz) Ян (1878-1956) - польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 - Дублинского университета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики - трехзначную логику высказываний (1920). Методология Л. основополагалась на критическом переосмыслении концепции детерминизма в лапласовском представлении. Принцип детерминизма в толковании Лапласа сводился к тому, что все сущее в мире детерминировано, каждое будущее состояние мира с необходимостью предопределено его прошлым или настоящим. Л. пересмотрел принцип причинности в индетерминистском модусе, при котором будущие события свободны от необходимой предопределяющей связи с прошлыми или настоящими состояниями мира. Будущие события могут иметь свои причины, отсутствующие в настоящее время. В качестве третьего логического значения высказывания о будущем событии Л. ввел значение, выражаемое словами "вероятно", "нейтрально". О каждом высказывании в его системе можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Л. одним из первых, независимо от русского логика Васильева, выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. Л. осуществил формально-логическую экспликацию идеи детерминизма. Используя законы классической логики - исключенного третьего, контрапозиции и др., Л. вывел основную формулу, из которой следовало обоснование логического детерминизма. Л. показал, что закон исключенного третьего при каузальной интерпретации не является общезначимым, ибо в некоторый момент времени не существуют причины для событий, составляющих содержание высказываний P и не-Р. Используя более адекватную методологию статистического анализа причинных зависимостей, Л. описал возможные альтернативные подходы к интерпретации связи между логикой и причинностью. Например, закон контрапозиции ("Если А, то В, следовательно, если не-В, то не-А") нельзя рассматривать в качестве адекватной логической модели каузальности ("если солнце - причина засухи, то, согласно закону контрапозиции, отсутствие засухи причина того, что нет солнца"). В рамках реализации программы формального воплощения идеи логического детерминизма Л. сформулировал допущения-аксиомы каузальной интерпретации: 1) Первопричина каузальной цепи не актуализирована; 2) Момент актуализации отделен от настоящего времени бесконечным расстоянием; 3) Множество событий, разделяющих причину и следствие, бесконечно, так как предполагается непрерывное порождение событий в каждый момент времени; 4) Все события, имеющие место после первопричины и до появления следствия, являются для последнего дополнительными причинами; 5) Отношение причинности является транзитивным (т.е. если А есть причина В, а В есть причина С, то А есть причина С). Л. разделил выводы на дедуктивные и редуктивные в зависимости от отношения направления вывода к направлению логического следования вывода. В редукции вывод и логическое следование имеют противоположное дедукции направление: из следствия выводится основание. В зависимости от того, определено логическое значение следствия или нет, редуктивные выводы делятся на объяснение (подбор основания к истинному высказыванию, разновидностью которого является неполная индукция) и подтверждение (поиск истинного основания к неопределенному следствию). На основании трехзначной логики Л. построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания). В 1929 выходят "Элементы математической логики", в 1930 - совместный с Тарским труд "Исследование по исчислению высказываний", в 1938 - "Логика и ее основные проблемы". В 1954 Л. разработал четырехзначную систему логики, а затем - бесконечнозначные (n-значные) логические системы, в которых множество истинностных значений счетно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значений выступают рациональные числа из отрезка (О, 1). Моделями бесконечнозначных логик Л. являются им же разработанные алгебры. Л. разработал способ формализации аристотелевской силлогистики, изложив ее в терминах, принятых современной математической логикой. Формализированная система дает представление силлогистики в виде логического исчисления естественного (натурального) вывода. В своих логических исследованиях Л. применял разработанную им бесскобочную символику (для исключения из формализованного языка скобок), в которой элементарные высказывания обозначаются малыми буквами латинского алфавита, а логические операторы - большими буквами того же алфавита (N - отрицание, К - конъюнкция, А - неисключающая дизъюнкция, С - импликация, R - эквивалентность). C.B. Воробьева... смотреть
ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956) - польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 - Дублинского у... смотреть
(Lukasiewicz) Ян (1878-1956) - польский логик и философ, профессор Львовского и Варшавского университетов (1915-1939), с 1949 - Дублинского униврситета (Эйре), где он читал лекции по логике Аристотеля. Л. разработал первую систему многозначной логики - трехзначную логику высказываний (1920). В качестве третьего логического значения высказывания было введено значение, выражаемое словами "вероятно", "нейтрально". О каждом высказывании в системе Л. можно сказать: оно либо истинно (1), либо ложно (0), либо нейтрально (1/2). Это стало возможным благодаря тому, что Л. одним из первых, независимо от русского логика Н.А. Васильева, выдвинул тезис о возможности построения логических исчислений, в которых не действует принцип непротиворечивости. На основании трехзначной логики Л. построил систему модальной логики, в которой наряду с исследованием логических операций над ассерторическими высказываниями (утверждениями и отрицаниями) исследуются так называемые модальные высказывания (сильные и слабые утверждения и отрицания). В 1929 выходят "Элементы математической логики", в 1930 - совместный с Тарским труд "Исследование по исчислению высказываний", в 1938 - "Логика и ее основные проблемы". В 1954 Л. разработал четырехзначную систему логики, а затем - беско-нечнозначные (n-значные) логические системы, в которых множество истинностных значений счетно-бесконечно или имеет мощность континуума (множества). В качестве истинностных значении выступают рациональные числа из отрезка (О, 1). Моделями бесконечнозначных логик Л. являются им же разработанные алгебры. Л. разработал способ формализации аристотелевской силлогистики, изложив ее в терминах, принятых современной математической логикой. Фор-мализированная система дает представление силлогистики в виде логического исчисления естественного вывода. В своих логических исследованиях Л. применял разработанную им бесскобочную символику (для исключения из формализованного языка скобок), в которой элементарные высказывания обозначаются малыми буквами латинского алфавита, а логические операторы - большими буквами того же алфавита (N-отрицание, К-конъюнкция, А - неисключающая дизъюнкция, С - импликация, R - эквивалентность). С.В. Воробьева... смотреть
(Lukasiewicz)Ян, 1878-1956, логік і філософ, співзасновник львівсько-варшавської школи; професор Львівського та Варшавського унів., з 1945 Королівської... смотреть
ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956), польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).<br><br><br>... смотреть
p.n.Lukasiewicz
Lukasiewicz
(род. 21 дек. 1878, Лемберг ум. 23 февр. 1956, там же) польск. логик; с 1911 профессор, сначала в Лемберге, а с 1920 в Варшаве, с 1949 в Дублине. Основатель многозначной логики (см. Формализм). Осн. работы: *Z zagadnien logiki i filozofii. Pisma wybrane*, 1961; *Selected works*, 1970; *Aristotiles syllogistic from the standpoint of modern formal logic*, 1951 (рус. пер. *Аристотелевская силлогистика с точки зрения современной формальной логики*, 1959).... смотреть
(1878-1956) польск. философ и логик, один из главный представителей Львовско-варшавской школы, зачинатель исследований по математической логике в Польше. С 1902 проф. Львовского и Варшавского унтов, после второй мировой войны проф. Королевской Ирландской академии наук (Дублин). Целью логических исследований Л. считал прежде всего разработку точных методов анализа философских рассуждений. Критикуя психологизм и априоризм в логике, он выдвинул идею логического плюрализма: различные логические системы способны эксплицировать различные онтологические теории. Так, классическая двузначная логика эксплицирует принцип *жесткого* детерминизма в философском и научном мышлении, тогда как переход к многозначной логике позволяет проводить корректные *индетерминистекие* рассуждения. Под индетерминизмом Л. понимал вероятностную трактовку причинности. В русле этих идей в начале 20-х годов впервые в истории логики он разработал многозначные формальные системы. Л. является одним из основоположников современной неклассической логики; ему принадлежат важные результаты в модальной, интуиционистской, вероятностной, бесконечнозначной логике, новаторские идеи в теории дедукции, в логической семантике. Он провел ряд исследований по проблемам аксиоматизации силлогистики, по истории логики; им введена оригинальная символика, успешно применяемая в современных логико-математических исследованиях. Философские взгляды Л. не получили систематического выражения. Он был убежденным сторонником рационализма в противовес субъективизму и иррационализму. Основным оружием рационализма Л. считал логико-семантический анализ языка науки и философии, структуры научных и философских теорий, прояснение смысла понятий. В отличие от представителей неопозитивизма, Л. подчеркивал важное значение теоретического уровня научного знания, несводимого к языку наблюдения. Однако, склоняясь к инструменталистской трактовке концептуальных схем в науке, Л. разделял некоторые принципиальные положения логических позитивистов. Аристотелевская силлогистика с точки зрения современной формальной логики. М., 1959; О детерминизме // Вопросы философии. 1995, № 5; Z zagadnien logiki i filozofii. Pisma wybrane. Warszawa, 1961; Selected Works. Amsterdam, 1970.... смотреть
ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956) - польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).<br>... смотреть
Лукасе́вич (Łukasiewicz) Ян (1878—1956), польский логик, один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской Ирландс... смотреть
ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956), польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).... смотреть
ЛУКАСЕВИЧ (Lukasiewicz) Ян (1878-1956) , польский логик, член Польский АН (1937), один из главных представителей львовско-варшавской школы. С 1945 профессор Королевской ирландской академии в Дублине. Построил первую систему многозначной логики. Разработал оригинальный язык для формализации логических выражений (т. н. бесскобочная символика Лукасевича).... смотреть
1843-1900, укр. актриса; театри Бачинського, Воловича, Нижанківського, Народний; ролі у виставах (Гнат Приблуда, Щира любов).
1822-82; укр. винахідник, засновник нафтової промисловості; першим розпочав промисловий видобуток нафти; з нафти шляхом дистиляції виділив гас, який за... смотреть
польский логик, один из виднейших представителей львовско-варшавской школы логики. Им разработаны первая система многозначной (трехзначной) логики, бесскобочная логическая символика, проведены оригинальные исследования аристотелевской силлогистики, логического учения ранних стоиков, классической и интуиционистской теории дедукции и модальной логики. ... смотреть
(21 дек. 1878 – 14 февр. 1956) – польский логик; член Польской АН, проф. ун-тов в Львове (с 1902) и Варшаве (1915–39), а после 2-й мировой войны – Королевской ирл. академии в Дублине; Л. – представитель львовско-варшавской школы логики, зачинатель исследований по математической логике в Польше. Решительно выступал против психологизма в логике, отстаивая применение в ней точных методов. Ранние работы Л. посвящены анализу логич. проблем индукции и причинности, а также логич. основаниям теории вероятностей. Наиболее важные результаты Л. – построение первой системы многозначной логики (трехзначная логика высказываний Л., 1913–20) и исследование (совместно с Тарским) различных проблем, связанных с многозначными логич. системами. С помощью трехзначной логики Л. построил систему пропозициональной модальной логики. Позднее (1954) он предложил более совершенный вариант модальной логики – четырехзначную систему модальной логики. Л. разработал оригинальный яз. для формализации логич. и математич. выражений (бесскобочная символика Л.). Ему принадлежит ряд результатов и в области классич. матем. логики. Он много занимался упрощением аксиоматик двузначной логики высказываний. Различая в формальных логич. системах акты принятия выводимых и отбрасывания невыводимых предложений, Л. поставил задачу аксиоматизации невыводимых предложений и сформулировал соответствующие аксиомы и правило отбрасывания для исчисления высказываний и формализованной силлогистики. Л. рассмотрел систему исчисления высказываний с переменными функторами от пропозициональных аргументов, являющуюся нек-рым фрагментом прототетики Лесьневского. Много работал Л. в области истории логики. Он исследовал логич. идеи ранних стоиков, а также силлогистику Аристотеля, к-рую представил в виде формализованной системы. Ряд работ Л. посвятил рассмотрению значения логики, отношения ее к др. наукам. В мировоззрении Л. филос. мотивы позитивизма сочетаются с идеями католицизма. Так, он выступал против детерминизма, считая, что нельзя говорить о существовании в настоящем причин будущих событий, и усматривал в предложенной им системе модальной логики основание для такого взгляда. Неоднократно подчеркивая необходимость отделять логич. проблематику от философской, Л. вместе с тем высказывался за подчинение творчества логика религ. чувству, за соединение науки и религии. Соч.: ? zagadnie? logiki i filozofii. Pisma wybrane, Warsz., 1961 (имеется полная библиогр. работ Л.); Аристотелевская силлогистика с точки зрения совр. формальной логики, пер. с англ., М., 1959. Лит.: Borkowski L., S?upесki J., The logical works of J. ?ukasiewicz, "Studia Logica", 1958, t. 8; Коtarbi?ski T., J. L. works on the history of logic, там же. ... смотреть
(21.12.1878, Львов, 13.11.1956, Дублин), польск. логик. Зачинатель исследований по математич. логике в Польше, один из лидеров львовсковаршавской школы. Л. принадлежат основополагающие работы в области многозначной логики, а также ряд исследований по построению и аксиоматизации систем пропозициональной логики, модальной логики, разработке оригинальной логической (бесскобочной) символики. Ряд трудов Л. посвящён истории логики (логические идеи ранних стоиков, силлогистика Аристотеля, которую Л. представил в виде формализов. системы). Результаты логич. исследований Л. использовал для обоснования рационалистич. позиции в противовес иррационализму в науке и философии. Филос. взгляды Л. не получили систематич. выражения. В них сочетаются элементы рационализма и феноменализма (в нек-рых моментах близкие логич. эмпиризму) с элементами католицизма, признанием границ компетентности разума, за к-рыми, по Л., находится область религ. чувства и веры.... смотреть
Лукасевич (Łukasiewicz) Ян (21.12.1878, Львов, ‒ 13.11.1956, Дублин), польский логик, член Польской АН (1937), профессор университетов во Львове (1906‒... смотреть