В науке преобладают два вида знания: знание путем знакомства (эмпирическое знание) и знание на основе аргументов (теоретическое знание), но непренебрежимую роль играет и знание путем рефлексии – критического размышления над неявно принятыми интеллектуальными рамками, понятиями, принципами или, лучше сказать, условиями познаваемости. Теория относительности – вероятно, самый красноречивый пример этого научного знания путем рефлексии, поскольку критическое исследование, критика и преобразование принятых взглядов на пространство, время, одновременность и другие условия познаваемости физических явлений были в этой теории прорывом, приведшим впоследствии к эмпирическим проверкам и теоретическому развитию, ставшими возможными благодаря новому гештальту. И это был не единственный пример в истории науки.
Метафизика, понимаемая как исследование самых общих черт реальности, может рассматриваться как великое предприятие рефлектирующего познания, поскольку оно состоит в обнаружении самых общих критериев познаваемости того, что мы знаем. Кантовский «приемлемый» смысл метафизики вполне согласуется с пониманием ее как знания путем рефлексии (напротив, если строго придерживаться кантовского тезиса, что познание возможно только относительно чувственных восприятий, его «Критика чистого разума» и особенно его трансцендентальная дедукция не могли бы считаться вообще выражающими какое-либо знание). Метафизика является также до некоторой степени знанием путем знакомства, поскольку ее цель – сделать постижимой реальность, как она фактически переживается в самых разных ее проявлениях, включая и открываемые науками (как мы заметили, когда говорили о петле обратной связи между метафизикой и наукой). Наконец, метафизика есть знание на основе аргументов, и в этом отношении она развивает свою самую специфическую задачу – исследование сверхчувственного. Поэтому все попытки провести четкую демаркацию между наукой и метафизикой были обречены на неудачу; нет такого критерия, потому что обе суть формы знания и разделяют все признаки когнитивного предприятия. Разницу можно обнаружить