У вас нет четкого определения, что такое "абсурдно". Сначала вы называете "абсурдными" те утверждения, которые синтаксически неверны (2=+), но затем в разделе "доведение до абсурда" называете "абсурдными" те утверждения, которые приводят к противоречию (Если предположить, что "4=4" ложно, то это предположение абсурдно). Введите сначала четкое определение, что такое "абсурдно".
Методология доказательств у вас не соответствует вашей собственной четырехзначной логике. На каждой блок-схеме вы рисуете по два ответвления: "истинно" и "ложно", а надо четыре: "истинно", "ложно", "абсурдно" и "некорректно".
Но в целом не рекомендую заниматься подобными изысканиями. Это вредно для души. У вас отличное образное мышление. Ваша сильная сторона - не логические изыскания, а потрясающее оформление идей. Не надо стремиться прославиться как логик или математик, лучше применить свою сильную сторону в тех вопросах, в которых остальные слабы. Подавляющее большинство логиков, математиков и других ученых не умеют красиво представлять свои идеи. А вы умеете. Вы можете, например, создавать и продавать красивые учебные пособия, которые другие ученые сделать не смогут при всём желании. Или можете стать выдающимся педагогом. Только не надо пытаться придумать свой контент, лучше создавать визуализационные шедевры на основе чужого контента - в сотрудничестве с теми, кто владеет материалом. Например, если вы сделаете иллюстрационное оформление книг по логике Рэймонда Смаллиана ("Как же называется эта книга?", "Принцесса или тигр" и т.д.), то, уверен, эти книги будут пользоваться большим коммерческим успехом. Если всё же вам так хочется заниматься наукой, то ваша сфера - не логика, а геометрия, где как раз очень важно образное мышление.
