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

Страница 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Страницы: 1 2 3 4 5 6


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

Технология работы над скульптурной композицией в технике "барельеф"
Вопросы, посвященные как общим вопросам творчества, так и поиску правильного композиционного решения, в изобразительном искусстве стоят достаточно остро. Начнем с первого, и, конкретно - с выбора темы. Понятное дело, что раньше все виды изобразительного искусства ценились. Но начиная с недавних пор ...

Принципы русской пунктуации
Дело в том, что на иерархии общих функций знаков препинания основываются в европейском языке принципы организации системы пунктуации. Они были сформулированы еще в 18-19 веках. И один из принципов это: 1. смысловой принцип (понимание письменного текста); 2. грамматический принцип (роль пунктуации в ...

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

Навигация

Copyright © 2020 - All Rights Reserved - www.basicpedagog.ru