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