аксиоматизация
41Постулат — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …
42Постулирование — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …
43Постулят — Аксиома (др. греч. ἀξίωμα утверждение, положение) или постулат утверждение (факт), принимаемое истинным без доказательства, а также как «фундамент» для построения доказательств. Слово «аксиома», кроме того, имеет значения: перен. то, что не… …
44КАВАЙЕС — КАВАЙЕС (Cavailles) Жан (1903 44) французский философ математики, ученик Л. Брюнсвика, видный представитель структуралистской философии математики, имеющей своим истоком абстрактную алгебру, которая интенсивно разрабатывалась в 20 30 х гг. 20 …
45НЕКЛАССИЧЕСКИЕ ЛОГИКИ — НЕКЛАССИЧЕСКИЕ ЛОГИКИ широкая область логических исследований, выходящая за пределы или, наоборот, сужающая область исследований классической логики высказываний и логики предикатов. Предпосылки для неклассической логики были высказаны… …
46ПАРА НЕПРОТИВОРЕЧИВАЯ — ПАРА НЕПРОТИВОРЕЧИВАЯ логика (греч. тора возле, вне) класс логических исчислений, в которых логический принцип “из противоречия следует все, что угодно”, не имеет места. Термин “паранепротиворечивая логика” введен в 1976 перуанским философом… …
47аксиоматико-дедуктивный метод — АКСИОМАТИКО ДЕДУКТИВНЫЙ МЕТОД (от греч. axioma принятое положение и лат. deductio выведение) один из способов конструирования теоретических систем. Использование данного метода предполагает предварительное принятие определенных постулатов …
48аксиоматический метод — АКСИОМАТИЧЕСКИЙ МЕТОД (от греч. axioma) принятое положение способ построения научной теории, при котором в доказательствах пользуются лишь аксиомами, постулатами и ранее выведенными из них утверждениями. Впервые ярко продемонстрирован… …
49гипотетико-дедуктивная модель теории — ГИПОТЕТИКО ДЕДУКТИВНАЯ МОДЕЛЬ ТЕОРИИ модель научной теории, репрезентирующая ее концептуальную структуру в виде системы взаимосвязанных гипотез и выводимых из них дедуктивных следствий. Формирование теорий как сложноорганизованных …
50нечеткая логика — НЕЧЕТКАЯ ЛОГИКА термин, появившийся в связи с развитием теории нечетких подмножеств, предложенной амер. математиком Л. Заде в 1965. Согласно Заде, классическое понятие функции принадлежности элемента множеству является… …