Справочник
Справочник
 

Сборник статей

Статьи тематикам:

  • Экономика

  • Справочник

    Справочник

    Полный список слов справочника

     
    А  Б  В  Г  Д  Е  Ж  З  И  К  Л  М  Н  О  П  Р  С  Т  У  Ф  Х  Ц  Ч  Ш  Щ  Э  Ю  Я

    Справочник ЛОГИКА (греч . logike)

    ЛОГИКА (греч . logike)

    наука о способах доказательств и опровержений; совокупность научных теорий, в каждой из которых рассматриваются определенные способы доказательств и опровержений. Основателем логики считается Аристотель. Различают индуктивную и дедуктивную логику, а в последней - классическую, интуиционистскую, конструктивную, модальную и др. Все эти теории объединяет стремление к каталогизации таких способов рассуждений, которые от истинных суждений-посылок приводят к истинным суждениям-следствиям; каталогизация осуществляется, как правило, в рамках логических. исчислений. Особую роль в ускорении научно-технического прогресса играют приложения логики в вычислительной математике, теории автоматов, лингвистике, информатике и др. См. также Математическая логика.

    Случайная справка

    ГАМИЛЬТОН Уильям Роуан (1805-65)
    ГАЛИЧЬЯ ГОРА
    БОЛХОВИТИНОВ Евфимий Алексеевич (в монашестве - Евгений) (1767-1837)
    ГАРАНТИЯ (от франц . garantie - обеспечение)
    ВСЕРОССИЙСКОЕ МИНЕРАЛОГИЧЕСКОЕ ОБЩЕСТВО при РАН
    Полезное: