<<
>>

Непротиворечивость содержательной теории

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

Таковы, к примеру, непредикативные (самоприменимые) определения. Системный подход позволяет разрешить эту трудность на основе представления о системной детерминации определений. Мы можем поставить также вопрос о непротиворечивости обычного содержательного математического рассуждения, которое условно можно назвать рассуждением математических учебников, которое исходит из известных принципов, но не занимается строгим прояснением состава этих принципов. Поскольку математическая теория в этом смысле включает в себя понятия различной степени корректности, то постановка вопроса о ее непротиворечивости может показаться незаконной. Однако это неверно. Системные понятия позволяют выработать здесь достаточно значимые определения и критерии.

<< | >>
Источник: Перминов В .Я. . Философия и основания математики - М.: Прогресс- Традиция. — 320с.. 2001

Еще по теме Непротиворечивость содержательной теории:

  1. 4. Непротиворечивость содержательно аксиоматизированной теории
  2. 5. Практическая непротиворечивость математической теории
  3. 5. Логицистское обоснование непротиворечивости теории множеств
  4. 3. Надежность содержательного рассуждения
  5. Непротиворечивость завершенной аксиоматики
  6. 5. Обоснование непротиворечивости на основе факта
  7. Истина и непротиворечивость
  8. 5. Идея системного анализа непротиворечивости
  9. Непротиворечивость логистических систем
  10. Закон непротиворечивости.
  11. Содержательные принципы
  12. ОСОБЕННОСТИ СОДЕРЖАТЕЛЬНОГО ОБОБЩЕНИЯ И ТЕОРЕТИЧЕСКОГО .МЫШЛЕНИЯ
  13. 42. ПОИСК НЕПРОТИВОРЕЧИВОЙ ВЕРСИИ