Философские категории
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 19.10.23 05:47
Оценка: +2 :))
Почему все классы в C# наследуются от класса Object,
если ещё до нашей эры Аристотель выделил философские категории:
— being
— movement
— matter
— space
— time
— quality
— quantity
— form
— content

трактат в котором рассматриваются наиболее общие имена обозначающие вещи


С материей, пространством и временем у современных физиков проблемы, может быть они всё переделают,
но почему остальные-то категории не лежат в корне иерархии классов?
Отредактировано 19.10.2023 6:00 Эйнсток Файр . Предыдущая версия .
Re: Философские категории
От: Real 3L0 Россия http://prikhodko.blogspot.com
Дата: 19.10.23 07:14
Оценка: +1 :))) :))
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Почему все классы в C# наследуются от класса Object,


Вначале было слово. И это слово "object".
Вселенная бесконечна как вширь, так и вглубь.
Re[2]: Философские категории
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 19.10.23 07:24
Оценка:
R3> Вначале было слово. И это слово "object".

Почему, например, не слово "Понятие" ? Или не "мыслеформа" ? Там, в философии ещё много других слов есть, например "Вещь", "Предмет".

Заодно предлагаю уволить всех философов МЭИ. Они выпустили "философский словарь инженера", в котором есть понятие "классификация", но нет "категоризации".
Отредактировано 19.10.2023 7:28 Эйнсток Файр . Предыдущая версия . Еще …
Отредактировано 19.10.2023 7:26 Эйнсток Файр . Предыдущая версия .
Отредактировано 19.10.2023 7:25 Эйнсток Файр . Предыдущая версия .
Re[3]: Философские категории
От: Real 3L0 Россия http://prikhodko.blogspot.com
Дата: 19.10.23 07:41
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

R3>> Вначале было слово. И это слово "object".

ЭФ>Почему, например, не слово "Понятие" ? Или не "мыслеформа" ? Там, в философии ещё много других слов есть, например "Вещь", "Предмет".

Оно имеет много имён, но означает одно.

Например, в OWL:

встроенный наиболее специфичный класс по имени Nothing (Ничто), который не имеет никаких представителей и является подклассом всех OWL классов.

Вселенная бесконечна как вширь, так и вглубь.
Re[4]: Философские категории
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 19.10.23 07:45
Оценка:
R3>Оно имеет много имён, но означает одно.

Философию для этого придумали, чтобы провести различия между понятиями (и таким образом терминологию согласовать).

R3>Например, в OWL:

R3>

R3>встроенный наиболее специфичный класс по имени Nothing (Ничто), который не имеет никаких представителей и является подклассом всех OWL классов.


null и в C# есть, и чо? Это другое?
Re[5]: Философские категории
От: Real 3L0 Россия http://prikhodko.blogspot.com
Дата: 19.10.23 08:06
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Философию для этого придумали, чтобы провести различия между понятиями (и таким образом терминологию согласовать).


Бессмысленная философия идёт в null.

R3>>

R3>>встроенный наиболее специфичный класс по имени Nothing (Ничто), который не имеет никаких представителей и является подклассом всех OWL классов.


ЭФ>null и в C# есть, и чо? Это другое?


встроенный самый общий класс по имени Thing (Вещь), который является классом всех индивидов и суперкласс для всех OWL классов

Вселенная бесконечна как вширь, так и вглубь.
Re[6]: Класификация vs категоризация
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 19.10.23 10:09
Оценка:
ЭФ>> Философию для этого придумали, чтобы провести различия между понятиями (и таким образом терминологию согласовать).
R3> Бессмысленная философия идёт в null.

Мне непонятно, чем классификация отличается от категоризации.
UPD: https://dialectics.ru/1847.html

Википедия не знает, что такое "категоризация" (перенаправляет на страницу "классификация").

типизирование = приписывание типа куску памяти (точнее было бы "создание класса под схему данных", но так не бывает)
инстанциирование = выделение куска памяти для объекта указанного типа

обобщение = создание базового класса или интерфейса
наследование = порождение более специализированного типа-наследника класса или реализация интерфейса

Можно ли сказать, что типизирование/инстанциирование — это от классификации, а обобщение/наследование это от категоризации?

