January 11th, 2020

Pygar

(no subject)

Давно я не упоминал "формальные системы", а ведь у меня это одна из сверхценных идей...

Форма́льная систе́ма — результат строгой формализации теории, предполагающей полную абстракцию от смысла слов используемого языка, причем все условия, регулирующие употребление этих слов в теории, явно высказаны посредством аксиом и правил, позволяющих вывести одну фразу из других

Система такая имеет одну малозаметную, но принципиальную черту: в ней у всех высказываний единый источник (!).
А не так, как в реальности, где каждый громкоговоритель выдает что-то свое с претензией на истинность. Поэтому-то последовательно применить к реальности логику и нельзя :)