ЛУКАСЕ́ВИЧ ЯН

ЛУКАСЕ́ВИЧ (Łukasiewicz) Ян (21.12.1878, Львов – 13.2.1956, Дуб­лин), польск. ло­гик и фи­ло­соф, пред­ста­ви­тель львов­ско-вар­шав­ской шко­лы, за­чи­на­тель ис­сле­до­ва­ний по ма­те­ма­тич. ло­ги­ке в Поль­ше, акад. Поль­ской АН (с 1937). Фи­лос. об­ра­зо­ва­ние по­лу­чил во Льво­ве под рук. К. Твар­дов­ско­го, за­тем – в Бер­ли­не и Лу­ве­не (Лё­ве­не, Бель­гия). Проф. (1915–1939) и рек­тор (1922–23 и 1931–32) Вар­шав­ско­го ун-та. По­сле 2-й ми­ро­вой вой­ны проф. Ко­ро­лев­ской ирл. ака­де­мии в Дуб­ли­не (с 1946).

Це­лью ло­гич. ис­сле­до­ва­ний Л. счи­тал пре­ж­де все­го раз­ра­бот­ку точ­ных ме­то­дов ана­ли­за фи­лос. рас­су­ж­де­ний, при­зван­ных обес­пе­чить од­но­знач­ность фи­лос. по­ня­тий. Ос­но­ва­ни­ем фи­ло­со­фии мо­жет стать «на­уч­ная ме­та­фи­зи­ка», или об­щая тео­рия пред­ме­тов. При­ме­не­ние ло­гич. ме­то­до­ло­гии, в ча­ст­но­сти ак­сио­ма­ти­ко-де­дук­тив­но­го ме­то­да, по­зво­лит све­сти к ми­ни­му­му чис­ло ис­ход­ных фи­лос. по­ня­тий, об­ла­даю­щих оче­вид­но­стью и ин­туи­тив­ной яс­но­стью. Кри­ти­куя пси­хо­ло­гизм и ап­рио­ризм в ло­ги­ке, Л. вы­дви­нул идею ло­гич. плю­ра­лиз­ма: разл. ло­гич. сис­те­мы спо­соб­ны экс­пли­ци­ро­вать раз­ные он­то­ло­гич. тео­рии. Так, клас­сич. дву­знач­ная ло­ги­ка (см. Ло­ги­ка вы­ска­зы­ва­ний) экс­пли­ци­ру­ет прин­цип «жё­ст­ко­го» де­тер­ми­низ­ма в фи­лос. и на­уч. мыш­ле­нии, то­гда как пе­ре­ход к мно­го­знач­ной ло­ги­ке по­зво­ля­ет про­во­дить кор­рект­ные «ин­де­тер­ми­ни­ст­ские» рас­су­ж­де­ния (под ин­де­тер­ми­низ­мом Л. по­ни­мал ве­ро­ят­но­ст­ную трак­тов­ку при­чин­но­сти).

Л. – один из ос­но­во­по­лож­ни­ков совр. не­клас­си­че­ской ло­ги­ки. Ми­ро­вую из­вест­ность при­нес­ло ему соз­да­ние в 1920 пер­вой сис­те­мы мно­го­знач­ной (трёх­знач­ной) ло­ги­ки. Л. при­над­ле­жат важ­ные раз­ра­бот­ки в об­лас­ти мо­даль­ной, ин­туи­цио­ни­ст­ской, ве­ро­ят­но­ст­ной, бес­ко­неч­но­знач­ной ло­ги­ки, но­ва­тор­ские идеи в тео­рии де­дук­ции, в ло­гич. се­ман­ти­ке. Он про­вёл ис­сле­до­ва­ния по про­бле­мам ак­сио­ма­ти­за­ции фор­ма­ли­зо­ван­ной сил­ло­ги­сти­ки, по ис­то­рии ло­ги­ки (сил­ло­ги­сти­ка Ари­сто­те­ля, ло­ги­ка древ­них стои­ков); им вве­де­на ори­ги­наль­ная бес­ско­боч­ная за­пись ло­ги­ко-ма­те­ма­тич. фор­мул.