Законы могут быть
Без открытия законов никакая теория не может именоваться теорией в строгом смысле этого слова.
Важное место в структуре производного знания занимают также
Вполне естественно, что соотношение исходного и производного в знаниях может быть самым различным. В одних теориях ученые стремятся всемерно сузить набор исходных, наиболее общих и фундаментальных понятий, а также положений, принимаемых без доказательства, — аксиом. Такова математика, в частности геометрия. В других, наоборот, прослеживается стремление обеспечить как можно более солидную базу — собрать «Монблан» фактов. Такова биологическая эволюционная теория Ч. Дарвина.
Однако в целом подавляющая часть наших знаний носит все же производный характер.
Естественно также, что само деление знания на исходное и производное в структуре теорий до известной степени относительно. Так, аксиомы как элементы исходного для данной теории знания могут получать за ее пределами то или иное обоснование (практикой, интерпретацией теории, другими теориями). В свою очередь, элементы производного знания, будучи выведены в качестве теорем из аксиом, могут затем выполнять роль исходного знания, т.е. по существу аксиом, для выведения и обоснования новых теорем. Вспомним из астрономии: Т. Браге получил в свое время такие эмпирические данные, которые послужили исходной базой для выведения И. Кеплером своих законов движения планет Солнечной системы. А эти законы, в свою очередь, стали основой для выработки более общих законов движения тел в механике И. Ньютона. Та же, со своей стороны, стала основой для еще более общей теории — специальной теории относительности А. Эйнштейна. Об этом свидетельствовал сам великий физик. «Его (Ньютона — Е. И.) ясные и всеобъемлющие идеи, — писал он, — навсегда сохранят свое уникальное значение как фундамента, на котором построено здание современной физики»[39]
.Что же касается логического отношения производного знания к исходному — отношения логического следования, то и оно не «простое», так как осуществляется посредством ряда правил, именуемых прежде всего «
Вот почему анализ правил получения выводного знания и есть важнейшая задача логики (главным образом, символической), качественно отличная от задач других наук в исследовании природы теории. Это не означает, будто результатом подобного анализа может стать создание некоей новой «логики открытий», наподобие бэконовской или лейбницевой. Такая задача — по крайней мере на современном этапе — неосуществима. Это значит лишь, что логика обнаруживает, выявляет типичные моменты — «стандарты» построения теоретических знаний, которые находят все более широкое применение в отдельных науках.
2. Типы теорий
К настоящему времени сложилось и функционирует великое множество всевозможных теорий. Как же классифицировать их, какие можно выделить среди них основные
Конечно, теории различаются прежде всего своими объектами. Так, в зависимости от объекта — природы или общества — они подразделяются на естественнонаучные и социальные. В свою очередь, естественнонаучные — на астрономические, физические и т. д., а социальные — на экономические, политические, юридические и др.
Теории отличаются между собой и по степени общности. Могут быть более общие и менее общие теории. Например, философия — наиболее общая теория мира в целом, по отношению к которой менее общими выступают философия природы, социальная философия и теория познания. А в их рамках — еще менее общие: например, в социальной философии — теория культуры, философия политики, права, морали, искусства, религии.