| Государство Платона: книга VII |
[Jun. 8th, 2020|08:11 am] |
| [ | Current Mood |
| |  awake | ] |
| [ | Current Music |
| | BushHistory | ] |
Миф о пещере. Что еще сказать. Суть в том, что штуки, доступные в эмпирическом восприятии, суть не настоящие, а тени настоящих вещей, то есть эйдосов. Подробней про эту теорию я рассказывать не буду. Можете сами взять и почитать если интересно.
Вместо этого, я расскажу вам про конструктивную теорию эйдосов (КТЭ), которую я придумал сам, когда разрабатывал свой язык программирования в молодости. Сейчас цель этого занятия мне кажется весьма бесполезной, но я многое понял, занимаясь этим. Например, что эйдос в КТЭ, это не непонятная метафизическая хуйня, а конечный набор набор вопросов, на который можно отвечать да или нет, и который позволяет однозначно идентифицировать понятия. эйдосом я эту конструкцию назвал, потому что процесс задавания вопросов мне напомнил платоновский диалог. А нужно было это для, чтобы ввести сложную динамическую типизацию. Например, если у нас есть в КТЭ эйдос целых чисел, то мы можем конструктивно задать вопрос, является ли число n целым. А целое число мы можем поделить на 2 с остаткам, и поэтому мы можем конструктивно проверить является ли n четным. И если добавить к эйдосу целых чисел эту проверку с остатком от деления на 2, то получится эйдос четных чисел. Вот так КТЭ должно робить.
Еще в этом диалоге Платон приводит список наук. Он выглядит примерно так: арифметика, стереометрия, планиметрия, астрономия, музыка и диалектика. Интересно, что Платон жалуется на слабую развитость планиметрии в свое время. Недостаток, математических наук по его мнению, происходят от того, что люди делают предположения, основанные на, якобы, здравом смысле. Однако, мне кажется, что задача Платона по изгнанию "здравого смысла" из математики была уже вполне решена во времена Гильберта. Ведь без этого было бы невозможно занятие неархимедовой геометрией и много-что еще. Именно задачу преодоления "здравого смысла" решают теоретико-множественные основания нашей математики.
Кстати, про эти основания. Платон ставит на первое место из всех наук диалектику. А эта диалектика сейчас, опошленная диаматом, воспринимается как чистая лженаука. Но вот представьте себе, что Платон имел ввиду здесь не нечто диаматное, а что-то наподобие нашей теории доказательств, матлогики и науки про основания математики. Сюда можно даже теорию категорий подплести, если очень хочется. Потому-что, когда у математики во-времена Гильберта и Рассела появились нормальные логические и теоретико-множественные основания, она преодолела вот эту опоры на "очевидные предположения из повседневного опыта". А значит перешла по Платону из сферы рассуждений в сферу разума. А в место диалектики, тут работает именно наука об основаниях. Поэтому, на мой взгляд, эта вполне может заменить диалектику. Можно с этим не соглашаться, но если встать на эту позицию, то учение Платона смотрится намного более серьезно и благородно. |
|
|
![[info]](http://lj.rossia.org/img/userinfo.gif){kind=small}