- метод логического доказательства
- мат. case method
Большой англо-русский и русско-английский словарь. 2001.
Большой англо-русский и русско-английский словарь. 2001.
ДОКАЗАТЕЛЬСТВА БЫТИЯ БОЖИЯ — разработанные в философии и богословии теоретические аргументы, обосновывающие средствами человеческого разума необходимость признания существования Бога. В Свящ. Писании ВЗ и НЗ, к рое свидетельствует о Боге и является основанием христ. веры в… … Православная энциклопедия
Метод индукции — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
Метод дедукции — Дедукция (лат. deductio выведение) метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического… … Википедия
Исключения метод — (лог.) один из видов логического доказательства; состоит в перечислении всех частных случаев какого либо общего положения, за исключением одного, и в доказательстве неприменимости их к требуемому выводу; в результате получается уверенность, что… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона
АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории, при к ром в основу теории кладутся нек рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. м. зародился в работах… … Математическая энциклопедия
АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД — АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… … Философская энциклопедия
Индуктивный метод — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… … Википедия
СХОЛАСТИЧЕСКИЙ МЕТОД — – основное достижение средневековой науки, в основе которого лежала логика Аристотеля с её категориями и процедурами и книга как основной инструмент познания, которая легла в основу распространения письменной культуры (и, прежде всего, обретения… … Философия науки и техники: тематический словарь
Дедуктивный метод — Дедукция (лат. deductio выведение) метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического… … Википедия
ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… … Философская энциклопедия
Философия — есть свободное исследование основных проблем бытия, человеческого познания, деятельности и красоты. Ф. имеет задачу весьма сложную и решает ее различным образом, стараясь соединить в одно разумное целое данные, добытые наукой, и религиозные… … Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона