Мышле́ние — психический процесс, высшая ступень человеческого познания относительно себя и окружающего мира; Мышление является функцией головного мозга. Мышление — ментальный процесс, неразрывно связанный с использованием внутренней речи. Он включает в себя как и сознательные процессы, так и иррациональную корневину. Однако в психологии и медицине существуют и другие определения.
Аксио́ма, или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами.
Логи́ческий позитиви́зм, также логический эмпиризм и неопозитивизм — школа философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающиеся на рационализм, основанный на математических и логико-лингвистических конструкциях в эпистемологии. Логический позитивизм утверждает, что мир познаваем, надо только избавиться от ненаблюдаемого.
Нау́чный ме́тод — система процедур, совокупность приёмов и операций практического или теоретического освоения действительности, а также регулятивных принципов, способов обоснования, образцов и т. д., которыми руководствуется в своей деятельности научное сообщество или конкретный специалист.
Майкл Фараде́й — английский физик-экспериментатор и химик.
О́пытное зна́ние (о́пыт), также эмпири́ческое зна́ние или эмпи́рика — совокупность знаний и умений, приобретённых человеком в процессе взаимодействия с внешним по отношению к нему миром, а также в процессе собственных внутренних переживаний — вся совокупность чувственных восприятий и психической деятельности мозга.
Метод Бэкона — индуктивный метод познания, представленный Ф. Бэконом в сочинении «Новый органон» (1620).
Патоло́гия — раздел медицинской науки, изучающий болезненные процессы и состояния в живом организме. Состоит из патологической анатомии, изучающей изменения в строении органов и тканей, вызванные болезненными процессами, и патологической физиологии, изучающей нарушение функций органов и организма в целом при его заболеваниях.
Инду́кция — умозаключение от фактов к некоторой гипотезе. Различают полную индукцию, когда обобщение относится к конечно-обозримой области фактов, и неполную индукцию, когда оно относится к бесконечно или конечно-необозримой области фактов.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Методоло́гия нау́ки, в традиционном понимании, — это учение о методах и процедурах научной деятельности, а также раздел общей теории познания (гносеологии), в особенности теории научного знания (эпистемологии) и философии науки.
Структурная индукция — конструктивный метод математического доказательства, обобщающий математическую индукцию на произвольные рекурсивно определённые частично упорядоченные совокупности. Структурная рекурсия — реализация структурной индукции в форме определения, процедуры доказательства или программы, обеспечивающая индукционный переход над частично упорядоченной совокупностью.
Дэвид Чарльз Стоув, австралийский философ науки.
Индукцио́нный нагре́в — метод бесконтактного нагрева электропроводящих материалов токами высокой частоты и большой величины.
Проблема индукции — философская проблема, впервые сформулированная Т. Гоббсом (1588—1679) и развитая в середине XVIII века Дэвидом Юмом.
Вероятностная логика — логика, в которой высказываниям приписываются не исключительно значения истины и лжи как в двузначной логике, а непрерывная шкала значений истинности от 0 до 1, так, что ноль соответствует невозможному событию, единица — практически достоверному. Значения истинности в вероятностной логике называются вероятностями истинности высказываний, степенями правдоподобия или подтверждения.
Новый Органон — трактат на латинском языке английского философа, основоположника эмпиризма Фрэнсиса Бэкона, излагающий новое понимание сути науки. Издан в 1620 году в двух книгах. Является второй частью задуманного Бэконом труда «Великое восстановление наук» и самой известной из работ Бэкона.
Совпадение индуктивных обобщений — это научный принцип, сообразно которому достоверность данных равно подтверждается доказательствами из независимых источников. Считается, что индуктивные обобщения совпадают, когда вывод из одного набора фактов, соответствует выводу из другого набора, не связанного с первым. Английский термин consilience of induction был впервые предложен Уильямом Хьюэллом и буквально обозначает "совместный прыжок".
Мифы о науке — широко распространённые, но неверные представления о природе науки. Согласно другому определению мифы о науке — это стереотипные, но ложные заблуждения о науке.
