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

Страница 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


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

Компоненты творческих способностей
Творческие способности представляют собой сплав многих качеств. И вопрос о компонентах творческого потенциала человека остается до сих пор открытым, хотя в настоящий момент существует несколько гипотез, касаю­щихся этой проблемы. Многие психологи связывают способности к творческой деятельно­сти, пр ...

Организация и содержание учебно-воспитательного процесса в учебных отделениях
Основным принципом при определении содержания работы в разных учебных отделениях является дифференцированный подход к учебно-воспитательному процессу. Его сущность заключается в том, что учебный материал формируется для каждого учебного отделения с учётом пола, уровня физического развития, техничес ...

Дидактические игры для сенсорного развития детей 2-3 лет
Игра «Овощной магазин». Дидактическая задача. Расширять представления о форме, величине, цвете; развивать навыки сравнения предметов. Игровая задача. Быть хорошими продавцами, правильно отобрать овощи для покупателей. Игровое правило. Не ошибаться при сортировке товара, не сердить директора ежика. ...

Навигация

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