Аксиома Вольфрама — является результатом исследований, осуществленных Стивеном Вольфрамом[1] в поиске кратчайшей аксиомы из одного уравнения, эквивалентной аксиомам булевой алгебры (или логике высказываний). Результатом[2] его поиска стала аксиома с шестью… … Википедия
Тождество — основное понятие логики, философии и математики; используется в языках научной теорий для формулировки определяющих соотношений, законов и теорем. В математике Т. это Уравнение, которое удовлетворяется тождественно, то есть… … Большая советская энциклопедия
Онтологический аргумент — Онтологический аргумент это одна из категорий аргументов, относящихся к вопросу существования Бога, появившаяся в Христианской Теологии. Не существует точных критериев для классификации онтологических аргументов, но аргументы типично… … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
ВЕРОЯТНОСТЬ — общенаучная и филос. категория, обозначающая количественную степень возможности появления массовых случайных событий при фиксированных условиях наблюдения, характеризующую устойчивость их относительных частот. В логике семантическая степень… … Философская энциклопедия
ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность … Философская энциклопедия
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
БЕСКОНЕЧНОЕ — филос. категория, характеризующая неисчерпаемость материи и движения, многообразие явлений и предметов материального мира, форм и тенденций его развития. Признавая объективное существование Б. в природе, диалектич. материализм отвергает… … Философская энциклопедия
Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… … Большая советская энциклопедия
ИНДЕТЕРМИНИЗМ — см.: ДЕТЕРМИНИЗМ И ИНДЕТЕРМИНИЗМ. Философия: Энциклопедический словарь. М.: Гардарики. Под редакцией А.А. Ивина. 2004. ИНДЕТЕРМИНИЗМ … Философская энциклопедия
