Сознание и власть формальных систем (Consciousness and the Authority of Formal Systems)
Вид: страница внешней карты (UMap)
Коротко
Вопрос: Почему формальные системы, обладающие большой властью, упираются в сознание?
Ответ: По Карте, логика не может обосновать собственную обязательность без субъекта, переживающего необходимость, а формальные системы управляют формой, тогда как сознание не исчерпывается формой.
Тезисы
Т1. Оба ограничения — две стороны одного: формальные системы управляют формой
- Аргумент: Карта пишет, что границы логики и математики на сознании — одно ограничение.
- Цитата: «Both observations are two faces of the same limitation: formal systems govern form, and consciousness is not exhausted by form.»
Т2. По Карте, логика не обосновывает свою обязательность без переживающего необходимость субъекта
- Аргумент: Карта пишет это о первой из двух форм формальной власти.
- Цитата: «Logic cannot ground its own binding force without a subject who experiences necessity as such.»
Т3. Уравнения описывают абстрактную структуру и оставляют внутренние природы неопределёнными
- Аргумент: Страница пишет это о физике, чьим языком служит математика.
- Цитата: «The equations describe abstract structure while leaving intrinsic natures unspecified.»
Т4. Нормативное прочтение убедительно, но относительно рамки и не доказательство против физикализма
- Аргумент: Карта пишет, что ценит это прочтение за согласие с более широкой дуалистической картиной.
- Цитата: «The Map finds the normative reading compelling for its fit with the wider dualist picture but holds it as framework-relative, not a proof against physicalism.»
Т5. Теоремы Гёделя показали, что достаточно мощная система содержит недоказуемые в ней истины
- Аргумент: Страница называет это внутренним пределом формальных систем.
- Цитата: «Gödel’s incompleteness theorems (1931) showed that any consistent formal system powerful enough to express arithmetic contains truths it cannot prove.»
Т6. Взаимодействие должно быть формально ограничено, а взаимодействующий не обязан быть формально исчерпан
- Аргумент: Карта пишет это о положении о минимальном квантовом взаимодействии.
- Цитата: «The interaction must be formally constrained; the interactor need not be formally exhausted.»
Критика
Возражение, которое страница приводит сама.
- Страница приводит довод из психологии двух процессов: многое в выводе происходит быстро и автоматически, без описанной обязательности.
- Цитата: «A challenge from dual-process psychology: much valid inference occurs rapidly and automatically, without the felt compulsion described here.»
Связи
- русселианский монизм (Russellian monism) — см. также
- объяснительный разрыв (explanatory gap) — см. также
- трудная проблема сознания (hard problem of consciousness) — см. также