Результаты исследования учащихся в проекте Элементы алгебры логики
(→Результаты проведённого исследования) |
(→Цели исследования) |
||
Строка 15: | Строка 15: | ||
==Цели исследования== | ==Цели исследования== | ||
* Проанализировать историю развития алгебры логики. | * Проанализировать историю развития алгебры логики. | ||
+ | * Выяснить, какие ученые внесли вклад в развитие алгебры логики. | ||
+ | * Провести анализ литературы по математической логике. | ||
* Построить ленту времени истории развития логики. | * Построить ленту времени истории развития логики. | ||
Версия 14:36, 24 октября 2017
Содержание |
Авторы работы
Участники группы "Историки"
Проблемный вопрос (вопрос для исследования)
Как развивались логические методы?
Гипотеза исследования
Мы считаем, что в течение многих веков логика помогала математике стать строгой, последовательной наукой, но постепенно взаимная связь между этими дисциплинами привела к тому, что логика оказалась под влиянием математики.
Цели исследования
- Проанализировать историю развития алгебры логики.
- Выяснить, какие ученые внесли вклад в развитие алгебры логики.
- Провести анализ литературы по математической логике.
- Построить ленту времени истории развития логики.
Результаты проведённого исследования
История логики
Термин логика происходит от древнегреческого logos, означающего «слово, мысль, понятие, рассуждение, закон».
Логика – наука древняя. Первые учения о формах и способах рассуждений возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения древнегреческих мыслителей. Основоположником логики считают греческого мыслителя Аристотеля, жившего в 384-322 годах до н.э. Именно он подверг анализу человеческое мышление, такие его формы, как понятие, суждение, умозаключение, и рассмотрел мышление со стороны строения, структуры, то есть с формальной стороны. Так возникла формальная логика — наука, пытавшаяся найти ответ на вопрос, как мы рассуждаем, изучающая логические операции и правила мышления.
Ко времени зарождения логики математика уже прошла значительный путь развития. В течение многих веков логика помогала математике стать строгой, последовательной наукой. Постепенно взаимная связь между математикой и логикой привела к тому, что логика оказалась под влиянием математики.
После падения античной цивилизации развитие математики, и особенно логики, замедлилось, потому что новые логические идеи нередко вступали в противоречие с формами мышления церкви. Любопытно отметить: первое, что было восстановлено из античной науки, - это именно логика Аристотеля.