<<
>>

Про пользу абстракций

Уже был найден способ строгой работы с абстракциями

ЕСЛИ сущностные корни концептуального мышления прорастали в философии, то формальные — могли появиться только в матема-тике.

Наверное, в ходе пристрастного исследования можно было бы найти самые древние следы попыток придать завершенную, математическую строгость логике. Однако это состоялось лишь в прошлом веке. Укажу лишь на вершинную «точку» этого интеллектуального пути — на построение Д. Гильбертом целостной теории доказательств или метаматематики.

В 1925 году он писал: «Надо согласиться, что состояние, в котором мы находимся сейчас в отношении парадоксов, на продолжительное время невыносимо. Подумайте: в математике — в этом образце достоверности и истинности — образование понятий и ход умозаключений, как их всякий изучает, преподает и применяет, приводят к нелепостям. Где же искать надежность и истинность, если даже само математическое мышление дает осечку? Но существует вполне удовлетворительный путь, по которому можно избежать парадоксов, не изменяя при этом нашей науке» .

Для доказательства непротиворечивости математических теорий, с которым и связаны действительные основания математики, Д. Гильберт предложил так называемый аксиоматический метод, или аксиоматическую точку зрения.

Аксиоматический метод (или аксиоматическая точка зрения в узком смысле) заключается в том, «что из всего материала реальных представлений, используемого для формирования основных понятий данной теории, при аксиоматическом ее построении мы принимаем в расчет лишь то, что в виде некоторого экстракта формулируется в ее аксиомах, а от всего остального содержания абстрагируемся.... В аксиоматической теории нам приходится иметь дело с некоторой фиксированной системой вещей (или даже с несколькими такими системами), образующей область субъектов для всех тех предикатов, из которых строятся высказывания этой теории» .

Предикат (лат. praedicatum) — логическое сказуемое; то, что в суждении высказывается о предмете суждения, о субъекте.

Впоследствии именно аксиоматический метод определения понятий придал не только математике, но и концептуальному мышлению конструктивную силу. Утверждение аксиоматической точки зрения на логику доказательств послужило мощным толчком, прежде всего, для развития математики, и лишь существенно позже — для развития концептуального мышления.

Между этими событиями состоялось еще одно — сращивание аксио-матического метода с теорией множеств. В наиболее завершенной форме это сделали в середине 60-х годов прошлого века французские математики, объединившиеся под собирательным псевдонимом Ни- коля Бурбаки. В теории множеств они нашли универсальный язык для всей математики и, как оказалось потом, для любого строгого логического рассуждения.

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

Дальше мы заметим, что аксиоматический метод в соединении с теорией множеств наилучшим образом отвечает потребностям логики построения родовых понятий и выведения видовых следствий из них; потребностям восхождения, потребностям конструирования смыслов строгими средствами... Правда, если известно, как мышлению «даются» эти смыслы.

Но и это уже было.

<< | >>
Источник: Теслинов А. Г.. Концептуальное мышление в разрешении сложных и запутанных проблем. 2009

Еще по теме Про пользу абстракций:

  1. АБСТРАКЦИЯ
  2. АБСТРАКЦИЯ
  3. АБСТРАКЦИЯ
  4. 20.4. Отказ в пользу государства
  5. Про движение к конкретному
  6. § 6. Отказ в пользу государства
  7. Польза от перемен
  8. 7.4. Таможенный режим "Отказ в пользу государства"
  9. Выбор в пользу предпринимательства
  10. УТИЛИТАРИЗМ (от лат. utilitas — польза, выгода
  11. § 2. УНИЧТОЖЕНИЕ И ОТКАЗ В ПОЛЬЗУ ГОСУДАРСТВА
  12. Путешествие с удовольствием и пользой