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

> **ID:** C125
> **Категория:** Concepts
> **Подкатегория:** B. Логика и методология
> **Первое появление:** Книга 2

---

## Описание

Формализация рассуждений. ~50 подстатей. Критикуется ГП за редукцию мышления к исчислению. Формулы и алгоритмы, формальные структуры, современная ФЛ.

---

## Источники

### Книга 2 «От логики науки к теории мышления» (🆕 Новая)

Предметный указатель, множественные ссылки

---

## Лог изменений

| Дата | Папка | Источник | Событие |
|------|-------|----------|---------|
| 2026-03-14 | 1 | Книга 2 «От логики науки к теории мышления» | Первичное извлечение |

---

## Связи (Connections)

- → C123