September 4th, 2021

К вопросу о протологике.

К вопросу о протологике.
Я независимо пришел к протологике, и понимаю её немного иначе, более правильно.

общая теория структур или к вопросу о протологике
https://deep-econom.livejournal.com/77369.html

Ликбез. Теория моделей. Теории, формальные системы.
https://deep-econom.livejournal.com/858295.html

1. Что такое логика?
и краткий ответ: логика это правила преобразования цепочек символов
http://deep-econom.livejournal.com/29115.html

---
по поводу https://t.me/KODIFIKATION/988
Карпенко Александр Степанович
доктора философских наук, профессора, главного научного сотрудника сектора логики
https://iphras.ru/karpenko.htm

На пути к протологике. А. C. Карпенко
https://iphras.ru/uplfile/logic/log17/Li_17_Karpenko.pdf

Цитата:
Прорыв в этой области совершен работами В.И. Шалака (см., в особенности, [13]), где вводится понятие протологического следования:
Из посылок Σ = {B1, . . . , Bn} протологически следует выражение A, если и только если существует правило R, позволяющее на основании значений посылок Σ определить значение выражения A.

Дале строится протологика — система правил знаковых преобразований — аналогов логических умозаключений. Протологику можно представить как пару, где имеется множество абстрактных знаков, структурированное группоидной операцией.

Шалак Владимир ( Shalack Vladimir )

Шалак В.И. В поисках совершенного языка
Шалак. Тезис Пирса логический анализ и онтологические следствия
Шалак О понятии логического следования Shalak_O_ponyatii
Шалак В.И. - Протологика новый взгляд на природу логического
Шалак В.И. - Два подхода к построению логики.
Шалак В.И. ПРОТОЛОГИКА НОВЫЙ ВЗГЛЯД НА ПРИРОДУ ЛОГИЧЕСКОГО автореферат докторской диссертации
Шалак В. И. Протологика и ее структура. LI20_Shalack
Рогозин Родин Теория типов в логике и основаниях математике unpubs

Доклад В.И. Шалака 5 декабря на мехмате (анонс)
От логики к протологике в поисках новых оснований логики
https://vic-gorbatov.livejournal.com/26793.html

Шалак В.И. В поисках совершенного языка
https://www.researchgate.net/publication/329936170_V_poiskah_soversennogo_azyka
---

Тренажеры: абстрактный исполнитель (абстрактная вычислительная машина).

Нормальные алгорифмы Маркова
тренажер для изучения универсального исполнителя
https://kpolyakov.spb.ru/prog/nma.htm

Машина Тьюринга
тренажер для изучения универсального исполнителя
https://kpolyakov.spb.ru/prog/turing.htm

Машина Поста
тренажер для изучения универсального исполнителя
https://kpolyakov.spb.ru/prog/post.htm