Или можно сказать, что "категория" это интерфейс (нельзя инстанциировать), а "класс" это рецепт (можно воплотить в жизнь)?
Отредактировано 20.10.2023 2:00 Эйнсток Файр . Предыдущая версия . Еще …
Отредактировано 19.10.2023 12:34 Эйнсток Файр . Предыдущая версия .
Re: Философские категории
От: r0nd  
Дата: 22.10.23 05:17
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Почему все классы в C# наследуются от класса Object,


Все очень просто — разработчики C# вдохновлялись не Аристотилем, а разработанным ранее языком Java. Который, по мнению разработчиков C#, имел "фатальный недостаток". Аналогично были "придуман" не только название супертипа Object, но и название его методов:

ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?


В разрезе вышесказанного, очевидно, что по основному вопросу философии, — первична все-таки Java.
...<< Dementor 1.4.4 ✪ Lets Play a Game ⚁⚁⚁⚂⚅>>
Отредактировано 22.10.2023 5:23 r0nd . Предыдущая версия .
Re[2]: Философские категории
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 22.10.23 07:10
Оценка: :)
R> очевидно, что по основному вопросу философии, — первична все-таки Java.

Это и так понятно, потому что
OpenJDK можно через GCC забутстрапить на любой архитектуре, а
C# — нет, потому что компиляторы только от Microsoft.
Re: Философские категории
От: Pzz Россия https://github.com/alexpevzner
Дата: 22.10.23 10:18
Оценка: +1
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>С материей, пространством и временем у современных физиков проблемы, может быть они всё переделают,

ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?

Потому, что аллокатору памяти все равно, под кусок какой философской категории он память выделяет.
Re: Философские категории
От: MaximVK Россия  
Дата: 06.11.23 11:34
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

Когда я изучал философию, то мне пришла в голову схожая мысль.
Погуглив я понял, что идея не нова и есть много обсуждений и статей на эту тему.
Вот первая статья в гугле: https://dl.acm.org/doi/pdf/10.1145/331795.331862

ЭФ>

трактат в котором рассматриваются наиболее общие имена обозначающие вещи

Аристотелевские категории таки уже устарели и интересны лишь с точки зрения генезиса философии.
Кант и Гегель значительно переработали первоначальную идею. Сейчас мы пересматриваем это еще раз с точки зрения последних достижений в нейробиологии и понимания как мы воспринимаем реальность.
Ведь категории в первую очередь не про как реальность устроена, а про то как мы эту реальность воспринимаем и моделируем.
Кстати, интересно, что математическая "Теория категорий" со слов Милевски (об этом он говорит в своей первой лекции) — это больше про эпистемологию, т.е. про то как мы думаем и как устроено наше знание.

ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?

Почему они должны лежать именно в корне иерархии классов, а не быть выражены другими средствами языка?
Также ты можешь заметить, что различные парадигмы делают акцент на разных "категориях".
Отредактировано 06.11.2023 11:36 MaximVK . Предыдущая версия . Еще …
Отредактировано 06.11.2023 11:35 MaximVK . Предыдущая версия .
Re[2]: Философские категории
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 06.11.23 19:37
Оценка:
MVK> Вот первая статья в гугле

Ну, в ней нет ничего особенного. У нас бы такую статью не назвали бы "научной" и никуда бы не приняли.
Поэтому и нет таких статей на русском языке.

MVK> Гегель


Не готов к программированию. Сайт на эту тему: https://dialectics.ru/
Re: Философские категории
От: Sinclair Россия https://github.com/evilguest/
Дата: 05.02.24 02:52
Оценка: +1 :)))
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?

У Борхеса классификация лучше. Все животные делятся на:

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

Уйдемте отсюда, Румата! У вас слишком богатые погреба.
Re: Философские категории
От: L.K. Марс  
Дата: 05.02.24 04:43
Оценка:
ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?

Потому что они лежат в корне иерархии классов. Каждый "object" — это сущность, состоящая из "being", "movement" и прочего по списку Аристотеля.
Re[2]: Философские категории
От: Эйнсток Файр Мухосранск Странный реагент
Дата: 06.02.24 07:52
Оценка:
S> У Борхеса

