Теория "типа и экземпляра"

[alisarin]

Привожу дискуссию на тему: что есть теория "типа и экземлпяра"? Конечно, отношения участников дискуссии нельзя назвать "деликатными", но не в этом дело. Можно ли сформулировать положения "теории типа и экземпляра" без приложения математического аппарата?

Далее следует текст и его ... много-много. Я - это Al или без квот, АК - А. Кожушко.

Comments

[infocosmos]

"Фундаментальные (?) понятия нельзя определить не
через какие угодно возможные "более простые", их можно
определить только посредством обобщения ситуации их введения.
...
AK> У Вас же - всё наоборот. Каждое Ваше "определение" расширяет
AK> круг _неопределённых, но использованных_ Вами понятий."

Обратите внимание на это замечание! Вы часто "обобщенную ситуацию" описываете новыми, "еще не конвенциальными" понятиями. Попробуйте расширять язык только при крайней необходимости и при возможности подробнее "описывать" новые и особенно часто или, наоборот редко, употребляемые слова. И цены Вам не будет. А так ваши идеи, что "вещи в себе" ...

[alisarin]

Мысль куда как справедливая, но

1) сие спор, а, значит, - лишь черновик будущего текста :)
2) как определить, например, "точку", исходя из того, что не "пространство определяет точку", а "точка определяет пространство"?

[infocosmos]

Сначала поясните мотив, для чего исходить из того, что точка определяет пространство? Чем не устраивает обратная ситуация?

[alisarin]

Можно и так, и так, я не думал. Но если точку определять через "пространство", то как определять само "пространство". Так или иначе будет нечто, для чего невозможно будет ввести более простые определения.

[infocosmos]

Эта ваша идея понятна и с ней даже можно согласиться. Только выводы можно сделать грустные, типа наши модели мира возможно не самые эффективные и существуют лучше, но вот где бы увидеть маленький пример, конкурирующий по ясности и эффективности с существующими ...

[alisarin]

Появление такого примера - означает изменение самих "существующих" концепций :)

А философия только пытается подобраться к изъянам в этих представлениях.