Это, во-первых, средства, позволяющие получать новое знание посредством исследования уже имеющихся знаний и распространения их путем вывода (дедуктивного или индуктивного) на новые предметы или явления. Наука получает массу новых знаний из уже имеющихся, пользуясь их доказательством, логическим выведением из них всех возможных следствий, аксиоматическим и гипотетико-дедуктивным построением теорий относительно определенной опытно- эмпирической области, выражением последней в некоторой формальной системе (она в дальнейшем сама становится объектом действий и логических операций независимо от содержания исходной области абстракции), ее математическим моделированием и т. д. и т. п. При таком способе получения новых знаний в самих предметах, мысленное выражение которых выступает лишь в качестве условий осуществления процесса дедукции, не производится никакого нового расчленения или изменения, и вообще привлечение аргументов опытного порядка, или, иначе говоря, выделение в предметах нового мысленного содержания и образование новых абстракций, здесь не предполагается. А если и привлекается предметная ситуация, создавшаяся в результате познавательных действий исследователя с предметами или активного вмешательства исследователя в действительность (в мысленном или вещественном эксперименте, наблюдении и т. п.), то она берется-как готовая и данная в форме знаний (высказываний), выявляется и оценивается логическая форма последних и в таком виде они включаются в рассуждение, отвлеченно от генезиса самих этих знаний в действиях с предметами. Речь идет о способах получения нового знания путем чисто логической обработки данного, путем конструирования формализованных схем выведения знаний друг из друга и комбинаторики связей между ними. Соотнесение с действительностью и привлечение содержания здесь осуществляются посредством особой, отдельной процедуры, вынесенной за рамки самого выведения знаний, — интерпретации, проверки выводов в сопоставлении с данными наблюдения, установления критериев принятия или отвержения гипотез и т. д.