Бэкон привёл доказательства, что Земля по форме — шар на основании наблюдений за горизонтом во время плавания из Англии во Францию: линия горизонта представлялась ему дугой, но не прямой: «Опыт, — писал Роджер Бэкон, — один дает настоящее и окончательное решение вопроса; этого не могут сделать ни „авторитет“ (который не дает „понимания“), ни отвлеченное доказательство. Полезно и необходимо изучать также математику, которую ошибочно считают наукой трудной, а иногда даже и подозрительной, потому что она имела несчастье быть неизвестной отцам церкви». С её помощью он хотел проверять данные всех остальных наук, и считал доступной каждому. Бэкон подразумевал, что есть действительный жизненный опыт и «опыт-доказательство, полученный через внешние чувства». Но наравне с опытом «материального» толка, он предлагал опираться и на духовный опыт, через «внутреннее озарение». Его идеи предвосхищают понимание значимости творческой интуиции и эвристических методов. Затем уже «Г. Лейбниц уподобил процесс логического доказательства вычислительным операциям в математике. Вычисление суммы или разности чисел осуществляется на основе простых правил, принимающих во внимание только форму чисел, а не их смысл. Результат вычисления однозначно предопределяется этими не допускающими разночтения правилами, и его нельзя оспорить. Лейбниц попытался умозаключение преобразовать в вычисление по строгим правилам. Он верил, что если это удастся, то споры, обычные между философами по поводу того, что твердо доказано, а что нет, станут невозможными, как невозможны они между вычислителями. Вместо спора философы возьмут в руки перья и скажут: „Давайте посчитаем“. Примерно через два столетия аналогия между математическими и логическими операциями произвела переворот в нормальной логике и привела к современному этапу в развитии этой науки — математической логике» (Ивин, 1986, С. 62). Но при всём формализме, как выяснилось впоследствии, математическая логика оказывалась одним из многочисленных отражений логики куда более универсальной — диалектической. От математической логики к логике диалектическойГ.С. Альтшуллер признавал: «Основной постулат[52] ТРИЗ опирается на фундаментальные положения диалектического материализма: технические системы развиваются по объективно существующим диалектическим законам; эти законы познаваемы, их можно выявить и использовать для сознательного решения изобретательских задач» («Икар и Дедал», комплекс учебных программ для школ НТТМ и подготовки преподавателей — Баку, рукопись 1985 г.). И для своего времени это был революционный шаг, но, как нам представляется, разработчики ТРИЗ не в полной мере использовали возможности диалектической логики собственно Гегеля. Слишком велика была разница между формализованной ТРИЗ и не поддающейся на первый взгляд формализации диалектической логикой. — 69 —
|