элемент последовательности логики

  • 1ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …

    Философская энциклопедия

  • 2КОГЕН — (Cohen) Герман (1842 1918) немецкий философ, основатель и виднейший представитель марбургской школы неокантианства. Основные работы: ‘Теория опыта Канта’ (1885), ‘Обоснование Кантом этики’ (1877), ‘Обоснование Кантом эстетики’ (1889), ‘Логика… …

    История Философии: Энциклопедия

  • 3ВЕРОЯТНОСТНАЯ ЛОГИКА — логическая система, в которой высказываниям соответствует непрерывная шкала значений истинности от 0 до 1, причем нуль приписывается высказыванию о невозможном событии, а 1 практически достоверному. В.л. формально можно рассматривать как… …

    Философская энциклопедия

  • 4НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим …

    Философская энциклопедия

  • 5ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …

    Философская энциклопедия

  • 6АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …

    Философская энциклопедия

  • 7Математические обозначения — Список используемых в математике специфических символов можно увидеть в статье Таблица математических символов Математические обозначения («язык математики»)  сложная графическая система обозначений, служащая для изложения абстрактных… …

    Википедия

  • 8МИФ — (греч. слово, речь, предание) язык описания, оказавшийся, благодаря своей исконной символичности, удобным для выражения вечных моделей личного и общественного поведения, неких сущностных законов социального и природного космоса. М. является… …

    Современный философский словарь

  • 9Аристотель и перипатетики — Аристотелевский вопрос Жизнь Аристотеля     Аристотель родился в 384/383 гг. до н. э. в Стагире, на границе с Македонией. Его отец по имени Никомах был врачом на службе у македонского царя Аминта, отца Филиппа. Вместе с семьей молодой Аристотель… …

    Западная философия от истоков до наших дней

  • 10Философия — есть свободное исследование основных проблем бытия, человеческого познания, деятельности и красоты. Ф. имеет задачу весьма сложную и решает ее различным образом, стараясь соединить в одно разумное целое данные, добытые наукой, и религиозные… …

    Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона