Виды логических операций

Логика, как самостоятельная наука оформилась в трудах греческого философа Аристотеля (384 - 322 г. до н.э.). Он систематизировал известные до него сведения, и эта система стала впоследствии называться формальной или Аристотелевой логикой. Формальная логика просуществовала без серьезных изменений более двадцати столетий.

Математика является наукой, в которой все утверждения доказываются с помощью умозаключений, то есть путем использования законов человеческого мышления. В связи с этим математика являлась основным потребителем логики. Очевидно, поэтому развитие математики выявило недостаточность Аристотелевой логики и поставило задачу о ее дальнейшем построении на математической основе.

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

«Мы употребляем знаки не только для того, чтобы передать наши мысли другим людям, но и для того, чтобы облегчить сам процесс нашего мышления» (Лейбниц).

Первая реализация идеи Лейбница принадлежит английскому математику Дж.Булю (1815 - 1864 г.).

Буль создал алгебру, в которой буквами обозначены высказывания, и это привело к алгебре высказываний. Сочинение Дж.Буля, в котором подробно исследовалась эта алгебра, было опубликовано в 1854 г., то есть почти 150 лет тому назад. Оно называлось «Исследование законов мысли» («Investigation of the Laws of Thought»). Отсюда ясно, что Буль рассматривал свою алгебру как инструмент изучения законов человеческого мышления, то есть законов логики.

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

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

Предметом математической логики служат, в основном, рассуждения. При изучении она пользуется математическими методами.

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

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

В этом отношении показательны работы немецкого математика Г.Фрёге (1846-1925 г.) и итальянского математика Д.Пеано (1858-1932 г.), которые применили математическую логику для обоснования арифметики и теории множеств.

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

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

Статьи по теме:

Знаки препинания
В школе изучают 10 знаков препинания. С членением предложения связаны классы знаков препинания: 1) одинаковые в позиции середины предложения (, ; – : … в функции разрыва предложения); 2) парные (двойная запятая и двойное тире, скобки и кавычки) с членением текста связаны классы знаков препинания; 3 ...

Педагогические взгляды и деятельность Иоганна Генриха Песталоцци
В 1766 году один двадцатилетний юноша полюбил девушку и решил предложить ей руку. Юноша был беден, девушка — из семьи богатого купца; надежд на брак было мало. Все же юноша написал девушке письмо и рассказал, что ее ожидает, если она решится принять предложение. Прежде всего он отметил: «О моей вне ...

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