метод логического вывода
41теория — ТЕОРИЯ В широком смысле комплекс взглядов, представлений, идей, направленных на истолкование и объяснение какого либо явления; в более узком и специальном смысле высшая, самая развитая форма организации научного знания, дающая целостное… …
42Знание — У этого термина существуют и другие значения, см. Знание (значения). Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите …
43Знание (в информатике) — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …
44Знание (понятие) — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …
45Знания — Знание форма существования и систематизации результатов познавательной деятельности человека. Выделяют различные виды знания: научное, обыденное (здравый смысл), интуитивное, религиозное и др. Обыденное знание служит основой ориентации человека в …
46Философия в советской и постсоветской России — 1. Советский период. Развитие философской мысли в России после 1917 г. претерпело кардинальные изменения. Мн. представители религиозно философских течений, господствовавших в кон. XIX нач. XX в., были высланы или эмигрировали из страны.… …
47дедукция — (от лат. deductio выведение) движение знания от более общего к менее общему, частному, выведение следствия из посылок. Д. тесно связана с индукцией. Логика рассматривает Д. как вид умозаключения. Психология изучает развитие и нарушение… …
48СЛЕДСТВИЕ — см. Причина и следствие. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. СЛЕДСТВИЕ …
49ОПРЕДЕЛИМОСТЬ — одно из осн. понятий методологии дедуктивных наук, связанное с особенностями и возможностями языковых средств описания и формализации, а также с аксиоматич. построением теорий. Различают О. синтаксическую и семантическую (см. Синтаксис и… …
50ЭЛИМИНАЦИОННАЯ ТЕОРЕМА — ЭЛИМИНАЦИОННАЯ ТЕОРЕМА фундаментальная теорема доказательств теории. Термин “элиминационная теорема” введен X. Карри в качестве альтернативного названия теоремы об устранении сечения, которая впервые была сформулирована и доказана Г. Генценом …