Пост@covalue провёл стрим по "диалоговой семантике логики".

@covalue провёл стрим по "диалоговой семантике логики". Выглядит примерно так – допустим хотим показать верность логического тождества "из того, что a или b – следует, что не верно, что не верно, что a или b". Для этого по определённым правилам разыгрываем такой диалог (очевидно, диалог может идти по нескольким траекториям – "стратегиям", далее приведена лишь одна из "трасс"): 0. (пропонент) Из того, что a или b – следует, что не верно, что не верно, что a или b 1. (оппонент) Вот тебе/примем "a или b", что дальше? 2. А что конкретно принимаем, a или b? 3. Примем a 4. Тогда утверждаю, что не верно, что не верно, что a или b 5. Нет, принимаю/утверждаю, что не верно, что a или b 6. Нет, принимаю/утверждаю, что a или b 7. Тогда ты должен что-нибудь показать: либо a, либо b 8. Верно a, как ты сам сказал (п. 3)