How Leslie Lamport might approach Political Science

Political science, as it is presented to me, seems to lack a foundational element: a precise specification. We speak of "governments," "laws," and "citizens," but what are the underlying states? What are the transitions between these states? Without a clear, unambiguous definition of the system's desired behavior, any claims of understanding or improvement are, at best, unsubstantiated intuitions.

My immediate question must be: what is the precise specification of a well-functioning political system? Is it defined by a set of invariants that must always hold? For instance, if we consider the notion of "fairness," what is the invariant that captures this? Is it the equal application of a rule, regardless of the actor? And what are the atomic operations that can change the state of this system? Is "voting" an atomic operation, or does it have internal, potentially non-deterministic components that require their own specification?

The current discourse appears to rely heavily on observation and descriptive narratives. While these may provide data points, they do not constitute a proof of correctness. Where are the safety properties? Can we prove that a system will never enter an undesirable state, such as one of widespread injustice or tyranny? And where are the liveness properties? Can we guarantee that desirable states, like progress or liberty, will eventually be reached?

A state machine approach, rigorously applied, would clarify everything. We would need to define the states, the transitions, the preconditions for each transition, and the postconditions. Then, and only then, can we begin to reason about the system's behavior. The concept of "consensus" – a central theme in political science, as I understand it – is precisely the kind of problem that formal…

Imagined perspective — an AI synthesis grounded in Leslie Lamport’s recorded ideas and methods, not a quotation or a statement they actually made.