Один из моих интересов в логике - это правила ввода.
В ТФЛ есть только одно правило ввода - дизъюнктивное. О нелепости этого формального правила я писал ранее. Для его замещения я предложил формально-содержательное введение аргумента: А∨¬А | ¬А≡В ⊦ А ⊗ В.
Теперь пришло время создать ещё одно правило: импликативное.
Пример. 1 марта найдено тело человека (А). Это высказывание истинно на основании факта. Исходя из этого можно сделать тривиальный вывод: потерпевший убит 1 марта, либо ранее (А→Аt).
Труп находится в состоянии окоченения b(A), и это тоже наблюдаемый факт. Нам известно правило: окоченение начинается через два часа после смерти, и длится до 7 дней: ∀A→b(A)∆t. На основании этого правила, и факта окоченения b(A) мы вводим частный аргумент: ∃b(A)∆t. Потерпевший убит между 23 февраля и 1 марта.
Те, кто повнимательнее, без труда найдут здесь общеутвердитеьный силлогизм. ∀A→b(A)∆t, b(A) ⊦ ∃b(A)∆t.
Благодаря новому аргументу картина преступления стала более определённой. Это возможно потому, что b(A) релевантно А: оба высказывания содержат внешнюю ссылку (референцию) на один и тот же наблюдаемый факт, а кроме того, b(A) ссылается на известное правило.
Введение всё новых и новых аргументов в доказательство позволяет строить его систему и устанавливать скрытую истину.
Это даёт возможность сделать все релевантные логики логиками первого порядка: мы можем проверять аргумент на релевантность условию задачи, а не просто декларировать саму релевантность как аксиому.
Имплицитно эта проверка уже применяется в лямбда исчислениях. Да и стихийная логика этим способом пользуется вовсю.
Ну а для меня это ценно прежде всего в рамках создаваемой каузальной логики.

"ГЕГЕЛЬЯНЩИНА" (11)

(Философия Аритеросизма (*))

1

СОКРАТ. Прошлый раз, Платон, мы установили, что кантовская "вещь-в-себе" вовсе не внешне-объективная, а именно само-субъектная (*), произведённая человеком как вне-бытийно-вне-предельным Само-Субъектом (*) всего как своего и поэтому ему подчинённая, всецело зависимая от него.

ПЛАТОН. Да.

Начало тут: http://philosophystorm.ru/3-bkhagavad-gita-obretenie-vysshego-sostoyaniya-soznaniya-glava-2-prodolzhenie

3-1. Арджуна спросил:

“Если лучшим из служений (жертвований) ты считаешь самопознание и постижение присутствующего во всём «То», (порождающего действия человека,) зачем побуждаешь меня к нежеланным деяниям?

Аннотация

§ 2

Первое рассмотрение сознания: его явные характеристики

Онтологическое исчисление SU(3) как основание квантовой семантики: от аристотелевских категорий к архитектуре искусственного интеллекта

Искусственный интеллект по мотивам исследований Андрея Владимировича Ханова

в дополнение http://philosophystorm.ru/ocherk-logiki

корректура красным

Аподиктическая достоверность сознания

Всё, что есть вокруг нас, весь мир и вся реальность есть для нас единственно лишь посредством сознания, в сознании и для того единства, которое сознаёт.

Научный анализ: Радикальные технологии и проблемы доказательной базы по вопросам НЛО

Резюме

мы лишь предлагаем модернизировать форум скриптом автоматической модерации, решать участникам, презентуем идею и ждём отклик. Цель - исключить скандалы по причине разных ценностей и конфликты дискурсов - типов речи. Решение двухуровневое: 1. создать область комфорта для каждой из целевых аудиторий и 2. пресекать пустую риторику вместо аргументации мнений, при выходе из своей секции (группы комфорта) в общее пространство. Кроме того, скрипт позволит получить статистику связи конфликтов с различиями дискурсов.