четверг, 10 октября 2019 г.

Развитие идей Джузеппе Пеано

Джузеппе Пеано интересен как автор аксиоматической модели арифметики и латино-сине-флексионе.
Его модель арифметики не использует понятия множества, что и привлекает, как более естественная конструкция. Но и она показывает слабости "человеческого фактора" или "человеческой логики", не учитывает непосредственную связь определения элементов натурального ряда не только с перечислением или алфавитным (!) порядком, но и с позиционной записью, а так же с правилами оперирования. Можно обойтись, вообще, без "логики", оставаясь в рамках грамматики или используя нейтральное понятие формальных символических структур (систем? это требует дополнительных определений!), на крайний случай, алгебры.
В нем проявляется математик или специалист по моделированию или абстрактному проектированию и в подходах к конструированию языка. Здесь в комментариях будут перечислены все его принципы, на которых стоит акцентировать внимание и руководствоваться в проекте GRAMMISH, а также можно воспользоваться частью словаря. То есть это не только вопрос терминологии, как называть программные конструкции - логическими или грамотными, но и насколько эта терминология адекватна как инфрамодель.

9 комментариев:

  1. Про человеческих фактор в логических конструкциях замечено в сранении с компьютерными моделями.

    ОтветитьУдалить
  2. Инфрамодель ... вслед за понятием инфраязыка.
    https://metamodeling.livejournal.com/33920.html

    ОтветитьУдалить
  3. https://ru.wikipedia.org/wiki/Идиом-неутраль
    https://ru.wikipedia.org/wiki/Академия_интерлингвы

    Владимир Карлович Розенбергер (1849–1918)
    11 000 словарь

    ОтветитьУдалить
  4. https://ru.wikipedia.org/wiki/Универсальный_язык
    https://ru.wikipedia.org/wiki/Лейбниц,_Готфрид_Вильгельм (?)
    https://serj-aleks.livejournal.com/467869.html

    ОтветитьУдалить
  5. Принцип 1. Язык без словоизменения. Пример - английский!

    ОтветитьУдалить
  6. Принцип 2. Окончание множественного числа — -s, можно не употреблять, когда множественное число видно из контекста.

    ОтветитьУдалить
  7. Принцип 3. Отношения передаются порядком слов и предлогами.

    ОтветитьУдалить
  8. Атрибутивно-препозитивная грамматика ...

    ОтветитьУдалить
  9. Готлоб Фреге ОСНОВОПОЛОЖЕНИЯ АРИФМЕТИКИ
    ЛОГИКО-МАТЕМАТИЧЕСКОЕ ИССЛЕДОВАНИЕ О ПОНЯТИИ ЧИСЛА
    http://www.vixri.com/d/Frege%20Gotlob%20_Osnovopolozhenija%20arifmetiki,%202000,%2064s,%20izd.Vodolej-Tomsk.pdf

    Шрифт понятий
    https://studbooks.net/69991/filosofiya/shizoanaliz
    Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens
    https://books.google.de/books/about/Begriffsschrift_eine_der_arithmetischen.html?id=VXOOAQAACAAJ&redir_esc=y
    https://en.wikipedia.org/wiki/Begriffsschrift

    ОтветитьУдалить