Первый шаг его применения – упорядочение опорных понятий и терминов. Выделены ли они? Бесспорно. Многовековая практика и относительно молодая теория достаточно прочно освоили опорные понятия и термины. Их сравнительно немного:
Понятия (термины) компонуются в аксиоматические положения с помощью связей (связок). Их роль в формально-математических аксиоматических теориях играют знаки, символы. Наиболее употребимы такие знаки, как: с – знак включения одного множества в другое, знаки для соединения высказываний (∧, ∨, ∃, ∀ – конъюнкции, дизъюнкции, импликации, отрицания, общности квантора), знаки для обозначения логической связи между высказываниями и др. Все общепринятые обозначения могут быть использованы для формализации педагогической теории. Вначале необходимо договориться о символическом обозначении первичных терминов и понятий, тогда
ИБ Формализация аксиом
Хорошо организованная наука стремится сделать свою теорию компактной, обозримой, удобочитаемой. Это достигается путем «свертывания» информации, представления части ее в символической, знаковой форме. К необходимости использования знаковых обозначений приближается и педагогика. Знак своей чувственной наглядностью облегчает логические операции, делает более продуктивным процесс мышления. Формализация педагогической теории – необходимый этап в развитии системы знаний, свидетельствующий о ее качественном совершенствовании.
Необходимость сокращенного представления части педагогической теории сильно подхлестывают попытки электронного моделирования педагогических явлений, направленные на познание глубинных закономерностей учебно-воспитательного процесса и нахождение более эффективных способов управления им. Ни сегодня, ни в близком будущем ЭВМ еще не смогут понимать все оттенки человеческой мысли, выраженные словами. Возникает острая необходимость формализации высказываний таким образом, чтобы они несли как можно больше информации, оставаясь компактными и понятными не только для людей, но и для машин. Поэтому разработка правил «свертывания» педагогических знаний и символики для их записи – важная практическая задача. Аксиоматические положения, записанные в свернутом виде, вводятся в память ЭВМ и составляют банк информации. При выведении новых заключений, проектировании учебно-воспитательных систем машина опирается на базу данных, проверяя, не противоречат ли они имеющимся научным положениям.
Ниже представлена система символов (табл. 3) для формализации педагогических высказываний и сокращенной записи взаимосвязей. Часть обозначений позаимствована из международного языка математической и кибернетической педагогики. Опытная проверка подтвердила целесообразность формализованной запаси части педагогических высказываний. Система находит применение и в студенческой практике обработки больших массивов информации, составлении опорных схем (конспектов).