The standard Kripke semantics for S4 admits frames with infinite ascending chains, enabling formulas that force uncountable models resistant to Löwenheim-Skolem downward reduction.
?Rate how convincing each reason is below to see the overall strength.
No one has weighed in yet. Be the first to share reasons for or against this statement.
Sign in or register to share your perspective on this statement.
A famous theorem in logic stating that if a set of logical rules can describe something, then those same rules can also describe things of wildly different sizes (like describing both tiny and infinite versions of the same structure).
S4(as used in the statement)
A specific system of modal logic with particular rules about how possibility and necessity work; it's named S4 just like a product model number.
models(models of global democracy)
idealized theoretical constructions designed to express the normative qualities of a democratic system as well as its constitutive institutions
uncountable(Examples include the real numbers and the power set of the natural numbers.)
An infinite set that cannot be put into one-to-one correspondence with the natural numbers.