Жар холодных числ и пафос бесстрастной логики - [9]

Шрифт
Интервал

.

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


Рис. 1. Историческое развитие языково-мыслительных и математико-формализованных средств познания.


Подводя итог сказанному в этой главе, приведем схему подготовки и развития формализованных средств научного исследования, сделавших возможными современные достижения кибернетики и логики (рис. 1).

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

Почему бы логике не прибегнуть к помощи своей родной сестры, так ее обогнавшей, математики? В конце концов логика именно это и сделала, но лишь в XIX веке, когда математика стала достаточно мощной и смогла разработать особый символический алфавит и правила обращения с его знаками, удовлетворяющие высоким требованиям исследования высказываний и рассуждений. С этого момента логика как бы родилась вторично и стремительна двинулась к воссоединению с математикой.

Итак, заминка была в выразительных средствах. Но не могла ли логика поискать их где-то вне математики?

Да, такой путь существовал, и опробован он был очень давно.

2. МЕХАНИЧЕСКОЕ РАССУЖДЕНИЕ

Вспомним еще раз, какие черты характеризуют логику как специфический элемент мышления и языка.

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

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


Еще от автора Борис Владимирович Бирюков
Теория смысла Готлоба Фреге

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


Социальная мифология, мыслительный дискурс и русская культура

Бирюков Борис Владимирович — доктор философских наук, профессор, руководитель Межвузовского Центра изучения проблем чтения (при МГЛУ), вице-президент Русской Ассоциации Чтения, отвечающий за её научную деятельность.Сфера научных интересов: философская логика и ее история, история отечественной науки, философия математики, проблемы оснований математики. Автор и научный редактор более пятисот научных трудов, среди них книги, входящие в золотой фонд отечественной историко-научной и логической мысли. Является главным научным редактором и вдохновителем научного сборника, издаваемого Русской Ассоциацией Чтения — «Homo legens» («Человек читающий»).


Быть русскими — наша судьба

Новая книга В.Н. Тростникова, выходящая в издательстве «Грифон», посвящена поискам ответов на судьбоносные вопросы истории России.За последнее десятилетие мы восстановили и частную собственность, и свободу слова, ликвидировали «железный занавес»… Но Запад по-прежнему относится к нам необъективно и недружественно.Ожесточаться не нужно. Русские – самый терпеливый народ в мире, и мы должны перетерпеть и несправедливое отношение к себе Запада. Ведь придёт час, когда Запад сам поймёт необходимость заимствовать у нас то, что он потерял, а мы сохранили, – Христа.Книга рассчитана на широкий круг читателей.


Вера и разум. Европейская философия и ее вклад в познание истины

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


Понимаем ли мы Евангелие?

Виктор Николаевич Тростников (род. 1928 г.), писатель, ученый, философ. Профессор Российского Православного Университета им. св. Иоанна Богослова. Автор более ста работ по различным разделам физики и математики, а также книг по научной апологетикеКнига содержит размышления автора об опыте осмысления Вечных Истин в свете современного знания.


Трактат о любви. Духовные таинства

Цель «Трактата о любви» В.Н. Тростникова – разобраться в значении одного-единственного, но часто употребляемого нами слова «любовь». Неужели этому надо посвящать целое исследование? Да, получается так, потому что слово-то одно, а значений у него много. Путь истинной любви обрисован увлекательно, понятно и близко молодому и просвещенному современному читателю, который убедится, что любовь в ее высшем проявлении есть любовь к Богу. Это книга – для всех любящих сердец.


Рекомендуем почитать
Квантовый оптоэлектронный генератор

В книге развита теория квантового оптоэлектронного генератора (ОЭГ). Предложена модель ОЭГ на базе полуклассических уравнений лазера. При анализе доказано, что главным источником шума в ОЭГ является спонтанный шум лазера, обусловленный квантовой природой. Приводятся схемы и экспериментальные результаты исследования малошумящего ОЭГ, предназначенного для применения в различных областях военно-космической сферы.


Флатландия. Сферландия

Произведения Э. Эбботта и Д. Бюргера едины по своей тематике. Авторы в увлекательной форме с неизменным юмором вводят читателя в русло важных геометрических идей, таких, как размерность, связность, кривизна, демонстрируя абстрактные объекты в различных «житейских» ситуациях. Книга дополнена научно-популярными статьями о четвертом измерении. Ее с интересом и пользой прочтут все любители занимательной математики.


Стратегии решения математических задач

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


Вначале была аксиома. Гильберт. Основания математики

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


Симпсоны и их математические секреты

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


Истина и красота: Всемирная история симметрии

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