- математическая дедукция
- мат. mathematical deduction
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДЕДУКЦИЯ — (от лат. выведение) – метод познания, основанный на получении частных выводов из общих положений. Дедукция – это движение нашего мышления от общего к единичному, т.е. переход по правилам логики от посылок к их следствиям. Термин «дедукция»… … Философия науки и техники: тематический словарь
Математическая теория доказательств — Теория доказательств (англ. proof theory) раздел математической логики, в котором феномен математического доказательства сам становится объектом, например алгебры или арифметики. Доказательство обычно представляют как индуктивно возникающие… … Википедия
ДЕДУКЦИЯ — категория философии и методологии науки, имеющая два основных значения: 1) вывод от общего знания к менее общему, частному и даже единичному (с помощью правила подстановки вместо общих терминов их конкретных значений); 2) всякий логический вывод … Философия науки: Словарь основных терминов
Логика — Гр … Википедия
Логик — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логика (философия) — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логическое мышление — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Логичность — Логика (др. греч. λογική «наука о рассуждении», «искусство рассуждения» от λόγος «речь», «рассуждение») наука о формах, методах и законах интеллектуальной познавательной деятельности, формализуемых с помощью логического языка. Поскольку это… … Википедия
Экономика (наука) — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей … Википедия
Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
НАУКА — особый вид познавательной деятельности, направленный на выработку объективных, системно организованных и обоснованных знаний о мире. Взаимодействует с др. видами познавательной деятельности: обыденным, художественным, религиозным, мифологическим … Философская энциклопедия