аксиоматический метод
111ИСЧИСЛЕНИЕ КЛАССОВ — аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем);… …
112ЭЛЕЙСКАЯ ШКОЛА — др. греч. филос. школа кон. 6 5 вв. до н. э., в которую входили Парменид, его ученик Зенон Элейский (оба изг. Элея в Юж. Италии) и Мелисс Самосский. В учении Э. ш. заметно влияние идей Ксено фана и ранних пифагорейцев. Общим для элеатов… …
113АКСИОМА — основное положение, самоочевидный принцип. В дедуктивных научных теориях А. наз. основные исходные положения той или иной теории, из к рых путем дедукции, т. е. чисто логич. средствами, извлекается все остальное ее содержание. См. Аксиоматический …
114ТЕОРИЯ — формальная то же, что формальная система. См. также Аксиоматический метод. К ТЕОРИЯ раздел алгебраической топологии, изучающий свойства векторных расслоений алгебраич. и топологич. методами. В отличие от алгебраической К теории, иногда наз.… …
115ФИНИТИЗМ — идущая от Д. Гильберта (D. Hilbert) методологич. точка зрения на то, какие объекты и способы рассуждений в математике следует считать абсолютно надежными. Основные требования Ф. таковы: 1) объекты рассуждений конструктивные объекты, напр.… …
116ФОРМАЛИЗОВАННЫЙ ЯЗЫК — искусственный язык, для к рого имеется точное формальное определение класса выражений языка и достаточно строгое объяснение значения или смысла этих выражений. Обычно выражения Ф. я. представляют собой формальные комбинации исходных символов,… …
117Куайн Уиллард ван Орман — (Quine) (1908 1997), американский логик, математик и философ, представитель так называемого неопрагматизма, или логического прагматизма. Труды по построению аксиоматической системы, включающей логику классов, по логической семантике и модальной… …
118ДЕДУКЦИЯ — (от лат. deductio выведение), вывод по правилам логики; цепь умозаключений (рассуждение), звенья к рой (высказывания) связаны отношением логич. следования. Началом (посылками) Д. являются аксиомы, постулаты или просто гипотезы, имеющие характер… …
119Дедекинд, Юлиус Вильгельм Рихард — В Википедии есть статьи о других людях с такой фамилией, см. Дедекинд. Юлиус Вильгельм Рихард Дедекинд Julius Wilhelm Richard Dedekind …
120Аксиоматика Колмогорова — Аксиоматика Колмогорова  общепринятый аксиоматический метод при математическом описании событий и вероятностей; предложен Андреем Николаевичем Колмогоровым[1][2] в 1929, окончательно в 1933; придал теории вероятностей стиль, принятый в… …
