произведенная история — это действительная история, но обобщенная, освобожденная от всего случайного, наносного, несущественного. В ней сохраняется только то, что закономерно и необходимо для познания, объяснения последующих событий.
Формализация - метод изучения самых разнообразных объектов путем отображения их содержания и структуры в знаковой форме, при помощи самых разнообразных «искусственных» языков, к числу которых относится, например, язык математики, математической логики, химии, радиотехники и ряда других наук. Использование специальной символики в этих науках является одним из необходимых и все более прогрессирующих методов отражения действительности человеком. Формализация обеспечивает полноту обозрения определенной области проблем, обобщенность подхода к их решению; базируется на использовании специальной символики, введение которой обеспечивает краткость и четкость фиксации знания; связана с приписыванием отдельным символам или их системам определенных значений, что позволяет избежать многозначности терминов (или полисемии), которая свойственна обычным языкам; позволяет формировать знаковые модели объектов и изучение реальных вещей и процессов заменять изучением этих моделей. Этим достигается упрощение объекта непосредственного исследования, что в значительной мере облегчает решение познавательных задач.
Аксиоматический метод-принятие ряда утверждений без доказательства, при этом всё остальное знание выводится из них по определенным логическим правилам. Принимаемые без доказательства положения называются аксиомами, а выводное знание фиксируется в виде лемм, теорем, законов и т. п. Аксиоматически построенная теория может быть признана действительно истинной в том случае, когда истинны ее аксиомы.
УмозаключениеИндукция-умозаключение от частног
Страницы: << < 9 | 10 | 11 | 12 | 13 > >>