ЛЬЮ́ИС КЛАРЕНС ИРВИНГ

ЛЬЮ́ИС (Lewis) Кла­ренс Ир­винг (12.4.1883, Сто­нем, штат Мас­са­чу­сетс – 3.2.1964, Кем­бридж, там же), амер. ло­гик и фи­ло­соф. По­сле окон­ча­ния Гар­вард­ско­го ун-та (учил­ся у Дж. Рой­са) пре­по­да­вал в 1911–20 в Ка­ли­фор­ний­ском ун-те, в 1920–53 – в Гар­вар­де (проф. с 1930). Член Амер. ака­де­мии ис­кусств и на­ук (1929), пре­зи­дент Амер. фи­лос. ас­со­циа­ции (1933). Ло­гич. ра­бо­ты Л. по­свя­ще­ны в осн. про­бле­мам мо­даль­ной ло­ги­ки и во­про­сам ло­ги­че­ской се­ман­ти­ки. Ука­зав на па­ра­док­сы ма­те­ри­аль­ной им­пли­ка­ции (см. в ст. Ло­ги­че­ские опе­ра­ции), её не­со­от­вет­ст­вие обыч­но­му по­ня­тию ло­гич. сле­до­ва­ния [«Им­пли­ка­ция и ал­геб­ра ло­ги­ки» («Implication and algebra of logic», 1912)], ввёл по­ня­тие стро­гой им­пли­ка­ции, со­глас­но ко­то­рой нель­зя без про­ти­во­ре­чия ут­ве­рж­дать ос­но­ва­ние ус­лов­но­го вы­ска­зы­ва­ния и од­но­вре­мен­но от­ри­цать его след­ст­вие; раз­ра­бо­тал ряд ис­чис­ле­ний стро­гой им­пли­ка­ции. В эпи­сте­мо­ло­гии про­во­дил раз­ли­чие ме­ж­ду тем, что да­но в опы­те, и ап­ри­ор­ны­ми ка­те­го­ри­аль­ны­ми прин­ци­па­ми, в тер­ми­нах ко­то­рых это чув­ст­вен­но дан­ное ин­тер­пре­ти­ру­ет­ся и оце­ни­ва­ет­ся. Со­глас­но пред­ло­жен­ной Л. «кон­цеп­туа­ли­сти­че­ской» вер­сии праг­ма­тиз­ма, не су­ще­ст­ву­ет уни­вер­саль­ной, еди­ной для всех об­ла­стей зна­ния си­сте­мы ка­те­го­рий. Для ана­ли­за эм­пи­рич. дан­ных ка­те­го­рии ка­ж­дый раз вы­би­ра­ют­ся учё­ны­ми в за­ви­си­мо­сти от нужд кон­крет­но­го ис­сле­до­ва­ния.