Книга: Феномен науки. Кибернетический подход к эволюции

6.5. Математическая логика

6.5. Математическая логика

Решающим фактором в прогрессе логики была ее математизация (конец XIX – начало XX вв.). Математизация логики была порождена потребностями математики и осуществлена математиками. Разрыв между математикой и логикой был, наконец, преодолен. Расширив свой язык и математизировав его, логика стала пригодной для описания и исследования математического доказательства. С другой стороны, для решения логических проблем стали применяться математические методы.

Завоевав плацдарм в области математики, новая логика стала проникать в естественные науки и философию. При этом роль собственно математического элемента (использование математических моделей) упала. Тем не менее всю современную логику часто называют «математической» по причине ее языка и происхождения.

Оглавление книги


Генерация: 5.178. Запросов К БД/Cache: 3 / 0
поделиться
Вверх Вниз