Связь между компактностью выше и компактностью в модальной логике для оператора общего знания такая, что в последнем случае при объединении множества оператора E (everybody knows) в степени n с отрицанием оператора общего знания нельзя выполниить такую модель
Так как оператор общего знания предполагает степень E в бесконечности, то формально это никак не записать (поэтому это и неформула). Тогда для любой степени n найдется такой шаг n+1, что E на шаге n выполнялось, а общее знание уже нет. Поэтому она некомпактна. В логике под компактностью понимается, что выполнимость (satisfiability) конечного подмножества множеств формул гарантирует выполнимость множества вообще.
Так как оператор общего знания предполагает степень E в бесконечности, то формально это никак не записать (поэтому это и неформула). Тогда для любой степени n найдется такой шаг n+1, что E на шаге n выполнялось, а общее знание уже нет. Поэтому она некомпактна. В логике под компактностью понимается, что выполнимость (satisfiability) конечного подмножества множеств формул гарантирует выполнимость множества вообще.
Либо эту аналогию можно увидеть в сравнении с компактностью для топологических пространств, где одно из определений аналогично определению для метрических, а такжде между понятием фильтра для топологических пространств и для логики. Там еще есть какая-то связь, например, с алгеброй Линденбаума-Тарского и с алгеброй в более широком смысле, но тоже лишь на уровне общей идеи.
"In this paper, I will show why this sort of "naturalist" critique of metaphysics fails."
Вот, кстати, выясняется, что топологическая семантика Тарского прояснила алгебраические свойства открытых множеств топологических пространств и алгебры тоопологически замкнутых операций
It is quite remarkable that the problem of encoding as treated here admits a rather simple mathematical formulation: it is the study of embeddings of one free monoid into another. We may consider this to be a basic problem of alge- bra. There are related problems in other algebraic structures. For instance, if we replace free monoids by free groups, the study of codes reduces to that of subgroups of a free group. However, the situation is quite different at the very beginning. In fact, according to the Nielsen-Schreier theorem, any subgroup of a free group is itself free, whereas the corresponding statement is false for free monoids. Nevertheless the relationship between codes and groups is more than an analogy, and we shall see in this book how the study of a group associated with a code can reveal some of its properties. It was M.P. Schutzenberger’s discovery that coding theory is closely related to classical algebra. He has been the main architect of this theory. The main basic results are due to him and most further developments were stimulated by his conjectures.
в четверг на кафедре матлогики МГУ будет доклад «Введение в гомотопическую теорию типов»
“The noscript of this book may sound to some readers like Good as Evil, or perhaps Cabbages as Kings. If logic and metaphysics appear disjoint, the reason is not just the lingering spell of a logical positivist conception of metaphysics as cognitively meaningless and logic as cognitively meaningful but analytic.”
Williamson, Modal logic as Metaphysics
Williamson, Modal logic as Metaphysics
Consider the contrast between a newtonian conception of absolute space and a Galilean conception of relative space. The relativist claims that there is no fact of the matter about absolute motion, no difference between an inertial frame moving at constant velocity through space and the frame at rest. The newtonian acknowledges that according to the physical theory they both accept, there is no difference in the way bodies behave in an inertial frame at rest and the way they behave in one moving at constant velocity. The issue between the absolut- ist and the relativist is whether there is a metaphysical difference.