Книга: Феномен науки. Кибернетический подход к эволюции
6.5. Математическая логика
Решающим фактором в прогрессе логики была ее математизация (конец XIX – начало XX вв.). Математизация логики была порождена потребностями математики и осуществлена математиками. Разрыв между математикой и логикой был, наконец, преодолен. Расширив свой язык и математизировав его, логика стала пригодной для описания и исследования математического доказательства. С другой стороны, для решения логических проблем стали применяться математические методы.
Завоевав плацдарм в области математики, новая логика стала проникать в естественные науки и философию. При этом роль собственно математического элемента (использование математических моделей) упала. Тем не менее всю современную логику часто называют «математической» по причине ее языка и происхождения.
- 6.1. Снова о понятиях
- 6.2. Свойства и отношения
- 6.3. Аристотелевская логика
- 6.4. Диалектика Гегеля
- 6.5. Математическая логика
- 6.6. Объекты и высказывания
- 6.7. Логические связки
- 6.8. Предикаты
- 6.9. Кванторы
- 6.10. Связка «такой, что»
- 6.11. Физический предмет и логический объект
- 6.12. Функции
- 6.13. Синтаксис и семантика
- 6.14. Логический анализ языка
- ГЛАВА 10. ПРОЛОГ И МАТЕМАТИЧЕСКАЯ ЛОГИКА
- 6.3. Аристотелевская логика
- Логика «от адресата»
- Лекция 2. Простая логика разработки стратегии
- Логика или чувства?
- Глава 6 Медиалогика и фрейминг новостей
- Логика текста и философия доступности
- Нейрологика покупательских решений
- Математическая интуиция
- 0.3 Логика и последовательность освоения СПО
- ЗАГОЛОВКИ: ЛОГИКА
- Булева логика