аксиоматический метод
101Определение — I Определение дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия (См. Понятие); этот термин (понятие) называется определяемым (лат. definiendum …
102АКСИОМА — АКСИОМА, утверждение, используемое в математике или логике как основание для дедуктивных рассуждений. см. АКСИОМАТИЧЕСКИЙ МЕТОД …
103АРИФМЕТИКА — АРИФМЕТИКА, способ расчета при помощи сложения, вычитания, умножения и деления. Формальную аксиоматическую базу под эти операции подвел Джузеппе Пеано в конце XIX в. Исходя из некоторых постулатов, например, о том, что имеется лишь одно… …
104ПЕАНО — (Реапо) Джузеппе (1858 1932), итальянский математик. Окончил Туринский университет, позже стал там профессором. Его главным достижением стал АКСИОМАТИЧЕСКИЙ МЕТОД определения натуральных ЧИСЕЛ. Считается одним из основателей математической логики …
105аксиомати́ческий — ая, ое. прил. к аксиоматика. Аксиоматический метод …
106МАТЕМАТИЧЕСКАЯ ЛОГИКА — один из ведущих разделов современной логики и математики. Сформировался в 19 20 ст. как реализация идеи о возможности записать все исходные допущения на языке знаков, аналогичных математическим и тем самым заменить рассуждения вычислениями.… …
107АЛАН ЛИЛЛЬСКИЙ — (Alain de Lille, Alanus de Insulis) (ок. 1120/1130 1202/1203) фр. теолог, философ и поэт; «универсальный доктор» (doctor universalis). Преподавал в Париже (ок. 1157 1170) и Монпелье (ок. 1171 1185); боролся с ересью катаров. В старости, став… …
108МОДАЛЬНАЯ ЛОГИКА — раздел логики, в котором исследуются логические связи модальных высказываний, т.е. высказываний, включающих модальности. Мл. слагается из ряда направлений, каждое из которых занимается модальными высказываниями определенного типа. В современной М …
109ПАРАДОКС — (греч. paradoxos неожиданный, странный) в широком смысле: утверждение, резко расходящееся с общепринятым, устоявшимся мнением, отрицание того, что представляется «безусловно правильным»; в более узком смысле два противоположных утверждения, для… …
110ФОРМАЛИЗМ — направление в эстетике, искусстве, литературе, акцентирующее значение формы в ущерб содержанию или даже при полном забвении последнего; в этике термин, обозначающий всякую этическую теорию, которая, подобно этике И. Канта, кладет в основу своих… …
