Смотреть больше слов в «Современном энциклопедическом словаре»
(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профессор Королевской ирландской академии в Дублине. Построил первуюсистему многозначной логики. Разработал оригинальный язык для формализациилогических выражений (т. н. бесскобочная символика Лукасевича).... смотреть
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‒... смотреть