ПОРЕ́ЦКИЙ ПЛАТОН СЕРГЕЕВИЧ

ПОРЕ́ЦКИЙ Пла­тон Сер­гее­вич [3(15).10.1846, Ели­са­вет­град, ны­не Ки­ро­во­град – 9(22).8.1907, с. Жо­ведь, ныне Чер­ни­гов­ской обл.], рус. ло­гик, ма­те­ма­тик, ас­тро­ном. Окон­чил Харь­ков­ский ун-т (1870); с 1874 ра­бо­тал в об­сер­ва­то­ри­ях в Пул­ко­во и Ас­т­ра­ха­ни. С 1876 ас­тро­ном-на­блю­да­тель Ка­зан­ско­го ун-та, в 1886–89 при­ват-до­цент это­го ун-та, где в 1888 про­чёл пер­вый в Рос­сии курс лек­ций по ма­те­ма­тич. ло­ги­ке и её при­ло­же­ни­ям к тео­рии ве­роят­но­сти. Ав­тор пер­вых рос. ра­бот по ал­геб­ре ло­ги­ки, в ко­то­рых пред­ло­жил но­вый ме­тод ре­ше­ния ло­гич. ра­венств и не­ра­венств («О спо­со­бах ре­ше­ния ло­ги­че­ских ра­венств и об об­рат­ном спо­со­бе ма­те­ма­ти­че­ской ло­ги­ки», 1884; ста­тьи 1898–1904, опубл. на франц. яз.), раз­ви­вая и до­пол­няя идеи Дж. Бу­ля, Э. Шрё­де­ра и У. С. Дже­вон­са. Ра­бо­ты П. ока­за­ли влия­ние на даль­ней­шее раз­ви­тие ма­те­ма­тич. ло­ги­ки («Ал­геб­ра ло­ги­ки» франц. ма­те­ма­ти­ка, ло­ги­ка и фи­ло­со­фа Л. Ку­тю­ра, 1868–1914; ра­бо­ты по бу­ле­вой ал­геб­ре амер. ло­ги­ка А. Блей­ка, и др.).