С тех пор мало что поменялось. Например, какая бывает логика?
1) Вероятностная логика
2) Геометрическая логика
3) Гипермодальная логика
4) Деонтическая логика
5) Диалектическая логика, диалектика, Логика и диалектика
6) Женская логика
7) Житейская логика
8) Интервальная логика
9) Интуиционистская логика
10) квантовая логика, предполагающая нарушение законов классической логики в микромире
11) Классическая логика
12) Логика высказываний
13) Математическая логика
14) Многозначная логика
15) Модальная логика
16) Неклассическая логика
17) нефрегевская логика, принимающая во внимание ситуации как значения высказываний
18) паранепротиворечивая логика, допускающая использование противоречивых высказываний
19) Релевантная логика
20) Символическая логика
21) Темпоральная логика
22) Философская логика
23) Формальная логика
Re: Философские категории
От: Разраб  
Дата: 07.02.24 02:47
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Почему все классы в C# наследуются от класса Object,



ЭФ>С материей, пространством и временем у современных физиков проблемы, может быть они всё переделают,

ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?

1 потому что на самом деле программисты ничего не моделируют(как моделист-конструктор), а обрабатывают данные.
классический пример: веб(гипертекст).
2 есть только движение материи. время это движение стрелок часов.
☭ ✊ В мире нет ничего, кроме движущейся материи.
Re[3]: Философские категории
От: pagid_ Россия  
Дата: 24.02.24 19:37
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Ну, в ней нет ничего особенного. У нас бы такую статью не назвали бы "научной" и никуда бы не приняли.

Твоя идея о том, что сущности в программировании могли бы отображаться на философские категории тоже ничего общего с наукой не имеют. Ни с наукой, к которой можно было бы притянуть философию, ни с инженерным ремеслом, коим программирование и является.
Re[3]: Философские категории
От: netch80 Украина http://netch80.dreamwidth.org/
Дата: 24.02.24 21:21
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

R3>> Вначале было слово. И это слово "object".


ЭФ>Почему, например, не слово "Понятие" ? Или не "мыслеформа" ?


Потому что это уже выход на метауровень. А тебе нужен исходный.

Предлагаю в базу вынести понятие "Оно". Всё наследуем от класса It.

ЭФ> Там, в философии ещё много других слов есть, например "Вещь", "Предмет".


Это уже излишняя конкретика. Есть непредметные понятия.

ЭФ>Заодно предлагаю уволить всех философов МЭИ. Они выпустили "философский словарь инженера", в котором есть понятие "классификация", но нет "категоризации".


Правильно. Нам надо построить систематизированную систематическую систему систематизации.
The God is real, unless declared integer.
Re: Философские категории
От: Silver_S Ниоткуда  
Дата: 14.03.24 18:28
Оценка:
Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>Почему все классы в C# наследуются от класса Object,

ЭФ>если ещё до нашей эры Аристотель выделил философские категории:
ЭФ>- being
...
ЭФ>- content
ЭФ>но почему остальные-то категории не лежат в корне иерархии классов?

Может это не про наследование свойств, а о чем-то другом. Абстракции/категории это не обязательно просто набор свойств, описывающих состояние и операций меняющих состояние (как в ООП).

А для разработчиков, кстати, этот список "кратко все о разработке" как выглядит? К чему все сводится?
Есть еще что важное, кроме этого?

  • Простота.
  • Повторная используемость.
  • Абстрактность.
  • Полнота.
  • Противоречия. (поиск компромиссов)
  • Изменяемость.
  • Декомпозиция.
  • Классификация/группирование/кластеризация/cohesion.
  • Инкапсуляция. (простой маленький интерфейс к сложной громоздкой реализации)
  • Ограничения. Автоматическая защита от ошибок. (Например, типизация)
  • Читабельность. Самодокументирование. Скорость навигации/поиска/локализации нужной части кода. (Инструменты разработки)
  • Re[2]: Философские категории
    От: Эйнсток Файр Мухосранск Странный реагент
    Дата: 14.03.24 23:14
    Оценка:
    S_S>А для разработчиков, кстати, этот список "кратко все о разработке" как выглядит? К чему все сводится?
    S_S>Есть еще что важное, кроме этого?

    Конечно есть. Открываешь свой диплом программиста и смотришь перечень профильных дисциплин.

    И это нифига не кратко, это на пять-шесть лет обучения.

    Да и сами концепции — не абстрактные, а конкретные (SOLID, YAGNI и тому подобная муть).
    А к конкретному от абстрактного ещё надо восходить, как учил логик Зиновьев из МГУ.
    Подождите ...
    Wait...
    Пока на собственное сообщение не было ответов, его можно удалить.