Реа́льность — философский термин, употребляющийся в разных значениях как существующее вообще; объективно явленный мир; фрагмент универсума, составляющий предметную область соответствующей науки; объективно существующие явления, факты, то есть существующие действительно. Различают объективную (материальную) реальность и субъективную реальность.
Гипо́теза — предположение или догадка, утверждение, которое, в отличие от аксиом, постулатов, требует доказательства. Гипотеза считается научной, если она, в соответствии с научным методом, объясняет факты, охватываемые этой гипотезой; является логически непротиворечивой; принципиально опровергаема, то есть потенциально может быть проверена критическим экспериментом; не противоречит ранее установленным законам и, скорее всего, приложима к более широкому кругу явлений.
Логи́ческий позитиви́зм, также логический эмпиризм и неопозитивизм — школа философии, которая включает в себя эмпиризм, идею о том, что для познания мира необходимы наблюдаемые доказательства, опирающиеся на рационализм, основанный на математических и логико-лингвистических конструкциях в эпистемологии. Логический позитивизм утверждает, что мир познаваем, надо только избавиться от ненаблюдаемого.
Эпистемоло́гия — философско-методологическая дисциплина, исследующая знание как таковое, его строение, структуру, функционирование и развитие. Нередко слово выступает как синоним гносеологии.
Феноменоло́гия — направление в философии XX века, определявшее свою задачу как беспредпосылочное описание опыта познающего сознания (квалиа) и выделение в нём сущностных черт.
Эдмунд Густав Альбрехт Гу́ссерль — немецкий философ, основатель феноменологии.
Филосо́фия нау́ки — раздел философии, изучающий понятие, границы и методологию науки. Также существуют более специальные разделы философии науки, например философия математики, философия физики, философия химии, философия биологии, философия медицины, философия психологии.
Нау́чный ме́тод — система процедур, совокупность приёмов и операций практического или теоретического освоения действительности, а также регулятивных принципов, способов обоснования, образцов и т. д., которыми руководствуется в своей деятельности научное сообщество или конкретный специалист.
Фальсифици́руемость — критерий научности эмпирической или иной теории, претендующей на научность. Сформулирован Карлом Поппером в 1935 году. Теория удовлетворяет критерию Поппера в том случае, если существует возможность её экспериментального или иного опровержения.
Сэр Карл Раймунд По́ппер — австрийский и британский философ и социолог. Один из самых влиятельных философов науки XX столетия.
Верифика́ция в различных сферах деятельности человека может подразумевать:
- подтверждение того, что заданные требования выполнены, через предоставление объективных свидетельств;
- оценка соответствия продукта, услуги или системы нормам, требованиям, спецификациям или установленным условиям;
- проверка, подтверждение, метод доказательств каких-либо теоретических положений, алгоритмов, программ и процедур путём их сопоставления с опытными данными, алгоритмами и программами;
- методика распознавания на соответствие правде;
- в науке, проверка теоретических положений на соответствие реальности при помощи эксперимента.
Критический рационализм — эпистемологическая теория, основные принципы которой сформулированы Карлом Поппером.
«Логика научного исследования» — эпистемологический трактат англо-австрийского философа еврейского происхождения Карла Поппера, написанный в 1934. Основная проблема — проблема демаркации науки от вненаучных форм знания. Поппер вводит принцип фальсификации научного знания, интерсубъективного характера истины и внерациональности научных постулатов.
Интерсубъекти́вность — понятие, означающее 1) особую общность; 2) определённую совокупность людей, обладающих общностью установок и воззрений; 3) обобщенный опыт представления предметов.
Жи́зненный мир — центральное понятие «поздней» философии Э. Гуссерля, смысл которого заключается в преодолении узости горизонта строго феноменологического метода за счёт обращения к обусловленности сознания мировыми мотивами его конституции.
Проблема демаркации — проблема поиска критерия, по которому можно было бы отделить теории, являющиеся научными с точки зрения эмпирической науки, от ненаучных предположений и утверждений, метафизики и формальных наук. Проблема демаркации — это также проблема определения границ науки, отделяющих её от других способов, которыми человек может излагать свои мысли, чувства и убеждения.
«Картезианские размышления» — философский трактат Эдмунда Гуссерля, одна из основных его работ.
Сильная программа или строгая социология — концепция в социологии научного знания, развиваемая Дэвидом Блуром, Барри Барнсом, Гарри Коллинзом, Дональдом Маккензи и Джоном Генри. Сильная программа критически относится к предшествующей социологии науки и исследует не только ошибочные или ложные научные теории и технологии, не нашедшие дальнейшего применения, но и успешные теории и технологии симметричным образом. Базовые предпосылки концепции — отказ наделять научное знание особыми свойствами и, как следствие, рассмотрение науки как специфической формы культуры.
Яросла́в Анато́льевич Слинин — советский и российский философ , логик, феноменолог. Один из создателей серии книг «Слово о сущем» издательства «Наука». Профессор Института философии Санкт-Петербургского государственного университета, заведующий кафедрой логики (1984—1999).
Протокольные предложения — это исходные элементарные утверждения, описывающие то, что дано нам непосредственно в опыте. Другими словами, они образуют эмпирический базис науки, материалом для которого выступают наблюдения и эксперименты. Кроме того, протокольные предложения рассматриваются как предел логического анализа языка науки, сведение к которому необходимо для установления истинности любого содержательного утверждения о мире в результате его эмпирической проверки.