ИБ Формализация аксиом

Хорошо организованная наука стремится сделать свою теорию компактной, обозримой, удобочитаемой. Это достигается путем «свертывания» информации, представления части ее в символической, знаковой форме. К необходимости использования знаковых обозначений приближается и педагогика. Знак своей чувственной наглядностью облегчает логические операции, делает более продуктивным процесс мышления. Формализация педагогической теории – необходимый этап в развитии системы знаний, свидетельствующий о ее качественном совершенствовании.

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

Символика (греч. symbolon – символ, знак, условное обозначение) – это система специально созданных знаков (символов) для обозначения объектов, мыслей, чувств, идей. Символика позволяет в сокращенном виде фиксировать различные сложные и длинные высказывания, наглядно раскрывает структуру взаимосвязей, является мощным средством международного педагогического сотрудничества.

Ниже представлена система символов (табл. 3) для формализации педагогических высказываний и сокращенной записи взаимосвязей. Часть обозначений позаимствована из международного языка математической и кибернетической педагогики. Опытная проверка подтвердила целесообразность формализованной запаси части педагогических высказываний. Система находит применение и в студенческой практике обработки больших массивов информации, составлении опорных схем (конспектов).

Таблица 3 Система символов

Система условных сокращений для записи некоторых педагогических понятий может быть, например, такой:

В – воспитание; Р – развитие; Рд – духовное развитие; Рф – физическое развитие; У – ученик; Уч – учитель; О – обучение; Ш – школа; Уп – упражнение; М – метод; И – интерес; Ж – жизнь, практика; З – знания; Зс – знания систематизированные (образование); П – привычка, понимание; С – способности; Д – деятельность; Ф – форма; Ст – система; Мш – мышление и т. д.