Я какой-то злой нонче, поэтому скажу.
Вот есть такая офигенная штука, формальная логика. И есть люди, которые не умеют ей пользоваться. И это не так уж и плохо, плохо - это наличие людей, сующих ее во все щели.
Это так круто, да?

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

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

А я опять, кажется, страдаю неточностями терминологии, зато хоть высказался. И да, очевидная реальность - понятие очень и очень относительное, но я полагаю что хоть каким-то общим контекстом взаимодействующие люди могут обладать.