Современная логика - стр. 46

Аксиомы – это утверждения, принимаемые без доказательства. Совокупность аксиом какой-то теории является одновременно и свернутой формулировкой этой теории, и тем контекстом, который неявно определяет все входящие в нее понятия.

Чтобы узнать, что представляют собой масса, сила, ускорение и т. п., мы обращаемся к принципам классической механики Ньютона. «Сила равна массе, умноженной на ускорение», «Сила действия равна силе противодействия» – эти положения не являются, конечно, явными определениями. Но они раскрывают, что представляет собой сила, указывая связи этого понятия с другими понятиями механики.

Важное отличие аксиоматических определений от всех иных контекстуальных определений в том, что аксиоматический контекст строго ограничен и фиксирован. Он содержит все, что необходимо для понимания входящих в него понятий. Он ограничен по своей длине, а также по своему составу. В нем есть все необходимое и нет ничего лишнего.

Аксиоматические определения – одна из высших форм научного определения понятий. Не всякая теория способна определить свои исходные понятия аксиоматически. Для этого требуется относительно высокий уровень развития знаний об исследуемой области. Изучаемые объекты и их отношения должны быть также сравнительно просты. Но как охарактеризовать с помощью нескольких утверждений такие сложные, многоуровневые и многоаспектные объекты, как общество, история или разум? Аксиоматический метод здесь вряд ли был бы уместен. Он только огрубил бы и исказил реальную картину.

В явных определениях отождествляются, приравниваются друг к другу два понятия. Одно из них – определяемое понятие, содержание которого требуется раскрыть, другое – определяющее понятие, решающее эту задачу.

Конец ознакомительного фрагмента.