Результаты исследования учащихся в проекте Элементы алгебры логики
Содержание |
Авторы работы
Участники группы "Историки"
Проблемный вопрос (вопрос для исследования)
Как развивались логические методы?
Гипотеза исследования
Мы считаем, что в течение многих веков логика помогала математике стать строгой, последовательной наукой, но постепенно взаимная связь между этими дисциплинами привела к тому, что логика оказалась под влиянием математики.
Цели исследования
- Провести анализ исторических фактов о предпосылках развития алгебры логики.
- Выяснить, какие ученые внесли вклад в развитие алгебры логики.
- Провести анализ литературы по математической логике.
- Построить ленту времени истории развития логики.
Результаты проведённого исследования
Мы нашли и проанализировали статьи по истории математической логики, а также об ученых, внесших вклад в развитие этой науки.
История логики
Термин логика происходит от древнегреческого logos, означающего «слово, мысль, понятие, рассуждение, закон».
Логика – наука древняя. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения древнегреческих мыслителей. Основоположником логики считают греческого мыслителя Аристотеля, жившего в 384-322 годах до н.э. Именно он подверг анализу человеческое мышление, такие его формы, как понятие, суждение, умозаключение, и рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика — наука, пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.
Ко времени зарождения логики математика уже прошла значительный путь развития. В течение многих веков логика помогала математике стать строгой, последовательной наукой. Постепенно взаимная связь между математикой и логикой привела к тому, что логика оказалась под влиянием математики.
После падения античной цивилизации развитие математики, и особенно логики, замедлилось, потому что новые логические идеи нередко вступали в противоречие с формами мышления церкви. Любопытно отметить: первое, что было восстановлено из античной науки, - это именно логика Аристотеля.
Если обратиться к эпохе Возрождения, к истокам науки нового времени, нетрудно установить, что и в этом случае первыми восстанавливались и использовались именно разработанные в античности логические методы. С этого начиналась философия и математика Рене Декарта (1596-1650). Он считал, что человеческий разум может постигнуть истину, если будет исходить из достоверных положений, сводить сложные идеи к простым, переходить от известного и доказанного к неизвестному, избегая каких-либо пропусков в логических звеньях исследований. Фактически Декарт рекомендовал науке о мышлении - логике - руководствоваться общепринятыми в математике принципами.
В то время и другие ученые заметили, что выводы согласно определенным схемам напоминают математические выкладки при нахождении системы уравнений и неравенств. Особенно на этой стороне логических выводов настаивал великий немецкий философ и математик Готфрид Вильгельм Лейбниц (1646 - 1716), предложивший детальную программу логических исследований методами математики. Его считают основоположником математической логики. Это он в XVII веке пытался построить первые логические исчисления: арифметические и буквенно-алгебраические. Это он впервые высказал мысль о возможности применения двоичной системы счисления в вычислительной математике.
Логические высказывания Лейбница, существенно опередившие эпоху, оставались неизвестными до конца XIX столетия, когда они были найдены в архиве и опубликованы французским математиком Луи Кутюра. Логические исследования Лейбница были столь значительны, что и через 200 лет оказали существенное влияние на развитие математической логики.
Но этим идеям Лейбница суждено было получить дальнейшее развитие лишь в середине XIX века в трудах другого великого математика Джорджа Буля. Его именем назван раздел математической логики - булева алгебра. Знаменитые труды Д. Буля появились в конце 40-х - начале 50-х гг. В них отразилось убеждение Буля о возможности изучения свойств математических операций, осуществляемых не обязательно над числами. Ученый говорил о символическом методе, который он применял как к изучению дифференцирования и интегрирования, так и логическому выводу и к теоретико-вероятностным рассуждениям. Именно он построил один из разделов формальной логики в виде некоторой «алгебры», аналогичной алгебре чисел, но не сводящейся к ней.
Логическая идея не исчерпала себя и до сих пор. Она находит применение в современном разделе математической логики в виде алгебры высказываний, алгебры множеств, алгебры релейных схем, без которых программирование и проектирование компьютеров было бы невозможным.
