Авторизация
 
  • 13:16 – Кока-Кола Новогодняя акция 2017: какие призы, фото призов, выдача призов, пункты выдачи 
  • 13:16 – Танцы на ТНТ 3 сезон 20 выпуск от 10 декабря 2016 смотреть онлайн 
  • 13:16 – Світське життя: смотреть выпуск онлайн (эфир от 10.12.2016) 
  • 13:16 – Танцы на ТНТ 3 сезон Дети 10 декабря: смотреть самый неординарный выпуск 

Русская национальная логика

162.158.79.137

В последнее время многие журналисты, публикующиеся в русофобской прессе, стали утверждать, что современная российская действительность, мол, не подчиняется никакой логике. Это утверждение неверно. Более того, оно иллюстрирует обычное нежелание пятой колонны глубоко вникать в научные дисциплины — от геополитики до православной гомеопатии. Российская действительность и вправду не подчиняется пропозициональной логике, которая была изобретена геем Лейбницем в рамках реализации плана Даллеса по захвату русской математики. Однако кроме пропозициональной логики, существует множество других: от известного исчисления предикатов до более маргинальных деонтической, линейной и вычислительной логик. Все они, однако, были созданы иностранцами и эмигрантами с целью подорвать научный суверенитет России и поэтому, конечно, должны восприниматься исключительно как прозападный антинаучный бред. Все вышесказанное, однако, не означает, что такую логику невозможно создать в принципе. В этой статье описывается расширение пропозициональной логики для описания Российской прагматики, которое названо авторами Русской Национальной Логикой, сокращенно РуНаЛо. Сигнатура Переменные записываются Русскими Буквами: а, б, в, г и т.д. Обычные операнды: не ¬, и ?, или ?, следовательно →, эквивалентно ↔ Расширения: унарные операторы Т (сказано по телевизору), Ч (сказано чиновником); бинарные операторы бабла €, «зато» ?; метаоператор! (реально). Описание расширений Отличия Русской Национальной Логики от обычной логики высказывания состоят в следующих изменениях правил вывода: (1) Если в формулу входит переменная под оператором сказанности по телевизору Т, значение формулы совпадает со значением переменной независимо от правил вывода. Пример 1 (принцип двоемыслия, contra принципу исключенного третьего): Та ? ¬а ≡ 1 — По телевизору сказали, что пенсии будут расти. — Но все пенсионные накопления фактически конфисковали. — Вот я и говорю, расти значит будут! (2) Если в формулу входит переменная под оператором сказанности чиновником Ч, таблица истинности для формулы определяется чиновником. (3) Оператор «зато» ? устанавливает значение формулы в значение последнего использованного высказывания. Пример 2: В предположении, что а отвечает высказыванию «В стране стабильность» и всегда интерпретируется как истина (1), любое высказывание, оканчивающееся на ?а («зато в стране стабильность») будет истинным: б → ¬б ?а = 1 — Если всех старух убить, то ни одна не умрет, зато в стране стабильность! — Верно! Примечание i) Пытливый читатель мог заметить, что правила вывода (1) и (3) могут противоречить друг другу в тех случаях, когда сказанное по телевизору, к примеру, отрицает сказанное после «зато», как в следующем диалоге: — По телевизору сказали, что в нестабильности российской экономики виноват запад! — Зато хоть экономика у нас стабильная! Этот диалог можно представить в форме Та ?¬ а Действительно: такая формула не просто не допустима в Русской Национальной Логике, но даже за попытку ее вывода предусмотрена административная ответственность в размере 300 000 рублей с физических лиц. Примечание ii) Оператор «зато» решает известную проблему формализации утверждения «Бьет значит любит». Говорили, что понятие «любить», мол, включает в себя в том числе «не бить» и поэтому это высказывание бьет → любит тождественно ложно в логике высказываний. Корректный способ его формализации выглядит так: бьет ? любит, то есть «бьет, зато любит». В таком случае формула будет истинна тогда и только тогда, когда бьющий любит жертву: все станет на свои места. (4) Бинарный оператор бабла € (а € б) может становиться любым оператором по желанию высказывающего а. (5) Метаоператор реально (!) не служит никакой практической цели, но демонстрирует экпрессивные возможности и превосходство Русской Национальной Логики над всеми прочими логиками. Некоторые выводы Как, мы надеемся, уже видно из представленной аксиоматической системы, Русская Национальная Логика представляет собой гибкую и широкую экспрессивную систему. В ней допустима формализация высказываний, которые трудоемко или невозможно выразить в других логиках. Рассмотрим несколько иллюстраций. Пример 3: Мультиагентные логики создавались потому, что в логиках высказываний, якобы, невозможно выразить активное участие агентов — формализации процессов естественного мира. Русская Национальная Логика опровергает это узкое суждение. а € Ч¬а В соответствии с принципами (2) и (4), такая формула не может быть проинтепретирована в нашей логике. Действительно, если некто дал бабла чтобы построить, например, завод, а чиновник сказал его не строить, то ситуацию сложно оценить. Все становится проще в следующей формализации: а € ? Ч¬а Если а=1, то эта формула будет равна 0, так как чиновнику дали бабла, а он ? — «зато» — сказал не строить, совершенно потеряв логическую связь с предшествующей реальностью, в том числе с фактом взятки. Пример 4: По сказанному ранее, чиновник сам определяет таблицу истинности любой формулы. Что происходит, когда чиновников двое и они утверждают противоположное? Ча ? Ч¬а Ничего страшного в этом нет. Доказанный выше принцип двоемыслия позволяет не просто назначать этой формуле произвольные значения, но и менять их со временем, свободно утверждать, что таблица истинности оформлена на тещу и так далее.
Пример 5:
К той же проблематике относится пример «по телевизору сказали, что чиновник сказал одно, а он на самом деле сказал ровно противоположное». В этом случае может быть верно что угодно по желанию чиновника: Та ? Ч¬а → Ча ? Ч¬а Для тех, кого все еще удивляет правая часть вывода, напомню, что принцип исключенного третьего не работает в Русской Национальной Логике уже несколько лет. Заключение Надеюсь, что это скромное введение дало вам возможность рассмотреть красоту и гибкость РуНаЛо. Напоследок заметим, что статьи по РуНаЛо будут публиковаться исключительно на Русском Языке и издание их на иностранных языках строго запрещено; поправки в законодательство, вводящие уголовную ответственность за такие публикации, насколько известно авторам, уже обсуждаются в Государственной Думе. Зато все нас боятся! Читать больше на inosmi.ru


КОММЕНТАРИИ:

  • Читаемое
  • Сегодня
  • Комментируют
Мы в соцсетях
  • Twitter