аксиоматизация
11пропозициональная логика — ЛОГИКА ВЫСКАЗЫВАНИЙ, пропозициональная логика раздел символической логики, изучающий сложные высказывания, образованные из простых, и их взаимоотношения. В отличие от логики предикатов, простые высказывания при этом выступают как… …
12Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …
13аргументации теория — теория, изучающая те многообразные дискуссионные приемы, которые используются в процессе аргументации. А. т., начавшая складываться еще в античности, прошла долгую историю, богатую взлетами и падениями. Сейчас можно говорить о становлении новой… …
14достаточного основания принцип — принцип, требующий, чтобы в случае каждого утверждения указывались основания, в силу которых оно принимается и считается истинным. В логике традиционной это требование обоснованности знания, именуемое законом достаточного основания, включалось… …
15Караваев, Эдуард Федорович — (р. 28.03.1939) логик и философ; д р филос. наук, проф. Род. в Ленинграде. Окончил приборостроительный ф т Ленингр. ин та авиац. приборостроения (1962), асп. филос. ф та ЛГУ (1971). В 1962 1967 работал проектировщиком счетно решающих устройств и… …
16Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …
17Конвенционализм — (от лат. conventio соглашение) направление в философском истолковании науки, согласно которому в основе математических и естественнонаучных теорий лежат произвольные соглашения (условности, определения, конвенции между учёными), выбор… …
18НЕЙМАН ФОН — (Neumann von) Джон (Янош, Иоганн) (1903 1957) математик, философ (США). Член Национальной академии США, Американского философского общества, Американской Академии искусств и наук, Академии деи Линчей (Италия), Ломбардского института наук и… …
19АРГУМЕНТАЦИИ ТЕОРИЯ — теория, изучающая многообразные дискурсивные приемы, используемые одними людьми для изменения убеждений др. людей (аудитории). А.т., начавшая складываться еще в античности, прошла долгую историю, богатую взлетами и падениями. Сейчас можно… …
20ДОСТАТОЧНОГО ОСНОВАНИЯ ПРИНЦИП — принцип, требующий, чтобы в случае каждого утверждения указывались убедительные основания, в силу которых оно принимается и считается истинным. Требование достаточных или убедительных оснований столь же старо, как и само теоретическое мышление. В …
