TGViewer
Матклуб Матклуб @club_math · 769 subscribers
Post #83 1.12K
Rusnock P., George R., Bolzano as Logician.
Организатор: @last_kripkean

Если немецкие идеалисты основывали отношение репрезентации на деятельности субъекта, то у Больцано оно объективно и не зависит от ментальных способностей. В связи с этим Больцано постулирует отдельный "мир": туда он помещает объективные пропозиции и идеи, отрицая, впрочем, их существование.

В экспликации логического следования и логической истины Больцано опирается на метод вариации идей: новые предложения образуются заменой частей данного. Это позволяет ему дать более общие, чем кантианские, определения аналитичности и синтетичности, освобождая их от субъектно-предикатной формы.

Всё то же: критика психологизма, анализ пропозиций как составленных из идей, определение логических свойств через систематическую подстановку, — появится у Фреге. Тем не менее прямого влияния на логику и философию Больцано почти не оказал, а его логические работы оставались неизвестными до переоткрытия в середине XX века.

Каких шагов Больцано не хватило до по-настоящему современной логики? Приглашаем вместе разобраться на нашем дискорд-сервере. Прочитать главу к субботе, 15 августа, 19:00 по Москве.

Книга в первом комменте.
Формат
  • ❤ 4
More from @club_math
  1. Sep 21, 2026Голосование завершилось.. Поздравляю фанатов Тарского с ошеломительной победой! В связи с…
  2. Sep 18, 2026Post #85
  3. Aug 2, 2026В одиннадцатом классе я купил первый том "Искусство программирования" Кнута. Ничего я тогд…
  4. Jul 20, 2026Фаза Берри в условиях изменения топологии. Организатор: @supxinfy Есть теоретические основ…
  5. Jun 30, 2026Angiuli C., Gratzer D., Principles of Dependent Type Theory. Организатор: @GabrielFallen Н…
  6. Jun 22, 2026Martin-Löf, Intuitionistic Type Theory. Организатор: @orenty7 Продолжаем погружаться в MLT…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →