Значение логики в развитии современной науки и техники

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

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

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

Согласно Г.Фреге, Б.Расселу и их последователям, математика и логика - это всего лишь две ступени в развитии той же самой науки. Математика может быть полностью сведена к логике, и такое чисто логическое обоснование математики позволит установить ее истинную и наиболее глубокую природу. Этот подход к обоснованию математики получил название логицизма.

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

Другой формой объединения математики и логики в одну науку было объявление математической, или современной, логики одним из разделов современной математики. Многие математики и сейчас еще считают главной - если не единственной - задачей математической логики уточнение понятия математического доказательства.

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

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

Помимо кибернетики современная логика находит широкие приложения и во многих других областях науки и техники.

Логика и техника
Двоичное кодирование – все виды информации кодируются с помощью 0 и 1.
Задача – разработать оптимальные правила обработки таких данных.
Почему «логика»?
Результат выполнения операции можно представить как истинность (1) или ложность (0) некоторого высказывания.
Джордж Буль разработал основы алгебры,
в которой используются только 0 и 1
(алгебра логики, булева алгебра).