Цель проекта

Проверить логику логико-философского трактата на непротиворечивость.

Задачи

1. Построить объектно-ориентированную модель ЛФТ (Логико-Философского Трактата)
2. В случае возникновения противоречий, изменить понимание прочтения и в этом пункте перейти на новую ветку

Основные принципы построения

1. Каждый пункт комитится под своим индексом
2. В случае конфликта необходимо посмотреть все варианты возможного прочтения текущего пункта и версии пункта с которым возникает конфликт
3. Сделать ветвления возможного прочтения - задел на будущее для расширения модели возможными мирами и дальнейшего анализа
4. Комит производить только компилируемого кода, в комментарии писать содержание пункта.
5. Сущности именуются в соответствии с именами Tractatus Logico-Philosophicus II
6. Комментарии оставляем в md файле с индексом мажорного пункта в качестве имени
7. В подразделах Java пишутся комментарии по использованию языка

Обоснование

На момент написания Л.Виттгенштейном ЛФТ не было языка программирования, невозможно было написать код и проверить на непротиворечивость компилятором. Валидация производилась в уме, с помощью мысленного эксперимента. При таком подходе возможны ошибки. Возможны и недоработки языка Java в части логики, что так-же можно будет проверить и в случае недостаточности аргументированно обосновать необходимость и выйти с предложением добавления нехватающей конструкции в спецификацию.

Objective of the project

Check the logic of the logical-philosophical treatise for consistency.

Tasks

1. To build an object-oriented model of the LFT (Logico-Philosophical Treatise)
2. In case of contradictions, change the understanding of reading and in this paragraph go to a new branch

Basic principles of construction

1. Each item will go under its own index
2. In case of conflict, it is necessary to look at all possible variants of a possible reading of the current item and the version of the item with which the conflict arises
3. Make branching possible reading - reserve for the future to expand the model by possible worlds and further analysis
4. Commits are produces only after whell compiling code, in the comments write the content of the item.
5. Entities are named in accordance with the names Tractatus Logico-Philosophicus II
6. Comments are left in the md file with the index of the major item as the name

Justification

At the time of L.Wittgenstein's writing, the LFT did not have a programming language, it was impossible to write the code and check for consistency by the compiler. Validation was carried out in the mind, with the help of a mental experiment. With this approach, errors are possible. There may also be shortcomings in the Java language in terms of logic, which can also be checked and, if insufficient, reasoned reasonably and come up with a proposal to add a missing design to the specification.