формализация
111Манеев, Алексей Климентьевич — (р. 15.05.1921) спец. по филос. естествознания и логике. Род. в дер.Ро ги Гомельской обл. БССР. По окончании средней школы (медтехникум) в 1940 призван в Красную Армию. Во время Великой Отеч. войны тяжело ранен (1943). Демобилизован (1944).… …
112Маркин, Владимир Ильич — (р. 09.05.1958) спец. по логике; д р филос. наук, проф. Род. в Севастополе. Окончил филос. ф т МГУ (1980), асп. того же ф та по кафедре логики (1983). С 1984 работает на этой кафедре, в наст. вр. проф. Зам. декана филос. ф та МГУ по науч. работе… …
113Петров, Юрий Евдокимович — (р. 10.02.1939) спец. в обл. общетеор. филос., методол. естественно науч. и соц. познания; канд. филос. наук, доц. Род. в пос. Урмары (Чувашия). Окончил филос. ф т МГУ (1965). В 1965 1979 асп., ст. преп., доц. кафедры филос. во Всес заочном… …
114Анализ — (от греч. análysis разложение, расчленение) процедура мысленного, а часто также и реального расчленения предмета (явления, процесса), свойства предмета (предметов) или отношения между предметами на части (признаки, свойства, отношения);… …
115Дескриптивная лингвистика — (от позднелат. descriptivus описательный) одно из направлений лингвистического структурализма, господствовавшее в американском языкознании в 30 50 е гг. 20 в. У истоков Д. л. стоят американские языковеды Л. Блумфилд и Э. Сепир,… …
116Логика науки — в специальном смысле дисциплина, применяющая понятия и технический аппарат современной логики к анализу систем научного знания. Термин «Л. н.» часто употребляется также для обозначения законов развития науки (логика научного развития),… …
117Логика предикатов — раздел математической логики (См. Логика), изучающий логические законы, общие для любой области объектов исследования (содержащей хоть один объект) с заданными на этих объектах предикатами (т. е. свойствами и отношениями). В результате… …
118Логицизм — направление в основаниях математики и философии математики, основным тезисом которого является утверждение о «сводимости математики к логике», т. е. возможности (и необходимости) определения всех исходных математических понятий (в рамках… …
119Математический формализм — одно из основных направлений в основаниях математики, представители которого, следуя Д. Гильберту, считают, что каждый раздел математики может (а на достаточно продвинутой стадии своего построения и должен) быть подвергнут полной… …
120Машин и механизмов теория — наука об общих методах исследования и проектирования машин (См. Машина) и Механизмов. Наиболее развита часть науки, называемая теорией механизмов, в которой изучаются преимущественно свойства механизмов, являющиеся общими для всех (или… …