ЛО́РЕНЦЕН

ЛО́РЕНЦЕН (Lorenzen) Па­уль (24.3.1915, Киль – 1.10.1994, Гёт­тин­ген), нем. ма­те­ма­тик и фи­ло­соф. В 1933–38 учил­ся в ун-тах Ки­ля, Бер­ли­на и Гёт­тин­ге­на. С 1946 ра­бо­тал в Бонн­ском ун-те, в 1956–1962 проф. Киль­ско­го, в 1962–80 – Эр­лан­ген­ско­го ун-тов. Ос­но­ва­тель (вме­сте с В. Кам­ла­хом) эр­лан­ген­ской шко­лы в фи­ло­со­фии нау­ки. Тео­ре­тик кон­ст­рук­ти­виз­ма, пред­став­ляю­ще­го со­бой фи­лос. обоб­ще­ние по­стро­ен­ной им кон­цеп­ции опе­ра­тив­ной (кон­ст­рук­тив­ной) ло­ги­ки и ма­те­ма­ти­ки. При ис­сле­до­ва­нии про­блем кон­ст­рук­тив­но­го обос­но­ва­ния гео­мет­рии Л., опи­ра­ясь на идеи Г. Динг­ле­ра, пер­во­на­чаль­но счи­тал гео­мет­рию раз­де­лом про­то­фи­зи­ки, по­сколь­ку в ней речь идёт об ана­ли­зе при­род­ных объ­ек­тов. Од­на­ко впо­след­ст­вии он стал трак­то­вать гео­мет­рию как тео­рию ма­те­ма­тич. фи­гур, в ко­то­рой из ис­ход­ных форм по при­ня­тым пра­ви­лам кон­ст­руи­ро­ва­ния по­лу­ча­ют­ся про­из­вод­ные фор­мы. По­стро­ен­ная Л. об­щая тео­рия аб­ст­рак­ций ох­ва­ты­ва­ет т. н. ма­те­ма­ти­ку струк­тур, кон­ст­рук­тив­ную мно­жеств тео­рию, кон­ст­рук­тив­ную ве­ро­ят­но­стей тео­рию и об­щую се­ман­ти­ку. Фор­му­ли­руя про­грам­му эр­лан­ген­ской шко­лы, Л. ак­цен­ти­ро­вал роль язы­ка при по­строе­нии спе­ци­аль­ных на­уч. дис­ци­п­лин и че­ло­ве­че­ской прак­ти­ки в це­лом. В этом кон­тек­сте прак­ти­ку пред­ва­ря­ет ло­гич. про­пе­дев­ти­ка, ко­то­рая да­ёт кон­ст­рук­тив­ное обос­но­ва­ние прак­тич. фи­ло­со­фии на ос­но­ве ис­сле­до­ва­ния ти­пов мо­раль­ных по­ступ­ков, норм и форм ар­гу­мен­та­ции. Свое­об­раз­ной тео­ри­ей ар­гу­мен­та­ции ста­ла диа­ло­ги­че­ская ло­ги­ка, раз­ра­ба­ты­вав­шая­ся Л. совм. с нем. фи­ло­софом К. Ло­рен­цом (р. 1932).