Логистическое Распределение

..

- термин, употребляемый для обозначения систем логики, характеризующихся попыткой сведения логич. Рассуждений к формальным вычислениям. В древности и в средние века термин "Л." означал практич. Операции арифметич. Вычислений. Г. Лейбниц (G. Leibniz, кон. 17 в.) употреблял термин "Л." для обозначения исчисления умозаключений. В нач. 20 в. Под Л. Понимали математическую логику. . ..

- одно из направлений в основаниях математики, ставящее целью обосновать математику путем сведения ее исходных понятий к понятиям логики. Мысль о сведении математики к логике высказывалась Г. Лейбницем (G. Leibniz, кон. 17 в.). Практическое осуществление логицистич. Тезиса было предпринято в кон. 19 - нач. 20 вв. В работах Г. Фреге и Б. Рассела (см. [1], [2]). Взгляд на математику как на часть логики обусловлен тем, что любую математич. Теорему в аксиоматич. Системе можно рассматривать как нек-р..

- формула логико-математич. Языка, принимаемая в качестве аксиомы при построении формальной теории, истинная в любой структуре для данного языка в силу смысла логич. Символов. Л. А. Выбираются таким образом, чтобы множество логических следствий из аксиом в точности совпадало с множеством теорем. Так, при построении формализованной теории в нек-ром языке первого порядка Lв качестве логич. Аксиом могут быть выбраны все формулы, получающиеся подстановкой произвольных формул языка Lвместо предикатн..